# Questions tagged [synthetic-geometry]

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

19 questions
Filter by
Sorted by
Tagged with
131 views

629 views

### How to plot Morley triangle by Synthetic Geometry method?

As the Wiki The three points of intersection of the adjacent angle trisectors form an equilateral triangle, called the Morley triangle So I write this code: ...
1 vote
76 views

### RandomInstance of GeometricScene producing unexpected result

Consider the following scene as an example: ...
67 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 ...
96 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 ...
122 views

### Can I make RandomInstance use exact arithmetic?

When using RandomInstance on a GeometricScene the answer loses precision when root objects are encountered. Is there a way to ...
70 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),...
116 views

### How to define the intersection of two lines as a point

I tried the code below (I sort of translated it from written notation), where I hoped that [Intersection] would give me the intersection of line ac with the altitude from b: ...
114 views

### How to deduce circle theorems in Wolfram language?

I can deduce the first one by applying FindGeometricConjectures on the following scene: ...
348 views

### How to calculate the degree of $∠FEB$ under this geometric scene

I want to calculate the $∠FEB$ in the figure below, but I can't solve this question with GeometricScene function. What can I do to find the answers to these ...