Elabore demonstrações de teoremas: Teorema de Finsler-Hadwiger
RandomInstance e FindGeometricConjectures podem ser usados para descobrir erros na demonstração de um teorema. Por exemplo, uma hipótese importante pode estar faltando na demonstração do teorema impedindo que o teorema se sustente em todos os casos.
A maioria das demonstrações do teorema de Finsler–Hadwiger são feitas da seguinte forma: Suponha que e sejam dois quadrados que compartilham um vértice . Determine que e sejam os pontos médios de e , respectivamente, e que e sejam os centros dos dois quadrados. Assim o quadrilátero também é um quadrado.
Represente estas hipóteses como um GeometricScene.
Conforme o cenário gerado mostra claramente, as hipóteses são insuficientes para garantir que o quadrilátero é um quadrado. FindGeometricConjectures não encontrará suposições sobre polígonos regulares.
Refine as hipóteses adicionando a estipulação de que e compartilham uma orientação comum.
Agora, a busca por hipóteses sobre polígonos regulares encontrará a conclusão desejada.