FindGeometricConjectures

FindGeometricConjectures[scene]

GeometricSceneオブジェクト scene について成り立つであろう推測を求め，この推測をシーンオブジェクトに加える．

FindGeometricConjectures[{scene1,scene2,…}]

幾何シーンのすべての例 sceneiについて成り立つであろう推測を求め，組み合せられたシーンを加えられた推測とともに返す．

FindGeometricConjectures[scenes,patt]

パターン patt にマッチする推測だけを加える．

FindGeometricConjectures[scenes,patt,n]

推測を最高で n 個まで加える．

詳細とオプション

例題

すべて開くすべて閉じる

例  (2)

外接円を持つ，直径を辺とする三角形があるシーンを表す：

シーンで成立すると思われる予測を求める：

タレス(Thales)の定理を求める：

いくつかの角が既知である星形五角形があるシーンを表す：

欠落した角について解く：

アプリケーション  (3)

同一線上の点集合が2つあるシーンを表す：

パップス(Pappus)の六角形定理を求める：

外心を繰り返し取る：

コスニタ(Kosnita)の定理を求める：

2つの正方形と，中点を取って作られた四角形があるシーンを描写する：

Finsler–Hadwigerの定理を求める：

Wolfram Research (2019), FindGeometricConjectures, Wolfram言語関数， https://reference.wolfram.com/language/ref/FindGeometricConjectures.html.

テキスト

Wolfram Research (2019), FindGeometricConjectures, Wolfram言語関数， https://reference.wolfram.com/language/ref/FindGeometricConjectures.html.

CMS

Wolfram Language. 2019. "FindGeometricConjectures." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/FindGeometricConjectures.html.

APA

Wolfram Language. (2019). FindGeometricConjectures. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/FindGeometricConjectures.html

BibTeX

@misc{reference.wolfram_2024_findgeometricconjectures, author="Wolfram Research", title="{FindGeometricConjectures}", year="2019", howpublished="\url{https://reference.wolfram.com/language/ref/FindGeometricConjectures.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_findgeometricconjectures, organization={Wolfram Research}, title={FindGeometricConjectures}, year={2019}, url={https://reference.wolfram.com/language/ref/FindGeometricConjectures.html}, note=[Accessed: 22-November-2024 ]}