다음은 모든 자연수 n 에 대하여 부등식
1+21+⋯+n1≥2{1⋅21+2⋅31+⋯+n(n+1)1}
이 성립함을 수학적 귀납법으로 증명하는 과정이다.
(i) n=1 일 때, (좌변)=1≥2×1⋅21=(우변) 이므로 주어진 부등식은 성립한다.
(ii) n=k(k≥1) 일 때, 주어진 부등식이 성립한다고 가정하면
1+21+⋯+k1≥2{1⋅21+2⋅31+⋯+k(k+1)1}
이 식의 양변에 k+11 을 더하면
1+21+⋯+k1+k+11
≥2{1⋅21+2⋅31+⋯+k(k+1)1}+k+11
≥ 2{1⋅21+2⋅31+⋯+k(k+1)1}+k+21
= 2{1⋅21+2⋅31+⋯+k(k+1)1}+k+11 ⋅ (가)
≥ 2{1⋅21+2⋅31+⋯+k(k+1)1}+(k+1)(k+2)(나)
= 2{1⋅21+2⋅31+⋯+(k+1)(k+2)1 }
∴1+21+⋯+k+11
≥2{1⋅21+2⋅31+⋯+(k+1)(k+2)1}
따라서 n=k+1 일 때도 주어진 부등식은 성립한다.
(i), (ii)에 의해서 주어진 부등식은 모든 자연수 n 에 대하여 성립한다.
위의 과정에서 (가), (나)에 알맞은 내용을 바르게 짝지은 것은?
① k+11,1 ② k+11,2 ③ k+21,1
④ k+2k+1,1 ⑤ k+2k+1,2