过滤猜想:拿破仑定理
某些情况下,可能只需要给出一些特定类型的猜想,但 FindGeometricConjectures 依然给出许多猜想。FindGeometricConjectures 可对关于 GeometricScene 的猜想进行过滤,只返回指定类型的猜想。
考虑在给定三角形的每条边上构建等边三角形。拿破仑定理指出,这些等边三角形的中心本身也形成了一个等边三角形。将拿破仑定理的假设表示为 GeometricScene。
成功推测出结论,只要求返回有关正多边形的陈述。
只返回了一条结论。
如果不加限制,将返回许多猜想。