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 ja pt-br zh