横画面推奨!
モバイル機器の場合、数式が見切れる場合があります。

2023年11月9日

中点連結定理の拡張の考察

 中点連結定理を利用して次の性質を導くことができるでしょうか?

性質(I)(I)ABCの2辺AB, AC上にそれぞれAP:AB=AQ:AC=m:n (ただしm,n:正の実数、mn)となる点P, Qをとり、これらを結んだ線分PQは辺BCPQ//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のときを考えます。
 線分PB, QCそれぞれの中点をR, Sとすると、AP=PR=RB, AQ=QS=SCが成り立ちます。
ARSに着目すると、三角形の中点連結定理より
PQ//RSPQ:RS=1:2
です。
また、四角形PQSRに着目すると(1)より台形であることがわかります。
PR, QSそれぞれの中点をT, Uとすると、台形の中点連結定理と(2)より
PQ//TU//RSTU=PQ+RS2=32PQ
となります。
再びABCに着目すると、点T, Uはそれぞれ辺AB, ACの中点であるため、三角形の中点連結定理より
TU//BCTU:BC=1:2
となります。
(3),(5)より
PQ//BC
(4),(6)より
32PQ:BC=1:2PQ:BC=23:2=1:3
であることがわかります。これはm=1,n=3における性質(I)です。

 n4である任意の自然数nにおいても上と同様に三角形または台形の中点連結定理を利用することで、
PQ//BC, PQ:BC=1:n(n:,n1)
を得ることができます。
また、m2の任意の自然数mの場合はAP0:AP:AB=AQ0:AQ:AC=1:m:nとなるように新たに点P0,Q0をとり、AP0:AP=AQ0:AQ=1:mAP0:AB=AQ0:AC=1:nの場合の結果から
PQ//BC, PQ:BC=m:n(m,n:,mn)
を得ることができます。
(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.41a10=1.414213562
この数列aiは初項が1iの値が1増えるごとに小数点以下の桁が1つ増え、
limiai=2
である数列です。また、10i1aiは整数となります。

この数列をもちいてABCの2辺AB, AC上にそれぞれAP:AB=AQ:AC=1:aiとなる点P, Qをとったとき1:aiは整数比10i1:10i1aiに直せるため、(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<rnr:任意の実数)となるように新たに点P0,Q0をとれば、m,nが無理数の場合でも性質(I)が成り立つといえるようになります。

上の考察が正しいならば、性質(I)が成り立つということになります。

性質(I)の逆は成り立つか?

 性質(I)が成り立つとして、その逆、すなわち
性質(I)の逆:「ABCの2辺AB, AC上にそれぞれ点P, Qをとったとき、線分PQについて
PQ//BCPQ:BC=m:n(m,n:;mn)
が成り立つならば点P, QAP:AB=AQ:AC=m:nを満たす。」
は成り立つでしょうか?
それは以下のように確かめることができます。
AB, AC上にそれぞれ
AP:AR=AQ:AS=m:n2
となるように点R, Sをとります。
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:nAP:AB=AQ:AC=m:n
なので、性質(I)の逆が成り立つことがわかります。

Share:
share
◎Amazonのアソシエイトとして、当サイト「数学について考えてみる」は適格販売により収入を得ています。
Powered by Blogger.

PR

blogmura_pvcount
ブログランキング・にほんブログ村へ