Formulez des théorèmes de multiples façons : Théorème de l'hexagone de Pappus
RandomInstance et FindGeometricConjectures peuvent être utilisées pour découvrir des théorèmes géométriques complexes et permettre de décrire la figure en toute simplicité.
Le théorème de l'hexagone de Pappus stipule que pour un hexagone croisé où tout autre sommet est colinéaire, les points d'intersection des trois paires de côtés opposés sont colinéaires. Représentez les hypothèses du théorème de l'hexagone de Pappus en tant que GeometricScene.
Émettez facilement une hypothèse sur la conclusion.
Utilisez des hypothèses différentes mais équivalentes pour générer un autre cas de la même figure abstraite.
Encore une fois, émettez facilement une hypothèse sur la conclusion.