Wolfram Language

Affinez les énoncés d'un théorème : Théorème de Finsler-Hadwiger

RandomInstance et FindGeometricConjectures peuvent être utilisées pour découvrir des erreurs dans l'énoncé d'un théorème. Par exemple, l'énoncé du théorème peut ne pas contenir une hypothèse importante et empêche le théorème de se vérifier dans tous les cas.

La plupart des énoncés du théorème de Finsler-Hadwiger sont donnés comme suit : Supposons que et représentent deux carrés qui partagent un sommet . Soit et les centres de et , respectivement, et soit et les centres des deux carrés. Alors le quadrilatère est également un carré.

Représentez ces hypothèses en tant que GeometricScene.

Comme le montre clairement la figure générée, les hypothèses sont insuffisantes pour garantir que le quadrilatère soit un carré. FindGeometricConjectures ne trouvera aucune hypothèse sur les polygones réguliers.

Affinez les hypothèses en ajoutant la condition que et partagent une orientation commune.

Maintenant, la recherche d'hypothèses sur les polygones réguliers trouvera la conclusion désirée.

Exemples connexes

de en es ja pt-br zh