Filter Conjectures: Napoleon's Theorem
In some cases, FindGeometricConjectures may make many conjectures when only certain kinds of conjectures are desired. FindGeometricConjectures can filter which types of conjectures about a GeometricScene are to be returned.
Consider equilateral triangles constructed on each side of a given triangle. Napoleon's theorem states that the centers of those equilateral triangles themselves form an equilateral triangle. Represent the hypotheses of Napoleon's theorem as a GeometricScene.
Successfully conjecture the conclusion, only looking for statements about regular polygons.
Only one conclusion was returned.
Without the limitation, many conjectures would be returned.