Skip to main content

Questions tagged [synthetic-geometry]

Questions on using GeometricScene, GeometricAssertion, RandomInstance, and FindGeometricConjectures.

Filter by
Sorted by
Tagged with
7 votes
2 answers
193 views

Symbolic formula from GeometricScene?

I'm trying to solve the following problem with GeometricScene What is the shortest circular arc of which the altitude above its chord is one? I have the following code: ...
ccosm's user avatar
  • 408