還還昌昌間間間間ーー
234 認還還 第6章 数列
っ7
(1)
[が上5 は 6 の倍数である」 を①とおく。
z三1のとき,
が十5z三1?十5・1三6
となり, ①は成り立つ。
ァヶ王をのとき①が成り立つ. すなわち, 5をが6 の倍数
と仮定すると, 自然数 を用いて,
だ十5z三67
と表せる。
ヶ王を十1 のとき,
(&填1)3填5(&二1)だ十3だ十3z十1十5z十5
ー(だ十5め十3(デ十め十6
三67z十3A(十1)十6
三312十4(ヵ十1)十2)
ここで, (&十1) は連続する 2 つの自然数の積であるか
倍数であり, は自然数であるから, 2放十4(&二1)十2
倍数である。
したがって, 312%十A(&十1)十2) は 6 の倍数である。
よって, %三ん土1 のときも①が成り立つ。
(UM ①はすべての自然数々 について成り立つ