Questions tagged [synthetic-geometry]

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

5 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
2 votes
0 answers
61 views

GeometricScene extremely slow or cannot complete

I would like to find instances of the following dodecahedral wheel generalized to the situation where the red squares become rhombuses. I tried this using RandomInstance[GeometricScene], but ...
dwoozy's user avatar
  • 51
2 votes
0 answers
65 views

GeometricScene is slow and does not find an answer to a visually obvious problem for many points

I'm trying to use GeometricScene to visualize a finite patch of a periodic tiling of triangles and rhombi. When I require the rhombi to be squares (using "Regular" property on the Polygons),...
dwoozy's user avatar
  • 51
2 votes
0 answers
92 views

How can I calculate the ratio of the line segments in the following geometric scene?

The following code can draw the corresponding geometric scene. By observing for many times, we can know that the length ratio of line CE and line ...
user avatar
1 vote
0 answers
71 views

RandomInstance of GeometricScene producing unexpected result

Consider the following scene as an example: ...
user13892's user avatar
  • 9,313
0 votes
0 answers
175 views

The Nagel point revisited

Let $i$ be the incenter of the triangle $\triangle abc$, and $n$ be the Nagel point of this triangle (see Wiki ). Let also $h_3$ and $h_2$ be the orthocenters of the triangles $\triangle iab$ and $\...
user64494's user avatar
  • 25.7k