ggと0) について. 関係式
(gaの…ー十の) ーZ9トgパキ
り六うとき, の。ビ7 であることを証明せよ
誠邊なの問題 であるから、数学的帰納法 で証明する
となるが,「
り立つことを仮定していないことと
の仮征が必要。 『
そこで, 次の [2] を示す数学的謝法を利用。
[ ヵ1のとき成り立つ。
・ ⑳ が作れなくな
前
@
合。 gk-ュニルー1。g。-ュニルー2.
@@の@@@〇
図 ヵミをのとき成り立つと仮定すると,ヵ=ん+1 のときも成り立つ。
3 の =で成立を仮定する場合あり
St) 2 Ak
ーが成
つてしまう。したがって, ヵ<
597
立論 国 1
4に1のとき, のーgゆ>0 から gi=1
ゅえに, =1 のとき g。三カ は成り立つ。
ヵ軌 54のとき, gzニッが成り立つと仮定ずる。
=+1のときを考えると
(2キーがのドードキ20キ……寺記直の。記
:
-はet +2.訪ADgmsT
三内下20350士だ十(を填1)2mュ十の4
0⑩のと比較して ん(%+1Dga寺gr二つ
めえに gi(Zm寺が(2ュー(を1】二0
ci>0であるから gm二を1
よって, ヵ=ム上1 のときにも ニカ は成り立つ。
(0のを辺)=0+2+……寺が吐20二2…ー二のgumTom|
負 隊から6. すべての自然数ヵに対しで は成り立つ。
パー1 のときの証明。
4るたの仮定。
カームル寺1 のときの証明。