Wolfram言語

予想にフィルタを施す:ナポレオン(Napoleon)の定理

FindGeometricConjecturesは,ある種の予想だけが所望されているときに,多数の予想を生成してしまう場合がある.FindGeometricConjecturesGeometricSceneに関してどのタイプの予想を返すかをフィルタで絞り込むことができる.

与えられた三角形の各辺に正三角形を作る.ナポレオンの定理によると,これらの正三角形の中心を繋ぐと正三角形になる.ナポレオンの定理の仮説をGeometricSceneとして表す.

正多角形だけに関する記述を探して,結論を正しく予想する.

1つの結論だけが返された.

制限しないと,多数の予想が返される.

関連する例

de en es fr ko pt-br zh