Formule teoremas de várias maneiras: O teorema do hexágono de Pappus
RandomInstance e FindGeometricConjectures podem ser usados para descobrir teoremas geométricos complexos, permitindo flexibilidade na forma como o cenário é descrito.
O teorema do hexágono de Pappus afirma que, para um hexágono atravessado por retas em que todos os outros vértices são colineares, os pontos de interseção dos três pares de lados opostos são colineares. Represente as hipóteses do teorema do hexágono de Pappus como um GeometricScene.
Use a conclusão para fazer suposições.
Use hipóteses diferentes, mas equivalentes, para gerar outros exemplos do mesmo cenário abstrato.
Novamente, use a conclusão para fazer suposições.