다음은 모든 자연수 n에 대하여
an=1⋅2+2⋅3+⋯+n(n+1) 일 때, 부등식 2n(n+1)<an<2(n+1)2이 성립함을 수학적귀납법으로 증명한 것이다.
[증명]
(ⅰ) n=1일 때,
1<a1=2<2이므로 성립한다.
(ⅱ) n=k일 때,
2k(k+1)<ak<2(k+1)2이 성립한다고 가정하면
2k(k+1)+(k+1)(k+2)<ak+1<2(k+1)2+(k+1)(k+2) 이다.
한편, (k+1)(k+2)>(가)이므로
2k(k+1)+(k+1)(k+2)>(나) 이다.
k+1>0, k+2>0이므로
(k+1)(k+2)<(다) 이고,
2(k+1)2+(k+1)(k+2)<2(k+2)2 이다.
그러므로 n=k+1일 때에도 성립한다.
(ⅰ), (ⅱ)에 의하여 모든 자연수 n에 대하여 주어진 부등식은 성립한다.
(가)~(다)에 알맞은 것을 바르게 짝지은 것은? [4점]