FindGeometricConjectures

✖
`FindGeometricConjectures`

[実験的]

✖

FindGeometricConjectures[scene]

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

✖

FindGeometricConjectures[{scene₁,scene₂,…}]

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

✖

FindGeometricConjectures[scenes,patt]

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

✖

FindGeometricConjectures[scenes,patt,n]

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

詳細とオプション

scene が1つまたは複数の例を持つGeometricSceneオブジェクトのとき，FindGeometricConjecturesはシーンの各例について成り立つと推測される結論が加えられたGeometricSceneを返す．
GeometricSceneオブジェクトの結論はGeometricScene[…]["Conclusions"]から得ることができる．
シーンの例が与えられていなければ，RandomInstanceを使って推測するための例が生成される．
FindGeometricConjectures[{scene₁,scene₂,…}]はFindGeometricConjectures[GeometricScene[{scene₁,scene₂,…}]]に等しい．
patt の可能な値には，GeometricAssertion[_,"Perpendicular"]，_==Midpoint[{_,_}]等がある．
scene_iは，点，数量，仮定の同じリストを持たなければならないが，同じシーンの別の例を表していてもよい．
次は，使用可能なオプションである．
Method Automatic 使用するメソッド
Method{"RandomInstance",RandomSeedingseed}を使ってランダムシードを与えることができる．

例題

すべて開くすべて閉じる

例 (2)基本的な使用例

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

In[1]:=1

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-5jtawh

Out[1]=1

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

In[2]:=2

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-jncd6n

Out[2]=2

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

In[3]:=3

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-fhpcss

Out[3]=3

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

In[1]:=1

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-pu9efk

Out[1]=1

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

In[2]:=2

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-2zxcfo

Out[2]=2

アプリケーション (3)この関数で解くことのできる問題の例

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

In[1]:=1

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-4z6kzd

Out[1]=1

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

In[2]:=2

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-wojisz

Out[2]=2

外心を繰り返し取る：

In[1]:=1

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-9qcz4v

Out[1]=1

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

In[2]:=2

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-7jxvrm

Out[2]=2

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

In[1]:=1

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-ezwaue

Out[1]=1

Finsler–Hadwigerの定理を求める：

In[2]:=2

✖

https://wolfram.com/xid/0gcrqgbq9hp471nmkj-rr8lk5

Out[2]=2

トップへ