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.
