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

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

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

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

RandomInstance of GeometricScene producing unexpected result

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

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