Wolfram Language

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.

Related Examples

de es fr ja pt-br zh