三角形の外心の性質
△ABCの中でも外でも良いので、任意の点Oをとる。点ABCとOとをそれぞれ結ぶ線が向かい合う辺と点P,Q、Rで交わるとき
このテキストでは、この定理を証明します。
証明
チェバの定理を証明する前に、次の性質を知っておく必要がある。
まずはこの証明を行う。
次の図のように、点Bと点CからAPもしくはその延長線上に垂線をおろし、APとの交点をそれぞれQ、Rとする。
このとき△OABの面積は、
OA×BQ÷2 -①
同様にして、三角OACの面積は
OA×CR÷2 -②
①と②から、
△OAB:△OAC=BQ:CR -③
であることがわかった。次に、
BQ//CRであることに着目する。
BQ//CRより、
BP:PC=BQ:CR -④
③と④より
△OAB:△OAC=BP:PCつまり
となる。ではこれを利用してチェバの定理を証明していく。
チェバの定理を証明の証明
■(1) △OABと△OAC
△OABと△OACにおいて、先ほど求めた定理を使って
■(2) △OBCと△OBA
△OBCと△OBAにおいて、同様にして
■(3) △OACと△OBC
△OACと△OBCにおいて、同様にして
■結論
に(1)、(2)、(3)で求めた式を代入すると、
すなわち
が成り立つことがわかる。
証明おわり。