Ajuste de las declaraciones del teorema: teorema de Finsler Hadwiger
RandomInstance y FindGeometricConjectures pueden usarse para descubrir errores en la declaración de un teorema. Por ejemplo, al enunciado del teorema puede faltarle una hipótesis importante que evita que el teorema se mantenga en todos los casos.
La mayoría de las afirmaciones del teorema de Finsler-Hadwiger se dan de la siguiente manera: supongamos que y son dos cuadrados que comparten un vértice . Permita que y sean los puntos medios de y , respectivamente, y que y sean los centros de los dos cuadrados. Entonces el cuadrilátero es también un cuadrado.
Represente estas hipótesis como una GeometricScene.
Como muestra claramente la escena generada, las hipótesis son insuficientes para garantizar que el cuadrilátero es un cuadrado. FindGeometricConjectures no encontrará conjeturas sobre polígonos regulares.
Refine las hipótesis agregando la estipulación de que y comparten una orientación común.
Ahora, la búsqueda de suposiciones sobre polígonos regulares encontrará la conclusión deseada.