수열의 극한을 공부하다 보면 '무한대 분의 무한대' 또는 '무한대 빼기 무한대' 형태의 부정형을 자주 접하게 됩니다. 이러한 형태는 단순히 계산할 수 있는 값이 아니라, 추가적인 분석과 변형을 통해 극한값을 구해야 하는 특별한 경우입니다. 왜 이런 형태가 부정형이 되는지, 그리고 어떻게 해결할 수 있는지 자세히 알아보겠습니다.
부정형이란 무엇인가?
극한 계산에서 부정형(Indeterminate Form)이란, 두 극한값의 연산 결과가 어떤 특정 값으로 확정되지 않고, 각 함수의 구체적인 형태에 따라 다양한 결과(수렴, 발산, 진동 등)를 가질 수 있는 경우를 말합니다. 대표적인 부정형으로는 $\frac{0}{0}$, $\frac{\infty}{\infty}$, $\infty - \infty$, $0 \times \infty$, $1^\infty$, $0^0$, $\infty^0$ 등이 있습니다. '무한대 분의 무한대'와 '무한대 빼기 무한대' 역시 이러한 부정형에 속합니다.
무한대 분의 무한대: 왜 계산이 불가능한가?
함수 $f(n)$과 $g(n)$이 모두 $n \to \infty$일 때 각각 무한대로 발산한다고 가정해 봅시다. 이때 극한 $\lim_{n \to \infty} \frac{f(n)}{g(n)}$ 의 값은 $f(n)$과 $g(n)$이 어떤 속도로 무한대로 발산하는지에 따라 달라집니다. 예를 들어:
- $f(n) = 2n$, $g(n) = n$ 일 때, $\lim_{n \to \infty} \frac{2n}{n} = 2$ 로 수렴합니다.
- $f(n) = n^2$, $g(n) = n$ 일 때, $\lim_{n \to \infty} \frac{n^2}{n} = \lim_{n \to \infty} n = \infty$ 로 발산합니다.
- $f(n) = n$, $g(n) = n^2$ 일 때, $\lim_{n \to \infty} \frac{n}{n^2} = \lim_{n \to \infty} \frac{1}{n} = 0$ 으로 수렴합니다.
이처럼 분자와 분모가 모두 무한대로 발산하는 경우, 어느 쪽의 증가 속도가 더 빠른지에 따라 극한값은 0, 상수, 또는 무한대가 될 수 있습니다. 따라서 단순히 '무한대 나누기 무한대'라는 정보만으로는 극한값을 특정할 수 없기 때문에 부정형이라고 하는 것입니다.
무한대 빼기 무한대: 왜 계산이 불가능한가?
마찬가지로 함수 $f(n)$과 $g(n)$이 모두 $n \to \infty$일 때 각각 무한대로 발산한다고 가정해 봅시다. 극한 $\lim_{n \to \infty} (f(n) - g(n))$ 의 값 역시 $f(n)$과 $g(n)$이 어떤 속도로 무한대로 발산하는지에 따라 달라집니다. 예를 들어:
- $f(n) = 2n$, $g(n) = n$ 일 때, $\lim_{n \to \infty} (2n - n) = \lim_{n \to \infty} n = \infty$ 로 발산합니다.
- $f(n) = n$, $g(n) = 2n$ 일 때, $\lim_{n \to \infty} (n - 2n) = \lim_{n \to \infty} (-n) = -\infty$ 로 발산합니다.
- $f(n) = n+5$, $g(n) = n$ 일 때, $\lim_{n \to \infty} ((n+5) - n) = \lim_{n \to \infty} 5 = 5$ 로 수렴합니다.
이 경우에도 두 함수의 발산 속도가 비슷하면 상수값으로 수렴할 수 있고, 발산 속도에 따라 양의 무한대 또는 음의 무한대로 발산할 수 있습니다. 따라서 '무한대 빼기 무한대' 역시 부정형으로 취급됩니다.
부정형의 해결 방법
이러한 부정형을 해결하기 위해서는 함수의 형태를 변형하여 부정형이 아닌 형태로 만들어야 합니다. 주로 사용되는 방법은 다음과 같습니다.
-
'무한대 분의 무한대' 형태:
- 최고차항으로 나누기: 분자와 분모를 식의 최고차항으로 나누어 줍니다. 특히 다항식이나 유리함수의 극한에서 유용합니다. 예를 들어 $\lim_{n \to \infty} \frac{3n^2 + 2n}{n^2 + 1}$ 의 경우, 분자와 분모를 $n^2$으로 나누면 $\lim_{n \to \infty} \frac{3 + \frac{2}{n}}{1 + \frac{1}{n^2}} = \frac{3+0}{1+0} = 3$ 이 됩니다.
- 로피탈의 정리 (미분 가능 시): 분자와 분모가 미분 가능한 함수이고, '무한대 분의 무한대' 또는 '0분의 0' 형태일 때, 각 함수를 미분한 함수의 극한값으로 대체할 수 있습니다. $\lim_{n \to \infty} \frac{f(n)}{g(n)} = \lim_{n \to \infty} \frac{f'(n)}{g'(n)}$ (단, 우변의 극한값이 존재해야 함). 하지만 수열의 극한에서는 주로 다항식이나 지수/로그 함수의 형태가 아니면 직접적인 적용이 어려울 수 있습니다.
-
'무한대 빼기 무한대' 형태:
- 통분: 두 항이 분수 형태로 되어 있는 경우, 통분하여 하나의 분수 형태로 만듭니다. 예를 들어 $\lim_{n \to \infty} (\frac{n+1}{n} - \frac{n-1}{n})$ 와 같은 경우, 이미 통분되어 있으므로 $\lim_{n \to \infty} \frac{(n+1)-(n-1)}{n} = \lim_{n \to \infty} \frac{2}{n} = 0$ 이 됩니다.
- 켤레식을 곱하고 나누기: 제곱근이 포함된 식에서 주로 사용됩니다. $(a-b)$ 형태에 $(a+b)$를 곱하고 나누어 $a^2 - b^2$ 형태로 변형합니다. 예를 들어 $\lim_{n \to \infty} (\sqrt{n+1} - \sqrt{n})$ 의 경우, 켤레식인 $(\sqrt{n+1} + \sqrt{n})$ 을 곱하고 나누면 $\lim_{n \to \infty} \frac{(\sqrt{n+1} - \sqrt{n})(\sqrt{n+1} + \sqrt{n})}{\sqrt{n+1} + \sqrt{n}} = \lim_{n \to \infty} \frac{(n+1) - n}{\sqrt{n+1} + \sqrt{n}} = \lim_{n \to \infty} \frac{1}{\sqrt{n+1} + \sqrt{n}} = 0$ 이 됩니다.
- 인수분해 또는 공통인수 묶기: 다항식의 경우, 공통인수를 묶어내거나 인수분해하여 부정형을 해소합니다. 예를 들어 $\lim_{n \to \infty} (n^2 - n)$ 의 경우, $n^2(1 - \frac{1}{n})$ 으로 묶으면 $\lim_{n \to \infty} n^2 \times \lim_{n \to \infty} (1 - \frac{1}{n}) = \infty \times 1 = \infty$ 로 발산함을 알 수 있습니다.
결론적으로, '무한대 분의 무한대'와 '무한대 빼기 무한대'는 단순히 값을 구할 수 없기 때문에 부정형이라고 불립니다. 극한값을 구하기 위해서는 주어진 함수의 형태를 면밀히 분석하고, 위에서 소개된 다양한 대수적 변형 기법을 활용하여 부정형을 해소하는 과정이 필수적입니다. 이러한 과정을 통해 우리는 수열의 극한값이 수렴하는지, 발산하는지, 혹은 어떤 값으로 수렴하는지를 정확하게 판단할 수 있습니다.