수열 {an}의 일반항은
an=(22n−1)×2n(n−1)+(n−1)×2−n 이다. 다음은 모든 자연수 n에 대하여
k=1∑nak=2n(n+1)−(n+1)×2−n⋯⋯ (∗) 임을 수학적 귀납법을 이용하여 증명한 것이다.
(i) n=1일 때, (좌변)=3, (우변)=3이므로 (∗)이 성립한다.
(ii) n=m일 때, (∗)이 성립한다고 가정하면
k=1∑mak=2m(m+1)−(m+1)×2−m 이다. n=m+1일 때,
k=1∑m+1ak=2m(m+1)−(m+1)×2−m+(22m+2−1)×(가 )+m×2−m−1=(가 )×(나 )−2m+2×2−m=2(m+1)(m+2)−(m+2)×2−(m+1) 이다. 따라서 n=m+1일 때도 (∗)이 성립한다.
(i), (ii)에 의하여 모든 자연수 n에 대하여
k=1∑nak=2n(n+1)−(n+1)×2−n 이다.
위의 (가), (나)에 알맞은 식을 각각 f(m), g(m)이라 할 때, f(3)g(7)의 값은? [4점]