Émettez des hypothèses simples : Théorème de Thalès
FindGeometricConjectures peut être utilisé pour découvrir des relations géométriques et des égalités dans une GeometricScene.
Le théorème de Thalès stipule que si , et sont des points distincts sur un cercle où la droite représente un diamètre, alors l'angle est un angle droit. Émettez les hypothèses du théorème de Thalès en tant que GeometricScene.
Générez une instance particulière de la figure.
Cherchez toutes les hypothèses pour cette figure.
Extrayez les conclusions de ces hypothèses. Ces deux conclusions sont équivalentes.
Recherchez différents cas pour la même figure abstraite.
Les mêmes hypothèses que celles qui ont été constatées précédemment s'appliquent à tous ces cas.