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.