Skip to content
CalcGospel 微積分福音
返回

何謂「不定式」:那些標註在極限旁邊的符號

Edit page

前言:寫在題目旁邊的那些符號

許多人在解極限問題的時候,習慣在題目旁邊寫下 00\frac{0}{0} 或者 \frac{\infty}{\infty}

這個習慣非常好,它是我們分析極限的第一步。但是,恐怕有少數初學者對這麼寫的意思有點誤解,導致偶爾會出現一些觀念上的濫用或混淆。因此,本篇文章將帶大家深入探討什麼是「不定式」極限,以及在一旁標註這些符號的真正意涵。


什麼是不定式 (Indeterminate Form)?

某些極限問題特簡單,例如:

limn7+1n2n\begin{align*} \lim_{n\to\infty} \frac{7+\frac{1}{n}}{2^n} \end{align*}

只須觀察到分母趨向無限大、分子趨近到有限的數 77,便可知道極限為 00

但有一類問題,例如 limnn2+3n35n\displaystyle\lim_{n\to\infty}\frac{n^2+3}{n^3-5n}limx0sinxx\displaystyle\lim_{x\to 0}\frac{\sin x}{x},我們並不能光是觀察分母與分子同時趨向無限大(即 \frac{\infty}{\infty}),或同時趨向零(即 00\frac{0}{0}),來直接得知結果。

比方說同樣是 00\frac{0}{0},就有以下各種截然不同的結果:

limx0sinx+3xx=4limx1x1x33x2+3x1=limx0cosx1x=0limx0sinxxsin(1x)(極限不存在)\begin{align*} \lim_{x\to 0} \frac{\sin x+3x}{x} =&\, 4\\[4mm] \lim_{x\to 1} \frac{x-1}{x^3-3x^2+3x-1} =&\, \infty\\[4mm] \lim_{x\to 0} \frac{\cos x-1}{x} =&\, 0\\[4mm] \lim_{x\to 0} \frac{\sin x}{x\sin\big(\frac{1}{x}\big)} &\quad \text{(極限不存在)} \end{align*}

這一類的就叫不定式 (Indeterminate Form),意思是光看形式是無法直接確認結果的。考試中通常也都會拿不定式來考你,否則就太過簡單了。


判斷趨勢:破解極限的第一步

就因為是不定式,無法一眼看出答案,我們才會需要透過一些過程、使用一些技巧(如通分、有理化、湊重要極限、羅必達法則等)來得出答案。

所以,遇到極限的第一步,我們應先將極限式的每個區塊進行判斷,看看每個區塊分別「趨向」何處。

例 1:00\frac{0}{0}

limx0ex1x\begin{align*} \lim_{x\to0}\frac{e^x-1}{x} \end{align*}

我們分別看分子與分母,發現它們各自趨向 00,那我們就可以在旁邊寫下 00\frac{0}{0} 這樣的符號。 這個符號是一種示意,表示上面這塊(分子)趨向 00、下面這塊趨向 00。換句話講,我們寫下的 00 並非真 00,我們是把「趨勢」標註起來! 標註完之後我們就明白了:上下皆往 00 跑,這是一場賽跑,暫時還無法確定答案,須進一步用一些手段來確認誰跑到 00 比較快。

例 2:\frac{\infty}{\infty}

limn2nn2+1\begin{align*} \lim_{n\to\infty} \frac{2n}{n^2+1} \end{align*}

我們分別看分子與分母,各自趨向無限大,那就在一旁寫下 \frac{\infty}{\infty}。 須注意 \infty 本來就不是一個確切的數,所以也不是真的在說分子或分母等於無限大,這裡寫的純粹是趨勢。如果要確定最後答案,我們須搞清楚誰跑向無限大的趨勢遠遠快過另一方。

例 3:C\frac{C}{\infty}(這不是不定式!)

limn7+1n2n\begin{align*} \lim_{n\to\infty} \frac{7+\frac{1}{n}}{2^n} \end{align*}

分子趨向 77、分母趨向無限大,若要標註可以寫下 C\frac{C}{\infty} 這樣的符號,意思是「分子趨向非零常數、分母趨向無限大」。 這樣一來,無須進一步的解題過程,我們現在就知道答案是 00 了!當然,平常不會真的有人寫下 C\frac{C}{\infty},因為當你都已經看出來而想要寫下它時,你心中早就有答案了,那還寫個啥呢?

例 4:11^\infty

limn(1+1n)n\begin{align*} \lim_{n\to\infty} \Big(1+\frac{1}{n}\Big)^n \end{align*}

我們分別看底數與次方,底數趨向 11、次方趨向無限大,那我們就寫下 11^\infty 這樣的符號。底數並不是真的等於 11,我們只是把它往 11 跑的趨勢寫下來;次方也同樣是把越來越大的趨勢寫下來。這也是一種不定式。

千萬不要以為

底數趨近 11,而 11 的任何次方還是 11。 當然不是!當 n=1n=1,其值就是 1+1=21+1=2 了;當 nn 越大時其值會越大,就更不會是 11 了!這樣思考的錯誤在於:底數是「趨近 11」,而不是「真 11」。 現在情況是有如雙方在賽跑,看誰跑得快。如果次方快得多,就會趨向無限大;如果底數跑到 11 快得多,就會趨近到 11;如果雙方差不多快,就會跑到一個非零正數(例如這題的結果是 ee)。

例 5:00^\infty(這不是不定式!)

limx0+(sinx)1x\begin{align*} \lim_{x\to0^+} \big( \sin x \big)^{\frac{1}{x}} \end{align*}

底數趨向 00、次方趨向無限大,我們寫下 00^\infty 這樣的符號。 這並非不定式!底都已經努力往 00 跑了,次方還那麼大,這是在助長它跑到 00 跑得更快!因此答案沒有懸念,直接確定是 00

補充:更多形式的判斷

順著這個「趨勢賽跑」的邏輯,我們再多看幾個例子:

  • 000^0:例如 limx0+xx\displaystyle\lim_{x\to0^+} x^x。底數想讓整體變成 00,但次方想讓整體變成 11,雙方衝突,這是不定式
  • \infty^\infty:例如 limxxx\displaystyle\lim_{x\to\infty} x^x。底數越來越大,次方也越來越大,雙方都在幫忙把數字推向無限大,沒有衝突,這不是不定式(結果直接是 \infty)。
  • 0\infty^0:例如 limxx1x\displaystyle\lim_{x\to\infty} x^{\frac{1}{x}}。底數想讓整體變無限大,次方想讓整體變成 11,雙方衝突,這是不定式

常見的觀念誤區

理解了「極限標註的符號代表的是趨勢」後,我們來看看兩個初學者最常犯的觀念誤區。

誤區 1:常數函數求導是不定式嗎?

如果我們利用導數定義推導常數函數 f(x)=cf(x)=c 的導數,會出現:

f(x)=limh0f(x+h)f(x)h=limh0cch=limh00h=0\begin{align*} f'(x) =&\, \lim_{h\to0} \frac{f(x+h)-f(x)}{h}\\[4mm] =&\, \lim_{h\to0} \frac{c-c}{h}\\[4mm] =&\, \lim_{h\to0} \frac{0}{h} = 0 \end{align*}

有些同學會問:「咦?00\frac{0}{0} 不是不定式嗎,為什麼這裡可以直接說答案是 00?」

會問出這個問題,就是沒有徹底搞清楚不定式的本質。

不定式 00\frac{0}{0} 指的是分子分母「皆趨向 00 的趨勢」,除非我們搞清楚誰跑到 00 更快,否則無法確定答案。 而在這裡,分母確實是趨向 00,但分子 ccc-c 根本是千真萬確的真 00 在取極限的過程中,分子永遠是 00。真 00 除以任何非零的數都是 00,所以極限值自然是 00。這根本就不是不定式!

誤區 2:「000^0 是不定式,所以不存在」?

在網路上經常能看到大家爭論 000^0 應該等於多少,這時總會有人跳出來說:「000^0 不是不定式嗎?所以它無意義/不存在」。 這句話其實同時暴露了幾個層次的誤解。

首先,當我們討論「000^0 應該等於多少」時,我們是在討論數的運算。意思是有一個數,它的底數就是真 00、它的次方也是真 00,這樣的話它是否有定義?有的話應該等於多少?

但「不定式 000^0」則是在講極限式!取極限的式子裡,底數與次方都只是「趨向 00」,兩者都不是真 00。打從一開始,討論的對象就完全不一樣,一個是在討論實數值,一個是在討論極限趨勢。

此外,稱之為「不定式」,意思是「無法單從這個形式看出極限值」,而不是「極限不存在」。在同一個 000^0 的趨勢形式下,根據函數的不同,完全可能出現不同的極限結果。例如:

limx0+(e1x)x=limx0+e1=1elimx0+(e5x)x2=limx0+e5x=1limx0+(e1x2)x=limx0+e1x=0limx0+x1lnx=limx0+e(lnx1lnx)=limx0+e(1lnxlnx)=limx0+(elnx)1lnx=e\begin{align*} &\,\lim_{x\to0^+} \big(e^{-\frac{1}{x}}\big)^x \\[4mm] =&\, \lim_{x\to0^+} e^{-1} = \frac{1}{e} \\[8mm] &\,\lim_{x\to0^+} \big(e^{-\frac{5}{x}}\big)^{x^2} \\[4mm] = &\,\lim_{x\to0^+} e^{-5x} = 1 \\[8mm] &\,\lim_{x\to0^+} \big(e^{-\frac{1}{x^2}}\big)^x \\[4mm] =&\, \lim_{x\to0^+} e^{-\frac{1}{x}} = 0 \\[8mm] &\,\lim_{x\to0^+} x^{\frac{1}{\ln x}} \\[4mm] =&\,\lim_{x\to0^+} e^{\big(\ln x^{\frac{1}{\ln x}}\big)} \\[4mm] =&\,\lim_{x\to0^+} e^{\big(\frac1{\ln x}\cdot\ln x\big)}\\[4mm] = &\,\lim_{x\to0^+} \big(e^{\ln x}\big)^{\frac{1}{\ln x}} = e \end{align*}

所以,「數值上的沒有定義」與「極限上的不定式」是完全不一樣的概念!

注:x0+x\to0^+       1x\;\implies \frac1x\to\infty       e1x\;\implies e^{\frac1x}\to\infty       e1x=1e1x0\;\implies e^{-\frac1x}=\frac{1}{e^{\frac1x}}\to 0


Edit page
Share this post on:

下一篇
考研歷程分享:從歷史系跨考台大數學所的逆襲