点と直線の距離公式を忘れない！なぜ絶対値？証明と解法を徹底解説

点と直線の距離公式を忘れない！なぜ絶対値？証明と解法を徹底解説に関する知りたいポイントを徹底的にまとめました。詳細を読もうことができます。

まず、高校数学で習う基本的な公式を整理します。座標平面上の点 $P(x_0, y_0)$ と、直線 $l: ax + by + c = 0$ の距離 $d$ を求める公式は次のように定義されます。

$$d = \frac{|ax_0 + by_0 + c|}{\sqrt{a^2 + b^2}}$$

この美しい数式を目にしたとき、多くの学習者が「なぜ分子に絶対値がつき、なぜ分母が二乗和のルートになるのか」という根本的な疑問を抱きます。この構造的必然性を理解することこそが、暗記の負荷を激減させる突破口です。

分子の $|ax_0 + by_0 + c|$ に絶対値が付く最大の理由は、距離という幾何学的概念が常に「正（または0）」でなければならないからです。直線の方程式 $f(x, y) = ax + by + c$ において、点 $(x_0, y_0)$ を代入した値 $ax_0 + by_0 + c$ は、その点が直線の「上側（正の領域）」にあるか「下側（負の領域）」にあるかによって正負が逆転します。幾何学的な「隔たり（最短距離）」を取り出すためには、符号を取り除いて純粋な大きさへ変換する絶対値記号が不可欠となります。

一方、分母に現れる $\sqrt{a^2 + b^2}$ は、三平方の定理そのものです。直線 $ax + by + c = 0$ に対して垂直に伸びるベクトル（法線ベクトル）の成分は $(a, b)$ で表されます。このベクトルの幾何学的な長さ（ノルム）は $\sqrt{a^2 + b^2}$ となります。つまり、分母のルートは「法線ベクトルの長さを1に縮尺変換（正規化）するためのスケール調整係数」の役割を果たしているのです。