| 평면기하학 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. 개요
Théorème de Desargues / Desargues 定理1648년에 증명된 프랑스의 기하학자 지라르 데자르그(Girard Desargues)의 정리이다.
프랑스어에서 Desargues는 '데자르그'로 읽으며 '두 사르그' 내지 '드 사르그'는 영어식 피진이다. 대한수학회에서는 '데자르그 정리'로 번역되어있다.
2. 설명
삼각형 [math(\rm ABC)], 삼각형 [math(\rm A'B'C')]을 고려하자. 직선 [math(\rm AA')], 직선 [math(\rm BB')], 직선 [math(\rm CC')]가 한 점 [math(\rm O)]에서 만날 때[1], 선분 [math(\rm BC)], 선분 [math(\rm B'C')]의 각 연장선의 교점을 [math(\rm L)], 선분 [math(\rm AC)], 선분 [math(\rm A'C')]의 각 연장선의 교점을 [math(\rm M)], 선분 [math(\rm AB)], 선분 [math(\rm A'B')]의 각 연장선의 교점을 [math(\rm N)]이라하자. 이때, 세 점 [math(\bf L)], [math(\bf M)], [math(\bf N)]은 한 직선 위에 있다.[2](위 그림에서 적색 선)
3. 증명
메넬라오스 정리를 세 번 사용하여 증명할 수 있다.[math(\rm \triangle{OAB})]와 [math(\rm \overline{NB'A'})]에서 메넬라오스 정리를 적용하면
| [math(\displaystyle \rm \frac{\overline{AN}}{\overline{NB}} \cdot \frac{\overline{BB'}}{\overline{B'O}} \cdot \frac{\overline{OA'}}{\overline{A'A}}=1)] |
[math(\rm \triangle{OBC})]와 [math(\rm \overline{LC'B'})]에서 메넬라오스 정리를 적용하면
| [math(\displaystyle \rm \frac{\overline{BL}}{\overline{LC}} \cdot \frac{\overline{CC'}}{\overline{C'O}} \cdot \frac{\overline{OB'}}{\overline{B'B}}=1)] |
[math(\rm \triangle{OCA})]와 [math(\rm \overline{MA'C'})]에서 메넬라오스 정리를 적용하면
| [math(\displaystyle \rm \frac{\overline{CM}}{\overline{MA}}\cdot\frac{\overline{AA'}}{\overline{A'O}}\cdot\frac{\overline{OC'}}{\overline{C'C}}=1)] |
위 결과를 모두 곱하여 소거하면
| [math(\displaystyle \rm \frac{\overline{AN}}{\overline{NB}}\cdot\frac{\overline{BL}}{\overline{LC}}\cdot\frac{\overline{CM}}{\overline{MA}}=1)] |
그러므로 메넬라오스 정리의 역에 의해 세 점 [math(\rm L)], [math(\rm M)], [math(\rm N)]는 한 직선 위에 있다.
4. 역의 증명
반대로, 두 삼각형이 직선에 대한 배경의 위치에 있다면, 두 삼각형은 점에 대한 배경의 위치에 있다는 것을 증명할 수 있다. 즉, 두 삼각형이 직선에 대한 배경의 위치에 있는 것과, 점에 대한 배경의 위치에 있는 것은 동치이다.역의 증명은 흥미롭게도 위에 있는 데자르그의 정리를 이용해 증명할 수 있다.
[math(\rm AA')]와 [math(\rm BB')]의 교점을 [math(\rm O)]라고 하고 [math(\rm CC'O)]가 한 직선임을 보이자.
두 삼각형 [math(\rm \triangle{MAA'})], [math(\rm \triangle{LBB'})]은 점 N에 대한 배경의 위치에 있다. 따라서 데자르그의 정리에 의해 [math(\rm AA')]와 [math(\rm BB')]의 교점 [math(\rm O)], [math(\rm MA')]와 [math(\rm LB')]의 교점 [math(\rm C')], [math(\rm AM)]와 [math(\rm BL)]의 교점 [math(\rm C)]은 한 직선 위에 있다.