수열 {an}을 an=∑k=1nk1이라 할 때, 다음은 모든 자연수 n에 대하여 등식
a1+2a2+3a3+⋯+nan=4n(n+1)(2an+1−1)⋯(★) 이 성립함을 수학적 귀납법으로 증명한 것이다.
(ⅰ) n=1일 때,
(좌변)=a1, (우변)=a2−(가)=1=a1
이므로 (★)이 성립한다.
(ⅱ) n=m일 때, (★)이 성립한다고 가정하면
a1+2a2+3a3+⋯+mam=4m(m+1)(2am+1−1) 이다. n=m+1일 때, (★)이 성립함을 보이자.
a1+2a2+3a3+⋯+mam+(m+1)am+1 =4m(m+1)(2am+1−1)+(m+1)am+1 =(m+1)am+1((나)+1)−4m(m+1) =2(m+1)(m+2)(am+2−(다))−4m(m+1) =4(m+1)(m+2)(2am+2−1) 따라서 n=m+1일 때도 (★)이 성립한다.
(ⅰ), (ⅱ)에 의하여 모든 자연수 n에 대하여
a1+2a2+3a3+⋯+nan=4n(n+1)(2an+1−1) 이 성립한다.
위의 (가)에 알맞은 수를 p, (나), (다)에 알맞은 식을 각각 f(m), g(m)이라 할 때, p+g(3)f(5)의 값은? [4점]