図形と方程式|座標を利用した証明(垂心)について
今回は、座標を利用した証明について学習しましょう。座標を利用した証明についてはすでに学習していますが、ここでは垂線を扱う垂心に関わる証明です。
座標を用いることで証明しやすくなるのですが、上手に座標平面に図形を設置できなければ、かえって難しくなります。そうならないように、ポイントをしっかり押さえましょう。
座標を利用した証明(垂心)
垂心は五心の1つです。ただ、内心・外心・重心に比べると、垂心を扱った問題はあまり見かけません。
垂心は、三角形の3つの頂点から対辺にそれぞれ下した垂線の交点です。
証明問題としては、3つの頂点からそれぞれ下した垂線が1点で交わることを証明する問題が出題されます。この証明を図形的にやろうと思えば、かなり難しく、そして面倒です。
このような証明あっても、座標平面上に三角形を設置することで簡単に証明できるようになります。
座標を利用した証明はすでに学習していますが、ここでは、座標軸が予め定められています。座標軸を自分で設定する問題よりも取り組みやすいでしょう。
座標を利用して証明してみよう(垂心)
例題
座標平面上の 3 点 O(0 , 0) , A(2 , 5) , B(6 , 0) を頂点とする △OAB の各頂点から対辺に下した垂線は 1 点で交わることを証明せよ。
例題の解答・解説
例題では、三角形の頂点の座標が予め与えられているので、座標軸は自分で設定する必要はありません。問題文に合わせて作図しましょう。
3直線が1点で交わることを証明するには、2直線の交点が残りの直線上にあることを示すことが一般的です。
例題では、作図すると分かりますが、頂点Aから下した垂線がx軸に垂直です。このことを利用すると一般的な証明よりも簡単になります。
まず、直線ABの傾きから垂線OCの方程式を求めます。
例題の解答例 1⃣
直線 AB の傾きは
0−56−2=−54頂点 O から対辺 AB に下した垂線 BD の傾きは
45よって、頂点 O から対辺 AB に下した垂線 OC の方程式は
y=45x⋯①垂線OCは原点を通る直線なので、切片はありません。
また、傾きを求めるために、2直線の垂直条件を利用しています。
2直線の垂直条件
2 直線
y=m1x+n1y=m2x+n2が垂直であるとき、垂直条件は
m1m2=−1また、2 直線
a1x+b1y+c1=0a2x+b2y+c2=0が垂直であるとき、垂直条件は
a1a2+b1b2=0同じ要領で、直線OAの傾きから垂線BDの方程式を求めます。
例題の解答例 2⃣
⋮y=45x⋯①また、直線 OA の傾きは 52 より、頂点 B から対辺 OA に下した垂線 BD の傾きは
−25よって、垂線 BD の方程式は
y−0=−25(x−6)すなわち
y=−25x+125⋯②垂線BDの方程式を求めるために、1点の座標(点B)と傾きを利用しています。
直線の方程式
[1] 点 (x1 , y1) を通り、傾きを m とする直線の方程式は
y−y1=m(x−x1)[2] 点 (x1 , y1) を通り、x 軸に垂直な直線の方程式は
x=x1これで、2つの垂線OC,BDの方程式が分かりました。
これらの方程式を連立すれば、交点の座標を求めることができます。これが一般的な解法です。
ここでは、垂線AEがx軸に垂直な直線であることを利用します。
垂線OCと垂線AEの交点の座標と、垂線BDと垂線AEの交点の座標とを比べます。こちらの方が、垂線OCと垂線BDの交点の座標を求めるよりもはるかに簡単です。
例題の解答例 3⃣
⋮y=45x⋯①⋮y=−25x+125⋯②頂点 A から対辺 OB に下した垂線 AE の方程式は
x=2⋯③①に x=2 を代入すると
y=45⋅2=85②に x=2 を代入すると
y=−25⋅2+125=85よって、3 直線①,②,③は 1 点
(2 , 85)で交わる。
したがって、△OAB の各頂点から対辺に下した 3 つの垂線は 1 点で交わる
2つの垂線OC,AEの交点のy座標を求めるには、垂線OCの方程式にx=2を代入します。同様に、2つの垂線BD,AEの交点のy座標を求めるには、垂線BDの方程式にx=2を代入します。
この2つのy座標が一致すれば、交点が一致すると言えます。
それに対して、2つの垂線OC,BDの交点の座標を求めるには、2つの垂線OC,BDの方程式を連立して解く必要があります。どちらが楽な計算かは明らかです。
また、垂線が出てくるのは、垂心に限ったことではありません。外心の証明でも出てきます。慣れておきましょう。
次は、座標を利用した証明(垂心)を扱った問題を実際に解いてみましょう。