맨션
이며, 또한 맨션 정리에 의하여 formula_19이다. 삼각형 formula_20와 formula_21을 생각할 때, 호 formula_22의 원주각의 성질에 의하여