点と直線の距離公式はなぜあの形？挫折ゼロの覚え方と証明を徹底解説

点と直線の距離公式はなぜあの形？挫折ゼロの覚え方と証明を徹底解説について押さえておきたい ポイントを分かりやすく解説いたします。

教科書には点から直線へ下ろした垂線の足を求める初等幾何的な証明も載っていますが、計算が煩雑で本質が見えにくくなりがちです。最も明快で実戦的なのが法線ベクトルを利用した証明・導出です。

直線 $l: ax + by + c = 0$ 上の任意の点を $P(x_1, y_1)$ と置き、距離を求めたい点を $A(x_0, y_0)$ とします。この直線 $l$ の法線ベクトル（垂直な向きを持つベクトル）は $\vec{n} = (a, b)$ です。

点 $A$ から直線 $l$ に下ろした垂線の足を $H$ とすると、線分 $AH$ の長さこそが求めたい距離 $d$ です。幾何学的に見ると、距離 $d$ はベクトル $\vec{PA} = (x_0 - x_1, y_0 - y_1)$ を法線ベクトル $\vec{n}$ の向きに射影した長さに一致します。

内積の定義より、以下の関係が成り立ちます。

$$|\vec{n} \cdot \vec{PA}| = |\vec{n}| \times AH = |\vec{n}| \times d$$

したがって、距離 $d$ は次のように求められます。

$$d = \frac{|\vec{n} \cdot \vec{PA}|}{|\vec{n}|}$$

ここで成分計算を実行します。
分子の内積は、
$$\vec{n} \cdot \vec{PA} = a(x_0 - x_1) + b(y_0 - y_1) = ax_0 + by_0 - (ax_1 + by_1)$$
点 $P(x_1, y_1)$ は直線 $l$ 上の点であるため、$ax_1 + by_1 + c = 0$、すなわち $-(ax_1 + by_1) = c$ が成り立ちます。
これを代入すると、分子は $|ax_0 + by_0 + c|$ となります。

分母の大きさは $|\vec{n}| = \sqrt{a^2 + b^2}$ ですから、見事に公式 $d = \frac{|ax_0 + by_0 + c|}{\sqrt{a^2 + b^2}}$ が導き出せました。ベクトルの正射影という視点を持つことで、公式が必然の産物であることがクリアに理解できます。