Filtrez les hypothèses : Théorème de Napoléon
Dans certains cas, FindGeometricConjectures peut émettre beaucoup d'hypothèses alors que seuls certains types d'hypothèses sont désirés. FindGeometricConjectures peut filtrer quels types d'hypothèses doivent être renvoyés par rapport à GeometricScene.
Considérons les triangles équilatéraux construits de chaque côté d'un triangle donné. Le théorème de Napoléon affirme que les centres de ces triangles équilatéraux forment un triangle équilatéral. Représentez les hypothèses du théorème de Napoléon en tant que GeometricScene.
Émettez facilement une hypothèse sur la conclusion en ne cherchant que des énoncés sur les polygones réguliers.
Une seule conclusion a été tirée.
Sans cette limitation, de nombreuses hypothèses seraient renvoyées.
