【4】 を自然数とし,とする.このとき,が成り立つことを示したい.以下の証明を完成せよ.
証明) とは,についての式
を用いて,と表せる.したがって,を示すためには,
を示せばよい.そこで,についての数学的帰納法を用いて,を証明する.
〔1〕 のとき,
であるから,が成り立つ.
〔2〕 のとき,すなわち,
が成り立つと仮定する.この仮定をつかって,のときにも,
が成り立つことを示せばよい.ここで,
である.したがって,より,
をうる.ところで,
であるから,
となる.すなわち,
が成り立つ.よって,が示された.
〔1〕,〔2〕から,すべての自然数について,が成り立つ.したがって,
が成り立つ.ゆえに,が証明された.