부정형

역사 raw
대문 랜덤 문서 최근 토론
1. 개요2. 종류
2.1. ∞/∞ 꼴
2.1.1. 부정형인 이유2.1.2. 극한값 구하는 법2.1.3. 예시
2.2. ∞−∞ 꼴
2.2.1. 부정형인 이유2.2.2. 극한값 구하는 법2.2.3. 예시
2.3. 0/0 꼴
2.3.1. 부정형인 이유2.3.2. 극한값 구하는 법2.3.3. 예시
2.4. 0×∞ 꼴
2.4.1. 부정형인 이유2.4.2. 극한값 구하는 법2.4.3. 예시
2.5. 1^∞ 꼴
2.5.1. 부정형인 이유2.5.2. 극한값 구하는 법2.5.3. 예시
2.6. ∞^0 꼴
2.6.1. 부정형인 이유2.6.2. 극한값 구하는 법2.6.3. 예시
2.7. 0^0 꼴
2.7.1. 부정형인 이유2.7.2. 극한값 구하는 법2.7.3. 예시
3. 부정형이 아닌 경우
3.1. 0^∞ 꼴

1. 개요[편집]

indeterminate form ・ 不定形

부정형이란 주로 사칙연산이 한 가지 값으로 잘 정의되지 않는 것을 뜻한다. 극한에서 많이 사용하며, 반대말은 확정형(determinate form)이다. 부정형인 식은 각 부분의 극한값은 알아도 막상 전체 식의 극한값을 바로 판정하기 어려워서 식을 확정형으로 적당히 변형하지 않으면 안 된다.

이 '부정형'은 명제의 '부정(否定)'과는 의미가 다르다.

2. 종류[편집]

∞/∞{\infty}/{\infty}, 0/00/0, 0×∞0\times\infty, ∞−∞\infty-\infty, 1∞1^{\infty}, ∞0\infty^0, [math(0^0)] 꼴 등이 있다. 형태는 똑같이 나오더라도 아래 예시와 같이 최종적인 극한값은 다르게 나온다는 이유에서 '부정형'으로 칭하는 것이다.

이와 같은 부정형이 나오면, 최고차항의 차수와 계수를 비교하거나 극한값이 결정되는 확정형으로 식을 적절히 변환해야 한다. 확정형에는 다음과 같은 것들이 있다. 단, cc는 상수이다.
  • ∞×∞=∞\infty\times\infty=\infty
  • ∞+∞=∞\infty+\infty=\infty
  • ∞+c=∞\infty+c=\infty[1]
  • ∞×±c=±∞\infty \times \pm c=\pm \infty (c>0c>0, 복부호 동순)
  • c±∞=0\dfrac{c}{\pm\infty}=0

2.1. ∞/∞ 꼴[편집]

2.1.1. 부정형인 이유[편집]

상수 a>0a>0, b>0b>0에 대해 f(x)=axf(x)=ax, g(x)=bxg(x)=bx일 때

lim⁡x→∞f(x)=lim⁡x→∞g(x)=∞lim⁡x→∞f(x)g(x)=ab\begin{aligned} \displaystyle\lim_{x\to\infty}f(x)&=\lim_{x\to\infty}g(x)=\infty\\\displaystyle\lim_{x\to\infty}\dfrac{f(x)}{g(x)}&=\dfrac ab\end{aligned}

그러면 aa와 bb의 값에 따라서 ∞/∞\infty/\infty의 값은 달라지므로, ∞/∞\infty/\infty는 부정형이다.

2.1.2. 극한값 구하는 법[편집]

lim⁡x→∞f(x)=lim⁡x→∞g(x)=∞\displaystyle\lim_{x\to\infty}f(x)=\lim_{x\to\infty}g(x)=\infty이고 f(x)f(x)를 최고차항이 axnax^n인 함수, g(x)g(x)를 최고차항이 bxmbx^m인 함수일 때에 한하여, 극한값은 다음과 같이 구한다. 단, aa, bb, mm, nn은 0이 아닌 상수이다.

lim⁡x→∞f(x)g(x)=lim⁡x→∞axn+⋯bxm+⋯={∞(m<n,  ab>0)−∞(m<n,  ab<0)0(m>n)a/b(m=n)\displaystyle \begin{aligned} \lim_{x\to\infty}\dfrac{f(x)}{g(x)}&=\lim_{x\to\infty}\dfrac{ax^n+\cdots}{bx^m+\cdots}\\&=\begin{cases}\begin{aligned}&\infty\quad &(m<n,\;ab>0)\\ -&\infty\quad &(m<n,\;ab<0)\\&0\quad &(m>n) \\&{a}/{b}\quad &(m=n)\end{aligned}\end{cases} \end{aligned}

분모와 분자에 각각 역수를 취하면 0/00/0이 된다. 또한, 0/00/0과 함께, 로피탈의 정리를 이용하여 확정형으로 변환할 수 있는 부정형이다.[2]

2.1.3. 예시[편집]

  • lim⁡x→∞x2x=∞\displaystyle\lim_{x\to\infty}\dfrac{x^2}{x}=\infty
  • lim⁡x→∞x2−x=−∞\displaystyle\lim_{x\to\infty}\dfrac{x^2}{-x}=-\infty
  • lim⁡x→∞−x−x2=lim⁡x→∞xx2=0\displaystyle\lim_{x\to\infty}\dfrac{-x}{-x^2}=\lim_{x\to\infty}\dfrac{x}{x^2}=0
  • lim⁡x→∞−6x2−12x2+x+1=−62=−3\displaystyle\lim_{x\to\infty}\dfrac{-6x^2-1}{2x^2+x+1}=\dfrac{-6}2=-3
  • lim⁡x→∞−6x2−12x2+x+1=l′Ho^pitallim⁡x→∞−12x4x=l′Ho^pitallim⁡x→∞−124=−3\displaystyle\lim_{x\to\infty}\dfrac{-6x^2-1}{2x^2+x+1}\overset{\mathsf{l'H\hat{o}pital}}{=}\displaystyle\lim_{x\to\infty}\dfrac{-12x}{4x}\overset{\mathsf{l'H\hat{o}pital}}{=}\lim_{x\to\infty}\dfrac{-12}4=-3

2.2. ∞−∞ 꼴[편집]

2.2.1. 부정형인 이유[편집]

위에서 정의한 f(x)f(x), g(x)g(x)에 대해

lim⁡x→∞log⁡f(x)=lim⁡x→∞log⁡g(x)=∞lim⁡x→∞log⁡f(x)g(x)=lim⁡x→∞{log⁡f(x)−log⁡g(x)}=log⁡ab\displaystyle \begin{aligned} \lim_{x\to\infty}\log f(x)&=\lim_{x\to\infty}\log g(x)=\infty \\\displaystyle\lim_{x\to\infty}\log\dfrac{f(x)}{g(x)}&=\lim_{x\to\infty}\{\log f(x)-\log g(x)\}=\log\dfrac{a}{b} \end{aligned}

2.2.2. 극한값 구하는 법[편집]

lim⁡x→∞f(x)=lim⁡x→∞g(x)=∞\displaystyle\lim_{x\to\infty}f(x)=\lim_{x\to\infty}g(x)=\infty일 때, 만약 f(x)=x+1f(x)=x+1, g(x)=x−2g(x)=x-2와 같이 변수가 소거되는 경우라면 x+1−(x−2)=3x+1-(x-2)=3으로 쉽게 극한값을 구할 수 있다. 그렇지 않은 경우에는 다음과 같이 부분분수분해를 이용하여 0/00/0 꼴로 변환한다.

1g(x)−1f(x)1f(x)g(x)\dfrac{\cfrac1{g(x)}-\cfrac1{f(x)}}{\cfrac1{f(x)g(x)}}

혹은 다음과 같이 합·차 공식을 이용하여 ∞/∞\infty/\infty 꼴로 변환하는 것도 방법이다.

f(x)−g(x)={f(x)}2−{g(x)}2f(x)+g(x)f(x)-g(x)=\dfrac{\{f(x)\}^2-\{g(x)\}^2}{f(x)+g(x)}

그러나 꼭 이렇게 하지 않아도, f(x)=x2+xf(x)=x^2+x, g(x)=x−1g(x)=x-1일 때 lim⁡x→∞{f(x)−g(x)}=∞\displaystyle\lim_{x\to\infty}\{f(x)-g(x)\}=\infty가 되듯이 별 어려움 없이 답이 나오는 경우도 많다.

2.2.3. 예시[편집]

  • lim⁡x→∞(x2+2x−x2−2x)=lim⁡x→∞(x2+2x)−(x2−2x)x2+2x+x2−2x=lim⁡x→∞4x2x2=2\displaystyle\lim_{x\to\infty}(\sqrt{x^2+2x}-\sqrt{x^2-2x})=\lim_{x\to\infty}\dfrac{(x^2+2x)-(x^2-2x)}{\sqrt{x^2+2x}+\sqrt{x^2-2x}}=\lim_{x\to\infty}\dfrac{4x}{2\sqrt{x^2}}=2

2.3. 0/0 꼴[편집]

2.3.1. 부정형인 이유[편집]

위에서 정의한 f(x),g(x)f(x),g(x)에 대해

lim⁡x→∞1f(x)=lim⁡x→∞1g(x)=0lim⁡x→∞1f(x)1g(x)=lim⁡x→∞g(x)f(x)=ba\begin{aligned} \displaystyle\lim_{x\to\infty}\dfrac{1}{f(x)}&=\lim_{x\to\infty}\dfrac{1}{g(x)}=0\\\displaystyle\lim_{x\to\infty}\cfrac{\dfrac{1}{f(x)}}{\dfrac{1}{g(x)}}&=\lim_{x\to\infty}\dfrac{g(x)}{f(x)}=\dfrac ba\end{aligned}

2.3.2. 극한값 구하는 법[편집]

분모와 분자를 약분하여 확정형으로 변환하면 되는 경우가 많다. 또한, ∞/∞{\infty}/{\infty}와 함께, 로피탈의 정리를 이용하여 확정형으로 변환할 수 있는 부정형이다.

분모와 분자에 각각 역수를 취하면 ∞/∞{\infty}/{\infty}가 된다.

2.3.3. 예시[편집]

  • lim⁡x→1x2−1x−1=lim⁡x→1(x+1)=2\displaystyle\lim_{x\to 1}\dfrac{x^2-1}{x-1}=\displaystyle\lim_{x\to 1}(x+1)=2
  • lim⁡x→1x2−1x−1=l′Ho^pitallim⁡x→12x1=2\displaystyle\lim_{x\to 1}\dfrac{x^2-1}{x-1}\overset{\mathsf{l'H\hat{o}pital}}{=}\displaystyle\lim_{x\to 1}\dfrac{2x}{1}=2

2.4. 0×∞ 꼴[편집]

2.4.1. 부정형인 이유[편집]

위에서 정의한 f(x),g(x)f(x),g(x)에 대해

lim⁡x→∞1f(x)=0 lim⁡x→∞g(x)=∞lim⁡x→∞g(x)f(x)=ba\begin{aligned} \displaystyle\lim_{x\to\infty}\dfrac{1}{f(x)}&=0\\\ \lim_{x\to\infty}g(x)&=\infty\\\displaystyle\lim_{x\to\infty}\dfrac{g(x)}{f(x)}&=ba\end{aligned}

2.4.2. 극한값 구하는 법[편집]

lim⁡x→∞f(x)=lim⁡x→∞g(x)=∞\displaystyle\lim_{x\to\infty}f(x)=\displaystyle\lim_{x\to\infty}g(x)=\infty이고 f(x)f(x)를 최고차항이 axnax^n인 함수, g(x)g(x)를 최고차항이 bxmbx^m인 함수일 때에 한하여, 극한값은 다음과 같이 구한다. 단, aa, bb, mm, nn은 0이 아닌 상수이다.

lim⁡x→∞f(x)g(x)=lim⁡x→∞(axn+⋯ )(bxm+⋯ )={∞(m+n>0,  ab>0)−∞(m+n>0,  ab<0)0(m+n<0)ab(m+n=0)\displaystyle \begin{aligned} \lim_{x\to\infty}f(x)g(x)&=\lim_{x\to\infty}(ax^n+\cdots)(bx^m+\cdots)\\&=\begin{cases}\begin{aligned}&\infty\quad &(m+n>0,\;ab>0)\\-&\infty\quad &(m+n>0,\;ab<0)\\ &0\quad &(m+n<0)\\& ab\quad &(m+n=0)\end{aligned}\end{cases}\end{aligned}

2.4.3. 예시[편집]

  • lim⁡x→∞x(x2+x)=∞\displaystyle\lim_{x\to\infty}x(x^2+x)=\infty
  • lim⁡x→∞−x(x2+x)=−∞\displaystyle\lim_{x\to\infty}-x(x^2+x)=-\infty
  • lim⁡x→∞(±x2⋅1x)=±∞\displaystyle\lim_{x\to\infty}\left( \pm x^2\cdot\dfrac1x\right)=\pm\infty (복부호 동순)
  • lim⁡x→∞(±x⋅1x2)=0\displaystyle\lim_{x\to\infty}\left( \pm x\cdot\dfrac1{x^2}\right)=0
  • lim⁡x→∞2x2⋅3x2=23\displaystyle\lim_{x\to\infty}2x^2\cdot\dfrac3{x^2}=\dfrac23

2.5. 1^∞ 꼴[편집]

2.5.1. 부정형인 이유[편집]

1∞=(eln⁡1)∞=eln⁡1×∞=e0×∞1^\infty=(e^{\ln{1}})^{\infty}=e^{\ln{1}\times \infty}=e^{0\times \infty}

0×∞0\times \infty는 부정형이므로 1∞1^{\infty}도 부정형이다.

2.5.2. 극한값 구하는 법[편집]

2.5.3. 예시[편집]

  • lim⁡x→0+(1+x)1/x=lim⁡x→0+1+xx=\displaystyle\lim_{x\to 0+}(1+x)^{1/x}=\displaystyle\lim_{x\to 0+}\sqrt[x]{1+x}= [math({e})]

2.6. ∞^0 꼴[편집]

2.6.1. 부정형인 이유[편집]

2.6.2. 극한값 구하는 법[편집]

2.6.3. 예시[편집]

  • lim⁡x→∞(1+x)1/x=lim⁡x→∞1+xx=1\displaystyle\lim_{x\to\infty}(1+x)^{1/x}=\displaystyle\lim_{x\to\infty}\sqrt[x]{1+x}=1

2.7. 0^0 꼴[편집]

2.7.1. 부정형인 이유[편집]

2.7.2. 극한값 구하는 법[편집]

2.7.3. 예시[편집]

  • lim⁡n→∞(n!nn) ⁣1/n ⁣=1e\displaystyle\lim_{n\to\infty}\left(\dfrac{n!}{n^n}\right)^{\!1/n}\!=\dfrac1e

3. 부정형이 아닌 경우[편집]

얼핏 부정형으로 착각하기 쉬운 경우를 서술한다.

3.1. 0^∞ 꼴[편집]

lim⁡x→cf(x)=0\displaystyle\lim_{x\to c}f(x)=0, lim⁡x→cg(x)=∞\displaystyle\lim_{x\to c}g(x)=\infty일 때, lim⁡x→cf(x)g(x)\displaystyle\lim_{x\to c}f(x)^{g(x)}을 고려하자. 극한의 정의에 따라 적절한 cc의 근방에서 −0.5<f(x)<0.5-0.5<f(x)<0.5이므로 해당 근방에서

−12g(x)<f(x)g(x)<12g(x)\displaystyle\dfrac{-1}{2^{g(x)}}<f(x)^{g(x)}<\dfrac{1}{2^{g(x)}}

이다. 여기에 조임 정리를 쓰면 값이 0으로 결정되므로 부정형이 아니다. 요컨대 0∞=00^{\infty}=0이며, 1을 아무리 제곱해도 1인데도 1∞1^{\infty}은 1로 결정되지 않는 것과는 사뭇 다르다.
[1] 이는 다비트 힐베르트가 방을 옮기는 식으로 손님을 무한히 수용 가능한 호텔에 비유한 바 있다.[2] 이하 로피탈의 정리를 취해 확정형으로 만든 것은 =l′Ho^pital\overset{\mathsf{l'H\hat{o}pital}}{=}로 표시한다.