同一法による証明の例. 下の図のように直角三角形 の斜辺
の中点を
とするならば
というのをわざわざ同一法を使って証明してみる. 円周角は中学
年生にならないと習わない. (ただ, 平行四辺形の特別な場合である長方形の対角線を考えればすぐにわかることではある.)
【証明】
直角三角形の斜辺である線分 上の点として,
となるように点
をとる.
は鋭角だから, そのような点
は線分
上にいつも存在する.
は二等辺三角形となるので,
である. このとき,
だから,
であり,
も二等辺三角形となって,
, すなわち点
は線分
の中点
である.
点を結ぶ線分の長さが
のとき, その
点は同一とみなされる. 線分
上の任意の点において,
を満たす点
が,
以外に
もそうだとすると,
,
から, 仮定から,
となって,
,
のどちらであったとしても, であり,
で同一である.
したがって, 線分 上の点において, 中点
はただ一点存在するので, 逆も成立し, 線分
上の点が中点
であるならば,
である. //
※ 含意命題 において, 条件
の真集合を
, 条件
の真集合を
とする.
が真であることと,
であることは同値であった. ここで, 真集合
の要素がひとつしかないとする.
の部分集合は空集合
と
自身である. したがって,このとき,
が空集合
でなく, かつ,
であれば
である. これは条件
と条件
が同値 (必要十分) であることを意味する. このことにもとづいた証明を「同一法」ということがある.
教科書にもある同一法の有名な例は, ピタゴラスの定理の逆証明である. ピタゴラスの定理は, 「二辺の長さがそれぞれ ,
の任意の三角形で, その二辺の挟角が
ならば, 残りの辺の長さ
は
を満たす」というものである. ここで, 結論の条件
を真にする集合の要素は, 三角形の合同という同値関係が与えられている場合, ひとつの三角形しかない. なぜなら, 別の三角形が真集合に含まれると仮定し, その辺の長さが
,
,
だとすると,
も
も結論の条件を真にするので,
で, ,
から,
となって, 三辺相等の合同条件を満たすことにより, 二つの三角形は同一となって, 矛盾するからである.
このことから逆の命題,
二辺の長さが ,
の任意の三角形において, 残りの辺の長さが
ならば, 二辺
,
を挟む角は
である.
は真であるといえる.
//