发现简单的猜想：泰勒斯定理

FindGeometricConjectures 可用来发现 GeometricScene 中的几何关系和等式。

泰勒斯定理指明如果 、 和 是圆上不同的点，直线 是直径，则 是直角。将泰勒斯定理的假设表示为 GeometricScene。

In[1]:=1

✖

生成场景的具体实例。

In[2]:=2

✖

Out[2]=2

搜索此场景的所有猜想。

In[3]:=3

✖

Out[3]=3

提取这些猜想的结论。这两个结论是等价的。

In[4]:=4

✖

Out[4]=4

给出同一抽象场景的不同实例。

In[5]:=5

✖

Out[5]=5

之前发现的相同猜想也适用于这些实例。

In[6]:=6

✖

Out[6]=6