正射影ベクトルの公式の証明と使い方

ベクトルの正射影についてわかりやすく説明します。以下の公式を使えるようにするのが目標です。

正射影ベクトルの公式

ベクトル b\overrightarrow{b}a\overrightarrow{a} が定める直線に正射影したベクトルは,aba2a\dfrac{\overrightarrow{a}\cdot\overrightarrow{b}}{|\overrightarrow{a}|^2}\overrightarrow{a}

正射影ベクトルの意味

物に光を当てたときにできる像を射影と言います。点光源を考える(点射影)ことも平行光線(無限遠点に光源があるとみなせる)を考えることもあります。特に,スクリーンに垂直な光線による射影を正射影と言います。

正射影とは

この記事では,ベクトルを直線 ll に射影したものを考えます。 ll はスクリーンの役割を果たします。例えば薄い青ベクトルの正射影は青いベクトル,薄い赤ベクトルの正射影は赤いベクトルです。

正射影ベクトルの公式の証明

正射影ベクトルの公式は,ベクトル a\overrightarrow{a} とベクトル b\overrightarrow{b} が与えられたときに射影したベクトル v\overrightarrow{v} を求める公式です。

正射影ベクトルの公式の証明は難しくありません。公式を覚えることよりも,自力で導出できるようになっておきましょう。

証明

a\overrightarrow{a}b\overrightarrow{b} のなす角を θ\theta とおく。 以下では ±\pm という符号が登場するが,0θπ20\leq\theta\leq\dfrac{\pi}{2} のときはプラスの符号,π2<θ\dfrac{\pi}{2} <\theta のときはマイナスの符号で考えるものとする。

正射影ベクトルの公式の証明

求める正射影ベクトルを v\overrightarrow{v} とおく。 v\overrightarrow{v}a\overrightarrow{a} と平行なので,実数 kk を用いて v=ka\overrightarrow{v}=k\overrightarrow{a} と書ける。よって,v=±ka|\overrightarrow{v}|=\pm k|\overrightarrow{a}|

一方内積について考えると,ab=abcosθ=±av\overrightarrow{a}\cdot\overrightarrow{b}=|\overrightarrow{a}||\overrightarrow{b}|\cos\theta=\pm|\overrightarrow{a}||\overrightarrow{v}| よって,v=±aba|\overrightarrow{v}|=\pm\dfrac{\overrightarrow{a}\cdot\overrightarrow{b}}{|\overrightarrow{a}|}

以上二つの式より k=±aba2k=\pm\dfrac{\overrightarrow{a}\cdot\overrightarrow{b}}{|\overrightarrow{a}|^2} となり正射影ベクトルの公式を得る。

公式の使い方

「正射影ベクトルは内積と長さを使って簡単に求めることができる」と覚えておきましょう。問題文中で「正射影」という言葉が明示的に使われることはほとんどありませんが,正射影はしばしば登場します。

例題

正射影ベクトルの例題

三角形 OABOAB において OA=3,OB=4,OAOB=7OA=3,\:OB=4,\:\overrightarrow{OA}\cdot\overrightarrow{OB}=7 とする。また,BB から OAOA に下ろした垂線の足を PP とおく。このとき OP\overrightarrow{OP}OA\overrightarrow{OA} を使って表せ。

解答

正射影ベクトルの公式より,OP=732OA\overrightarrow{OP}=\dfrac{7}{3^2}\overrightarrow{OA}

正射影と内積

  • a\overrightarrow{a} が定ベクトルのとき,正射影ベクトルの大きさは内積 ab\overrightarrow{a}\cdot\overrightarrow{b} に比例します。
  • 一次式 4x+5y4x+5y は定ベクトル (4,5)(4,5)(x,y)(x,y) の内積です。 よって,
    一次式 4x+5y4x+5y を大きくしたい
        \iff (x,y)(x,y)(4,5)(4,5) への正射影ベクトルの大きさを大きくしたい
        \iff できるだけ (4,5)(4,5) の方に進みたい
    と見ることができます。この考え方は領域における一次式の最大化,最小化問題に役立ちます。→領域における最大・最小問題(線形計画法)

「正射影」って専門用語っぽくて敬遠しがちですが,考え方は非常に簡単です。