发现简单的猜想：泰勒斯定理
FindGeometricConjectures 可用来发现 GeometricScene 中的几何关系和等式。
泰勒斯定理指明如果 
、
和 
是圆上不同的点，直线 
是直径，则 
是直角。将泰勒斯定理的假设表示为 GeometricScene。
生成场景的具体实例。
搜索此场景的所有猜想。
提取这些猜想的结论。这两个结论是等价的。
给出同一抽象场景的不同实例。
之前发现的相同猜想也适用于这些实例。
‹›
