Wolfram 语言

改进定理陈述:Finsler-Hadwiger 定理

RandomInstanceFindGeometricConjectures 可发现定理陈述中的错误。例如,定理的陈述可能缺少一个重要的假设,使得定理不是在所有情况下都成立。

Finsler-Hadwiger 定理的主要陈述如下:假设 是两个共享顶点 的正方形。令 分别为 的中点,令 为两个正方形的中心,则四边形 也是一个正方形。

将这些假设表示为 GeometricScene

生成的场景清楚地表明,假设不足以保证四边形 是一个正方形。 FindGeometricConjectures 将找不到关于正多边形的任何猜想。

通过添加条件来改进假设,假设 的方位是一致的。

现在,搜索关于正多边形的猜想将给出所需的结论。

相关范例

de en es fr ja pt-br