무한등비급수는 무한히 많은 항이 일정한 비율로 곱해지며 이어지는 수열의 합을 의미합니다. 이 급수가 특정 값으로 수렴하는 조건은 공비 \( r \)의 절댓값이 1보다 작을 때입니다. 그렇다면 왜 \( |r| < 1 \)일 때만 무한등비급수가 수렴할까요? 이 글에서는 그 수학적 이유를 공식 유도와 직관적 해석을 통해 명확히 설명합니다.
무한등비급수의 정의
무한등비급수는 다음과 같은 형태로 주어집니다: \[ S = a + ar + ar^2 + ar^3 + \cdots \]
여기서 \( a \)는 초항, \( r \)은 공비이며, 이 급수의 합이 유한한 값으로 수렴하기 위한 조건은 \( |r| < 1 \)입니다.
합 공식의 유도
무한등비급수의 합을 구하기 위해 먼저 유한한 등비수열의 합 \( S_n \)을 구해보겠습니다: \[ S_n = a + ar + ar^2 + \cdots + ar^{n-1} \]
이 식에 \( r \)을 곱하면: \[ rS_n = ar + ar^2 + ar^3 + \cdots + ar^n \]
\( S_n – rS_n \)을 계산하면: \[ S_n(1 – r) = a(1 – r^n) \] \[ S_n = \frac{a(1 – r^n)}{1 – r} \quad (r \ne 1) \]
이제 \( n \to \infty \)일 때의 극한을 취하면 무한급수의 합이 됩니다.
공비 절댓값의 영향
극한 \( \lim_{n \to \infty} r^n \)이 수렴하기 위해서는 \( |r| < 1 \)이어야만 \( r^n \to 0 \)이 됩니다. 이 조건을 만족해야만 다음이 성립합니다: \[ \lim_{n \to \infty} S_n = \lim_{n \to \infty} \frac{a(1 – r^n)}{1 – r} = \frac{a}{1 – r} \]
반대로 \( |r| \ge 1 \)일 경우, \( r^n \)은 발산하므로 \( S_n \)도 발산하게 됩니다. 따라서 \( |r| < 1 \)이 무한등비급수가 수렴하기 위한 필수 조건입니다.
직관적 이해
공비 \( r \)이 1보다 작다는 것은 다음 항이 이전 항보다 계속 작아진다는 뜻입니다. 예를 들어 \( r = \frac{1}{2} \)이면, 다음 항은 이전 항의 절반이므로 점점 작아지며 전체 합이 일정한 값에 가까워집니다.
반대로 \( r = 2 \)나 \( r = -1 \)일 경우에는 항이 점점 커지거나 진동하게 되어 더할수록 합이 발산하거나 수렴하지 않습니다. 따라서 수렴하려면 항들이 점점 작아져야 하고, 그 조건이 바로 \( |r| < 1 \)입니다.
실생활 예시
무한등비급수는 경제학의 현재가치 계산, 물리학의 감쇠진동 모델, 컴퓨터 그래픽의 프랙탈 구조 등 다양한 분야에서 활용됩니다. 모든 예에서 \( |r| < 1 \) 조건이 만족되어야만 모델이 안정적으로 수렴합니다.
결론
공식 유도: 유한등비수열의 합 \( S_n = \frac{a(1 – r^n)}{1 – r} \)의 극한을 취할 때 \( r^n \to 0 \)이 되어야 수렴합니다.
수렴 조건: \( |r| < 1 \)일 때만 \( r^n \to 0 \)이 되며, 이때만 무한등비급수의 합이 존재합니다.
직관적 해석: 항이 점점 작아져야 총합이 유한해지므로, 공비는 반드시 1보다 작아야 합니다.
실용적 활용: 다양한 수학적 모델과 과학적 현상에서 무한등비급수는 \( |r| < 1 \) 조건 하에 안정적으로 사용됩니다.
이처럼 \( |r| < 1 \)은 단순한 수학적 조건이 아니라, 무한급수의 본질을 관통하는 필수적인 원칙입니다.