맨션
삼각형 formula_1의 내심을 formula_2라고 하고, formula_3의 연장선과 외접원의 교점을 formula_4이라고 하자. 맨션 정리에 따르면, formula_4은 삼각형 formula_6의 외심이다. 즉, 다음이 성립한다.