다음은 모든 자연수 n에 대하여 등식
k=1∑nk2{k(2k+1)1+(k+1)(2k+3)1+(k+2)(2k+5)1+⋯
+n(2n+1)1}=12n(n+3)
이 성립함을 수학적귀납법으로 증명한 것이다.
(1) n=1일 때 (좌변)=31, (우변)=31이므로 주어진 등식은 성립한다.
(2) n=m일 때 성립한다고 가정하면
k=1∑mk2{k(2k+1)1+(k+1)(2k+3)1+(k+2)(2k+5)1+⋯
+m(2m+1)1}=12m(m+3)
이제, n=m+1일 때 성립함을 보이자.
k=1∑m+1k2{k(2k+1)1+(k+1)(2k+3)1+(k+2)(2k+5)1+⋯
+(m+1)(2m+3)1}
=k=1∑mk2{k(2k+1)1+(k+1)(2k+3)1+(k+2)(2k+5)1+⋯
+(m+1)(2m+3)1}+2m+3(가)
=k=1∑mk2{k(2k+1)1+(k+1)(2k+3)1+(k+2)(2k+5)1+⋯
+(나)1}+(m+1)(2m+3)1k=1∑mk2+2m+3(가)
=12m(m+3)+(m+1)(2m+3)1k=1∑m+1(다)
=12(m+1)(m+4)
그러므로 n=m+1일 때도 성립한다.
따라서 (1), (2)에 의하여 모든 자연수 n에 대하여 주어진 등식은 성립한다.
위의 증명에서 (가), (나), (다)에 알맞은 것을 차례대로 나열한 것은? [4점]
(가) (나) (다)
①m (m+1)(2m+3) (k−1)2②m m(2m+1) (k−1)2③m+1 m(2m+1) (k−1)2④m+1 (m+1)(2m+3) k2⑤m+1 m(2m+1) k2