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

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