맨션
삼각형 formula_17의 내심을 formula_1, 외접원의 호 formula_20의 중점 formula_59이라고 할 때, 다음이 성립한다 (맨션 정리).