← 定理辞典📖 定理辞典

ベクトル

位置ベクトルと内分点

基準点 OO を決めると各点は位置ベクトルで表せる。AP:PB=m:nAP:PB=m:n の内分点は OP⃗=na⃗+mb⃗m+n\vec{OP}=\dfrac{n\vec a+m\vec b}{m+n}。係数の和が 11 なら直線 ABAB 上(共線)。

主張

基準点 OO を 11 つ決めると、どの点も「OO からの矢印」=位置ベクトルで場所を表せるよ。点 A,BA,B の位置ベクトルを a⃗,b⃗\vec a,\vec b とすると、線分 ABAB を AP:PB=m:nAP:PB=m:n に内分する点 PP の位置ベクトルは OP⃗=na⃗+mb⃗m+n\vec{OP}=\dfrac{n\vec a+m\vec b}{m+n}。各頂点には「反対側の比」がつく(a⃗\vec a には遠い方の PB=nPB=n、b⃗\vec b には AP=mAP=m)のがポイント。とくに中点(1:11:1)なら OP⃗=a⃗+b⃗2\vec{OP}=\dfrac{\vec a+\vec b}{2}。一般に OP⃗=sa⃗+tb⃗\vec{OP}=s\vec a+t\vec b と書け、s+t=1s+t=1 のとき(かつそのときだけ)PP は直線 ABAB 上にある。

OP⃗=n a⃗+m b⃗m+n(AP:PB=m:n)\vec{OP}=\dfrac{n\,\vec a+m\,\vec b}{m+n}\qquad(AP:PB=m:n)
OABabPOP12
緑が a⃗\vec a、紫が b⃗\vec b。AP:PB=1:2AP:PB=1:2 の内分点 PP は OP⃗=23a⃗+13b⃗\vec{OP}=\tfrac23\vec a+\tfrac13\vec b と表せる(係数の和は 11)。

成り立つ条件

a⃗,b⃗\vec a,\vec b が一次独立(平行でなく、ともに 0⃗\vec 0 でない)なら、平面上の各点の OP⃗=sa⃗+tb⃗\vec{OP}=s\vec a+t\vec b という表し方は 11 通りに決まる。だから 22 通りで書いた式が等しいとき、a⃗,b⃗\vec a,\vec b の係数どうしを比べてよい(係数比較=連立方程式のもと)。

証明(なぜ成り立つ?)

OP⃗=OA⃗+AP⃗\vec{OP}=\vec{OA}+\vec{AP} と分解し、AP⃗\vec{AP} を AB⃗\vec{AB} の実数倍で表してまとめる。

  1. 1

    PP は線分 ABAB を AP:PB=m:nAP:PB=m:n に分けるから、APAP は ABAB の mm+n\dfrac{m}{m+n} 倍。向きも同じなので、ベクトルでも AP⃗=mm+nAB⃗\vec{AP}=\dfrac{m}{m+n}\vec{AB}。

  2. 2

    基準点 OO から見ると OP⃗=OA⃗+AP⃗\vec{OP}=\vec{OA}+\vec{AP}。OA⃗=a⃗\vec{OA}=\vec a、AB⃗=b⃗−a⃗\vec{AB}=\vec b-\vec a を代入する。

    OP⃗=a⃗+mm+n(b⃗−a⃗)\vec{OP}=\vec a+\dfrac{m}{m+n}(\vec b-\vec a)
  3. 3

    a⃗\vec a の係数を整理すると 1−mm+n=nm+n1-\dfrac{m}{m+n}=\dfrac{n}{m+n}。まとめると下の式になり、係数の和は n+mm+n=1\dfrac{n+m}{m+n}=1 だね。

    OP⃗=nm+na⃗+mm+nb⃗=na⃗+mb⃗m+n\vec{OP}=\dfrac{n}{m+n}\vec a+\dfrac{m}{m+n}\vec b=\dfrac{n\vec a+m\vec b}{m+n}
  4. 4

    係数の和が 11 になるのは、PP が直線 ABAB 上にあるしるし(s+t=1s+t=1 が共線条件)。中点は m=nm=n を入れて OP⃗=a⃗+b⃗2\vec{OP}=\dfrac{\vec a+\vec b}{2} と確かめられる。

逆

OP⃗=sa⃗+tb⃗\vec{OP}=s\vec a+t\vec b で s+t=1s+t=1   ⟺  \iff PP は直線 ABAB 上にある(共線条件)。33 点が一直線かどうかは係数の和が 11 かで判定できるよ。外分点は比の一方を負にとれば(n<0n<0 など)同じ公式で表せる。

補足・つまずきポイント

つまずきやすいのは係数のつき方。OP⃗=na⃗+mb⃗m+n\vec{OP}=\dfrac{n\vec a+m\vec b}{m+n} の a⃗\vec a につくのは APAP ではなく遠い側の PB=nPB=n。「近い点ほど重みが大きい」と「公式では遠い側の比がつく」が両立しているのは、PP が AA に近いほど PB(=n)PB(=n) が大きく、a⃗\vec a の重み nm+n\dfrac{n}{m+n} も大きくなるから、と確かめると納得できる。三角形の重心 OG⃗=a⃗+b⃗+c⃗3\vec{OG}=\dfrac{\vec a+\vec b+\vec c}{3} もこの内分の延長だよ。

関連する定理

見て確かめる

言葉で読んだら、動くアニメと自分の手で確かめてみよう。

使いどころ

この定理が、実際の問題でどう効くのかを見てみよう。