proof)

지름의 길이가 1 인 원을 그린 후 지름을 현으로 하는 삼각형 두개를 그린 후 이루는 각을

로 둡니다.

그러면 내접하는 사각형의 각 변의 길이를 삼각비로서 나타낼 수 있습니다.

그러면 다음 그림의 빨간색 선분의 길이만 알면 톨레미의 정리를 적용할 수 있습니다.

이를 구하기 위해서

톨레미 정리를 적용하면

대신

를 대입하면

참조: 톨레미 정리