자연수 n에 대하여 2a+2b+c+d=2n을 만족시키는 음이 아닌 정수 a, b, c, d의 모든 순서쌍 (a,b,c,d)의 개수를 an이라 하자. 다음은 n=1∑8an의 값을 구하는 과정이다.
음이 아닌 정수 a, b, c, d가 2a+2b+c+d=2n을 만족시키려면 음이 아닌 정수 k에 대하여 c+d=2k이어야 한다.
c+d=2k인 경우는 (1) 음이 아닌 정수 k1, k2에 대하여 c=2k1, d=2k2인 경우이거나 (2) 음이 아닌 정수 k3, k4에 대하여 c=2k3+1, d=2k4+1인 경우이다.
(1) c=2k1, d=2k2인 경우:
2a+2b+c+d=2n을 만족시키는 음이 아닌 정수 a, b, c, d의 모든 순서쌍 (a,b,c,d)의 개수는 (가)이다.
(2) c=2k3+1, d=2k4+1인 경우:
2a+2b+c+d=2n을 만족시키는 음이 아닌 정수 a, b, c, d의 모든 순서쌍 (a,b,c,d)의 개수는 (나)이다.
(1), (2)에 의하여 2a+2b+c+d=2n을 만족시키는 음이 아닌 정수 a, b, c, d의 모든 순서쌍 (a,b,c,d)의 개수 an은
an=(가)+(나)
이다. 자연수 m에 대하여
n=1∑m(나)=m+3C4
이므로
n=1∑8an=(다)
이다.
위의 (가), (나)에 알맞은 식을 각각 f(n), g(n)이라 하고, (다)에 알맞은 수를 r라 할 때, f(6)+g(5)+r의 값은? [4점]