140625 初版 140625 更新
講義録
直線 ℓ (HQ) の方程式 を ax + by + c = 0 とする
点P の座標を (x1, y1) とする。
P と ℓ の距離 d を求めよう。
Q(x1, y2) とする。
図において,∠ PHQ = ∠ PKH = 90° とする。
PH の長さを求めることになる。

線分 PH の長さは PQ の \(\dfrac{|b|}{\sqrt{a^2+b^2}}\) 倍である。… ①
なぜなら
直角三角形 QPH と QHK は
∠ Q が共通だから 相似である。
ℓ の傾きは \(-\dfrac{a}{b}\) だから
HK : KQ : QH = PH : HQ : QP = |b| : |a| : \(\sqrt{a^2+b^2}\)
したがって,① がいえた。

PQ の長さは \(\dfrac{|ax_1+by_1+c|}{|b|}\) である。… ②
なぜなら
PQ= |y1 - y2|
Q は ℓ 上の点だから, \(ax_1 + by_2+c=0\)
ゆえに,\(y_2=\dfrac{-ax_1-c}{b}\)
\(y_1-y_2=y_1-\dfrac{-ax_1-c}{b}= \dfrac{ax_1+by_1+c}{b}\)

① ② より,
点P と 直線 ℓ との距離は
\(\dfrac{\left|ax_1+by_1+c\right|}{\sqrt{a^2+b^2}}\) である。