直角三角形の各頂点から対辺へおろした垂線のうち、直角の頂点から以外のものは辺と重なります。
したがって、直角三角形の垂線というと直角の頂点から引いたものしかないように見えます。上図の直角三角形ABCABCにおいては線分ADADのことです。
したがって、直角三角形の垂線というと直角の頂点から引いたものしかないように見えます。上図の直角三角形ABCABCにおいては線分ADADのことです。
この垂線にはどのような性質があるでしょうか?
角度に関する性質
∠A=90°∠A=90°である直角三角形ABCABCの垂心は直角の頂点AAと重なります。
△ABD△ABDに着目すると∠ADB=90°∠ADB=90°より∠B+∠BAD=90°∠B+∠BAD=90°です。
また、(1)(1)より∠BAD=∠C∠BAD=∠Cとなります。
△ACD△ACDに着目すると∠ADC=90°∠ADC=90°より∠CAD+∠C=90°∠CAD+∠C=90°です。
また、(1)(1)より∠CAD=∠B∠CAD=∠Bとなります。
したがって、直角三角形の直角は垂線によって他の鋭角の大きさを持つ2つの角に分けられることがわかります。
また、垂線ADADと辺と重なっている他の2本の垂線を延長すると、垂心の周りには6つの角ができます。そのうちの4つは∠BAD, ∠CAD∠BAD, ∠CADとそれぞれの対頂角で、残る2つの角は∠A∠Aの外角となります。
∠A∠Aは直角で、その外角も直角であるため∠A∠Aと等しくなります。
したがって、直角三角形の垂心の周りにも鋭角三角形のときと同様、その三角形の内角と等しい大きさを持つ角が集まっていることがわかります。
長さに関する性質
垂線ADADの長さと、垂線の足DDによって分割された斜辺の各部分の長さを調べます。
△ABD△ABDに着目するとBD=ABcos∠BBD=ABcos∠B、
△ACD△ACDに着目するとCD=ACcos∠CCD=ACcos∠C、
また、両方の三角形よりAD=ABsin∠B=ACsin∠CAD=ABsin∠B=ACsin∠Cとなります。
△ACD△ACDに着目するとCD=ACcos∠CCD=ACcos∠C、
また、両方の三角形よりAD=ABsin∠B=ACsin∠CAD=ABsin∠B=ACsin∠Cとなります。
ここで、正弦定理より
ACsin∠B=ABsin∠C=2R(R:外接円の半径)ACsin∠B=ABsin∠C=2R(R:外接円の半径)
であり、これを変形すると
AC=2Rsin∠BAB=2Rsin∠CAC=2Rsin∠BAB=2Rsin∠C
が得られます。これらを利用して各線分の長さを表すと
BD=2Rcos∠Bsin∠CCD=2Rsin∠Bcos∠CAD=2Rsin∠Bsin∠CBD=2Rcos∠Bsin∠CCD=2Rsin∠Bcos∠CAD=2Rsin∠Bsin∠C
となります。
ちなみに、BDBDとCDCDの長さの積を求めると
BD⋅CD=4R2sin∠Bcos∠Bsin∠Ccos∠CBD⋅CD=4R2sin∠Bcos∠Bsin∠Ccos∠C
となりますが、三角関数の性質cos(90°−θ)=sinθcos(90°−θ)=sinθおよび(1)(1)を変形した∠B=90°−∠C, ∠C=90°−∠B∠B=90°−∠C, ∠C=90°−∠Bより
BD⋅CD=4R2sin∠Bcos(90°−∠B)sin∠Ccos(90°−∠C)=4R2sin2∠Bsin2∠C=(2Rsin∠Bsin∠C)2=AD2∴AD=√BD⋅CDBD⋅CD=4R2sin∠Bcos(90°−∠B)sin∠Ccos(90°−∠C)=4R2sin2∠Bsin2∠C=(2Rsin∠Bsin∠C)2=AD2∴AD=√BD⋅CD
となり、Geometric mean theoremの示す関係が導けます。
相似に関する性質
垂線ADによって分割されてできる2つの三角形について調べます。
△ABDと△CAD (△ACD)に着目すると、∠B=∠CAD, ∠BAD=∠Cより、2組の角がそれぞれ等しいので相似であることがわかります。
また、その相似比はAB:AC=sin∠C:sin∠Bとなります。
さらにこれらの三角形と△ABCに着目すると、どの三角形も3組の角がそれぞれ等しいので、△ABC, △ABD, △ACDは互いに相似であることがわかります。
その相似比はBC:AB:AC=sin∠A:sin∠B:sin∠C、∠A=90°なのでsin∠A=1よりBC:AB:AC=1:sin∠B:sin∠Cとなります。
Share: