Wolfram言語

簡単な予想を求める:タレス(Thales)の定理

FindGeometricConjecturesを使うと,GeometricSceneの幾何学的関係および等価性を見付けることができる.

タレスの定理によると, が円周上の異なる3点であり,線分 が直径であるとすると, は直角となる.タレスの定理の仮説をGeometricSceneとして表す.

このシーンの特定のインスタンスを生成する.

このシーンについての予想すべてを検索する.

これらの予想の結論を抽出する.これら2つの結論は同じである.

同じ抽象的シーンの異なるインスタンスを見付ける.

前に見付かったのと同じ予想は,これらすべてのインスタンスについても真である.

関連する例

de en es fr pt-br zh