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.
