여러 가지 방법으로 정리 공식화하기 : 파푸스의 육각형 정리
RandomInstance와 FindGeometricConjectures는 복잡한 기하학 정리를 발견하기 위해 사용할 수 있으며, 장면을 어떻게 표현하는지에 대한 유연성도 제공합니다.
파푸스의 육각형 정리는 하나의 간격의 정점이 동일 선상에 있는 교차 육각형에서는 반대편 변의 세 쌍의 교점이 동일 선상에 있습니다. 파푸스 육각형 정리의 가설을 GeometricScene으로 나타내 봅니다.
결론을 성공적으로 예상합니다.
다른 등가 가설을 사용하여 같은 추상적 장면의 다른 인스턴스를 생성합니다.
다시 한번, 결과를 정확하게 예상합니다.
