中点連結定理を利用して次の性質を導くことができるでしょうか?
性質(I)(I):△ABCの2辺AB, AC上にそれぞれAP:AB=AQ:AC=m:n
(ただしm,n:正の実数、m≠n)となる点P, Qをとり、これらを結んだ線分PQは辺BCとPQ//BC, PQ:BC=m:nという関係をもつ。
性質(I)は成り立つか?
性質(I)が成り立つかを示すにはm,nの条件を中点連結定理の”m=1,n=2”から”m,n:正の実数”まで段階的に拡張していきます。
m,nが自然数の場合
m,nが自然数の場合を考えます。
まずはm=1のときを考え、任意の自然数m,nでも成り立つかを調べてみます。
例としてm=1,n=3のときを考えます。
△ARSに着目すると、三角形の中点連結定理より
PQ//RSPQ:RS=1:2
です。
また、四角形PQSRに着目すると(1)より台形であることがわかります。
辺PR, QSそれぞれの中点をT, Uとすると、台形の中点連結定理と(2)より
PQ//TU//RSTU=PQ+RS2=32PQ
となります。
(3),(5)より
PQ//BC
(4),(6)より
32PQ:BC=1:2PQ:BC=23:2=1:3
であることがわかります。これはm=1,n=3における性質(I)です。
n≧4である任意の自然数nにおいても上と同様に三角形または台形の中点連結定理を利用することで、
PQ//BC, PQ:BC=1:n(n:自然数,n≠1)
を得ることができます。
また、m≧2の任意の自然数mの場合はAP0:AP:AB=AQ0:AQ:AC=1:m:nとなるように新たに点P0,Q0をとり、AP0:AP=AQ0:AQ=1:mとAP0:AB=AQ0:AC=1:nの場合の結果から
PQ//BC, PQ:BC=m:n(m,n:自然数,m≠n)
を得ることができます。
(I'')は性質(I)のm,nを自然数に限定したものです。
さらにm,nが正の有理数の場合、rm,rnが自然数となるような数rが存在する、すなわちrm:rnとすれば整数比に直すことができます。したがって、(I'')を満たします。
ここまでで性質(I)の成り立つm,nを正の有理数まで拡張することができました。
m,nが正の無理数の場合
m,nが正の無理数の場合にも性質(I)が成立するかについては考察となります。
この場合、m,nが正の有理数の場合のように必ずしも整数比rm:rnとなるような数rが存在するわけではありません。
そこで、指数関数y=axの無理数xの場合のyを調べるときと似た方法をとるものと考えられます。
例としてm=1,n=√2の場合を考えます。
次のような数列を考えます。
a1=1a2=1.4a3=1.41⋮a10=1.414213562⋮
この数列aiは初項が1でiの値が1増えるごとに小数点以下の桁が1つ増え、
limi→∞ai=√2
である数列です。また、10i−1aiは整数となります。
この数列をもちいて△ABCの2辺AB, AC上にそれぞれAP:AB=AQ:AC=1:aiとなる点P, Qをとったとき1:aiは整数比10i−1:10i−1aiに直せるため、(I'')より
PQ//BC, AP:AB=AQ:AC=PQ:BC=1:ai
が成り立ちます。
そして、iを限りなく大きくすることで(7)は
PQ//BC, AP:AB=AQ:AC=PQ:BC=1:√2
に収束していきます。
このことからm=1,n=√2において性質(I)が成り立つといえるようになります。
他の無理数nでも同様におこなうことでm=1かつ任意の無理数nの場合、(I')が成り立つといえるようになります。
mも任意の無理数である場合はm,nが自然数の場合と同様にAP0:AP:AB=AQ0:AQ:AC=1:m:n(ただし1<m<n)またはAP0:AP:AB=AQ0:AQ:AC=1:rm:rn(ただし1<rm<rn、r:任意の実数)となるように新たに点P0,Q0をとれば、m,nが無理数の場合でも性質(I)が成り立つといえるようになります。
上の考察が正しいならば、性質(I)が成り立つということになります。
性質(I)の逆は成り立つか?
性質(I)が成り立つとして、その逆、すなわち
性質(I)の逆:「△ABCの2辺AB, AC上にそれぞれ点P, Qをとったとき、線分PQについて
は成り立つでしょうか?
PQ//BCPQ:BC=m:n(ただしm,n:正の実数;m≠n)
が成り立つならば点P, QはAP:AB=AQ:AC=m:nを満たす。」
それは以下のように確かめることができます。
△ARSに着目すると性質(I)より
PQ//RSPQ:RS=m:n2
が成り立ちます。
次に△ABCに着目すると仮定と(9),(10)より
PQ//RS//BCPQ:RS:BC=m:n2:n
特に
RS//BCRS:BC=1:2
に着目すると中点連結定理の逆より
AR:AB=AS:AC=1:2=n2:n
が成り立ちます。
したがって、(8),(11)より
AP:AR:AB=AQ:AS:AC=m:n2:n∴AP:AB=AQ:AC=m:n
なので、性質(I)の逆が成り立つことがわかります。
Share: