기하학에서 외접원(外接圓, 영어: circumscribed circle, circumcircle)은 주어진 다각형의 모든 꼭짓점을 지나는 원이다. 외심(外心, 영어: circumcenter)은 외접원의 중심을 일컫는다. 모든 삼각형과 정다각형은 외접원을 갖는다. 그러나 모든 다각형에 외접원이 존재하는 것은 아니다.
정의
다각형의 모든 꼭짓점을 지나는 원이 존재한다면, 이 원을 이 다각형의 외접원이라고 한다. 다각형의 외접원의 중심을 이 다각형의 외심이라고 한다. 외접원을 갖는 (볼록) 다각형을 내접 다각형(內接多角形, 영어: cyclic polygon, inscribed polygon)이라고 한다. 특히 외접원을 갖는 (볼록) 사각형을 내접 사각형이라고 한다.
성질
다각형이 외접원을 갖는다면, 그 외심은 모든 변의 수직 이등분선의 교점이며, 외심과 다각형의 각 꼭짓점 사이의 거리는 외접원의 반지름이므로 모두 같다.
모든 삼각형과 정다각형은 외접원을 갖는다. 즉, 모든 삼각형과 정다각형은 내접 다각형이다.
삼각형 및 직선 , , 위의 점 , , 가 주어졌다고 하자. 미켈 정리(영어: Miquel theorem)에 따르면, 삼각형 , , 의 외접원은 한 점 에서 만난다. 이 경우 점 를 삼각형 에 대한 점 , , 의 미켈 점(영어: Miquel point)이라고 한다. 만약 , , 가 한 직선 위의 점이 아닐 경우, 삼각형 를 삼각형 에 대한 점 의 한 미켈 삼각형(영어: Miquel triangle)이라고 한다.
증명:
편의상 , , 가 변 , , 위의 점이며, 삼각형 , 의 외접원의 다른 한 교점 가 삼각형 의 내부에 속한다고 하자 (그 밖의 경우의 증명은 유사하다). 그렇다면 사각형 , 는 내접 사각형이므로
이다. 따라서 사각형 역시 내접 사각형이다.
네 직선으로 구성된 네 삼각형의 외접원은 한 점에서 만난다. 이는 미켈 정리에서 , , 가 한 직선 위의 점인 특수한 경우이다.
삼각형 및 직선 , , 위의 점 , , 및 점 에 대하여, 삼각형 가 점 의 미켈 삼각형일 필요 충분 조건은 유향각, , 의 크기가 같은 것이다. 이에 따라, 주어진 점의 미켈 삼각형은 무한히 많이 존재한다. 수족 삼각형은 미켈 삼각형의 특수한 경우이다.
삼각형 및 직선 , , 위의 점 , , 및 미켈 점 가 주어졌다고 하자. 그렇다면 다음이 성립한다.[1]:133, §VII.186
여기서 모든 각도는 유향각이다.
증명:
편의상 , , 가 변 , , 위의 점이며, 삼각형 , 의 외접원의 다른 한 교점 가 삼각형 의 내부에 속한다고 하자 (그 밖의 경우의 증명은 유사하다). 그렇다면 사각형 , 는 내접 사각형이므로
이다.
주어진 점의 모든 미켈 삼각형은 닮음이다. 구체적으로, 삼각형 에 대한 점 의 모든 미켈 삼각형은 를 고정점으로 하는 방향 보존 닮음 변환에 대하여 닮음이다.[1]:134, §VII.188
증명:
위 등식에 따라 삼각형 에 대한 점 의 미켈 삼각형 의 세 내각의 크기
는 미켈 삼각형 의 선택과 무관하므로, 모든 미켈 삼각형은 (방향 보존 닮음 변환에 대하여) 닮음이다. 또한
역시 미켈 삼각형의 선택과 무관하므로, 닮음 변환은 를 고정점으로 갖는다.
키페르트 포물선과의 관계
삼각형의 모든 내접 포물선의 초점은 외접원 위의 점이다.[2]:47, §5.5 특히 삼각형의 키페르트 포물선(영어: Kiepert’s parabola)의 초점은 외접원 위의 점이다. 이는 종합 기하학의 방법을 통해 다음과 같이 증명할 수 있다.
증명:
내접 포물선의 초점 가 외접원 위의 점이라는 조건은 초점 를 지나는 삼각형의 세 변의 수선의 발이 한 직선 위의 점인 것과 동치이다 (심슨 직선). 따라서 초점 를 지나는, 포물선 위 임의의 점 에서의 접선의 수선의 발이 항상 포물선의 꼭짓점 에서의 접선 위의 점임을 보이는 것으로 충분하다.
점 또는 초점 를 지나는 준선의 수선의 발을 , 라고 하고, 꼭짓점 에서의 접선과 의 교점을 이라고 하자. 그렇다면 포물선의 꼭짓점 는 선분 의 중점이며, 과 는 평행하므로 은 선분 의 중점이다. 이므로 은 의 수선이자 의 이등분선이다. 이에 따라 광선 가 직선 에 반사된 광선은 의 연장선이다. 포물선의 성질에 따라 초점을 지나는 광선 가 포물선에 반사된 광선은 의 연장선이므로, 은 포물선의 에서의 접선이다.
↑ 가나Johnson, Roger A. (1960) [1929]. 《Advanced Euclidean Geometry》 (영어). New York, N. Y.: Dover Publications.
↑Honsberger, Ross (1995). 《Episodes in Nineteenth and Twentieth Century Euclidean Geometry》. New Mathematical Library (영어) 37. Washington: The Mathematical Association of America. ISBN0-88385-639-5.