Wolfram 语言

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

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

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

生成场景的具体实例。

搜索此场景的所有猜想。

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

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

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

相关范例

de en es fr ja pt-br