3 이상의 자연수 n에 대하여 집합
An={(p,q)∣p<q이고 p, q는 n 이하의 자연수} 이다. 집합 An의 모든 원소 (p,q)에 대하여 q의 값의 평균을 an이라 하자. 다음은 3 이상의 자연수 n에 대하여 an=32n+2임을 수학적 귀납법을 이용하여 증명한 것이다.
(ⅰ) n=3일 때, A3={(1,2),(1,3),(2,3)}이므로
a3=32+3+3=38이고 32×3+2=38이다.
그러므로 an=32n+2가 성립한다.
(ⅱ) n=k (k≥3)일 때, ak=32k+2가 성립한다고
가정하자. n=k+1일 때,
Ak+1=Ak∪{(1,k+1),(2,k+1),⋯,(k,k+1)} 이고 집합 Ak의 원소의 개수는 (가)이므로
ak+1=k+1C2(가)×32k+2+(나)=32k+4=32(k+1)+2 이다. 따라서 n=k+1일 때도 an=32n+2가 성립한다.
(ⅰ), (ⅱ)에 의하여 3 이상의 자연수 n에 대하여 an=32n+2이다.
위의 (가), (나)에 알맞은 식을 각각 f(k), g(k)라 할 때, f(10)+g(9)의 값은? [4점]