Wolfram 语言™

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

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

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

成功推测出结论。

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

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