点と直線の距離公式：例題と4通りの証明

直線の式 $y=-3x+4$ を左辺に移項すると，$3x+y-4=0$

よって，

• 点：$(x_0,y_0)=(-1,2)$
• 直線：$a=3,b=1,c=-4$

として距離公式を使うと，

$\dfrac{|3\times (-1)+1\times 2-4|}{\sqrt{3^2+1^2}}\\ =\dfrac{|-5|}{\sqrt{10}} =\dfrac{\sqrt{10}}{2}$

直線：$ax+by+c=0$ を変形すると，

$y=-\dfrac{a}{b}x-\dfrac{c}{b}$

となり傾きは $-\dfrac{a}{b}$

よって，これに垂直な直線の傾きは $\dfrac{b}{a}$ である（垂直なら傾きの積が $-1$ なので）。

よって，垂線 $AH$ は，$(x_0,y_0)$ を通り傾き $\dfrac{b}{a}$ の直線なので，$y=\dfrac{b}{a}(x-x_0)+y_0$

次に，垂線ともとの直線の交点である $H$ の座標を求める：

$-\dfrac{a}{b}x-\dfrac{c}{b}=\dfrac{b}{a}x-\dfrac{b}{a}x_0+y_0$

計算していくと，
$-a^2x-ac=b^2x-b^2x_0+aby_0$
$x=\dfrac{b^2x_0-aby_0-ac}{a^2+b^2}$

$y$ 座標は

$-\dfrac{a}{b}x-\dfrac{c}{b}\\ =\dfrac{-abx_0+a^2y_0+\frac{a^2c}{b}-\frac{a^2c}{b}-bc}{a^2+b^2}\\ =\dfrac{-abx_0+a^2y_0-bc}{a^2+b^2}$

あとは，$AH=\sqrt{(x-x_0)^2+(y-y_0)^2}$ を計算するだけ：

$x-x_0=\dfrac{-a(ax_0+by_0+c)}{a^2+b^2}$
$y-y_0=\dfrac{-b(ax_0+by_0+c)}{a^2+b^2}$

より，
$AH=\dfrac{|ax_0+by_0+c|}{a^2+b^2}\sqrt{(-a)^2+(-b)^2}\\ =\dfrac{|ax_0+by_0+c|}{\sqrt{a^2+b^2}}$

$H$ の座標を $(X,Y)$ とする。 $\overrightarrow{AH}$ は $l$ の法線ベクトルと平行なので実数 $t$ を用いて，

$(X-x_0, Y-y_0)=t(a, b)$

と表せる。あとは，$H$ が $l$ 上にある条件： $aX+bY=-c$ を用いて $t$ を求めればOK。

上式の両辺に対して $(a,b)$ との内積を取ると，

$a(X-x_0)+b(Y-y_0)=ta\times a+tb\times b$

である。これと $aX+bY=-c$ より，

$-c-ax_0-by_0=t(a^2+b^2)$

となる。

$a^2+b^2\neq 0$ なので，$t=-\dfrac{ax_0+by_0+c}{a^2+b^2}$

よって，$AH$ の長さ，すなわち $t(a,b)$ の長さは，

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

となり点と直線の距離公式が証明された。

$a=0$ のとき，直線 $l$ は $y=-\dfrac{c}{b}$ となるので求める距離は $|y_0+\dfrac{c}{b}|$ となり距離公式は正しい。 $b=0$ のときも同様。よって，以下 $a,\:b$ ともに $0$ でない場合を考える。

$l$ 上に点 $P,Q$ を「 $P$ と $A$ の $x$ 座標が等しく，$Q$ と $A$ の $y$ 座標が等しくなる」ようにとる。

$PA=p,\:QA=q$ とおくと，$PQ=\sqrt{p^2+q^2}$ である。

三角形の面積を二通りの方法で表すことにより，

$\dfrac{1}{2}pq=\dfrac{1}{2}d\sqrt{p^2+q^2}$

つまり，$d=\dfrac{pq}{\sqrt{p^2+q^2}}$ を得る。

直線の方程式を利用して $P$ の $y$ 座標を求めることにより，$p=\left|\dfrac{-c-ax_0}{b}-y_0\right|=\dfrac{1}{|b|}|ax_0+by_0+c|$

同様に，

$q=\left|\dfrac{-c-by_0}{a}-x_0\right|=\dfrac{1}{|a|}|ax_0+by_0+c|$

となるので，これらを上式に代入して整理すると

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

が得られ，点と直線の距離公式が証明された。

$l$ を固定したとき，$A$ の場所によって $d$ が決まるので，$d$ は $x_0$ と $y_0$ の関数とみなせる。

まず $ax+by+c\geq 0$ の領域に $A$ がある場合を考える。

$A$ を $x$ 軸方向に変化させたときの $d$ の変化量は $x_0$ の変化量に比例するので $d$ は $x_0$ の一次関数。同様に $y_0$ の一次関数でもある。

よって，$d=\alpha x_0+\beta y_0+\gamma$ と書ける。

$x_0$ を $\sqrt{a^2+b^2}$ ずらすと $d$ は $a$ ずれるので，

$\alpha=\dfrac{a}{\sqrt{a^2+b^2}}$

同様に，

$\beta=\dfrac{b}{\sqrt{a^2+b^2}}$

また「$ax_0+by_0+c=0$ のとき $d=0$」という状況を，

$d=\alpha x_0+\beta y_0+\gamma\\ =\dfrac{ax_0+by_0}{\sqrt{a^2+b^2}}+\gamma$

に代入すると，

$\gamma=\dfrac{c}{\sqrt{a^2+b^2}}$

よって，$d=\dfrac{ax_0+by_0+c}{\sqrt{a^2+b^2}}$

また，$ax+by+c\leq 0$ の領域に $A$ がある場合も同様に，

$d=-\dfrac{ax_0+by_0+c}{\sqrt{a^2+b^2}}$

となるので点と直線の距離公式が証明された。