항이 0에 가까워진다는 것과 급수가 수렴한다는 것은 다르다

일반항의 극한0과 부분합의 수렴을 묶음의 크기로 구별한다.

흰 쌀 낱알이 모여 있는 가까운 모습

사진: Zahoor Ahmad Reshi · CC0 · 원본 출처

an=1n,lim⁡n→∞an=0 a_n=\frac1n,\qquad \lim_{n\to\infty}a_n=0

학생은 일반항이0에 가까워지므로 ∑n=1∞1/n\sum_{n=1}^{\infty}1/n도 수렴한다고 썼다. 항의 극한 대신 무엇을 더 확인해야 할까?

급수는 부분합의 극한으로 판단한다. 부분합을 SN=1+1/2+⋯+1/NS_N=1+1/2+\cdots+1/N으로 놓고, 항을 다음처럼 묶는다.

1+12+(13+14)+(15+⋯+18)+⋯ 1+\frac12+\left(\frac13+\frac14\right)+\left(\frac15+\cdots+\frac18\right)+\cdots

1/3+1/41/3+1/4은 2⋅1/4=1/22\cdot1/4=1/2 이상이다. 1/51/5부터 1/81/8까지의 합도 4⋅1/8=1/24\cdot1/8=1/2 이상이다. 일반적으로 2k−1+12^{k-1}+1부터 2k2^k까지는 2k−12^{k-1}개의 항이고 각 항은 1/2k1/2^k 이상이므로 그 묶음의 합은 1/21/2 이상이다.

따라서 S2m≥1+m/2S_{2^m}\ge1+m/2다. 묶음이 늘어날 때마다 일정량 이상이 더해져 부분합이 한정되지 않는다. 양수 항을 더한 부분합은 증가하므로 이 급수는 발산한다.

처음 두 묶음의 합을 구한 뒤 일반 묶음의 항 개수를 세게 하자. an→0a_n\to0라는 계산은 맞고, 급수가 수렴한다는 결론은 틀린다. 계산을 지우기보다 명제의 어느 방향이 성립하는지 설명하게 한다.

출처·착안: Lin McMullin, 「Good Question 14」. 문항과 풀이는 새로 작성했다.