Find Simple Conjectures: Thales's Theorem
FindGeometricConjectures can be used to discover geometric relationships and equalities in a GeometricScene.
Thales's theorem states that if , and are distinct points on a circle where the line is a diameter, then the angle is a right angle. Represent the hypotheses of Thales's theorem as a GeometricScene.
Generate a particular instance of the scene.
Search for all conjectures about this scene.
Extract the conclusions of these conjectures. These two conclusions are equivalent.
Find different instances of the same abstract scene.
The same conjectures found previously also hold true for all of these instances.