[[분류:기하학]]
[include(틀:평면기하학)]
[목차]
[clearfix]
== 개요 ==
{{{+1 Van Aubel's theorem}}}

1878년 네덜란드의 수학자 판아우벌(Henricus Hubertus van Aubel; 1830-1906)[* '반 아우벨'이라고도 알려져 있다.]이 발표한 정리.

[[파일:namu_바아우벨 정리.png|width=180&align=center]]

위 그림과 같이 삼각형 [math(\rm ABC)]를 고려하고, 삼각형 내부에 임의의 점 [math(\rm O)]를 잡자. 그리고 각 꼭짓점에서 해당 점을 지나게 선을 그어 각 변과 만나는 점을 각각 [math( \rm D)], [math( \rm E)], [math( \rm F)]라 하자. 이때, 다음이 성립한다.
{{{#!wiki style="text-align: center"
[br][math(\rm \dfrac{\overline{\rm AF}}{\overline{\rm FB}}+\dfrac{\overline{\rm AE}}{\overline{\rm EC}}=\dfrac{\overline{\rm AO}}{\overline{\rm OD}})]}}}

== 증명 ==

[math( \rm \dfrac{AF}{FB}=\dfrac{\triangle CAO}{\triangle CBO})]

[math( \rm \dfrac{AE}{EC}=\dfrac{\triangle ABO}{\triangle CBO})]

이 두 식을 더해주면,
[math( \rm \dfrac{AF}{FB}+\dfrac{AE}{EC}=\dfrac{\triangle CAO+\triangle BAO}{\triangle CBO})]

이때 [math(\rm \triangle CAO+\triangle BAO=\square ΟCAB)]

 [math(\rm \dfrac{\square OCAB}{\triangle CBO}=\dfrac{AO}{OD})]
따라서, 등식 [math( \rm \dfrac{AF}{FB}+\dfrac{AE}{EC}=\dfrac{AO}{OD})]가 성립한다.