Formulación de teoremas de múltiples maneras: el teorema del hexágono de Pappus
RandomInstance y FindGeometricConjectures pueden usarse para descubrir teoremas geométricos complejos, y al tiempo permitiendo flexibilidad sobre cómo se describe la escena.
El teorema del hexágono de Pappus establece que para un hexágono cruzado donde uno de cada dos vértices es colineal, los puntos de intersección de los tres pares de lados opuestos son colineales. Represente las hipótesis del teorema del hexágono de Pappus como una GeometricScene.
Conjeture con éxito la conclusión.
Use hipótesis diferentes pero equivalentes para generar otra instancia más de la misma escena abstracta.
Nuevamente, conjeture con éxito la conclusión.