Busqueda de suposiciones simples: el teorema de Tales
FindGeometricConjectures puede usarse para descubrir relaciones geométricas e igualdades en una GeometricScene.
El teorema de Thales establece que si , y son puntos distintos en un círculo donde la línea es un diámetro, entonces el ángulo es un ángulo recto. Represente las hipótesis del teorema de Thales como una GeometricScene.
Genere una instancia particular de la escena.
Busque todas las suposiciones sobre esta escena.
Extraiga las conclusiones de estas suposiciones. Estas dos conclusiones son equivalentes.
Encuentre diferentes instancias de la misma escena abstracta.
Las mismas conjeturas encontradas anteriormente también son válidas para todas estas instancias.