Wolfram言語

定理の文言を調整する:Finsler-Hadwigerの定理

RandomInstanceFindGeometricConjecturesは定理の文言における誤りを見付けるために使うことができる.たとえば,定理がすべての場合において真にならないようにする重要な仮説が定理の言明に含まれていない場合等がある.

FinslerHadwigerの定理は,ほとんどの場合,「 が頂点 を共有する2つの正方形であるとする. をそれぞれ の中点とし, を2つの正方形の中心であるとすると,四角形 もまた正方形である.」のようになっている.

これらの仮説をGeometricSceneとして表す.

生成されたシーンがはっきり示すように,仮説は四角形 が正方形であることを保障するのには不十分である.FindGeometricConjecturesは正多角形についての予想を一つも見付けない.

が共通の向きであるという項目を加えることによって,仮説を調整する.

これで,正多角形についての予想の検索で所望の結論が出る.

関連する例

de en es fr ko pt-br zh