チェバの定理
△ABC の内部の点 P と各頂点を結ぶ直線が、向かい合う辺 BC, CA, AB と交わる点をそれぞれ D, E, F とすると
FBAF⋅DCBD⋅EACE=1この記事の要点
- 線分 AP を共通の辺にもつ △ABP と △ACP の面積の比は、BD:DC に等しい
- 同じように、3つの比をすべて「点 P のまわりの3つの三角形の面積の比」に置きかえる
- かけ合わせると、面積が約分されて 1 になる
チェバの定理は、三角形の頂点から引いた3本の線が1点で交わるときの、辺の比の関係です。数学Aの「図形の性質」で学びます。この記事では、面積の比だけを使って証明します。
チェバの定理は何を言っているか
式の分数は、A → F → B → D → C → E → A と、三角形の周を一筆書きで1周する順に並んでいます。3本の線が1点で交わるとき、周を1周する順に取った3つの比の積は必ず1になる
、というのが定理の中身です。2つの比が分かれば、残り1つの比が決まります。
チェバの定理の証明
1. 線分の比を面積の比にする
△ABP と △ACP は、辺 AP を共通にもちます。AP を底辺とみると、高さは B と C から直線 AD までの距離です。
△ABP と △ACP は辺 AP を共有するB と C から直線 AD に下ろした垂線は平行で、その長さの比は BD:DC に等しくなります(直線 BC 上で、D を中心にした相似な直角三角形ができるため)。したがって
△ACP△ABP=DCBD2. 残りの2つの比も面積で表す
同じように、辺 BP を共有する △BCP と △BAP、辺 CP を共有する △CAP と △CBP を考えると
EACE=△BAP△BCP,FBAF=△CBP△CAP3. かけ合わせる
△ABP=△BAP のように、同じ三角形をまとめて書きます。
FBAF⋅DCBD⋅EACE=△BCP△CAP⋅△CAP△ABP⋅△ABP△BCP=1分子と分母に同じ3つの三角形が1回ずつ現れるので、すべて約分されて 1 になります。
使い方の例題
例題
△ABC で、AD, BE, CF が1点で交わっている。AF:FB=1:2、BD:DC=3:1 のとき、CE:EA を求めよ。
チェバの定理より
21⋅13⋅EACEEACE=1=32よって CE:EA=2:3 です。
検算:座標で確かめます。A(0, 6)、B(0, 0)、C(4, 0) とすると、F(0, 4)、D(3, 0)。直線 AD:y=−2x+6 と直線 CF:y=−x+4 の交点は P(2, 2) です。直線 BP(y=x)と CA(y=−23x+6)の交点は E(512, 512) で、x 座標の差で比べると CE:EA=(4−512):(512−0)=58:512=2:3 となり、一致します。
チェバの定理の発展的な使い方
証明の手順1・2で出てきた「線分の比=面積の比」を逆に使うと、点 P のまわりの3つの三角形の面積の比が分かります。
発展例題
例題の三角形(AF:FB=1:2、BD:DC=3:1、CE:EA=2:3)について、次のものを求めよ。
(1) △PBC:△PCA:△PAB
(2) AP:PD
1. 面積の比を2つ書く
手順1・2の式より
△PAB:△PCA△PBC:△PAB=BD:DC=3:1=CE:EA=2:32. 3つをそろえる
△PAB=3 とすると、△PCA=1、△PBC=2 です。
△PBC:△PCA:△PAB=2:1:3点 P のまわりの3つの三角形の面積の比は 2 : 1 : 33. AP:PD を求める
△ABC 全体は 2+1+3=6 です。△ABC と △PBC は底辺 BC が共通なので、面積の比は A と P から BC までの高さの比、つまり AD:PD に等しくなります。
AD:PD=6:2=3:1よって AP:PD=(3−1):1=2:1 です。
この問題では、チェバの定理の証明で使った「線分の比=面積の比」を逆向きに使い、面積の比から長さの比を求めました
。
検算(別の方法):例題の検算の座標では A(0, 6)、P(2, 2)、D(3, 0) です。AP=4+16=25、PD=1+4=5 で 2:1 と一致します。面積も △PBC=21⋅4⋅2=4、△ABC=21⋅4⋅6=12 で、124=62 と合っています。
注意
分数を並べる順番を間違えると、定理が成り立たなくなります。必ず「頂点 → 分点 → 頂点 → 分点 …」と、三角形の周を同じ向きに1周する順で書きましょう。
この記事のまとめ
- 辺を共有する2つの三角形の面積の比は、その辺の延長が向かい側の辺を分ける比に等しい。
- 3つの比を面積の比に置きかえてかけると約分されて FBAF⋅DCBD⋅EACE=1。
- 逆に、辺の比から P のまわりの三角形の面積の比や AP:PD が求められる。