톨레미 정리:원에 내접하는 사각형에서 대각선의 곱 = 대변의 곱의 합과 같다. proof) 다음을 만족하는 점 P 에 대한 보조선을 긋습니다.그러면 닮음을 만족하는 두 삼각형 쌍이 만들어 집니다.이를 식으로 끌면 원하는 결과가 나옵니다.