정리 문구 재조율하기: 휘슬러-하트비거 정리
RandomInstance와 FindGeometricConjectures는 정리 문구에서 오류를 찾기위해 사용할 수 있습니다. 예를 들어 정리가 모든 경우에 참이되지 않도록 하는 중요한 가설이 정리의 진술에 포함되지 않은 경우 등을 들 수 있습니다.
휘슬러-하트비거 정리는 대부분의 경우 
와 
가 꼭짓점 
를 공유하는 두 개의 사각형이라고 가정하면, 
와 
를 각각 
와 
의 중점으로 하고, 
과 
는 두 개의 사각형의 중심이됩니다. 그러면 사변형 
또한 사각형이라고 정의되어 있습니다.
이러한 가설을 GeometricScene으로 나타내 봅니다.
생성된 장면이 명확하게 드러나듯이, 사변형 
가 사각형인 것을 보증하기에는 가설이 불충분합니다. FindGeometricConjectures는 일반 다각형에 대한 예상을 찾지 않습니다.
와 
가 공통의 방향을 공유한다는 항목을 추가하여 가설을 조정합니다.
이제 정다각형에 대한 예상 검색에서 원하는 결론을 찾을 수 있습니다.
