Wolfram 语言

以多种方式形成定理:帕普斯六边形定理

可通过 RandomInstanceFindGeometricConjectures 发现复杂的几何定理,同时还可以灵活地描述场景。

帕普斯六边形定理指出,对于每隔一个顶点共线的交叉六边形,其三组相对的边的交点共线。将帕普斯六边形定理的假设表示为 GeometricScene

成功推测出结论。

使用不同但等效的假设来生成同一抽象场景的另一个实例。

同样可以成功地推测出结论。

相关范例

de en es fr ja pt-br