Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

FindGeometricConjectures

FindGeometricConjectures[scene]

找到看上去对 GeometricScene 对象 scene 成立的猜想，并将这些猜想添加到场景对象中.

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

找到看上去对所有几何场景 scene_i 都成立的猜想，并返回已添加了猜想的组合场景.

FindGeometricConjectures[scenes,patt]

只添加与模式 patt 匹配的猜想.

FindGeometricConjectures[scenes,patt,n]

最多添加 n 个猜想.

更多信息和选项

如果 scene 是有一个或多个实例的 GeometricScene 对象，那么 FindGeometricConjectures 会返回一个 GeometricScene，其中根据推测添加的结论对每个场景实例都成立.
可从 GeometricScene[…]["Conclusions"] 获取 GeometricScene 对象的结论.
如果没有给出场景实例，则通过 RandomInstance 生成实例，并据此给出猜想.
FindGeometricConjectures[{scene₁,scene₂,…}] 等价于 FindGeometricConjectures[GeometricScene[{scene₁,scene₂,…}]].
patt 的可能的值包括 GeometricAssertion[_,"Perpendicular"]、_==Midpoint[{_,_}]、….
scene_i 必须有相同的点、量和假设条件列表，但可以表示同一场景的不同实例.
可给出以下选项：
Method Automatic 使用的方法
可用 Method{"RandomInstance",RandomSeedingseed} 给出随机种子.

范例

打开所有单元关闭所有单元

基本范例 (2)

表示具有外接三角形的场景，其直径为一条边：

求似乎适合该场景的猜想：

发现泰勒斯定理：

表示一个五角星场景，其中某些角度已知：

解未知的角：

应用 (3)

表示两组共线点场景：

发现 Pappus 六边形定理：

迭代式取外心：

发现 Kosnita 定理：

描述两个正方形的场景，通过取中点形成四边形：

发现 Finsler–Hadwiger 定理：

顶部