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 all close all

Basic Examples  (2)

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

In[2]:=
Click for copyable input
Out[2]=

Discover Thales's theorem:

In[4]:=
Click for copyable input
Out[4]=

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

In[1]:=
Click for copyable input
Out[1]=

Solve for missing angles:

In[2]:=
Click for copyable input
Out[2]=

Applications  (3)

Introduced in 2019
(12.0)