Wolfram言語

複数の方法で定理を定式化する:パップス(Pappus)の六角形定理

RandomInstanceFindGeometricConjecturesは,複雑な幾何学定理を発見するために使える一方,シーンをどのように描画するかについての柔軟性も提供する.

パップスの六角形定理は,一つおきの頂点が同一線上にある交差六角形では,反対側の辺の3ペアの交点が同一線上にあるというものである.ハップスの六角形定理の仮説をGeometricSceneとして表す.

結論を正しく予想する.

異なるが等価の仮説を使って,同じ抽象的シーンの別のインスタンスを生成する.

再び結果を正しく予想する.

関連する例

de en es fr pt-br zh