微分中值定理是一系列中值定理總稱,是研究函數(shù)的有力工具,其中最重要的內(nèi)容是拉格朗日定理,可以說其他中值定理都是拉格朗日中值定理的特殊情況或推廣。微分中值定理反映了導(dǎo)數(shù)的局部性與函數(shù)的整體性之間的關(guān)系,應(yīng)用十分廣泛。

中文名

微分中值定理

外文名

mean value theorem

類型

數(shù)學(xué)名詞

提出者

拉格朗日

應(yīng)用學(xué)科

數(shù)學(xué)

適用領(lǐng)域

微積分

羅爾定理

內(nèi)容:

如果函數(shù)f(x)滿足:

在閉區(qū)間[a,b]上連續(xù);

在開區(qū)間(a,b)內(nèi)可導(dǎo);

在區(qū)間端點處的函數(shù)值相等,即f(a)=f(b),

那么在(a,b)內(nèi)至少有一點ξ(a<ξ

幾何上,羅爾定理的條件表示,曲線?。ǚ匠虨椋┦且粭l連續(xù)的曲線弧,除端點外處處有不垂直于x軸的切線,且兩端點的縱坐標(biāo)相等。而定理結(jié)論表明:

弧上至少有一點,曲線在該點切線是水平的。

拉格朗日定理

內(nèi)容:

如果函數(shù) f(x) 滿足:

1)在閉區(qū)間[a,b]上連續(xù);

2)在開區(qū)間(a,b)內(nèi)可導(dǎo)。

那么:在(a,b)內(nèi)至少有一點ξ(a<ξ

使等式 f(b)-f(a)=f′(ξ)(b-a) 成立。

拉格朗日中值定理的幾何意義是:曲線上必然存在至少一點,過該點的切線的斜率和連接曲線(a,b)的割線的斜率相同;或者說,曲線上必然存在至少一點可以做割線(a,b)的平行線

柯西定理

內(nèi)容:

如果函數(shù)f(x)及F(x)滿足

(1)在閉區(qū)間[a,b]上連續(xù);

(2)在開區(qū)間(a,b)內(nèi)可導(dǎo);

(3)對任一x∈(a,b),F(xiàn)'(x)≠0

那么在(a,b) 內(nèi)至少有一點ξ,使等式

[f(b)-f(a)]/[F(b)-F(a)]=f'(ξ)/F'(ξ)

成立

[中值定理]分為:微分中值定理和積分中值定理:

以上三個為微分中值定理定積分第一中值定理為:

f(x)在a到b上的定積分等于f(ξ)(b-a)(存在ξ∈[a,b]使得該式成立)

注:積分中值定理可以根據(jù)介值定理推出所以同樣ξ∈[a,b]都為閉區(qū)間。

泰勒公式

內(nèi)容:若函數(shù)f(x)在開區(qū)間(a,b)有直到n+1階的導(dǎo)數(shù),則當(dāng)函數(shù)在此區(qū)間內(nèi)時,可以展開為一個關(guān)于(x-x.)多項式和一個余項的和:

f(x)=f(x.)+f'(x.)(x-x.)+f''(x.)/2!·(x-x.)^2,+f'''(x.)/3!·(x-x.)^3+……+f(n)(x.)/n!·(x-x.)^n+Rn

其中Rn=f(n+1)(ξ)/(n+1)!·(x-x.)^(n+1),這里ξ在x和x.之間,該余項稱為拉格朗日型的余項。

(注:f(n)(x.)是f(x.)的n階導(dǎo)數(shù),不是f(n)與x.的相乘。)

推論:麥克勞林公式

內(nèi)容:

若函數(shù)f(x)在開區(qū)間(a,b)有直到n+1階的導(dǎo)數(shù),則當(dāng)函數(shù)在此區(qū)間內(nèi)時,可以展開為一個關(guān)于x多項式和一個余項的和:

f(x)=f(0)+f'(0)x+f''(0)/2!·x^2,+f'''(0)/3!·x^3+……+f(n)(0)/n!·x^n+Rn

其中Rn=f(n+1)(θx)/(n+1)!·x^(n+1),這里0<θ<1.

達(dá)布定理

內(nèi)容:

若函數(shù)f(x)在[a,b]上可導(dǎo),則f′(x)在[a,b]上可取f′(a)和f′(b)之間任何值.

推廣:若f(x),g(x)均在[a,b]上可導(dǎo),并且在[a,b]上,g′(x)≠0,則f′(x)/g′(x)可以取f′(a)/g′(a)與f′(b)/g′(b)之間任何值。

洛必達(dá)法則

內(nèi)容:

設(shè)(1)當(dāng)x→a時,函數(shù)f(x)及F(x)都趨于零;

(2)在點a的去心鄰域內(nèi),f'(x)及F'(x)都存在且F'(x)≠0;

(3)當(dāng)x→a時lim f'(x)/F'(x)存在(或為無窮大),那么

x→a時 lim f(x)/F(x)=lim f'(x)/F'(x)。

又設(shè)

(1)當(dāng)x→∞時,函數(shù)f(x)及F(x)都趨于零;

(2)當(dāng)|x|>N時f'(x)及F'(x)都存在,且F'(x)≠0;

(3)當(dāng)x→∞時lim f'(x)/F'(x)存在(或為無窮大),那么

x→∞時 lim f(x)/F(x)=lim f'(x)/F'(x)。