들어가기 앞서…
이 문제는 무한급수부터 밀어붙이면 길어진다. 먼저 작은 항을 써서 두 수열의 모양을 줄이고, 부등식은 마지막에 남은 위치 정보 k\(k\)를 고르는 조건으로 쓰는 편이 빠르다.
특히 첫째항과 공차가 같다는 조건은 an=nd\(a_n=nd\)로 줄이라는 신호이고, i=1,2,3\(i=1,2,3\) 조건은 등비수열의 연속한 세 항을 만들어 준다.
문제
2026학년도 대학수학능력시험 수학 미적분 29번 문제
문제 텍스트 주관식
첫째항과 공차가 같은 등차수열 {an}\(\{a_n\}\)과 등비수열 {bn}\(\{b_n\}\)이 다음 조건을 만족시킨다.
어떤 자연수 k\(k\)에 대하여
bk+i=ai1−1(i=1,2,3)\[b_{k+i}=\frac1{a_i}-1\qquad(i=1,2,3)\]이다.
부등식
0<n=1∑∞(bn−anan+11)<30\[0<\sum_{n=1}^{\infty}\left(b_n-\frac1{a_na_{n+1}}\right)<30\]이 성립할 때,
a2×n=1∑∞b2n=pq\[a_2\times\sum_{n=1}^{\infty}b_{2n}=\frac qp\]이다. p+q\(p+q\)의 값을 구하시오. 단, a1=0\(a_1\ne0\)이고, p\(p\)와 q\(q\)는 서로소인 자연수이다.
정답
97\(97\)
풀이
작은 항부터 써서 조건의 위치를 본다
첫째항과 공차를 모두 d\(d\)라고 두면 a1=d\(a_1=d\), a2=2d\(a_2=2d\), a3=3d\(a_3=3d\)이다. 따라서 전체 등차수열은
an=nd\[a_n=nd\]
로 정리된다. 문제에서 a1=0\(a_1\ne0\)이므로 d=0\(d\ne0\)이다.
이제 조건
bk+i=ai1−1(i=1,2,3)\[b_{k+i}=\frac1{a_i}-1\qquad(i=1,2,3)\]
에 i=1,2,3\(i=1,2,3\)을 넣으면 bk+1\(b_{k+1}\), bk+2\(b_{k+2}\), bk+3\(b_{k+3}\)이 차례로 나온다. 즉 등비수열 안의 연속한 세 항이 한꺼번에 주어진다.
등차수열 조건과 i=1,2,3 조건을 작은 항 표로 먼저 구조화한다.
연속한 세 등비항으로 d를 구한다
ai=id\(a_i=id\)를 대입하면 세 항은 다음과 같다.
bk+1=d1−1,bk+2=2d1−1,bk+3=3d1−1\[b_{k+1}=\frac1d-1,\quad
b_{k+2}=\frac1{2d}-1,\quad
b_{k+3}=\frac1{3d}-1\]
이 세 항이 등비수열의 연속한 세 항이므로 가운데 항의 제곱과 양옆 항의 곱이 같다.
(2d1−1)2=(d1−1)(3d1−1)\[\left(\frac1{2d}-1\right)^2
=\left(\frac1d-1\right)\left(\frac1{3d}-1\right)\]
정리하면 아래 식을 얻는다.
4d21−d1+1=3d21−3d4+1,12d21=3d1\[\frac1{4d^2}-\frac1d+1
=\frac1{3d^2}-\frac4{3d}+1,
\qquad
\frac1{12d^2}=\frac1{3d}\]
d=0\(d\ne0\)이므로 양변에 12d2\(12d^2\)을 곱할 수 있고, 1=4d\(1=4d\)에서 다음 값을 얻는다.
d=41\[d=\frac14\]
따라서 수열 an\(a_n\)은 다음과 같다.
an=4n\[a_n=\frac n4\]
다시 세 항에 넣으면 아래와 같다.
bk+1=3,bk+2=1,bk+3=31\[b_{k+1}=3,\qquad b_{k+2}=1,\qquad b_{k+3}=\frac13\]
그러므로 등비수열 {bn}\(\{b_n\}\)의 공비는 31\(\frac13\)이다.
연속한 세 등비항 조건 하나로 d와 공비가 확정된다.
부등식은 b1의 후보를 거르는 조건이다
여기까지는 an\(a_n\)의 모양과 {bn}\(\{b_n\}\)의 공비를 정한 단계이다. 아직 k\(k\)는 정해지지 않았다. k\(k\)는 세 항 3,1,31\(3,1,\frac13\)이 등비수열 안에서 어디에 놓이는지를 나타내는 위치 정보이다.
bk+1=3\(b_{k+1}=3\)이고 공비가 31\(\frac13\)이므로, 한 칸 앞으로 거슬러 올라갈 때마다 3\(3\)을 곱한다. bk+1\(b_{k+1}\)에서 b1\(b_1\)까지는 k\(k\)칸을 거슬러 올라가므로 다음과 같다.
b1=3⋅3k=3k+1\[b_1=3\cdot3^k=3^{k+1}\]
k\(k\)가 자연수이므로 가능한 b1\(b_1\)의 값은 9,27,81,⋯\(9,27,81,\cdots\)처럼 32\(3^2\)부터 시작한다.
이제 부등식을 b1\(b_1\)의 범위로 바꾼다. 먼저 an=4n\(a_n=\frac n4\)이므로
anan+11=n(n+1)16\[\frac1{a_na_{n+1}}=\frac{16}{n(n+1)}\]
망원급수에 의해 다음 합을 얻는다.
n=1∑∞anan+11=16\[\sum_{n=1}^{\infty}\frac1{a_na_{n+1}}=16\]
또 {bn}\(\{b_n\}\)은 첫째항 b1\(b_1\), 공비 31\(\frac13\)인 등비수열이므로 합은 다음과 같다.
n=1∑∞bn=1−31b1=23b1\[\sum_{n=1}^{\infty}b_n
=\frac{b_1}{1-\frac13}
=\frac32 b_1\]
따라서 원래 부등식은 아래와 같이 바뀐다.
0<23b1−16<30\[0<\frac32 b_1-16<30\]
이를 정리하면 다음과 같다.
332<b1<392\[\frac{32}{3}<b_1<\frac{92}{3}\]
b1은 3의 거듭제곱 후보이고, 부등식 범위 안에는 27만 남는다.
범위와 거듭제곱 후보를 비교하면 다음과 같다.
9<332<27<392<81\[9<\frac{32}{3}<27<\frac{92}{3}<81\]
따라서 조건을 만족하는 첫째항은 b1=27\(b_1=27\)뿐이다. 이때 b1=3k+1=33\(b_1=3^{k+1}=3^3\)이므로 k=2\(k=2\)이다.
짝수 번째 항만 모아 새 등비급수로 계산한다
문제의 최종 목표는 전체 등비급수가 아니라 a2∑n=1∞b2n\(a_2\sum_{n=1}^{\infty}b_{2n}\)이다. 이미 b1=27\(b_1=27\)이고 공비가 31\(\frac13\)이므로 b2=9\(b_2=9\)이다.
짝수 번째 항만 모으면 b2,b4,b6,⋯\(b_2,b_4,b_6,\cdots\)가 된다. 두 칸씩 건너뛰므로 새 공비는 31\(\frac13\)이 아니라 (31)2=91\(\left(\frac13\right)^2=\frac19\)이다.
짝수항만 뽑으면 첫항 9, 공비 1/9인 새 등비급수가 된다.
따라서 짝수 번째 항들의 합은 다음과 같다.
n=1∑∞b2n=1−919=881\[\sum_{n=1}^{\infty}b_{2n}
=\frac9{1-\frac19}
=\frac{81}{8}\]
또한 a2=42=21\(a_2=\frac24=\frac12\)이므로 최종 곱은 다음과 같다.
a2n=1∑∞b2n=21⋅881=1681\[a_2\sum_{n=1}^{\infty}b_{2n}
=\frac12\cdot\frac{81}{8}
=\frac{81}{16}\]
문제에서 이 값을 pq\(\frac qp\)라고 했고 p,q\(p,q\)는 서로소인 자연수이므로 q=81\(q=81\), p=16\(p=16\)이다. 따라서 p+q=97\(p+q=97\)이다.
원래 조건으로 빠르게 확인한다
d=41\(d=\frac14\), k=2\(k=2\)이면 a1=41\(a_1=\frac14\), a2=21\(a_2=\frac12\), a3=43\(a_3=\frac34\)이다. 따라서
a11−1=3,a21−1=1,a31−1=31\[\frac1{a_1}-1=3,\qquad
\frac1{a_2}-1=1,\qquad
\frac1{a_3}-1=\frac13\]
이고, 실제로 b3=3\(b_3=3\), b4=1\(b_4=1\), b5=31\(b_5=\frac13\)이 되어 첫 조건과 일치한다.
또
n=1∑∞bn=23⋅27=281,n=1∑∞anan+11=16\[\sum_{n=1}^{\infty}b_n=\frac32\cdot27=\frac{81}{2},
\qquad
\sum_{n=1}^{\infty}\frac1{a_na_{n+1}}=16\]
이므로 차는 다음과 같다.
n=1∑∞(bn−anan+11)=281−16=249\[\sum_{n=1}^{\infty}\left(b_n-\frac1{a_na_{n+1}}\right)
=\frac{81}{2}-16
=\frac{49}{2}\]
0<249<30\(0<\frac{49}{2}<30\)이므로 부등식도 만족한다.