定理簡介
![O'Stolz定理](/img/e/116/nBnauM3X1QDOxUjMxAzNwMzM1UTM1QDN5MjM5ADMwAjMwUzLwczL0EzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/72f/nBnauM3X2UTM0IzMyEjMwEDN0UTMyITNykTO0EDMwAjMwUzLxIzL0AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/a/775/nBnauM3XxYzNxcTO5MjM2EzM1UTM1QDN5MjM5ADMwAjMwUzLzIzLyMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/a/775/nBnauM3XxYzNxcTO5MjM2EzM1UTM1QDN5MjM5ADMwAjMwUzLzIzLyMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/a80/nBnauM3XzMzNxkDNxEDOxMzM1UTM1QDN5MjM5ADMwAjMwUzLxgzLyEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/6/684/nBnauM3XzATM0ATM1kjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL5YzLyYzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/3/ae7/nBnauM3XzEzM0YTM4kTNwMDN0UTMyITNykTO0EDMwAjMwUzL5UzL4EzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/2a8/nBnauM3XwcDO4AjNyUTN1ATN0UTMyITNykTO0EDMwAjMwUzL1UzL1gzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![O'Stolz定理](/img/2/515/nBnauM3X3YDNzMzM4MjM0IDN0UTMyITNykTO0EDMwAjMwUzLzIzL4UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
( 型) 設數列 、 滿足:① 嚴格單調遞增 ② ③ (其中 可以為有限實數、 、 )
![O'Stolz定理](/img/9/710/nBnauM3XzMjM1gDM2cjNxMzM1UTM1QDN5MjM5ADMwAjMwUzL3YzL1MzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
則
這個是較常用的版本
![O'Stolz定理](/img/7/0b7/nBnauM3XyIDOygDNzgTO5kzM0UTMyITNykTO0EDMwAjMwUzL4kzLxUzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/72f/nBnauM3X2UTM0IzMyEjMwEDN0UTMyITNykTO0EDMwAjMwUzLxIzL0AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/a/775/nBnauM3XxYzNxcTO5MjM2EzM1UTM1QDN5MjM5ADMwAjMwUzLzIzLyMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/a/775/nBnauM3XxYzNxcTO5MjM2EzM1UTM1QDN5MjM5ADMwAjMwUzLzIzLyMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/d/dd5/nBnauM3X3EDOyYzMzczNwMzM1UTM1QDN5MjM5ADMwAjMwUzL3czL0MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/6/684/nBnauM3XzATM0ATM1kjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL5YzLyYzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/3/ae7/nBnauM3XzEzM0YTM4kTNwMDN0UTMyITNykTO0EDMwAjMwUzL5UzL4EzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/2a8/nBnauM3XwcDO4AjNyUTN1ATN0UTMyITNykTO0EDMwAjMwUzL1UzL1gzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![O'Stolz定理](/img/2/515/nBnauM3X3YDNzMzM4MjM0IDN0UTMyITNykTO0EDMwAjMwUzLzIzL4UzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
( 型) 設數列 、 滿足:① 嚴格單調遞減且趨於零 ② ③ (其中 可以為有限實數、 、 )
![O'Stolz定理](/img/9/710/nBnauM3XzMjM1gDM2cjNxMzM1UTM1QDN5MjM5ADMwAjMwUzL3YzL1MzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
則
證明過程
![O'Stolz定理](/img/e/116/nBnauM3X1QDOxUjMxAzNwMzM1UTM1QDN5MjM5ADMwAjMwUzLwczL0EzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
一、 型
![O'Stolz定理](/img/3/ae7/nBnauM3XzEzM0YTM4kTNwMDN0UTMyITNykTO0EDMwAjMwUzL5UzL4EzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/6/684/nBnauM3XzATM0ATM1kjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL5YzLyYzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/d/d71/nBnauM3XwAzMwMTMwQzNxMzM1UTM1QDN5MjM5ADMwAjMwUzL0czL4AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/a/42e/nBnauM3XwQDM1AjN4EzNxMzM1UTM1QDN5MjM5ADMwAjMwUzLxczL4AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/6/c96/nBnauM3XzITO4QDNyczNwMzM1UTM1QDN5MjM5ADMwAjMwUzL3czLzMzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/9/104/nBnauM3X2EDO0MzNyQzNxMzM1UTM1QDN5MjM5ADMwAjMwUzL0czL3UzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
(當 為有限實數時)由 , , ,當 時, , 即
![O'Stolz定理](/img/8/f3b/nBnauM3XxgTN2YjMzcDMyMzM1UTM1QDN5MjM5ADMwAjMwUzL3AzLxIzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/2/34a/nBnauM3X4EzNzQjN4MTOwMzM1UTM1QDN5MjM5ADMwAjMwUzLzkzL1MzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/6/69d/nBnauM3XwYTN3QzN0ETMyMzM1UTM1QDN5MjM5ADMwAjMwUzLxEzLyEzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/a/775/nBnauM3XxYzNxcTO5MjM2EzM1UTM1QDN5MjM5ADMwAjMwUzLzIzLyMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/d3d/nBnauM3XyczM3UTM0ITOwMzM1UTM1QDN5MjM5ADMwAjMwUzLykzL2EzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
(這裡可以把 乘到不等號另一邊是因為 嚴格單調遞增,所以 ,乘到不等號另一邊時不變號)
![O'Stolz定理](/img/1/a80/nBnauM3XzMzNxkDNxEDOxMzM1UTM1QDN5MjM5ADMwAjMwUzLxgzLyEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/d/66a/nBnauM3X4IjM2QjM2czNwMzM1UTM1QDN5MjM5ADMwAjMwUzL3czL1czLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/ada/nBnauM3XzUzNyADO5gzNwMzM1UTM1QDN5MjM5ADMwAjMwUzL4czLzczLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/b/4f8/nBnauM3X4EzN1gjN4UzMxMzM1UTM1QDN5MjM5ADMwAjMwUzL1MzL1AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/c/ba1/nBnauM3XyQTOxEzM0QDOwMzM1UTM1QDN5MjM5ADMwAjMwUzL0gzL2czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
又由 ,∴ ,當 時, (這裡是根據數列趨於正無窮大的定義),∴ (注一)
![O'Stolz定理](/img/9/7c1/nBnauM3X4MTO2EDM0czNwMzM1UTM1QDN5MjM5ADMwAjMwUzL3czL2QzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![O'Stolz定理](/img/f/749/nBnauM3XxUzMzgDN0cTMzEzM1UTM1QDN5MjM5ADMwAjMwUzL3EzLzUzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/5/12c/nBnauM3X2QTN2MzN0IjN5ADN0UTMyITNykTO0EDMwAjMwUzLyYzL0AzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/c/1b8/nBnauM3X1AzN1kDO3ATMwEDN0UTMyITNykTO0EDMwAjMwUzLwEzL4UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/7/b0c/nBnauM3XxQDOyUzMwYDMxMzM1UTM1QDN5MjM5ADMwAjMwUzL2AzL2UzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/e/b71/nBnauM3XyAzM1EDO1MzMxMzM1UTM1QDN5MjM5ADMwAjMwUzLzMzL3gzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
取 ,當 時,從 到 對 式累加,有
![O'Stolz定理](/img/e/054/nBnauM3XwYzNxMTO4gDOxMzM1UTM1QDN5MjM5ADMwAjMwUzL4gzL1czLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/b/d70/nBnauM3XzcTM2gjN3czNwMzM1UTM1QDN5MjM5ADMwAjMwUzL3czL4AzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/b/1cd/nBnauM3X4EDN1gjN5YzNxMzM1UTM1QDN5MjM5ADMwAjMwUzL2czLxYzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
累加得
![O'Stolz定理](/img/4/4f0/nBnauM3X4YDN4EDO3ETOwMzM1UTM1QDN5MjM5ADMwAjMwUzLxkzL2QzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/e/6ac/nBnauM3XwEDN4UTN1kjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL5YzLxEzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/f/749/nBnauM3XxUzMzgDN0cTMzEzM1UTM1QDN5MjM5ADMwAjMwUzL3EzLzUzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/8/f8f/nBnauM3XwATO4UDN4ETOwMzM1UTM1QDN5MjM5ADMwAjMwUzLxkzLzAzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/2/321/nBnauM3X2cjM0AzMyUDOxMzM1UTM1QDN5MjM5ADMwAjMwUzL1gzL1gzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/f89/nBnauM3X4EjN2gTN2EDMyMzM1UTM1QDN5MjM5ADMwAjMwUzLxAzLwgzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/c/809/nBnauM3XzYTM5QTOykjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL5YzLxQzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![O'Stolz定理](/img/b/0c4/nBnauM3XwETO1MDN4UjMxMzM1UTM1QDN5MjM5ADMwAjMwUzL1IzL4QzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
同除 (還是因為 嚴格單調遞增, , , ),還注意到 ,因為 ,
![O'Stolz定理](/img/9/602/nBnauM3X0QzNyETO1IzNwMzM1UTM1QDN5MjM5ADMwAjMwUzLyczLwEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/7/ab9/nBnauM3X3cDO5AzN5kjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL5YzL3gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/a/cfd/nBnauM3X4AzNwATOzYzNwMzM1UTM1QDN5MjM5ADMwAjMwUzL2czLzIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/c/ba1/nBnauM3XyQTOxEzM0QDOwMzM1UTM1QDN5MjM5ADMwAjMwUzL0gzL2czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![O'Stolz定理](/img/e/2d9/nBnauM3XxAjN1EzM0czNwMzM1UTM1QDN5MjM5ADMwAjMwUzL3czL3QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/f/be2/nBnauM3X2MTM5gjNwcTOwMzM1UTM1QDN5MjM5ADMwAjMwUzL3kzL0UzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/c/cd2/nBnauM3XzMDO1ADO4QzMzEzM1UTM1QDN5MjM5ADMwAjMwUzL0MzL2IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/5/703/nBnauM3X3UzN3UTM4AzNwMzM1UTM1QDN5MjM5ADMwAjMwUzLwczL4czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![O'Stolz定理](/img/3/8eb/nBnauM3XwYDN5gjMwITOxMzM1UTM1QDN5MjM5ADMwAjMwUzLykzLwIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/2/273/nBnauM3XwYDOwITO3EDMyMzM1UTM1QDN5MjM5ADMwAjMwUzLxAzL1EzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/8/691/nBnauM3X0QDM3cDNzgjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL4YzLyYzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![O'Stolz定理](/img/9/ca6/nBnauM3X3UDOxMDM0kTOxMzM1UTM1QDN5MjM5ADMwAjMwUzL5kzL1czLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/642/nBnauM3X3MzNygTO4EDMyMzM1UTM1QDN5MjM5ADMwAjMwUzLxAzL1gzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/7/b12/nBnauM3X2cDO1UDM0QTOwMzM1UTM1QDN5MjM5ADMwAjMwUzL0kzL4UzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/1/2ff/nBnauM3XzIDO0QTN5gjNwMzM1UTM1QDN5MjM5ADMwAjMwUzL4YzLxMzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/f/522/nBnauM3XxcTM5cDN0ITOxMzM1UTM1QDN5MjM5ADMwAjMwUzLykzL3QzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/2/c42/nBnauM3X1YDOzIjNxQTOxMzM1UTM1QDN5MjM5ADMwAjMwUzL0kzLwAzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/6/eb4/nBnauM3X1YjNwETN4ITOwMzM1UTM1QDN5MjM5ADMwAjMwUzLykzLwgzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/e/2a7/nBnauM3X4cDN4YTNxMjNwMzM1UTM1QDN5MjM5ADMwAjMwUzLzYzLyczLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
即 ,由 ,且 、 是常數,因為 是確定的下標!由極限的四則運算法則, (注二), ,同理 ,再由極限的四則運算法則, , [1]
![O'Stolz定理](/img/f/ba7/nBnauM3XzgzN4YTN5kTNwMzM1UTM1QDN5MjM5ADMwAjMwUzL5UzLxIzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/9/710/nBnauM3XzMjM1gDM2cjNxMzM1UTM1QDN5MjM5ADMwAjMwUzL3YzL1MzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
即 ,
__________________________________________________________________________________________
![O'Stolz定理](/img/c/cd2/nBnauM3XzMDO1ADO4QzMzEzM1UTM1QDN5MjM5ADMwAjMwUzL0MzL2IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/c/cd2/nBnauM3XzMDO1ADO4QzMzEzM1UTM1QDN5MjM5ADMwAjMwUzL0MzL2IzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
為了方便初學者,這裡解釋一下以上的跳步。注意以下的註裡出現的符號與上面證明的符號是分開的!比 如注一的 與證明里的 不同啊,初學者不要搞混。
![O'Stolz定理](/img/1/a80/nBnauM3XzMzNxkDNxEDOxMzM1UTM1QDN5MjM5ADMwAjMwUzLxgzLyEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/c/ba1/nBnauM3XyQTOxEzM0QDOwMzM1UTM1QDN5MjM5ADMwAjMwUzL0gzL2czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
注一:我們可以證明,若 ,則 ,
![O'Stolz定理](/img/1/a80/nBnauM3XzMzNxkDNxEDOxMzM1UTM1QDN5MjM5ADMwAjMwUzLxgzLyEzLt92YucmbvRWdo5Cd0FmLxE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/d/d71/nBnauM3XwAzMwMTMwQzNxMzM1UTM1QDN5MjM5ADMwAjMwUzL0czL4AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/d/5fb/nBnauM3XzETN4gzN1cjNxMzM1UTM1QDN5MjM5ADMwAjMwUzL3YzLyYzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/f/749/nBnauM3XxUzMzgDN0cTMzEzM1UTM1QDN5MjM5ADMwAjMwUzL3EzLzUzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/b/4f8/nBnauM3X4EzN1gjN4UzMxMzM1UTM1QDN5MjM5ADMwAjMwUzL1MzL1AzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/9/8c8/nBnauM3X4QzN5YzN5EzNxMzM1UTM1QDN5MjM5ADMwAjMwUzLxczL1czLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/5/55a/nBnauM3X3EjN3YDN4AzNwMzM1UTM1QDN5MjM5ADMwAjMwUzLwczL4gzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/d/5fb/nBnauM3XzETN4gzN1cjNxMzM1UTM1QDN5MjM5ADMwAjMwUzL3YzLyYzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/f/749/nBnauM3XxUzMzgDN0cTMzEzM1UTM1QDN5MjM5ADMwAjMwUzL3EzLzUzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/9/8d3/nBnauM3XxEDO3gDM3kzNwMzM1UTM1QDN5MjM5ADMwAjMwUzL5czL2AzLt92YucmbvRWdo5Cd0FmLwE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/c/ba1/nBnauM3XyQTOxEzM0QDOwMzM1UTM1QDN5MjM5ADMwAjMwUzL0gzL2czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
證明:由 , , ,當 時, , ,∴ , ,當 時, ,即
![O'Stolz定理](/img/c/ba1/nBnauM3XyQTOxEzM0QDOwMzM1UTM1QDN5MjM5ADMwAjMwUzL0gzL2czLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
![O'Stolz定理](/img/c/588/nBnauM3XwcDO4QjMwcTMxMzM1UTM1QDN5MjM5ADMwAjMwUzL3EzL0EzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/9/ab4/nBnauM3X0EzNyQzN0YzNwMzM1UTM1QDN5MjM5ADMwAjMwUzL2czL1YzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
注二:由注一, ,可推出 ,相當於去掉了第一項,然而極限是趨於無窮的行為,有沒有這一點對極限毫無影響,後面的 也是如此,當然這一點是可以證明的,這裡略去。可以看[2]的第4題的證明過程。
還有倒數第二段那裡一堆的使用極限四則運算法則,嚴謹性是達到了,為了初學者能正確掌握,但是看起來很繁瑣,其實這段裡面的一些步驟在已經學了數學分析的同學眼裡是已知的,無須寫出來的。所以如果你要在正式場合寫該定理的證明,以上證明中的 "因為 "後面的解釋說明和倒數第二段的繁雜過程可以刪減,按你的意願做相應簡化即可。
一個例子
![O'Stolz定理](/img/d/b30/nBnauM3XwITNzADO2YzNxMzM1UTM1QDN5MjM5ADMwAjMwUzL2czL3UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
例:求極限 (k為正整數)。
![O'Stolz定理](/img/e/1bd/nBnauM3X4QjM4czN5ITOxMzM1UTM1QDN5MjM5ADMwAjMwUzLykzLzUzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/4/9b7/nBnauM3X2EDNyITM4MTNxMzM1UTM1QDN5MjM5ADMwAjMwUzLzUzL4MzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
解:令 ,
由O'Stolz定理
![O'Stolz定理](/img/d/b30/nBnauM3XwITNzADO2YzNxMzM1UTM1QDN5MjM5ADMwAjMwUzL2czL3UzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/7/994/nBnauM3X2ETN3YzM5gzNwMzM1UTM1QDN5MjM5ADMwAjMwUzL4czL1QzLt92YucmbvRWdo5Cd0FmLyE2LvoDc0RHa.jpg)
![O'Stolz定理](/img/3/fd9/nBnauM3XyMTN4UTNzMTOwMzM1UTM1QDN5MjM5ADMwAjMwUzLzkzLwMzLt92YucmbvRWdo5Cd0FmLzE2LvoDc0RHa.jpg)
= =
![O'Stolz定理](/img/e/e6b/nBnauM3XxgTNwYDO3UDOwMzM1UTM1QDN5MjM5ADMwAjMwUzL1gzL3MzLt92YucmbvRWdo5Cd0FmL0E2LvoDc0RHa.jpg)
註: