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