# FindGeometricConjectures

FindGeometricConjectures[scene]

finds conjectures that appear to hold for the GeometricScene object scene and adds these conjectures to the scene object.

FindGeometricConjectures[{scene1,scene2,}]

finds conjectures that appear to hold for all instances scenei of a geometric scene and returns a combined scene with the conjectures added.

FindGeometricConjectures[scenes,patt]

adds only conjectures that match the pattern patt.

FindGeometricConjectures[scenes,patt,n]

adds only up to n conjectures.

# Details and Options # Examples

open allclose all

## Basic Examples(2)

Represent a scene with a circumscribed triangle with the diameter as an edge:

Find conjectures that appear to hold for the scene:

Discover Thales's theorem:

Represent a scene with a pentagram where some angles are known:

Solve for missing angles:

## Applications(3)

Represent a scene with two sets of collinear points:

Discover Pappus's hexagon theorem:

Iteratively take circumcenters:

Discover Kosnita's theorem:

Describe a scene with two squares and a quadrilateral formed by taking midpoints: