@@
(の)にAa o
であることをょ#についての数学的灯納庄で証細する。
思 *-1のとき
CDは辺-2. 右辺-2 となって成立する。
勤 *=7のとき, 式①が成立すると仮定する
よーは1のとき。 式①のを辺は
B+に(2+2)(2+1)(2)
(2+2)(2+027g
-2"(ょMCxg)
"(なMC(2ー0-う靖
ー"(なlos
となり, 右辺に一贅するから。 この仮定のもとで①式は /*1でも成り立つ。
[より意は示された。
@
合馬 「Iは 2"で割り切れる」をについての明学的旧法で証細する。
還 1のとき
テに2に-2
だりー.-2
であるから. 命題はヵ=1のとき成り立つ。
軌 =*のとき. 命題が成り立つと仮定する。
このとき自然数用を用いて
em @
と表される。従ってぇ=ょ+1のとき①式より
が62
ーデ(の)e
となる。さらに②を代入すると
(ee
ーー
となるから. ヵカ=た+1 の時も命症は成り立つ。
より. 題章は示された。
