| 평면기하학 Plane Geometry | |||
| {{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" | <colbgcolor=#765432> 공통 | 도형 · 직선 (반직선 · 선분 · 평행) · 각 (맞꼭지각 · 동위각 · 엇각 · 삼각비) · 길이 · 넓이 · 다각형 (정다각형 · 대각선) · 작도 · 합동 · 닮음 · 등적변형 · 삼각함수 (덧셈정리) · 접선 · 벡터 | |
| 삼각형 | 종류 | 정삼각형 · 이등변삼각형 · 부등변삼각형 · 예각삼각형 · 직각삼각형 · 둔각삼각형 | |
| 성질 | 오심 (관련 정리 · 구점원) · 피타고라스 정리 · 사인 법칙 · 코사인 법칙 · 헤론의 공식 · 신발끈 공식 · 스튜어트 정리 · 우산 정리 · 오일러 삼각형 정리 · 데자르그 정리 · 메넬라오스 정리 · 나폴레옹의 정리 · 체바 정리 · 사영 정리 · 판아우벌 정리 | ||
| 기타 | 세모 모양 · 평범한 삼각형 · 젤곤 삼각형 · 랭글리 삼각형 · 페르마 점 | ||
| 사각형 | 정사각형 · 직사각형 · 마름모 · 평행사변형 · 사다리꼴 · 등변 사다리꼴 · 연꼴 · 네모 모양 | ||
| 그 외 다각형 | 오각형 · 육각형 · 칠각형 · 팔각형 (정팔각형) · 구각형 · 십각형 · 십일각형 · 십이각형 · 백각형 | ||
| 원 | 단위원 · 원주율 · 호 · 부채꼴 · 할선 · 활꼴 · 방정식 · 원주각 · 방멱 정리 · 톨레미 정리 | ||
| 원뿔곡선 | 포물선 · 타원 · 쌍곡선 · 파스칼 정리 | ||
| 기타 | 유클리드 · 보조선 · 테셀레이션(펜로즈 타일) · 제곱근의 앵무조개 · 픽의 정리 · 논증 기하학 · 해석 기하학 · 3대 작도 불능 문제 | }}}}}}}}} | |
1. 요약 (원과 삼각형, 직선에 관한 정리)
한 원 위에 있는 임의의 점 [math(A)], [math(B)], [math(C)], [math(D)], [math(E)], [math(F)]를 잡자. 현 [math(\overline{AB})]와 현 [math(\overline{DE})]의 교점을 [math(J)], 현 [math(\overline{BC})]와 현 [math(\overline{EF})]의 교점을 [math(L)], 현 [math(\overline{CD})]와 현 [math(\overline{AF})]의 교점을 [math(K)]라 하면, 점 [math(J)], [math(K)], [math(L)]은 한 직선 위에 있다.
1.1. 증명
메넬라오스 정리와 방멱 정리를 사용한다.[math(\triangle{GHI})]와 [math(\overline{DKC})]에서 메넬라오스 정리를 적용하면
[math(\frac{\overline{GK}}{\overline{KH}}\times\frac{\overline{HD}}{\overline{DI}}\times\frac{\overline{IC}}{\overline{CG}}=1)]···①
[math(\triangle{GHI})]와 [math(\overline{AJB})]에서 메넬라오스 정리를 적용하면
[math(\frac{\overline{GA}}{\overline{AH}}\times\frac{\overline{HJ}}{\overline{JI}}\times\frac{\overline{IB}}{\overline{BG}}=1)]···②
[math(\triangle{GHI})]와 [math(\overline{FLE})]에서 메넬라오스 정리를 적용하면
[math(\frac{\overline{GF}}{\overline{FH}}\times\frac{\overline{HE}}{\overline{EI}}\times\frac{\overline{IL}}{\overline{LG}}=1)]···③
방멱의 정리에 의해
[math(\overline{BI} \times \overline{CI})]=[math(\overline{DI} \times \overline{EI})]
[math(\overline{AH} \times \overline{FH})]=[math(\overline{DH} \times \overline{EH})]
[math(\overline{GA} \times \overline{GF})]=[math(\overline{GC} \times \overline{GB})]
위의 세 식을 ④라고 하자.
①, ②, ③을 모두 곱하자.
[math(\frac{\overline{GK}}{\overline{KH}} \times \frac{\overline{HD}}{\overline{DI}}\times\frac{\overline{IC}}{\overline{CG}}\times\frac{\overline{GA}}{\overline{AH}}\times\frac{\overline{HJ}}{\overline{JI}}\times\frac{\overline{IB}}{\overline{BG}}\times\frac{\overline{GF}}{\overline{FH}}\times\frac{\overline{HE}}{\overline{EI}}\times\frac{\overline{IL}}{\overline{LG}}=1)]
그리고 식 ④를 적용해 분자의 [math(\overline{BI}\times\overline{CI})]는[math(\overline{DI}\times\overline{EI})]로, 분자의 [math(\overline{AH}\times\overline{FH})]는[math(\overline{DH}\times\overline{EH})]로, 분자의 [math(\overline{GA}\times\overline{GF})]는[math(\overline{GC}\times\overline{GB})]로 바꾸고, 소거시킬 수 있는 것들을 소거하면
[math(\frac{\overline{GK}}{\overline{KH}}\times\frac{\overline{HJ}}{\overline{JI}}\times\frac{\overline{IL}}{\overline{LG}}=1)]이 된다.
그러므로 메넬라오스 정리의 역에 의해 세 점 [math(J)], [math(K)], [math(L)]은 한 직선 위에 있다.
다른 증명으로 베주 정리를 이용한 증명이 있다. 이쪽은 대수기하학 지식이 필요하다.
2. 요약 (원뿔곡선에 내접하는 육각형에 대한 정리)
| 포물선 | 타원 |
| 물론 육각형이 쌍곡선 한쪽에만 내접해도 된다. | |
원뿔곡선에 내접하는 육각형의 대변의 연장선은 한 직선 위에 있다.