수열 {an}은 a1=1이고
n+2an+1=nan+21(n≥1)⋯㉠ 을 만족시킨다. 다음은 모든 자연수 n에 대하여
an=(1+2+3+⋯+n)(1+21+31+⋯+n1)⋯㉡ 이 성립함을 수학적 귀납법으로 증명한 것이다.
(i) n=1일 때,
(좌변)=a1=1, (우변)=1×1=1
따라서 ㉡이 성립한다.
(ii) n=k일 때, ㉡이 성립한다고 가정하면
ak=(1+2+3+⋯+k)(1+21+31+⋯+k1) 이다. ㉠에서
ak+1=(가)ak+2k+2 =(가)(1+2+3+⋯+k)(1+21+31+⋯+k1)+2k+2 =(나)(1+21+31+⋯+k1)+2k+2 ={1+2+3+⋯+(k+1)}{1+21+31+⋯+k+11} 이다.
따라서 n=k+1일 때도 ㉡이 성립한다.
(i), (ii)에 의하여 모든 자연수 n에 대하여 ㉡이 성립한다.
위의 (가), (나)에 알맞은 식을 각각 f(k), g(k)라 할 때, f(10)×g(9)의 값은? [4점]