同一法の続き

同一法が用いることが出来ない,すなわち(1),(2)が成り立たない場合を調べましょう.

例1(中点連結定理)
△ABCの辺ABの中点をM,辺AC上に点Nをとる.このとき次が成り立つ.
(1)Nが辺ACの中点→MNBC
(2)Nが辺ACの中点→MN=BC/2





証明
△ABCが∽△AMN(2組の辺の比が等しくその間の角が等しい)より,(1)(2) が成り立ちます.
逆すなわち同値かどうかを調べましょう.
(1)Mを通りBCに平行な直線は1つしかないから同値です.
(2)は少し説明が必要です.MN=BC/2をみたすNは唯一つとは限らないので, 同値ではありません.




しかし,Nを辺ACの中点とし,MN⊥ACやMN>min(AM,CM)が成り立つとき, Mを中心とする半径 MNの円は辺ACとNでしか交わらないので,(2)も同値にないます.(下図)
なお,min(AM,CM)とはAM,CMの短いほうを意味します.
数学は厳密性を こだわるのでAM=CMの場合もあるのでAM,CMのうち長くないほうと書くのが一般的です.


例2
△ABCの辺BCまたはその延長上の点Mをとる.
このとき次が成り立つ.
Mが線分BCの中点 →AB+AC=2AM+ BM+CM




証明
AからBCに下ろした垂線の足をHとする.
ここではHが線分MC上の場合に証明する.
(左辺)=AB+AC
=AH+(BM+MH)+AH+(CM−MH)
=2(AH+MH)+BM+CM
=(右辺)


例題2は同値ではない.
実際,証明から分かるように,AからBCに下ろした 垂線の足をHとすると
AB+AC =2AH+BH+CH
となる.

以上が,同一法が使えない,すなわち同値でない,結論が2つ以上ある場合です.
次に,仮定の真理集合が空集合φの場合を紹介します.

例3 自然数全体よりなる集合をNとする.このとき
xは集合のNの最大値 
→ xはx≦xを満たす.
この命題は,仮定の真理集合はφですから結論が何であっても命題は真です. また
xが最大値なら,それより大きい数はなく,xが自然数ならxも自然数ですから, 命題は正しいでしょう.さらに,結論を満たすのはx=1だけで結論の真理集合は唯一つの要素よりなります.
それでは逆が成り立つかというとそんな馬鹿なことはありません.当然 逆は偽です.

どこに問題があるかというと仮定を満たす要素が存在しないからです.
例2で行ったことは決してばかげていることではありません.存在を示すことが重要なこ とであることを意味しています.これは,19世紀に 存在を示すことの重要性を説明するために紹介された有名な例です.
このように仮定を満たす要素が存在することも忘れてはならないことを確認しましょう.


これからは同一法を用いて同値を証明する例を紹介します.
例4(三平方の定理)
△ABCでAB,ACが与えられている.このとき
A=90°→BC=AB+AC




BCをAB+ACで定めれば△ABCは 唯一つに決まるので同値になります.

例5(接弦定理)
円Oの弦ABと,点Aを通る直線ATがある.
弦ABに関してTと反対側にある円Oの周上に1点をとりそれをCとする.
このとき



直線ATが円Oの接線
→∠BAT=∠ACB

証明は第2部円の性質で扱いますが,次の図より読み取ってください.



点Aを通りBAとなす角が与えられた角の直線ATは唯一本ですから同値になります.

例6(数列の漸化式)
数列の漸化式で,一般項を類推して,その類推が正しいことの証明は同一法です.
例 a=2,an+1=a/(a+1) のとき一般項aを求めよ.
n=1,2,3と計算すれすれば簡単に
=2/(2n−1)
が予想できます.
この予想が正しいことを示すには
  a=2/(2n−1)  →aが漸化式a=2,an+1= 1/(a+1)
を満たす
を示せば,仮定を満たす数列は存在し,結論を満たす数列はただ1つであるから,漸化式と数列
=2n/(2n−1)
が同値であることがわかります.


チェバ・メネラウスの定理

目次