点と直線の距離 
平面上の図形問題で、「点と直線の距離」の公式は、絶大なる力を発揮する武器として、
受験生は、必ず身につけなければならない必須技法だろう。その割には、以前の学習指
導要領に比べて、その扱いは軽減されているように感じる。
公式は、単純である。
点Ａ（ ｘ0 ， ｙ0 ） から、直線 Ｌ ： ａｘ＋ｂｙ＋ｃ＝０ に下ろした垂線の長さ ｄ は、
で与えられる。
通常、ベクトルを用いる証明が最短だろう。（ベクトルを太字で表すことにする。）
垂線の足を、Ｈ（ ｘ ， ｙ ） とすると、 ＡＨ と （ ａ ， ｂ ） は平行なので、
ＯＨ＝ＯＡ＋ｔ・（ ａ ， ｂ ）
また、点Ｈは、直線 Ｌ 上にあるので、 ＯＨ・（ ａ ， ｂ ）＋ｃ＝０
よって、 （ＯＡ＋ｔ・（ ａ ， ｂ ））・（ ａ ， ｂ ）＋ｃ＝０ より、
ＯＡ・（ ａ ， ｂ ）＋ｔ（ａ2＋ｂ2）＋ｃ＝０
ここで、 ａ2＋ｂ2≠０ なので、
ｔ＝−（ＯＡ・（ ａ ， ｂ ）＋ｃ）/（ａ2＋ｂ2）＝−（ ａｘ0 ＋ｂｙ0＋ｃ ）/（ａ2＋ｂ2）
したがって、 ｄ＝｜ＡＨ｜＝｜ＯＨ−ＯＡ｜＝｜ｔ・（ ａ ， ｂ ）｜
上式に、ｔ の値を代入して、
が得られる。
教科書等でこの証明を見る度に辟易するのは私だけであろうか？非常に有用な公式に
もかかわらず、教科書の本文にも入れてもらえない不憫さもあるが、何とか分かりやすい
証明で、その後の応用に期待を持たせるような方法はないものかと模索してきた。
生徒達は、直線というと、「 ｙ＝ｍｘ ＋ ｎ 」と言うくらいに、この形に馴染んでいる。むしろ
中学校では、「ｘ＝ａ」という形は多分学習していないので当然かもしれないが．．．。
点と直線の距離の公式も、むしろ生徒達の慣れ親しんだ直線の方程式を用いた方がより
平易な証明になるようだ。予備知識のレベルは、中学３年程度だろう。
 |
直線 ｙ＝ｍｘ ＋ ｎ とその上にない点
Ａ （ ｘ0 ， ｙ0 ） から直線に下ろした垂線
の長さ ｄ は、
で与えられる。
この値 ｄ が、「点と直線の距離」といわ
れるものである。 |
この公式の証明は種々考えられるが、最近、次のような証明があることを知った。
 |
左図において、 △ＡＢＨ ∽ △ＣＢＤ
なので、 ＡＢ ： ＡＨ ＝ ＣＢ ： ＣＤ
よって、ＢＤ ＝ ｍ なので、
| ｙ0 − （ｍｘ0 ＋ ｎ） | ： ｄ ＝ ： １
より、
が成り立つ。 |
この形から、直線の一般形の場合の公式を作ることは易しい。
直線 Ｌ ： ａｘ＋ｂｙ＋ｃ＝０ において、
ｂ≠０ のとき、 ｙ＝−（ａ/ｂ）ｘ−ｃ/ｂ である。
よって、上記の公式で、 ｍ＝−（ａ/ｂ） 、ｎ＝−ｃ/ｂ を代入して計算すれば直ちに、
が得られる。
ｂ＝０ のとき、点Ａ（ ｘ0 ， ｙ0 ） から、直線 Ｌ ： ｘ＝−ｃ/ａ に下ろした垂線の長さ ｄ は、
ｄ＝｜ ｘ0＋ｃ/ａ｜＝｜ ａｘ0＋ｃ｜/｜ａ｜
で与えられる。これは、
が、 ｂ＝０ のときも成り立つことを示す。
以上で、一般の場合が証明された。
（コメント） 問題作成で、直線の方程式を一般形で与えることはあまりしない。初学者にい
たずらな困難さを与えないためである。
ただ、大学入試の問題を見ると、点と直線の距離の公式を使わせる問題は、親心からだ
ろうか、なぜか一般形で与えられることが多い。
一般形の場合の公式に慣れ親しんでいるので、私なども、たとえば、ｙ＝２ｘ＋３ から、わざ
わざ ２ｘ−ｙ＋３＝０ と書き直して公式を使っていたりなんかする。
上記の証明を見て分かるように、点と直線の距離の公式は、「ｙ＝ｍｘ ＋ ｎ」の形の場合が
格段に易しい。なぜ、このような証明が教科書に採用されないのか、とても不思議である。
今まで、直線の一般形の場合を、ベクトル方程式を用いたり、垂線の足Ｈの座標を直接
的に求めたりなどして証明してきたが、上記の証明をみると、そういう証明は、「とてつもな
く難しい」と感じるのは、私だけだろうか？ 是非、この証明を広めたいものだ。
（追記） 平成３０年８月４日付け
本日数学に関する会合があり、その席で長岡亮介先生から高校数学の憂うべく現状の話
を伺った。
点と直線の公式は、その有用性から教科書には必ず載っているものだが、その証明は、
日本ではほとんど行われていないとのことである。私自身を振り返っても、教科書の本文に
入っていないということもあり、結果だけを述べて後は使い方を練習するのみであった。
大いに反省し、今後は証明とじっくり向き合わせる教育をしなければと思う一日だった。