(⑫⑳ みか自然数のとき,。 2"1ナ(ーーの> は3 の倍数である。」 。 ……①
の①を数学的帰納法で証明する。
(り ぁュービキコ のとき。 2が0ナ(ー ニテ となるので, ①は成り立つ。
介 ぁ王を のとき 2%1オ(一)* は3の倍数であると仮定する。
このとき, ダダ"ォ(ーDのパービデコ (= ビュコー (emi (5
である。 ・
ミイ2 (2すめのり はと もにテコの倍敷でちるから, ①は zール十1 の
ときだも成り立つ。
( ⑳より, のはすべての自然数について成り立つ。