問1
点 を通り、直線 に平行な直線の方程式を求めなさい。
答えを見る答えを閉じる
(傾き 、)
目次 / 図形と方程式 / 数学II
—— 平行・垂直・交わりを係数で見分け、直線までの最短の長さを測る ——
第2章では、直線を 1 本ずつ方程式で表しました。この章では、2 本の直線の関係を調べます。2 直線が平行になる条件と垂直になる条件を傾きと係数で表し、ある点を通って与えられた直線に平行な直線・垂直な直線、直線に関して対称な点を求めます。次に、2 直線の交点と、交点を通る直線の表し方を学びます。最後に、点から直線までの距離を 1 本の式で求める「点と直線の距離の公式」を導き、平行な 2 直線の距離や三角形の面積に使います。
2 本の直線 , を考えます。
まず平行です。傾きは「右へ 1 進んだときに上がる量」なので、 なら 2 本の直線は同じ向きに伸びていきます。 なら、どこまで行っても縦の間隔が のままで、交わりません。 なら 2 本は重なって 1 本の直線になります(一致するといいます)。この章では、一致する場合も平行に含めて考え、区別したいときは「一致する場合を除く」と断ります。
次に垂直です。第2章 例題4 (3) で、傾き と の 2 直線が垂直になり、傾きをかけると になることを見ました。これが一般に成り立つことを確かめます。
平行移動しても、2 直線の向きは変わりません。そこで、原点を通る 2 直線 , で考えます()。 の位置にある点 , をとると、第1章の 2 点間の距離の公式より
です。三平方の定理とその逆により、 となるのは のときで
となります。
傾きが考えられない縦の直線 は、横の直線 (傾き )とだけ垂直です。 の式には も「傾きなし」も入らないので、座標軸に平行な直線は別に考えます。
2 直線 , について
軸に平行な直線 と 軸に平行な直線 は、いつも垂直です。
平行のほうは、スーパーの駐車場の斜めの白線を思い浮かべるとわかりやすいでしょう。白線はどれも同じ角度で引かれていて、置かれた位置だけが少しずつずれています。だから、どこまで延ばしても互いにぶつかりません。「角度(傾き)が同じで、位置(切片)だけが違う」のが平行な直線です。
垂直のほうは、方眼ノートで試せます。「右へ マス、上へ マス」の矢印(傾き )を描いてから、ノートごと左へ 回してみてください。矢印は「左へ マス、上へ マス」の向きになり、傾きは です。横と縦が入れかわり、片方の符号が変わるので、傾きは「逆数にしてマイナスをつけたもの」になります。かけると になるのはそのためです。
2 直線は、傾きが等しければ平行で、傾きの積が なら垂直だということです。
(1) 点 を通り、直線 に平行な直線と垂直な直線の方程式を、それぞれ求めなさい。
(2) 2 点 , を結ぶ線分 PQ の垂直二等分線の方程式を求めなさい。
【解答】
(1) 平行な直線の傾きは なので、 より
垂直な直線の傾きを とすると、 より です。 より
(2) 垂直二等分線は、PQ の中点を通り、PQ に垂直な直線です。中点は 、PQ の傾きは なので、垂直二等分線の傾きは です。
よって です。
第2章 例題4 (3) では、垂直二等分線を「」から求めました。(2) は「中点を通る」「垂直」という 2 つの性質から直接作る方法で、どちらでも同じ直線が得られます。
直線が一般形 で与えられたときは、 について解かなくても、係数から平行・垂直を判定できます。
2 直線 , がどちらも縦の直線でない(,)とき、傾きは , です。公式1に当てはめて分母を払うと
となります。分母を払った形は、縦の直線()を含めても正しいことが確かめられます(厳密定義の定理2)。
この見方をすると、「点 を通り、直線 に平行な直線・垂直な直線」もすぐに書けます。平行な直線は , の係数 , をそのまま使い、垂直な直線は係数を , に入れかえます()。
2 直線 , について
点 を通り、直線 に
製図に使う平行定規は、板の上を定規が滑るしくみで、どこまで動かしても定規の向きが変わりません。一般形で言えば、向きを決めているのは , の係数 , で、定数項 は「定規をどこまで滑らせたか」だけを表しています。平行な直線を作るときに , をそのまま使うのは、定規の向きを変えずに、通したい点まで滑らせることにあたります。垂直な線を引くときは、平行定規に三角定規の直角を当てます。式の上では、係数を , に入れかえるのがその三角定規です。
一般形では、 なら平行、 なら垂直で、平行な直線は係数 , をそのまま、垂直な直線は , にして作れるということです。
2 直線 , が平行になるとき、垂直になるときの定数 の値を、それぞれ求めなさい。
【解答】
平行になる条件は、公式2より
で、 です。
一致していないかを確かめます。 のとき、2 直線は と で、定数項が違うので一致しません。 のとき、2 直線は と です。2 つ目の両辺に をかけると で、1 つ目とは定数項が違うので、これも一致しません。
よって、平行になるのは のときです。
垂直になる条件は、公式2より
よって、垂直になるのは のときです。
のとき 2 つ目の直線は (縦の直線)になりますが、公式2の条件式はこの場合もそのまま使えます。傾きで考えると、この場合を別に調べる必要があります。
直線 で紙を折ったとき、点 A がぴったり重なる点 B を、直線 に関して A と対称な点といいます。第1章では「点に関して対称な点」を扱いました。今度は、折り目が直線になった場合です。
A と B が に関して対称であるのは、 が線分 AB の垂直二等分線になっているときです。座標で書くと、次の 2 つの条件になります。
点 A と B(A は直線 上にない)が、直線 に関して対称であるための条件は
の 2 つが成り立つことです。B の座標を とおき、1 と 2 から , の連立方程式を作って解きます。
図工の時間にしたデカルコマニーを思い出してください。紙の片側に絵の具を落とし、紙を半分に折ってから開くと、折り目をはさんで同じ模様が反対側に写ります。写った点は、もとの点から折り目へまっすぐ(垂直に)向かい、折り目を越えて同じだけ進んだところにあります。条件1は「まっすぐ向かう」、条件2は「同じだけ進む(折り目がちょうど真ん中)」を表しています。
直線 に関して対称な点は、「AB が に垂直」と「AB の中点が 上」の 2 つの条件を連立して求めるということです。
直線 に関して、点 と対称な点 B の座標を求めなさい。
【解答】
とおきます。 の傾きは です。
条件1(AB ⊥ ):直線 AB の傾きは で、これと の積が なので
条件2(中点が 上):AB の中点 を の式に代入して
(i) より 。(ii) に代入すると で 、 です。よって
確かめると、AB の中点は で となり、たしかに 上にあります。条件1は、分母を払った の形で使いました( だと AB が縦になりますが、 は縦の直線に垂直ではないので、その心配はありません)。
2 直線の交点は、2 つの方程式を同時に満たす点なので、連立方程式の解として求められます。連立方程式の解の個数は、2 直線の位置関係とぴったり対応しています。
| 2 直線の位置関係 | 連立方程式の解 | 係数の条件 |
|---|---|---|
| 1 点で交わる | ただ 1 組 | |
| 平行で一致しない | 解なし | で、定数項まで含めると比例しない |
| 一致する | 無数 | が の でない定数倍 |
第2章の例題6では、 が、2 直線 , の交点を通ることを見ました。この考え方は、交点を通る直線を作るのにも使えます。
2 直線 , が 1 点で交わるとします。交点では かつ なので、どんな に対しても が成り立ちます。しかもこの式は , の一次式で、 と の係数が同時に になることはありません(厳密定義の定理3)。つまり は「交点を通る直線」を表します。 の値は、もう 1 つの条件(通る点、傾きなど)から決めます。
1 点で交わる 2 直線 , があるとき、 を定数として
は、2 直線の交点を通る直線を表します。交点を通る直線のうち、 以外のすべてがこの形で表せます。
音楽のミキサーにたとえてみます。2 本のマイクの音 と を、つまみ で の割合で混ぜて出力するとします。2 本とも無音( かつ )の場所では、つまみをどう回しても出力は無音のままです。これが「どの でも交点を通る」ということです。つまみを回すと出力が無音になる場所(直線)は変わるので、条件に合うようにつまみを合わせます。ただし、 の音量は に固定されているので、「 の音だけ」の出力は作れません。 そのものは では表せない、というのはこのことです。
2 直線の交点は連立方程式の解で、交点を通る直線は とおき、もう 1 つの条件から を決めて求めるということです。
2 直線 , の交点を通る、次の直線の方程式を求めなさい。
(1) 点 を通る直線
(2) 直線 に垂直な直線
【解答】
2 直線は、傾きが と で違うので 1 点で交わります。公式4より、交点を通る直線は
と表せます( 自身はに含まれないので、あとで別に確かめます)。
(1) が点 を通るので、、つまり で です。に代入して
両辺を で割って 。点 は 上にないので、見落としはありません。
(2) を整理すると です。直線 と垂直になる条件は、公式2より
で です。に代入して 、よって 。(傾き )は (傾き )に垂直ではないので、ほかに答えはありません。
実際に交点を求めると、2 式を足して から 、 で、交点は です。(1) の直線は 、(2) の直線は で、どちらもこの点を通ります。交点が簡単に求まるときは、交点を先に出して公式1や第2章の公式2を使ってもかまいません。 は、交点の座標が分数になるときや、文字を含むときに力を発揮します。
点 P から直線 に垂線を下ろし、 との交点を H とします。H を垂線の足といい、線分 PH の長さを点 P と直線 の距離といいます。 上の H 以外の点 X をとると、三角形 PHX は H が直角の直角三角形なので、斜辺 PX は PH より長くなります。距離は「P から 上の点までの最短の長さ」です。
この長さを、直線の係数と点の座標から直接求める公式を作ります。2 段階で考えます。
第 1 段:原点と直線の距離。 直線 に原点 O から垂線を下ろします。垂線は O を通り に垂直なので、公式2より です。H はこの 2 直線の交点なので
を解きます。1 つ目に 、2 つ目に をかけて足すと 、同じように も求めて
です。よって
となります( なら は O を通り、距離は で、この式も になります)。
第 2 段:一般の点と直線の距離。 点 と を、図形ごと 軸方向に 、 軸方向に だけ平行移動します。P は原点に移り、 は を に、 を に置きかえた直線
に移ります。平行移動では 2 点の座標の差が変わらないので、距離も変わりません。第 1 段の を に置きかえれば、求める距離が得られます。
点 と直線 の距離 は
とくに、原点との距離は です。平行な 2 直線 , の距離は、一方の直線上の点ともう一方の直線の距離で、 です。
分子の は、点 P の座標を直線の式の左辺に代入した値です。P が直線上にあれば で、直線から離れるほど大きくなります。ただ、この値だけでは長さになりません。第2章で見たように、 と は同じ直線なのに、代入した値は 2 倍違うからです。
はかりの表示にたとえると、分子は「単位がわからない目盛りの数字」です。同じ荷物でも、キログラムの目盛りなら 、グラムの目盛りなら と出ます。本当の重さを知るには、目盛りの単位で割って換算しなければなりません。直線の式では、この単位にあたるのが で、係数を 2 倍にすると分子も分母も 2 倍になり、距離は変わりません。
点と直線の距離は、点の座標を直線の式の左辺に代入した値の絶対値を、 で割れば求められるということです。
(1) 点 と直線 の距離を求めなさい。
(2) 点 と直線 の距離を求めなさい。
(3) 平行な 2 直線 , の距離を求めなさい。
【解答】
(1) 公式5より
(2) 直線を一般形に直すと です。
(3) 1 つ目の直線上の点を 1 つ選びます。 とすると で 、点 が 1 つ目の直線上にあります。この点と 2 つ目の直線の距離は
公式5の後半を使えば、 とすぐに求まります。ただし、この形が使えるのは、2 つの式の , の係数がそろっているときだけです。
点と直線の距離は、三角形の面積を座標から求めるのにも使えます。1 辺を底辺とし、残りの頂点と底辺の直線の距離を高さにすればよいのです。
3 点 ,, を頂点とする三角形 ABC の面積を求めなさい。
【解答】
辺 BC を底辺にします。
直線 BC の傾きは で、 より です。高さは、A と直線 BC の距離で
よって、面積は
この計算を文字で行うと、原点 O と 2 点 , を頂点とする三角形の面積が になることがわかります(厳密定義の定理5)。A が原点に来るように平行移動すると、B,C は , に移るので、 と、同じ答えが出ます。
この章では、2 直線の平行・垂直を傾きと係数で判定し、対称な点・交点を通る直線・点と直線の距離を求めました。第4章からは、直線の次に基本的な図形である円を方程式で表します。円と直線の位置関係(第5章)では、この章の点と直線の距離が「中心と直線の距離」として活躍します。
まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。
問1
点 を通り、直線 に平行な直線の方程式を求めなさい。
(傾き 、)
問2
原点を通り、直線 に垂直な直線の方程式を求めなさい。
(傾きを とすると )
問3
2 直線 , の交点の座標を求めなさい。
(2 つ目から を 1 つ目に代入して )
問4
原点と直線 の距離を求めなさい。
()
問5
点 と直線 の距離を求めなさい。
()
難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。
問1 ★
(1) ,
(2) ,
(3) ,
上の (1)〜(3) の 2 直線の関係が「平行」「垂直」「どちらでもない」のどれであるかを、それぞれ求めなさい。
(1) 平行 (2) 垂直 (3) どちらでもない
(1) 2 つ目の直線を について解くと で、傾きはどちらも です。切片が違うので一致せず、 です。
(2) 公式2で なので です。傾きで見ても です。
(3) 傾きは と です。等しくないので平行ではなく、積は なので垂直でもありません。よって です。
(3) のように「逆数どうし」でも、マイナスがつかなければ垂直にはなりません。
問2 ★
点 を通り、直線 に平行な直線と垂直な直線の方程式を、それぞれ一般形で求めなさい。
平行 、垂直
公式2を使います。
平行な直線は , の係数をそのまま使って
垂直な直線は係数を , にして
両辺に をかけて です。
傾きで確かめると、もとの直線は 、垂直な直線は で、積は です。垂直な直線は原点を通っています。
問3 ★
(1) ,
(2) ,
(3) ,
上の (1)〜(3) の 2 直線の共有点を、それぞれ求めなさい。
(1) 点 (2) 一致するので、直線 上のすべての点 (3) 共有点はない
(1) 2 つ目から 。1 つ目に代入して 、 で 、 です。共有点は です。
(2) 2 つ目の式は 1 つ目の式の両辺を 2 倍したものなので、2 直線は一致します。共有点は です。
(3) 2 つ目を 2 で割ると で、1 つ目と , の係数は同じですが定数項が違います。2 直線は平行で一致しないので、。連立方程式を解こうとすると、1 つ目を 2 倍して引いたときに となり、解がないことがわかります。
(1)〜(3) は、2 直線が「1 点で交わる」「一致する」「平行で交わらない」の 3 つの場合にそれぞれ対応しています。
問4 ★
(1) 点 と直線
(2) 点 と直線
(3) 点 と直線
上の (1)〜(3) の点と直線の距離を、それぞれ求めなさい。
(1) (2) (3)
公式5を使います。
(1) 、よって
(2) 一般形に直すと です。
(3) と見て ,, とすると、 です。
(3) は、縦の直線 までの距離なので、 座標の差 を見るだけでも求められます。公式5は縦の直線にもそのまま使えます。
問5 ★
直線 に関して、点 と対称な点 B の座標を求めなさい。
とおきます。 の傾きは です。
AB ⊥ より、AB の傾きは なので
AB の中点 が 上にあるので
(i)+(ii) より で 、(i) より です。よって
中点は で、 となり 上にあります。
問6 ★
平行な 2 直線 , の距離を求めなさい。
2 つの式の , の係数がそろっていないので、2 つ目を 2 で割って とします。公式5の後半より
別の方法として、1 つ目の直線上の点 と 2 つ目の直線の距離を求めても
で、同じ値になります。係数をそろえずに と計算するのはよくある間違いです。
問7 ★
2 点 , を結ぶ線分 AB の垂直二等分線の方程式を求めなさい。
AB の中点は 、AB の傾きは です。垂直二等分線の傾きは なので
よって です。
A,B を左辺に代入すると と になり、公式5で考えると A,B からの距離がどちらも で等しいことが確かめられます。
問8 ★
2 直線 , の交点と、原点を通る直線の方程式を求めなさい。
2 直線の傾きは と で違うので、1 点で交わります。公式4より、交点を通る直線は
と表せます。原点を通るので 、 です。代入して両辺を 3 倍すると
よって です。原点は 上にないので、見落としはありません。
交点を先に求めると、 を代入して 、交点は です。原点と を通る直線として を求めることもできます。
問9 ★★
(1) 平行である(一致する場合を除く) (2) 一致する (3) 垂直である
2 直線 , が上の (1)〜(3) の条件を満たすような定数 の値を、それぞれ求めなさい。
(1) (2) (3)
公式2より、平行(一致を含む)になる条件は
で、 です。それぞれの場合の 2 直線を書き出します。
よって (1) 、(2) です。
(3) 垂直になる条件は 、つまり で、 です。
平行の条件 は一致する場合も含むので、答えを出したら、もとの 2 直線を書いて一致しないかを必ず確かめます。
問10 ★★
直線 に関して、直線 と対称な直線の方程式を求めなさい。
と の交点は、 を に代入して 、交点は です。C は 上にあるので、折り返しても動きません。求める直線は C を通ります。
次に、 上の C 以外の点を 1 つ選び、 に関して対称な点を求めます。 上の点 をとり、対称な点を とします。
の傾きは なので、AA′ の傾きは で
AA′ の中点 が 上にあるので
これを解いて ,、 です。
求める直線は C と A′ を通るので、傾きは で
別解として、 に関する対称移動は「点 を点 に移す」ことを使う方法もあります。求める直線上の点 を折り返した点 が 上にあるので、、つまり となり、同じ答えです。
問11 ★★
点 を通り、原点からの距離が である直線の方程式を、すべて求めなさい。
,
第2章 公式5で見たように、 の形では縦の直線 が表せないので、場合を分けます。
縦の直線 のとき:原点からの距離は なので、条件を満たします。
傾き の直線のとき: を一般形にすると です。原点からの距離が なので、公式5より
両辺とも 以上なので、2 乗しても同値です。
このとき で、両辺を 倍して です。
よって、求める直線は の 2 本です。
の項が消えて が 1 つしか出てこないのは、もう 1 本が「傾きのない直線」だったからです。 なので、条件を満たす直線は 2 本あるはずだと見当をつけておくと、見落としに気づけます。
問12 ★★
3 点 ,, を頂点とする三角形 ABC の面積を求めなさい。
辺 BC を底辺にします。 です。
直線 BC の傾きは で、、つまり です。
A と直線 BC の距離(高さ)は
よって、面積は です。
厳密定義の定理5の式で確かめると、A が原点に来るように平行移動して B,C は , になり、 です。
問13 ★★
直線 に平行で、この直線との距離が である直線の方程式を、すべて求めなさい。
,
平行な直線は、係数 , をそのまま使って とおけます。公式5の後半より
より です。よって の 2 本です。
もとの直線の両側に 1 本ずつあることは、駐車場の白線を左右に同じ幅だけずらすところを思い浮かべると納得できます。
問14 ★★
2 直線 , の交点を通り、直線 に垂直な直線の方程式を、交点の座標を求めずに求めなさい。
2 直線の傾きは と で違うので、1 点で交わります。公式4より、交点を通る直線は
と表せます。整理すると です。
これが に垂直になる条件は、公式2より
で です。代入すると 、よって です。
の形で表せない (傾き )は、(傾き )と垂直ではないので、ほかに答えはありません。
確かめとして交点を求めると で、 より、求めた直線はたしかに交点を通ります。
問15 ★★
点 から直線 に下ろした垂線の足 H の座標と、線分 AH の長さを求めなさい。
,
A を通り に垂直な直線は、公式2より
H はこの直線と の交点です。 を に代入して 、、 です。よって
公式5で確かめると、 で一致します。距離だけなら公式5、足の位置も必要なら垂線との交点、と使い分けます。
問16 ★★
3 直線 ,, が三角形を作らないような定数 の値を、すべて求めなさい。
3 直線が三角形を作らないのは、次のどちらかのときです。
1 つ目と 2 つ目の直線は、傾きが と で平行ではありません。2 式を引くと で、交点は です。3 つ目の直線の傾きは です。
3 つ目が 1 つ目と平行: より 。このとき 3 つ目は で、1 つ目とは一致しませんが、平行なので三角形はできません。
3 つ目が 2 つ目と平行: より 。このとき 3 つ目は 、つまり で、2 つ目と平行です。
3 直線が 1 点で交わる:3 つ目が点 を通るので、 より です。
よって です。
3 つ目の直線は と書けるので、 によらず点 を通ります。この点を中心に回る直線が、ほかの 2 本と平行になる向きと、交点 を通る向きを探した、と見ることもできます。
問17 ★★★
2 点 , と直線 がある。点 P が 上を動くとき、 の最小値と、そのときの点 P の座標を求めなさい。
最小値 、
に A,B を代入すると , なので、A と B は に関して同じ側にあります。このままでは線分 AB が と交わらないので、A を に関して折り返します。
A と対称な点を とします。 の傾きは なので、AA′ の傾きは で
AA′ の中点 が 上にあるので
これを解いて ,、 です。
P が 上にあるとき、 は AA′ の垂直二等分線なので です。よって
で、等号は P が線分 A′B 上にあるときに成り立ちます。A′ は 、B は で の反対側にあるので、線分 A′B は と交わり、その交点で最小になります。
直線 A′B は傾き で、 です。 との交点は、 から 、、 です。
よって、最小値は 、そのときの P は です。
第1章 j19 では 軸で折り返しました。折り返す直線が斜めになっても、「対称な点を求めて一直線にする」という考え方は同じです。
問18 ★★★
2 直線 , のなす角の二等分線の方程式を、すべて求めなさい。
,
角の二等分線上の点は、角をはさむ 2 辺から等しい距離にあります(図形の性質で学んだ角の二等分線の性質)。逆に、2 直線から等しい距離にある点は、2 直線のなす角の二等分線上にあります。そこで、, から等しい距離にある点 全体を求めます。
公式5より
分母はどちらも なので、、つまり
です。
よって、求める二等分線は の 2 本です。
2 直線の交点は で、どちらの二等分線もこの点を通ります。また、2 本の二等分線の傾きは と で、積が なので互いに垂直です。2 直線が交わってできる 4 つの角は、隣どうしの角を足すと なので、その半分どうしを足すと になるからです。
「条件を満たす点全体を式で表す」考え方は、第6章の軌跡でくわしく学びます。
問19 ★★★
直線 と点 がある。 が実数全体を動くとき、点 A と直線 の距離の最大値と、そのときの の値を求めなさい。
最大値 ( のとき)
の式を について整理すると
と を連立すると、足して 、、 です。 は によらず定点 を通ります。
A から に下ろした垂線の足を H とすると、三角形 AHQ(H と Q が異なるとき)は H が直角の直角三角形なので、 です。H と Q が一致するときは です。よって
で、等号は のときに成り立ちます。
AQ の傾きは なので、 の傾きが になる を探します。 の傾きは ()なので
このとき は 、つまり で、たしかに Q を通り傾きは です。公式5で A との距離を求めると です。
よって、最大値は ( のとき)です。
距離を の式 で表して最大値を調べることもできますが、「定点 Q を通る直線までの距離は AQ 以下」と図形で考えると、計算がずっと短くなります。
問20 ★★★
三角形 ABC の各頂点から、向かい合う辺またはその延長に下ろした 3 本の垂線は、1 点で交わる。このことを、座標を用いて示しなさい。
A から BC に下ろした垂線を 軸、BC を 軸にとり、B,C からの垂線がどちらも点 を通ることを示す(解説を参照)。
第1章 公式5にならって座標軸を置きます。直線 BC を 軸、A から BC に下ろした垂線を 軸にとり
とおきます。A からの垂線は 軸、つまり直線 です。
B からの垂線:直線 AC は 2 点 , を通るので、 と表せます(2 点を代入して確かめられます)。B を通り AC に垂直な直線は、公式2より
これと の交点は、 より です。
C からの垂線:直線 AB は で、C を通り AB に垂直な直線は
これと の交点も です。
3 本の垂線はどれも点 を通るので、1 点で交わります。(証明終)
この点を三角形の垂心といいます(図形の性質 第2章)。 のときは、AB と AC の傾き , の積が なので となり、垂心は 、つまり A 自身になります。直角三角形の垂心は直角の頂点です。
この章では「傾きが等しければ平行」とあっさり書きました。けれども「平行」は、数学の歴史の中でもとくに長く議論されてきた言葉です。
紀元前 300 年ごろのユークリッド『原論』は、証明なしに認める約束(公準)を 5 つ置いています。1 つ目から 4 つ目は「2 点を結ぶ直線が引ける」「すべての直角は等しい」のように短いのに、5 つ目だけは長い文でした。現代の言葉に直すと、「2 本の直線に 1 本の直線が交わってできる同じ側の内角の和が より小さければ、2 本の直線はその側で交わる」という内容です。これが平行線の公準で、次の形に言いかえられることが知られています。
「直線 と、 上にない点 P があるとき、P を通って と交わらない直線はただ 1 本である」
この形は、1795 年に『原論』の教科書版を出したスコットランドのプレイフェアにちなんでプレイフェアの公理と呼ばれます(※同じ内容は古代の注釈にもすでに見られる)。この章の言葉で言えば、「点 P を通り、傾きが と同じ直線はただ 1 本」ということです。
5 つ目の公準は、ほかの 4 つから証明できるはずだと多くの数学者が考え、2000 年近く挑戦が続きました。決着したのは 19 世紀です。ロシアのロバチェフスキー(1829 年)とハンガリーのボヤイ(1832 年)が、それぞれ独立に「P を通る平行線が 2 本以上ある」としても矛盾の起きない幾何学を発表しました。ガウスも同じ考えに早くから気づいていたものの、公表しなかったと手紙に書いています(※どこまで完成していたかは諸説あり)。平行線の公準は「証明できない約束」であり、別の約束を選ぶと別の幾何学ができるとわかったのです。こうした幾何学は非ユークリッド幾何学と呼ばれます。
豆知識
地球の表面では、2 点を結ぶ最短の道は、地球の中心を通る平面で切った大きな円(大円)の一部になります。これを「まっすぐな線」と考えると、平行線は 1 本もありません。赤道とどちらも直角に交わる 2 本の経線は、赤道の近くでは平行に見えますが、北極で必ず交わります。北極と、赤道上で経度が 離れた 2 点を結ぶ三角形は、3 つの角がどれも で、内角の和は です。座標平面で「傾きが同じなら交わらない」「内角の和は 」が成り立つのは、平らな面の約束の上で考えているからです。
広い地面に正確な直角を作るには、どうすればよいでしょうか。大きな三角定規はありません。よく紹介されるのが、等しい間隔で 12 個の結び目を作った輪の縄を使う方法です。結び目の間隔 つ分、 つ分、 つ分の 3 辺になるように縄をぴんと張ると、 なので、三平方の定理の逆により、長さ と の辺のあいだが直角になります。
古代エジプトでは、神殿や畑の区画を測る人々がこの方法を使ったとよくいわれます。ギリシャの文献に「縄を張る人」という呼び名が残っているのが根拠の 1 つですが、彼らが の縄を使ったとはっきり書いた古代の記録は見つかっていません(※諸説あり)。
この縄の三角形を座標平面に置いて、この章の公式で確かめてみましょう。直角の頂点を原点に置き、長さ の辺を傾き の向きに張ると、その端は です。長さ の辺を傾き の向きに張ると、その端は です。原点からの距離はそれぞれ 、 で、2 つの端は 座標が同じなので、あいだの距離は です。傾きの積は で、公式1のとおり垂直になっています。三平方の定理の逆と公式1は、同じ直角を別の言葉で言い表しているのです。本文で公式1を導いたときも、三平方の定理の逆を使いました。
豆知識
今の建築現場でも、建物の位置を地面に写す「遣り方(やりかた)」の作業で、,, の長さを使って直角を確かめることがあるそうです(※現場によって方法は異なる)。長方形の区画ができたら、2 本の対角線の長さを測って比べるのも定番の確認方法です。平行四辺形の対角線の長さが等しいのは長方形のときだけなので、対角線がそろえば 4 つの角が直角だとわかります。
スマートフォンで走ったコースを記録すると、GPS の位置が数秒ごとに保存され、1 時間で何千もの点がたまります。これをそのまま地図に描くと、データが重いうえに、細かいぶれまで描かれてしまいます。形を崩さずに点を減らす方法として広く使われているのが、ダグラス・ポーカーのアルゴリズムです。1972 年にラマーが、1973 年にダグラスとポーカーが地図学の雑誌で発表した方法で、点と直線の距離が主役です。
手順はこうです。
小さな例でやってみます。4 点 ,,, を、 で間引きます。
と を結ぶ直線は です。公式5で距離を測ると、 は 、 は です。 なので を残し、 と に分けます。
と を結ぶ直線は で、 との距離は です。 以下なので は捨てます。 のあいだには点がありません。
結果は ,, の 3 点です。 は、はじめの直線 から見ると距離 でしたが、線を分けたあとは直線 から測り直されています。どの点を残すかは、いつも「今の直線から見た距離」で決まるのです。
豆知識
手順 2 で「最も遠い点」を探すとき、比べる直線は 1 本に決まっているので、分母の はどの点でも同じです。そのため、実際のプログラムでは、分子の だけを比べて最も遠い点を選び、 と比べるときだけ分母で割る、という工夫ができます。平方根の計算は足し算やかけ算よりずっと時間がかかるので、点が何万個もあるときには効いてきます。
※ここは発展ページです。高校の範囲では、本文の公式1〜5が使えれば十分です。「傾きの積が になるのはなぜ?」「縦の直線が混じっても一般形の条件は正しいの?」「垂線の長さが本当にいちばん短いの?」が気になる人のために、根拠を紹介します。
この章では、第1章・第2章の厳密定義(直交座標、直線と一次方程式の対応、同じ直線を表す一般形)を前提にします。三平方の定理とその逆、平行移動で 2 点間の距離や角の大きさが変わらないことは、中学校と図形の性質で学んだものとして使います。
2 直線 , が共有点をもたないか、または一致するとき、 と は平行であるという。
2 直線 , が 1 点で交わり、交わってできる角が直角であるとき、 と は垂直であるという。
2 直線が 1 点で交わると 4 つの角ができますが、向かい合う角は等しく、隣り合う角の和は なので、1 つが直角なら 4 つとも直角です。どの角で調べてもかまいません。
一致する場合を平行に含めるかどうかは、本によって違います。この章では、条件式 や と正確に対応させるために含めています。
(1) 2 直線 , が平行であるための必要十分条件は 、垂直であるための必要十分条件は である。
(2) 縦の直線 と平行な直線は縦の直線だけであり、 と垂直な直線は横の直線 だけである。
証明 (1) 平行について。共有点の 座標は 、つまり の解である。 ならこの解はただ 1 つで、2 直線は 1 点で交わるので平行ではない。 のとき、 なら 2 直線は一致し、 なら解がなく共有点をもたない。どちらも平行である。
垂直について。 なら 2 直線は平行で、交わって角を作らないので垂直ではない。このとき なので であり、主張は正しい。
以下 とし、交点を C とする。2 直線をともに C が原点に来るように平行移動すると、傾きは変わらず、角の大きさも変わらないので、, の場合を考えればよい。 上の点 、 上の点 をとると、O,P,Q は異なる 3 点で
である。三平方の定理とその逆より、 となる。
(2) 平行について。縦でない直線 は、 と点 でただ 1 点で交わるので平行ではない。縦の直線 は、 なら一致し、 なら共有点をもたないので、平行である。
垂直について。縦の直線どうしは平行なので垂直ではない。縦でない直線 と の交点を とし、 上の点 、 上の点 をとる。
なので、 である。つまり、 に垂直なのは横の直線だけである。(証明終)
三角比と三角関数 第9章では、2 直線のなす角 を で求めました。定理1の は、この式の分母が になって が定まらない場合、つまり の場合にあたります。加法定理を使う道と、三平方の定理を使う道で、同じ条件にたどり着いたことになります。
2 直線 ,(どちらも , の係数の少なくとも一方は でない)について
証明 , とおく。第2章 厳密定義の定理4より、 の直線は傾き の直線、 の直線は縦の直線である。
かつ のとき。 定理1 (1) より、平行 で、両辺に ()をかけると と同値である。垂直 で、両辺に をかけると と同値である。
のとき。 このとき で、 は縦の直線であり、, である。定理1 (2) より
である( が横の直線であることは、 と同値である)。
のときも、 と の役割を入れかえれば同じである( は符号が変わるだけ、 は変わらない)。(証明終)
のとき、2 直線が一致するかどうかは定数項まで見る必要があります。第2章 厳密定義の定理5より、一致するのは となる でない があるときです。
定理2の記号で、, とし、 とおく。
(1) のとき、 と はただ 1 点
で交わる。 のとき、 と は共有点をもたないか、一致する。
(2) のとき、どの実数 に対しても、 は を通る直線を表す。逆に、 を通る直線で と異なるものは、ある を用いてこの形に表される。
証明 (1) が 2 直線の共有点であるとする。 の両辺に 、 の両辺に をかけて引くと
同様に、 の両辺に 、 の両辺に をかけて引くと
となる。 なら、共有点は 以外にありえない。逆に の座標を に代入すると
であり、 についても同様に になるので、 はたしかに共有点である。 のときは、定理2より 2 直線は平行なので、定義1より共有点をもたないか一致する。
(2) である。, の係数がともに だとすると、, で、 となり、 に反する。よって、第2章 厳密定義の定理4より、 は直線を表す。 では なので、この直線は を通る。
逆に、 を通り と異なる直線 をとる。 上に と異なる点 をとる。もし なら、R と はともに 上にもあり、異なる 2 点を通る直線はただ 1 本なので となって仮定に反する。よって であり、 とおくと、直線 は と R を通る。異なる 2 点を通る直線はただ 1 本なので、これは に一致する。(証明終)
(2) の後半は、第2章 厳密定義の定理6(直線の束)を、「交点を通る直線」の言葉で言い直したものです。 だけが除かれるのは、 をどれだけ大きくしても の分が消えないからでした。 も含めて表したいときは、第2章のように (, は同時には でない)とします。
点 P と直線 があるとき、P を通り に垂直な直線と の交点 H を、P から に下ろした垂線の足という。線分 PH の長さを、点 P と直線 の距離という。P が 上にあるときは とし、距離は とする。
のとき、P を通り に垂直な直線は です(定理2で )。この 2 直線の は なので、定理3より H はただ 1 つに決まります。
点 と直線 (, の少なくとも一方は でない)について、 とおく。 上のすべての点 X に対して
が成り立ち、等号が成り立つのは X が P から に下ろした垂線の足 H のときに限る。とくに、P と の距離は である。
証明 X の座標を とし、, とおく。X は 上にあるので
である。ここで、展開して比べると確かめられる恒等式
を使うと
となり、不等式が得られる。等号が成り立つのは 、つまり
のときである。これは P を通り に垂直な直線(定義2のあとで見た直線)の方程式である。したがって、等号が成り立つのは、X が 上にあり、かつ P を通る垂線上にあるとき、つまり X = H のときに限る。H で等号が成り立つので、 である。(証明終)
証明に使った恒等式は、数と式 第10章のコーシー・シュワルツの不等式 の、等号とのずれまで書き出した形です。点と直線の距離の公式は、本文では「平行移動して、原点から垂線の足を求める」方法で、ベクトル 第6章では「正射影」で導きました。定理4はそれらと違い、「垂線の足までの長さがいちばん短い」ことまで、式の変形だけで一緒に示しています。
原点 O と 2 点 , が一直線上にないとき、三角形 OAB の面積 は
である。一般に、3 点 ,, を頂点とする三角形の面積は、,,, とおいて、同じ式で求められる。
証明 A は O と異なるので、, の少なくとも一方は でない。直線 OA は で表される(O と A を代入すると になり、第2章 厳密定義の定理4 (2) より直線を表す)。OA を底辺とすると、高さは B と直線 OA の距離なので、定理4より
後半は、頂点 が原点に来るように平行移動すれば、面積を変えずに前半の場合に帰着する。(証明終)
O,A,B が一直線上にあるときは、B が直線 OA 上にあるので となり、「面積 」と考えれば式はそのまま成り立ちます。これは、第2章 厳密定義の定理2(3 点が一直線上にある条件)で A を原点にしたものです。 は、大学で学ぶ「行列式」と呼ばれる量の、いちばん小さな場合にあたります。本文の も同じ形をしています。
この章の学習が終わったら
学習完了テストを受ける