剛放
2 (ただしo。>0) について, 関係式
(の二の二……二g)/ニの9の二…ー の
蘭思り立つとこき 。こ。 であることを証明せよ。
ビ 自状数々の問題 ぁるから. 数学的帰納法 で証明する。
Z三を十1 のときを書き出すと
SRDGSNY3)
のJI2] を示す数池6放法を利用。
便】 ヵニ1 のとき成り立っ。
ま ・・ …十記十 1 結 さ2の2 めぐ
四なるが, に 立
法人de と仮定した場合。g。-」ニルー1, ーッニルー2。…… が成
IS ないこ う
有阪定が必要。..… “ととなり, @ が作れなくなってしまう。じたがって。 カニん
とき, の"ーム5 必グ0 から 4
1のとき ゥーz は成り立つ。
)とき, 2 が成り立つと仮定する。
)ときを考えると
寺め2の4ボーポオ28す……二だge …… ①
d+2す……二が年21二2す……圭がのmn二の
2
4+1) +2・テ1)gmTgr
2の二……圭十(を十1)244ュ十のな
で (を十1)2記」 十の』ーのaT
mm十が人2なュー(を十1)) 0
@のューん十1
ときにも Z,テz は成り立つ。
1
るz三1 のときの証明。
る72ミんの仮定。
るヵ三十1 のときの証明。
の自然数ヵ に対して = は成り立つ。