푸르만 원

testwiki
둘러보기로 이동 검색으로 이동

틀:위키데이터 속성 추적

푸르만 원

기하학에서, 푸르만 원(틀:Llang)은 삼각형수심나겔 점을 잇는 선분을 지름으로 하는 이다.

정의

삼각형 ABC외접원의 호 BC, CA, AB의 중점을 각각 FA, FB, FC라고 하자. 직선 BC에 대한 FA반사상을 FA, 직선 CA에 대한 FB의 반사상을 FB, 직선 AB에 대한 FC의 반사상을 FC라고 하자. 그렇다면 삼각형 FAFBFC를 원래 삼각형 ABC푸르만 삼각형(틀:Llang)이라고 한다. 푸르만 삼각형의 외접원을 푸르만 원이라고 한다.

성질

푸르만 원은 수심나겔 점을 잇는 선분을 지름으로 한다.[1]틀:Rp 특히, 푸르만 원의 중심은 수심과 나겔 점을 잇는 선분의 중점이다. 틀:증명 삼각형 ABC의 수심을 H, 나겔 점을 X8이라고 하자. 그렇다면 FAFA은 선분 BC의 수직 이등분선이므로, 선분 BC의 중점 MA와 외심 O를 지난다. 특히 O에 대한 FA의 반사상을 FA이라고 할 경우 선분 FAFA은 외접원의 지름이다. AHFAFA는 모두 BC의 수선이므로 평행한다. 또한

AH=2OMA=2OFA2MAFA=FAFAFAFA=FAFA

이므로 선분 HFA는 선분 AFA평행 이동상이며, 특히 이 두 선분의 직선은 평행한다.

삼각형 ABC반중점 삼각형 ABCA, B, C에 대한 꼭짓점을 A, B, C이라고 하자. 그렇다면 X8은 삼각형 ABC내심이며, 특히 AX8은 삼각형 ABC의 내각 이등분선이다. AFA 역시 삼각형 ABC의 내각 이등분선이므로, AX8AFA은 평행한다. MA는 선분 AAFAFA의 공통 중점이므로, 선분 AFAAFA는 서로 MA에 대한 반사상이며, 특히 이 두 선분의 직선은 평행한다. 따라서, A, X8, FA공선점이며, X8FAAFA은 평행한다.

선분 FAFA은 삼각형 ABC의 외접원의 지름이므로, AFAAFA은 서로 수직이다. 따라서 X8FAHFA 역시 서로 수직이며, FA는 선분 HX8를 지름으로 하는 원 위의 점이다. 틀:증명 끝

삼각형 ABC의 세 변의 길이를 a=BC, b=AC, c=AB라고 하고, 외접원의 반지름을 R라고 하자. 그렇다면 푸르만 원의 반지름은

Ra3+b3+c3(a2b+a2c+ab2+b2c+ac2+bc2)+3abcabc

이다.[2]틀:Rp

삼각형 ABC내접원의 반지름을 r라고 하고, 각 꼭짓점 A, B, C에서 대변에 내린 수선과 푸르만 원 사이의 수심이 아닌 교점을 P, Q, R라고 하자. 그렇다면

AP=BQ=CR=2r

이다.[1]틀:Rp

삼각형 ABC의 세 변의 길이를 a=BC, b=AC, c=AB라고 하고, 외심O, 내심I라고 하자. 그렇다면 푸르만 삼각형의 세 변의 길이는

FBFC=(a+b+c)(b+ca)bcOI=a(a3+b3+c3(a2b+a2c+ab2+b2c+ac2+bc2)+3abc)(ab+c)(a+bc)
FAFC=(a+b+c)(ab+c)acOI=b(a3+b3+c3(a2b+a2c+ab2+b2c+ac2+bc2)+3abc)(b+ca)(a+bc)
FAFB=(a+b+c)(a+bc)abOI=c(a3+b3+c3(a2b+a2c+ab2+b2c+ac2+bc2)+3abc)(b+ca)(ab+c)

이다.[2]틀:Rp

삼각형 ABC의 내심을 I, 외심을 O, 수심H, 나겔 점X8, 푸르만 원의 중심을 X355라고 하자. 그렇다면 사각형 OIX355X8과 사각형 OIHX355는 모두 평행 사변형이며, 그 무게 중심은 각각 슈피커 중심구점원의 중심이다.[2]틀:Rp 특히, 슈피커 중심은 외심과 푸르만원의 중심을 잇는 선분의 중점이며, 구점원의 중심은 내심과 푸르만 원의 중심을 잇는 선분의 중점이다.

삼각형 ABC의 외접원과 내접원의 반지름을 Rr라고 하자. 그렇다면 내심 I와 푸르만 원의 중심 X355 사이의 거리는 다음과 같다.[2]틀:Rp

IX355=2NI=R2r

여기서 N은 구점원의 중심이다.

각주

틀:각주

외부 링크