Suposiciones de filtro: el teorema de Napoleón
En algunos casos, FindGeometricConjectures puede hacer muchas conjeturas cuando solo se desean ciertos tipos de las mismas. FindGeometricConjectures puede filtrar qué tipos de cojeturas sobre una GeometricScene deben ser devueltas.
Considere triángulos equiláteros construidos en cada lado de un triángulo determinado. El teorema de Napoleón establece que los centros de esos triángulos equiláteros forman un triángulo equilátero. Represente las hipótesis del teorema de Napoleón como una GeometricScene.
Conjeture con éxito la conclusión, solo buscando declaraciones sobre polígonos regulares.
Solo se devolvió una conclusión.
Sin la limitación, se devolverían muchas conjeturas.
