Wolfram Language

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 FinslerHadwiger 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.

Exemplos Relacionados

de en es fr ja zh