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