최근 수정 시각 : 2024-01-18 14:00:02

체바 정리

체바의 정리에서 넘어옴
평면기하학
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. 개요2. 선에 관한 체바 정리
2.1. 증명
3. 각에 관한 체바 정리
3.1. 증명
4. 기타5. 관련 항목

1. 개요

Teorema di Ceva / Ceva

1678년 이탈리아의 기하학자 조반니 체바(Giovanni Ceva)가 발견한 정리이다. 크게 선에 관한 정리와 각에 관한 정리로 나뉜다.[1]

2. 선에 관한 체바 정리

파일:namu_체바.svg

[math(\triangle \rm ABC)]에서 [math(\overline{\rm BC})], [math(\overline{\rm CA})], [math(\overline{\rm AB})]의 어느 위에 있지 않은 삼각형 내부의 한 점 [math(\rm P)]와 [math(\rm A)], [math(\rm B)], [math(\rm C)]를 이은 직선이 각각 [math(\overline{\rm BC})], [math(\overline{\rm CA})], [math(\overline{\rm AB})]에서 만나는 점을 각각 [math(\rm D)], [math(\rm E)], [math(\rm F)]라 할 때, 다음이 성립한다.

[math(\displaystyle \frac{\overline{\rm BD}}{\overline{\rm DC}}\cdot\frac{\overline{\rm CE}}{\overline{\rm EA}}\cdot\frac{\overline{\rm AF}}{\overline{\rm FB}}=1)]


또한, 역으로 [math(\triangle \rm ABC)]에서 [math(\overline{\rm BC})] 위에 [math(\rm D)], [math(\overline{\rm CA})] 위에 [math(\rm E)], [math(\overline{\rm AB})] 위에 [math(\rm F)]를 잡은 후, 각각 [math(\rm A)], [math(\rm B)], [math(\rm C)]와 이었을때,

[math(\displaystyle \frac{\overline{\rm BD}}{\overline{\rm DC}}\cdot\frac{\overline{\rm CE}}{\overline{\rm EA}}\cdot\frac{\overline{\rm AF}}{\overline{\rm FB}}=1)]

이 성립하면 [math(\overline{\rm AD})], [math(\overline{\rm BE})], [math(\overline{\rm CF})]가 한 점 [math(\rm P)]에서 만나게 된다.

정리 식이 언뜻 보면 복잡해 보이지만, 규칙적인 패턴(대응 요소)이 있으므로 그 패턴과 순서를 위주로 기억해두는 게 학습 팁이다.

참고로 말하자면, [math(\mathbf P)]가 외부에 있을 때도 동일하게 성립한다. 이 경우, [math(\overline{\rm AP})], [math(\overline{\rm BP})], [math(\overline{\rm CP})]가 각각 [math(\overline{\rm BC})], [math(\overline{\rm CA})], [math(\overline{\rm AB})]의 연장선상에서 만나는 점을 [math(\rm D)], [math(\rm E)], [math(\rm F)]라 하며, 방향을 생각한 길이 표기를 도입하게 된다.[2]
  • [math(\overline{\rm AP})]가 [math(\overline{\rm BC})]를 [math(\rm C)]쪽으로 연장한 반직선과 만난다면(그 때 교점을 [math(\rm D)]라고 하면) [math(\overline{\rm DC})]는 음수로, [math(\overline{\rm BD})]는 양수로 표시하게 된다.
  • [math(\overline{\rm AP})]가 선분 [math(\overline{\rm BC})]와 만난다면 [math(\overline{\rm BD})], [math(\overline{\rm DC})] 모두 양수로 측정하게 된다.
  • [math(\overline{\rm AP})]가 [math(\overline{\rm BC})]를 [math(\rm B)] 쪽으로 연장한 반직선과 만난다면 반대로 [math(\overline{\rm BC})]는 음수, [math(\overline{\rm DC})]는 양수이다.

2.1. 증명

위에서 설명한, 방향이 고려된 길이 표기를 사용하기로 한다. 즉 길이는 음수가 될 수 없다.

[math(\displaystyle \triangle\rm ABC)]에서 [math(\displaystyle \overline{\rm BC})] 위에 [math(\displaystyle \rm D)], [math(\displaystyle \overline{\rm CA})] 위에 [math(\displaystyle \rm E)], [math(\displaystyle \overline{\rm AB})] 위에 [math(\displaystyle \rm F)]를 잡은 후, [math(\displaystyle \overline{\rm AD})], [math(\displaystyle \overline{\rm BE})], [math(\displaystyle \overline{\rm CF})]가 한 점 [math(\displaystyle \rm P)]에서 만난다고 하자. 삼각형의 넓이비를 생각하면,

[math(\displaystyle \begin{aligned} \displaystyle \frac{\overline{\rm BD}}{\overline{\rm DC}}&=\frac{\triangle\rm ABP}{\triangle\rm ACP} \\\frac{\overline{\rm CE}}{\overline{\rm EA}}&=\frac{\triangle\rm BCP}{\triangle\rm BAP} \\ \frac{\overline{\rm AF}}{\overline{\rm FB}}&=\frac{\triangle\rm CAP}{\triangle\rm CBP} \end{aligned})]

이것을 모두 곱하면 1이 된다.

역정리를 보이자.

[math(\displaystyle \frac{\overline{\rm BD}}{\overline{\rm DC}}\cdot\frac{\overline{\rm CE}}{\overline{\rm EA}}\cdot\frac{\overline{\rm AF}}{\overline{\rm FB}}=1)]

라 가정하자. [math(\displaystyle \overline{\rm AD})]와 [math(\displaystyle \overline{\rm BE})]의 교점을 [math(\displaystyle \rm Q)]라고 하고 [math(\displaystyle \overline{\rm CQ})]를 연장시켜 [math(\displaystyle \overline{\rm AB})]와의 교점을 [math(\displaystyle \rm F')]라고 하자. 그럼 원래 체바의 정리에 의해

[math(\displaystyle \frac{\overline{\rm BD}}{\overline{\rm DC}}\cdot\frac{\overline{\rm CE}}{\overline{\rm EA}}\cdot\frac{\overline{\rm AF'}}{\overline{\rm F'B}}=1)]

이 성립하는데,

[math(\displaystyle \frac{\overline{\rm BD}}{\overline{\rm DC}}\cdot\frac{\overline{\rm CE}}{\overline{\rm EA}}\cdot\frac{\overline{\rm AF}}{\overline{\rm FB}}=1)]

도 성립하므로 결국

[math(\displaystyle \frac{\overline{\rm AF'}}{\overline{\rm F'B}}=\frac{\overline{\rm AF}}{\overline{\rm FB}})]

여야 한다. 따라서, [math(\displaystyle \rm{F})]는 [math(\displaystyle \rm{F'})]과 같다는 결론을 얻는다.

3. 각에 관한 체바 정리

파일:namu_체바.svg

[math(\triangle \rm ABC)]에서 [math(\overline{\rm AD})], [math(\overline{\rm BE})], [math(\overline{\rm CF})]가 한 점 [math(\rm P)]에서 만날 때 다음이 성립한다. 이 경우 외에도 방향이 고려된 각도를 사용하게 된다.[3] 점 [math(\rm P)]가 외부에 있어도 성립한다.

[math(\displaystyle \frac{\sin{(\angle\rm CAD)}}{\sin{(\angle\rm BAD)}}\cdot\frac{\sin{(\angle\rm BCF)}}{\sin{(\angle\rm ACF)}}\cdot\frac{\sin{(\angle\rm ABE)}}{\sin{(\angle\rm CBE)}}=1)]

이것의 역 또한 성립한다.

3.1. 증명

[math(\overline{\rm AD})], [math(\overline{\rm BE})], [math(\overline{\rm CF})]가 한 점 [math(\rm P)]에서 만난다면 [math(\triangle\rm PAB)], [math(\triangle\rm PBC)], [math(\triangle\rm PCA)]에서 사인 법칙을 적용하면

[math(\displaystyle \begin{aligned} \frac{\overline{\rm PA}}{\overline{\rm PB}}&=\frac{\sin{(\angle\rm PBA)}}{\sin{(\angle\rm PAB)}}=\frac{\sin{(\angle\rm ABE)}}{\sin{(\angle\rm BAD)}} \\ \frac{\overline{\rm PB}}{\overline{\rm PC}}&=\frac{\sin{(\angle\rm PCB)}}{\sin{(\angle\rm PBC)}}=\frac{\sin{(\angle\rm BCF)}}{\sin{(\angle\rm CBE)}} \\ \frac{\overline{\rm PC}}{\overline{\rm PA}}&=\frac{\sin{(\angle\rm PCA)}}{\sin{(\angle\rm PAC)}}=\frac{\sin{(\angle\rm CAD)}}{\sin{(\angle\rm ACF)}}\end{aligned})]

이고, 변변 곱하면 된다.

각에 관한 역정리 증명도 선에 관한 체바 역정리와 같은 방법을 사용할 수 있다.

4. 기타

5. 관련 항목


[1] 따로 각 체바 정리라고도 하나 승인되지 않은 용어이며, 일반적인 선에 관한 체바 정리와 대등한 하위 관계에 있다. [2] 그냥 연장선이 변을 지나치는 경우를 양으로 생각하고, 반대방향을 음으로 생각하면 된다. 이는 아주 자연스러운 일이다. [3] 이에 대해서는 을 참조하여라.