모든 항이 양수인 수열 {an}이 모든 자연수 n에 대하여
k=1∑nak=2anan2+1 을 만족시킨다. 다음은 일반항 an이
an=n−n−1⋯⋯(∗) 임을 수학적 귀납법을 이용하여 증명한 것이다.
(ⅰ) n=1일 때,
a1=2a1a12+1에서 a1>0이므로 (좌변)=a1=1,
(우변)=1−0=1
이다. 따라서 n=1일 때 (*)이 성립한다.
(ⅱ) n=m일 때 (*)이 성립한다고 가정하면
am=m−m−1이므로
k=1∑m+1ak=k=1∑mak+am+1=k=1∑m(k−k−1)+am+1=(가)+am+1 이다. 이때
2am+1am+12+1=(가)+am+1
즉,
am+12+2m×am+1−1=0
이고, am+1>0이므로
am+1=(나)−m
이다. 따라서 n=m+1일 때도 (*)이 성립한다.
(ⅰ), (ⅱ)에 의하여 모든 자연수 n에 대하여 an=n−n−1이다.
위의 (가)와 (나)에 알맞은 식을 각각 f(m), g(m)이라 할 때, f(25)+g(35)의 값은? [4점]