Filtre suposições: Teorema de Napoleão
Em alguns casos, FindGeometricConjectures pode fazer muitas suposições quando apenas certos tipos de suposições são desejadas. FindGeometricConjectures pode filtrar quais tipos de suposições sobre um GeometricScene devem ser retornadas.
Considere triângulos equiláteros construídos em cada lado de um determinado triângulo. O teorema de Napoleão afirma que os próprios centros desses triângulos equiláteros formam um triângulo equilátero. Represente as hipóteses do teorema de Napoleão como um GeometricScene.
Faça a suposição da conclusão, procurando apenas demonstrações sobre polígonos regulares.
Apenas uma conclusão foi retornada.
Sem a limitação, muitas suposições seriam retornadas.
