예상에 의한 필터 : 나폴레옹의 정리
경우에 따라 FindGeometricConjectures는 특정한 예상만이 필요한 경우에 다수의 예상을 생성할 수 있습니다. FindGeometricConjectures는 GeometricScene에 대해 어떤 유형의 예상을 반환하는지를 필터링할 수 있습니다.
주어진 삼각형의 각 변에 정삼각형을 만듭니다. 나폴레옹의 정리에 따르면, 이 정삼각형의 중심을 연결하면 정삼각형이 됩니다. 나폴레옹의 정리 가설을 GeometricScene으로 나타냅니다.
일반적인 정다각형에 대한 서술만을 찾아 결론을 성공적으로 예상합니다.
하나의 결론만이 반환되었습니다.
제한하지 않으면 다수의 예상을 반환합니다.
