【高等数学学习记录】微分中值定理

news2024/11/29 9:35:46

一、知识点


(一)罗尔定理

  • 费马引理
    设函数 f ( x ) f(x) f(x) 在点 x 0 x_0 x0 的某邻域 U ( x 0 ) U(x_0) U(x0) 内有定义,并且在 x 0 x_0 x0 处可导,如果对任意的 x ∈ U ( x 0 ) x\in U(x_0) xU(x0) ,有 f ( x ) ≤ f ( x 0 ) f(x)\leq f(x_0) f(x)f(x0)(或 f ( x ) ≥ f ( x 0 ) f(x)\geq f(x_0) f(x)f(x0)) ,那么 f ′ ( x 0 ) = 0 f'(x_0)=0 f(x0)=0.

  • 罗尔定理

    如果函数 f ( x ) f(x) f(x) 满足:

    (1) 在闭区间 [ a , b ] [a,b] [a,b] 上连续;

    (2) 在开区间 ( a , b ) (a,b) (a,b) 内可导;

    (3) 在区间端点处的函数值相等,即 f ( a ) = f ( b ) f(a)=f(b) f(a)=f(b),那么在 ( a , b ) (a,b) (a,b) 内至少有一点 ξ ( a < ξ < b ) \xi(a<\xi<b) ξ(a<ξ<b),使得 f ′ ( ξ ) = 0 f'(\xi)=0 f(ξ)=0.


(二)拉格朗日中值定理

  • 拉格朗日中值定理

    如果函数 f ( x ) f(x) f(x) 满足

    (1) 在闭区间 [ a , b ] [a,b] [a,b] 上连续;

    (2) 在开区间 ( a , b ) (a,b) (a,b) 内可导;

    那么在 ( a , b ) (a,b) (a,b) 内至少有一点 ξ ( a < ξ < b ) \xi(a<\xi<b) ξ(a<ξ<b),使等式 f ( b ) − f ( a ) = f ′ ( ξ ) ( b − a ) f(b)-f(a)=f'(\xi)(b-a) f(b)f(a)=f(ξ)(ba) 成立.

  • 拉格朗日中值定理的几何意义

    在这里插入图片描述

    由上图可以看出, f ( b ) − f ( a ) b − a \frac{f(b)-f(a)}{b-a} baf(b)f(a) 为弦 A B AB AB 的斜率,而 f ′ ( ξ ) f'(\xi) f(ξ) 为曲线在点 C C C 处的切线的斜率.

    因此拉格朗日中值定理的几何意义是:如果连续曲线 y = f ( x ) y=f(x) y=f(x) 的弧 A B AB AB 上除端点外处处具有不垂直于 x x x 轴的切线,那么这弧上至少有一点 C C C,使曲线在 C C C 处的切线平行于弦 A B AB AB.

  • 定理

    如果函数 f ( x ) f(x) f(x) 在区间 I I I 上的导数恒为零,那么 f ( x ) f(x) f(x) 在区间 I I I 上是一个常数.


(三)柯西中值定理

  • 柯西中值定理

    如果函数 f ( x ) f(x) f(x) F ( x ) F(x) F(x) 满足

    (1) 在闭区间 [ a , b ] [a,b] [a,b] 上连续;

    (2) 在开区间 ( a , b ) (a,b) (a,b) 内可导;

    (3) 对任一 x ∈ ( a , b ) x\in (a,b) x(a,b) F ′ ( x ) ≠ 0 F'(x)\neq 0 F(x)=0

    那么在 ( a , b ) (a,b) (a,b) 内至少有一点 ξ \xi ξ,使等式 f ( b ) − f ( a ) F ( b ) − F ( a ) = f ′ ( ξ ) F ′ ( ξ ) \frac{f(b)-f(a)}{F(b)-F(a)}=\frac{f'(\xi)}{F'(\xi)} F(b)F(a)f(b)f(a)=F(ξ)f(ξ) 成立.


二、练习题

  1. 验证罗尔定理对函数 y = l n s i n x y=lnsinx y=lnsinx 在区间 [ π 6 , 5 π 6 ] [\frac{\pi}{6},\frac{5\pi}{6}] [6π,65π] 上的正确性.
  • 证明:

    ∵ \because

    (1) y = l n s i n x y=lnsinx y=lnsinx 在区间 [ π 6 , 5 π 6 ] [\frac{\pi}{6},\frac{5\pi}{6}] [6π,65π] 上连续,在区间 ( π 6 , 5 π 6 ) (\frac{\pi}{6},\frac{5\pi}{6}) (6π,65π) 内可导

    (2) y ∣ x = π 6 = y ∣ x = 5 π 6 = l n 1 2 y|_{x=\frac{\pi}{6}}=y|_{x=\frac{5\pi}{6}}=ln\frac{1}{2} yx=6π=yx=65π=ln21

    ∴ \therefore 以上满足罗尔定理的前提条件

    ∵ y ′ = c o s x s i n x = c o t x \because y'=\frac{cosx}{sinx}=cotx y=sinxcosx=cotx ,当 x = π 2 x=\frac{\pi}{2} x=2π 时, y ′ = 0 y'=0 y=0

    ∴ \therefore ( π 6 , 5 π 6 ) (\frac{\pi}{6},\frac{5\pi}{6}) (6π,65π) 内至少存在一点 x = π 2 x=\frac{\pi}{2} x=2π,使得 y ′ = 0 y'=0 y=0

    ∴ \therefore 罗尔定理对题目所给函数的正确性得以验证.


  1. 验证拉格朗日中值定理对函数 y = 4 x 3 − 5 x 2 + x − 2 y=4x^3-5x^2+x-2 y=4x35x2+x2 在区间 [ 0 , 1 ] [0,1] [0,1] 上的正确性.
  • 证明:

    题目所给函数在区间 [ 0 , 1 ] [0,1] [0,1] 上连续,在区间 ( 0 , 1 ) (0,1) (0,1) 内可导,满足拉格朗日中值定理的前提条件.

    f ( 1 ) − f ( 0 ) 1 − 0 = 4 − 5 + 1 − 2 − ( 0 − 0 + 0 − 2 ) = 0 \frac{f(1)-f(0)}{1-0}=4-5+1-2-(0-0+0-2)=0 10f(1)f(0)=45+12(00+02)=0

    y ′ = 12 x 2 − 10 x + 1 y'=12x^2-10x+1 y=12x210x+1

    x = 5 ± 13 12 x=\frac{5\pm\sqrt{13}}{12} x=125±13 时, y ′ = 0 y'=0 y=0,且 5 − 13 12 \frac{5-\sqrt{13}}{12} 12513 5 + 13 12 \frac{5+\sqrt{13}}{12} 125+13 均在区间 ( 0 , 1 ) (0,1) (0,1) 内.

    ∴ \therefore 拉格朗日中值定理对题目所给函数的正确性得以验证.


  1. 对函数 f ( x ) = s i n x f(x)=sinx f(x)=sinx F ( x ) = x + c o s x F(x)=x+cosx F(x)=x+cosx 在区间 [ 0 , π 2 ] [0,\frac{\pi}{2}] [0,2π] 上验证柯西中值定理的正确性.
  • 证明:

    (1) f ( x ) f(x) f(x) F ( x ) F(x) F(x) 均在区间 [ 0 , π 2 ] [0,\frac{\pi}{2}] [0,2π] 上连续,在区间 ( 0 , π 2 ) (0,\frac{\pi}{2}) (0,2π) 内可导

    (2) 由于 f ′ ( x ) = c o s x f'(x)=cosx f(x)=cosx F ′ ( x ) = 1 − s i n x F'(x)=1-sinx F(x)=1sinx 对任一 x ∈ ( 0 , π 2 ) x\in(0,\frac{\pi}{2}) x(0,2π) 均不等于0

    ∴ \therefore 以上满足柯西中值定理的前提条件

    ∵ f ( π 2 ) − f ( 0 ) F ( π 2 ) − F ( 0 ) = 1 − 0 π 2 − 1 = 2 π − 2 \because \frac{f(\frac{\pi}{2})-f(0)}{F(\frac{\pi}{2})-F(0)}=\frac{1-0}{\frac{\pi}{2}-1}=\frac{2}{\pi-2} F(2π)F(0)f(2π)f(0)=2π110=π22

    f ′ ( x ) F ′ ( x ) = c o s x 1 − s i n x = s i n ( π 2 − x ) 1 − c o s ( π 2 − x ) = c o s ( π 4 − x 2 ) s i n ( π 4 − x 2 ) = c o t ( π 4 − x 2 ) \frac{f'(x)}{F'(x)}=\frac{cosx}{1-sinx}=\frac{sin(\frac{\pi}{2}-x)}{1-cos(\frac{\pi}{2}-x)}=\frac{cos(\frac{\pi}{4}-\frac{x}{2})}{sin(\frac{\pi}{4}-\frac{x}{2})}=cot(\frac{\pi}{4}-\frac{x}{2}) F(x)f(x)=1sinxcosx=1cos(2πx)sin(2πx)=sin(4π2x)cos(4π2x)=cot(4π2x)

    x = π 2 − 2 a r c t a n ( π − 2 2 ) x=\frac{\pi}{2}-2arctan(\frac{\pi-2}{2}) x=2π2arctan(2π2) 时, x ∈ ( 0 , π 2 ) x\in (0,\frac{\pi}{2}) x(0,2π) c o t ( π 4 − x 2 ) = 2 π − 2 cot(\frac{\pi}{4}-\frac{x}{2})=\frac{2}{\pi-2} cot(4π2x)=π22

    ∴ \therefore 柯西中值定理对题目所给函数的正确性得以验证


  1. 试证明对函数 y = p x 2 + q x + r y=px^2+qx+r y=px2+qx+r 应用拉格朗日中值定理时所求得的点 ξ \xi ξ 总是位于区间的正中间.
  • 证明:

    [ a , b ] [a,b] [a,b] 为任意区间,由拉格朗日中值定理得,

    ∃ ξ ∈ ( a , b ) \exist \xi\in (a,b) ξ(a,b),使得 f ′ ( ξ ) = f ( b ) − f ( a ) b − a f'(\xi)=\frac{f(b)-f(a)}{b-a} f(ξ)=baf(b)f(a)

    ∵ f ′ ( ξ ) = 2 p ξ + q \because f'(\xi)=2p\xi+q f(ξ)=2pξ+q f ( b ) − f ( a ) b − a = p b 2 + q b + r − p a 2 − q a − r b − a = p ( a + b ) + q \frac{f(b)-f(a)}{b-a}=\frac{pb^2+qb+r-pa^2-qa-r}{b-a}=p(a+b)+q baf(b)f(a)=bapb2+qb+rpa2qar=p(a+b)+q

    ∴ 2 p ξ + q = p ( a + b ) + q \therefore 2p\xi+q=p(a+b)+q 2pξ+q=p(a+b)+q

    ∴ ξ = a + b 2 \therefore \xi=\frac{a+b}{2} ξ=2a+b

    ∴ ξ \therefore \xi ξ 总是位于区间的正中间


  1. 不用求出函数 f ( x ) = ( x − 1 ) ( x − 2 ) ( x − 3 ) ( x − 4 ) f(x)=(x-1)(x-2)(x-3)(x-4) f(x)=(x1)(x2)(x3)(x4) 的导数,说明方程 f ′ ( x ) = 0 f'(x)=0 f(x)=0 有几个实根,并指出它们所在的区间。
  • 证明:

    ∵ f ( 1 ) = f ( 2 ) = f ( 3 ) = f ( 4 ) = 0 \because f(1)=f(2)=f(3)=f(4)=0 f(1)=f(2)=f(3)=f(4)=0

    ∵ f ( x ) \because f(x) f(x) 在区间 [ 1 , 2 ] [ 2 , 3 ] [ 3 , 4 ] [1,2][2,3][3,4] [1,2][2,3][3,4] 上连续,在区间 ( 1 , 2 ) ( 2 , 3 ) ( 3 , 4 ) (1,2)(2,3)(3,4) (1,2)(2,3)(3,4) 内可导

    ∴ \therefore 根据罗尔定理得,存在 ξ 1 ∈ ( 1 , 2 ) , ξ 2 ∈ ( 2 , 3 ) , ξ 3 ∈ ( 3 , 4 ) \xi_1\in(1,2),\xi_2\in(2,3),\xi_3\in(3,4) ξ1(1,2),ξ2(2,3),ξ3(3,4) 使得 f ′ ( ξ 1 ) = f ′ ( ξ 2 ) = f ′ ( ξ 3 ) = 0 f'(\xi_1)=f'(\xi_2)=f'(\xi_3)=0 f(ξ1)=f(ξ2)=f(ξ3)=0

    ∵ f ′ ( x ) = 0 \because f'(x)=0 f(x)=0 是三次多项式,有三个实根

    ∴ ξ 1 , ξ 2 , ξ 3 \therefore \xi_1,\xi_2,\xi_3 ξ1,ξ2,ξ3 f ′ ( x ) = 0 f'(x)=0 f(x)=0 得三个实根,分别属于区间 ( 1 , 2 ) ( 2 , 3 ) ( 3 , 4 ) (1,2)(2,3)(3,4) (1,2)(2,3)(3,4).


  1. 证明恒等式 a r s s i n x + a r c c o s x = π 2 ( − 1 ≤ x ≤ 1 ) arssinx+arccosx=\frac{\pi}{2}(-1\leq x\leq 1) arssinx+arccosx=2π(1x1).
  • 证明:

    f ( x ) = a r c s i n x − a r c c o s x f(x)=arcsinx-arccosx f(x)=arcsinxarccosx

    ∵ f ′ ( x ) = 1 1 − x 2 − 1 1 − x 2 = 0 \because f'(x)=\frac{1}{\sqrt{1-x^2}}-\frac{1}{\sqrt{1-x^2}}=0 f(x)=1x2 11x2 1=0

    ∴ f ( x ) \therefore f(x) f(x) 在区间 ( − 1 , 1 ) (-1,1) (1,1) 上是一个常数

    ∴ f ( 0 ) = a r c s i n 0 + a r c c o s 0 = 0 + π 2 = π 2 \therefore f(0)=arcsin0+arccos0=0+\frac{\pi}{2}=\frac{\pi}{2} f(0)=arcsin0+arccos0=0+2π=2π


  1. 若方程 a 0 x n + a 1 x n − 1 + ⋯ + a n − 1 x = 0 a_0x^n+a_1x^{n-1}+\cdots + a_{n-1}x=0 a0xn+a1xn1++an1x=0 有一个正根 x = x 0 x=x_0 x=x0,证明方程 a 0 n x n − 1 + a 1 ( n − 1 ) x n − 2 + ⋯ + a n − 1 = 0 a_0nx^{n-1}+a_1(n-1)x^{n-2}+\cdots +a_{n-1}=0 a0nxn1+a1(n1)xn2++an1=0 必有一个小于 x 0 x_0 x0 的正根.
  • 证明:

    f ( x ) = a 0 x n + a 1 x n − 1 + ⋯ + a n − 1 x f(x)=a_0x^n+a_1x^{n-1}+\cdots +a_{n-1}x f(x)=a0xn+a1xn1++an1x

    f ( 0 ) = 0 f(0)=0 f(0)=0 f ( x 0 ) = 0 f(x_0)=0 f(x0)=0

    f ( x ) f(x) f(x) [ 0 , x 0 ] [0,x_0] [0,x0] 上连续,在 ( 0 , x 0 ) (0,x_0) (0,x0) 内可导

    由罗尔定理的,存在 ξ ∈ ( 0 , x 0 ) \xi \in (0,x_0) ξ(0,x0) 使得 f ′ ( ξ ) = 0 f'(\xi) = 0 f(ξ)=0

    ∴ \therefore 题目得证.


  1. 若函数 f ( x ) f(x) f(x) ( a , b ) (a,b) (a,b) 内具有二阶导数,且 f ( x 1 ) = f ( x 2 ) = f ( x 3 ) f(x_1)=f(x_2)=f(x_3) f(x1)=f(x2)=f(x3),其中 a < x 1 < x 2 < x 3 < b a<x_1<x_2<x_3<b a<x1<x2<x3<b,证明:在 ( x 1 , x 3 ) (x_1,x_3) (x1,x3) 内至少有一点 ξ \xi ξ,使得 f ′ ′ ( ξ ) = 0 f''(\xi)=0 f′′(ξ)=0.
  • 证明:

    由题意得 f ( x ) f(x) f(x) [ x 1 , x 2 ] [x_1,x_2] [x1,x2] [ x 2 , x 3 ] [x_2,x_3] [x2,x3] 上连续,在 ( x 1 , x 2 ) (x_1,x_2) (x1,x2) ( x 2 , x 3 ) (x_2,x_3) (x2,x3) 内可导.

    根据罗尔定理,存在 ξ 1 ∈ ( x 1 , x 2 ) \xi_1\in (x_1,x_2) ξ1(x1,x2) ξ 2 ∈ ( x 2 , x 3 ) \xi_2\in(x_2,x_3) ξ2(x2,x3) 使得 f ′ ( ξ 1 ) = f ′ ( ξ 2 ) = 0 f'(\xi_1)=f'(\xi_2)=0 f(ξ1)=f(ξ2)=0

    ∵ f ′ ( x ) \because f'(x) f(x) [ ξ 1 , ξ 2 ] [\xi_1,\xi_2] [ξ1,ξ2] 上连续,在 ( ξ 1 , ξ 2 ) (\xi_1,\xi_2) (ξ1,ξ2) 内可导

    ∴ \therefore 根据罗尔定理,存在 ξ ∈ ( ξ 1 , ξ 2 ) ⊂ ( x 1 , x 3 ) \xi\in(\xi_1,\xi_2)\subset (x_1,x_3) ξ(ξ1,ξ2)(x1,x3) 使得 f ′ ′ ( ξ ) = 0 f''(\xi)=0 f′′(ξ)=0

    ∴ \therefore 题目得证.


  1. a > b > 0 a>b>0 a>b>0 n > 1 n>1 n>1,证明: n b n − 1 ( a − b ) < a n − b n < n a n − 1 ( a − b ) nb^{n-1}(a-b)<a^n-b^n<na^{n-1}(a-b) nbn1(ab)<anbn<nan1(ab).
  • 证明:

    f ( x ) = x n f(x)=x^n f(x)=xn

    ∵ f ( x ) \because f(x) f(x) 在区间 [ b , a ] [b,a] [b,a] 上连续,在区间 ( b , a ) (b,a) (b,a) 内可导

    ∴ \therefore 根据拉格朗日中值定理得, ∃ ξ ∈ ( b , a ) \exist \xi\in(b,a) ξ(b,a),使得 f ′ ( ξ ) = f ( a ) − f ( b ) a − b f'(\xi)=\frac{f(a)-f(b)}{a-b} f(ξ)=abf(a)f(b)

    ∴ n ξ n − 1 = a n − b n a − b \therefore n\xi^{n-1}=\frac{a^n-b^n}{a-b} nξn1=abanbn ( a − b ) n ξ n − 1 = a n − b n (a-b)n\xi^{n-1}=a^n-b^n (ab)nξn1=anbn

    ∵ b < ξ < a \because b<\xi<a b<ξ<a

    ∴ n b n − 1 ( a − b ) < n ξ n − 1 ( a − b ) < n a n − 1 ( a − b ) \therefore nb^{n-1}(a-b)<n\xi^{n-1}(a-b)<na^{n-1}(a-b) nbn1(ab)<nξn1(ab)<nan1(ab)

    ∴ n b n − 1 ( a − b ) < a n − b n < n a n − 1 ( a − b ) \therefore nb^{n-1}(a-b)<a^n-b^n<na^{n-1}(a-b) nbn1(ab)<anbn<nan1(ab)


  1. a > b > 0 a>b>0 a>b>0 ,证明: a − b a < l n a b < a − b b \frac{a-b}{a}<ln\frac{a}{b}<\frac{a-b}{b} aab<lnba<bab.
  • 证明:

    f ( x ) = l n x f(x)=lnx f(x)=lnx

    ∵ f ( x ) \because f(x) f(x) 在区间 [ b , a ] [b,a] [b,a] 上连续,在区间 ( b , a ) (b,a) (b,a) 内可导

    ∴ \therefore 根据拉格朗日中值定理得, ∃ ξ ∈ ( b , a ) \exist \xi \in(b, a) ξ(b,a),使得 f ′ ( ξ ) = f ( a ) − f ( b ) a − b f'(\xi)=\frac{f(a)-f(b)}{a-b} f(ξ)=abf(a)f(b)

    ∴ 1 ξ = l n a − l n b a − b \therefore \frac{1}{\xi}=\frac{lna-lnb}{a-b} ξ1=ablnalnb

    ∵ b < ξ < a \because b<\xi<a b<ξ<a

    ∴ 1 a < 1 ξ < 1 b \therefore \frac{1}{a}<\frac{1}{\xi}<\frac{1}{b} a1<ξ1<b1

    ∴ 1 a < l n a − l n b a − b < 1 b \therefore \frac{1}{a}<\frac{lna-lnb}{a-b}<\frac{1}{b} a1<ablnalnb<b1

    ∴ a − b a < l n a b < 1 b \therefore \frac{a-b}{a}<ln\frac{a}{b}<\frac{1}{b} aab<lnba<b1


  1. 证明下列不等式:

(1) ∣ a r c t a n a − a r c t a n b ∣ ≤ ∣ a − b ∣ |arctana-arctanb|\leq |a-b| arctanaarctanbab

(2) 当 x > 1 x>1 x>1 时, e x > e ⋅ x e^x>e\cdot x ex>ex

  • 证明:

  • (1)

    f ( x ) = a r c t a n x f(x)=arctanx f(x)=arctanx

    根据拉格朗日中值定理, ∃ ξ ∈ ( a , b ) \exist \xi \in (a,b) ξ(a,b),使得 f ′ ( ξ ) = f ( b ) − f ( a ) b − a f'(\xi)=\frac{f(b)-f(a)}{b-a} f(ξ)=baf(b)f(a)

    1 1 + ξ 2 = a r c t a n b − a r c t a n a b − a \frac{1}{1+\xi^2}=\frac{arctanb-arctana}{b-a} 1+ξ21=baarctanbarctana

    ∴ ∣ b − a 1 + ξ 2 ∣ = ∣ a r c t a n b − a r c t a n a ∣ \therefore \begin{vmatrix}\frac{b-a}{1+\xi^2}\end{vmatrix}=\begin{vmatrix}arctanb-arctana\end{vmatrix} 1+ξ2ba = arctanbarctana

    ∵ 1 + ξ 2 ≥ 1 \because 1+\xi^2\geq 1 1+ξ21

    ∴ ∣ b − a 1 + ξ 2 ∣ ≥ ∣ b − a ∣ \therefore \begin{vmatrix}\frac{b-a}{1+\xi^2}\end{vmatrix}\geq \begin{vmatrix}b-a\end{vmatrix} 1+ξ2ba ba

    ∴ ∣ a r c t a n a − a r c t a n b ∣ ≤ ∣ a − b ∣ \therefore \begin{vmatrix}arctana-arctanb\end{vmatrix}\leq \begin{vmatrix}a-b\end{vmatrix} arctanaarctanb ab

  • (2)

    f ( x ) = e x f(x)=e^x f(x)=ex

    根据拉格朗日中值定理, ∃ ξ ∈ ( 1 , x ) \exist \xi\in(1,x) ξ(1,x),使得 f ′ ( ξ ) = f ( x ) − f ( 1 ) x − 1 f'(\xi)=\frac{f(x)-f(1)}{x-1} f(ξ)=x1f(x)f(1)

    e ξ = e x − e x − 1 e^\xi=\frac{e^x-e}{x-1} eξ=x1exe

    ∴ ( x − 1 ) e ξ = e x − e \therefore (x-1)e^\xi=e^x-e (x1)eξ=exe

    ∵ ξ > 1 \because \xi>1 ξ>1

    ∴ ( x − 1 ) e ξ > ( x − 1 ) e \therefore (x-1)e^\xi>(x-1)e (x1)eξ>(x1)e

    ∴ e x − e > e ⋅ x − e \therefore e^x-e>e\cdot x-e exe>exe

    ∴ e x > e ⋅ x \therefore e^x>e\cdot x ex>ex


  1. 证明方程 x 5 + x − 1 = 0 x^5+x-1=0 x5+x1=0 只有一个正根.
  • 证明:

    f ( x ) = x 5 + x − 1 f(x)=x^5+x-1 f(x)=x5+x1

    假设 x 5 + x − 1 = 0 x^5+x-1=0 x5+x1=0 的正根数量大于1.

    ∴ ∃ x 1 > x 2 > 0 \therefore \exist x_1>x_2>0 x1>x2>0 是其中两个正根

    ∵ f ( x ) \because f(x) f(x) [ x 2 , x 1 ] [x_2,x_1] [x2,x1] 上连续,在 ( x 2 , x 1 ) (x_2,x_1) (x2,x1) 内可导

    ∴ \therefore 根据罗尔定理, ∃ ξ ∈ ( x 2 , x 1 ) \exist \xi\in (x_2,x_1) ξ(x2,x1) 使得 f ′ ( ξ ) = 0 f'(\xi)=0 f(ξ)=0

    但是 f ′ ( x ) = 5 x 4 + 1 > 0 f'(x)=5x^4+1>0 f(x)=5x4+1>0,与 f ′ ( ξ ) = 0 f'(\xi)=0 f(ξ)=0 矛盾,假设不成立.

    ∴ f ( x ) = 0 \therefore f(x)=0 f(x)=0 最多有一个正根

    ∵ f ( 0 ) = − 1 , f ( 1 ) = 1 \because f(0)=-1, f(1)=1 f(0)=1,f(1)=1

    ∴ ∃ ξ 1 ∈ ( 0 , 1 ) \therefore \exist \xi_1\in(0,1) ξ1(0,1) 使得 f ( ξ 1 ) = 0 f(\xi_1)=0 f(ξ1)=0


  1. f ( x ) f(x) f(x) g ( x ) g(x) g(x) [ a , b ] [a,b] [a,b] 上连续,在 ( a , b ) (a,b) (a,b) 内可导,证明在 ( a , b ) (a,b) (a,b) 内有一点 ξ \xi ξ,使 ∣ f ( a ) f ( b ) g ( a ) g ( b ) ∣ = ( b − a ) ∣ f ( a ) f ′ ( ξ ) g ( a ) g ′ ( ξ ) ∣ \begin{vmatrix}f(a)& f(b)\\g(a) & g(b)\end{vmatrix}=(b-a)\begin{vmatrix}f(a) & f'(\xi)\\g(a) & g'(\xi)\end{vmatrix} f(a)g(a)f(b)g(b) =(ba) f(a)g(a)f(ξ)g(ξ) .
  • 证明:

    F ( x ) = ∣ f ( a ) f ( x ) g ( a ) g ( x ) ∣ = f ( a ) g ( x ) − f ( x ) g ( a ) F(x)=\begin{vmatrix}f(a) & f(x)\\ g(a) & g(x)\end{vmatrix}=f(a)g(x)-f(x)g(a) F(x)= f(a)g(a)f(x)g(x) =f(a)g(x)f(x)g(a)

    F ′ ( x ) = f ( a ) g ′ ( x ) − g ( a ) f ′ ( x ) = ∣ f ( a ) f ′ ( x ) g ( a ) g ′ ( x ) ∣ F'(x)=f(a)g'(x)-g(a)f'(x)=\begin{vmatrix}f(a)&f'(x)\\g(a)&g'(x)\end{vmatrix} F(x)=f(a)g(x)g(a)f(x)= f(a)g(a)f(x)g(x)

    ∵ f ( x ) , g ( x ) \because f(x),g(x) f(x),g(x) [ a , b ] [a,b] [a,b] 上连续,在 ( a , b ) (a,b) (a,b) 内可导

    ∴ F ( x ) \therefore F(x) F(x) [ a , b ] [a,b] [a,b] 上连续,在 ( a , b ) (a,b) (a,b) 内可导

    根据拉格朗日中值定理, ∃ ξ ∈ ( a , b ) \exist \xi\in(a,b) ξ(a,b),使得 F ′ ( ξ ) = F ( b ) − F ( a ) b − a F'(\xi)=\frac{F(b)-F(a)}{b-a} F(ξ)=baF(b)F(a)

    ∴ \therefore ∣ f ( a ) f ( b ) g ( a ) g ( b ) ∣ = ( b − a ) ∣ f ( a ) f ′ ( ξ ) g ( a ) g ′ ( ξ ) ∣ \begin{vmatrix}f(a)& f(b)\\g(a) & g(b)\end{vmatrix}=(b-a)\begin{vmatrix}f(a) & f'(\xi)\\g(a) & g'(\xi)\end{vmatrix} f(a)g(a)f(b)g(b) =(ba) f(a)g(a)f(ξ)g(ξ) .


  1. 证明:若函数 f ( x ) f(x) f(x) ( − ∞ , + ∞ ) (-\infty, +\infty) (,+) 内满足关系式 f ′ ( x ) = f ( x ) f'(x)=f(x) f(x)=f(x),且 f ( 0 ) = 1 f(0)=1 f(0)=1,则 f ( x ) = e x f(x)=e^x f(x)=ex.
  • 证明:

    F ( x ) = f ( x ) e x F(x)=\frac{f(x)}{e^x} F(x)=exf(x)

    F ′ ( x ) = f ′ ( x ) e x − f ( x ) e x e 2 x = f ′ ( x ) − f ( x ) e x = 0 F'(x)=\frac{f'(x)e^x-f(x)ex}{e^{2x}}=\frac{f'(x)-f(x)}{e^x}=0 F(x)=e2xf(x)exf(x)ex=exf(x)f(x)=0

    ∴ F ( x ) \therefore F(x) F(x) 为常数

    x = 0 x=0 x=0,得 F ( 0 ) = f ( 0 ) e 0 = 1 F(0)=\frac{f(0)}{e^0}=1 F(0)=e0f(0)=1

    ∴ F ( x ) \therefore F(x) F(x) 恒等于1

    ∴ f ( x ) = e x \therefore f(x)=e^x f(x)=ex


  1. 设函数 y = f ( x ) y=f(x) y=f(x) x = 0 x=0 x=0 的某邻域内具有 n n n 阶导数,且 f ( 0 ) = f ′ ( 0 ) = ⋯ = f ( n − 1 ) ( 0 ) = 0 f(0)=f'(0)=\cdots =f^{(n-1)}(0)=0 f(0)=f(0)==f(n1)(0)=0,试用柯西中值定理证明: f ( x ) x n = f ( n ) ( θ x ) n ! ( 0 < θ < 1 ) \frac{f(x)}{x^n}=\frac{f^{(n)}(\theta x)}{n!}(0<\theta <1) xnf(x)=n!f(n)(θx)(0<θ<1).
  • 证明:

    ∵ y = f ( x ) \because y=f(x) y=f(x) x n x^n xn x = 0 x=0 x=0 的某邻域内具有 n n n 阶导数

    ∴ \therefore 由柯西中值定理可得, ∃ ξ 1 ∈ ( 0 , x ) \exist \xi_1\in(0,x) ξ1(0,x) 使得 f ( x ) − f ( 0 ) x n − 0 n = f ( x ) x n = f ′ ( ξ 1 ) n ξ 1 n − 1 \frac{f(x)-f(0)}{x^n-0^n}=\frac{f(x)}{x^n}=\frac{f'(\xi_1)}{n\xi_1^{n-1}} xn0nf(x)f(0)=xnf(x)=nξ1n1f(ξ1)

    ∵ f ′ ( x ) \because f'(x) f(x) n x n − 1 nx^{n-1} nxn1 满足柯西中值定理得前提条件

    ∴ ∃ ξ 2 ∈ ( 0 , ξ 1 ) \therefore \exist \xi_2\in(0, \xi_1) ξ2(0,ξ1),使得 f ′ ( ξ 1 ) − f ′ ( 0 ) n ξ 1 n − 1 − n 0 n − 1 = f ′ ( ξ 1 ) n ξ 1 n − 1 = f ′ ′ ( ξ 2 ) n ( n − 1 ) ξ 2 n − 2 \frac{f'(\xi_1)-f'(0)}{n\xi_1^{n-1}-n0^{n-1}}=\frac{f'(\xi_1)}{n\xi_1^{n-1}}=\frac{f''(\xi_2)}{n(n-1)\xi_2^{n-2}} nξ1n1n0n1f(ξ1)f(0)=nξ1n1f(ξ1)=n(n1)ξ2n2f′′(ξ2)

    ⋯ \cdots

    ∴ ∃ ξ n ∈ ( 0 , ξ n − 1 ) \therefore \exist \xi_{n}\in(0,\xi_{n-1}) ξn(0,ξn1),使得 f ( n − 1 ) ( ξ n − 1 ) − f ( n − 1 ) ( 0 ) n ! ξ n − 1 − n ! 0 = f ( n − 1 ) ( ξ n − 1 ) n ! ξ n − 1 = f ( n ) ( ξ n ) n ! \frac{f^{(n-1)}(\xi_{n-1})-f^{(n-1)}(0)}{n!\xi_{n-1}-n!0}=\frac{f^{(n-1)}(\xi_{n-1})}{n!\xi_{n-1}}=\frac{f^{(n)}(\xi_n)}{n!} n!ξn1n!0f(n1)(ξn1)f(n1)(0)=n!ξn1f(n1)(ξn1)=n!f(n)(ξn)

    ∴ f ( x ) x n = f ( n ) ( ξ n ) n ! \therefore \frac{f(x)}{x^n}=\frac{f^{(n)}(\xi_n)}{n!} xnf(x)=n!f(n)(ξn)

    ∵ ξ n ∈ ( 0 , ξ n − 1 ) ⊂ ( 0 , x ) \because \xi_n\in(0,\xi_{n-1})\subset(0,x) ξn(0,ξn1)(0,x)

    ∴ ∃ θ ∈ ( 0 , 1 ) \therefore \exist \theta\in(0,1) θ(0,1) 使得 ξ n = θ x \xi_n=\theta x ξn=θx

    ∴ f ( x ) x n = f ( n ) ( θ x ) n ! ( 0 < θ < 1 ) \therefore \frac{f(x)}{x^n}=\frac{f^{(n)}(\theta x)}{n!}(0<\theta <1) xnf(x)=n!f(n)(θx)(0<θ<1)


  • 学习资料
    1.《高等数学(第六版)》 ,同济大学数学系 编

  • 感谢您的关注,更欢迎您的批评和指正!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/2249659.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【vue-router】vue-router如何实现动态路由

✨✨ 欢迎大家来到景天科技苑✨✨ &#x1f388;&#x1f388; 养成好习惯&#xff0c;先赞后看哦~&#x1f388;&#x1f388; &#x1f3c6; 作者简介&#xff1a;景天科技苑 &#x1f3c6;《头衔》&#xff1a;大厂架构师&#xff0c;华为云开发者社区专家博主&#xff0c;…

Web前端技术浅谈CooKieAG网址漏洞与XSS攻防策略

随着互联网技术的飞速发展,Web前端开发已经成为构建网站和应用程序的重要环节。然而,Web前端开发中存在许多安全问题,这些问题不仅会影响用户体验,还可能给企业和个人带来严重的经济损失。但是web前端安全方面技术包含的东西较多&#xff0c;我们这里着重聊一聊关于XSS 的危害与…

关于VNC连接时自动断联的问题

在服务器端打开VNC Server的选项设置对话框&#xff0c;点左边的“Expert”&#xff08;专家&#xff09;&#xff0c;然后找到“IdleTimeout”&#xff0c;将数值设置为0&#xff0c;点OK关闭对话框。搞定。 注意,服务端有两个vnc服务,这俩都要设置ide timeout为0才行 附件是v…

51c自动驾驶~合集35

我自己的原文哦~ https://blog.51cto.com/whaosoft/12206500 #纯视觉方案的智驾在大雾天还能用吗&#xff1f; 碰上大雾天气&#xff0c;纯视觉方案是如何识别车辆和障碍物的呢&#xff1f; 如果真的是纯纯的&#xff0c;特头铁的那种纯视觉方案的话。 可以简单粗暴的理解为…

计算分数的浮点数值

计算分数的浮点数值 C语言代码C 代码Java代码Python代码 &#x1f490;The Begin&#x1f490;点点关注&#xff0c;收藏不迷路&#x1f490; 两个整数a和b分别作为分子和分母&#xff0c;既分数 a/b &#xff0c;求它的浮点数值&#xff08;双精度浮点数&#xff0c;保留小数点…

戴尔电脑安装centos7系统遇到的问题

1&#xff0c;找不到启动盘&#xff08;Operation System Loader signature found in SecureBoot exclusion database(‘dbx’).All bootable devices failed secure Boot Verification&#xff09; 关闭 Secure Boot&#xff08;推荐&#xff09;&#xff1a; 进入 BIOS/UEFI…

简单获取json预览

data: JSON 数据。 collapsedNodeLength: 对象或数组的长度超过此阈值时会折叠 deep: json路径深度超过此值时会折叠 showLineNumber: 显示左侧行号 showIcon: 显示图标。 virtual: 使用虚拟滚动 height: 使用虚拟滚动时列表的高度 itemHeight: 使用虚拟滚动时节点的高…

ChatGPT/AI辅助网络安全运营之-数据解压缩

在网络安全的世界中&#xff0c;经常会遇到各种压缩的数据&#xff0c;比如zip压缩&#xff0c;比如bzip2压缩&#xff0c;gzip压缩&#xff0c;xz压缩&#xff0c;7z压缩等。网络安全运营中需要对这些不同的压缩数据进行解压缩&#xff0c;解读其本意&#xff0c;本文将探索一…

Cookie概念和API

Cookie概念 Cookie在HTTP中它表示服务器送给客户端浏览器的小甜点。其实Cookie就是一个键和一个值构成的&#xff0c;随着服务器端的响应发送给客户端浏览器。然后客户端浏览器会把Cookie保存起来&#xff0c;当下一次再访问服务器时把Cookie再发送给服务器。 Cookie是由服务器…

qt音频实战

一、Qt音频基础知识 1、QT multimedia 2、QMediaPlayer类&#xff1a;媒体播放器&#xff0c;主要用于播放歌曲、网络收音机等功能。 3、QMediaPlaylist类&#xff1a;专用于播放媒体内容的列表。 二、界面设计 三、代码 #include "mainwindow.h" #include "…

GDPU Android移动应用 数据存储

又是学到了数据持久化。 登录界面 题外话&#xff1a;有无动画大佬带带呀&#xff0c;前端移动端可免( •̀ .̫ •́ )&#xff0c;合作可私信哦。 1.用户登陆和“记住我”功能 该内容拥有两个Activity活动视图&#xff1a; &#xff08;1&#xff09;LoginActivity&#x…

Java算法OJ(11)双指针练习

目录 1.前言 2.正文 2.1存在重复数字 2.1.1题目 2.1.2解法一代码 解析&#xff1a; 2.1.3解法二代码 解析&#xff1a; 2.2存在重复数字plus 2.2.1题目 2.2.2代码 2.2.3解析 3.小结 1.前言 哈喽大家好吖&#xff0c;今天来给大家分享双指针算法的相关练习&…

天锐绿盾加密软件与Ping32联合打造企业级安全保护系统,确保敏感数据防泄密与加密管理

随着信息技术的飞速发展&#xff0c;企业在日常经营过程中产生和处理的大量敏感数据&#xff0c;面临着越来越复杂的安全威胁。尤其是在金融、医疗、法律等领域&#xff0c;数据泄漏不仅会造成企业巨大的经济损失&#xff0c;还可能破坏企业的信誉和客户信任。因此&#xff0c;…

Git上传本地项目到远程仓库(gitee/github)

目录 序言一、创建git本地版本库二、连接远程仓库&#xff08;以gitee为例&#xff09;三、将项目提交到git&#xff08;本地&#xff09;版本库1.由工作区添加到暂存区2.由暂存区添加到版本库 四、将代码由本地仓库上传到 gitee远程仓库1.获取远程库与本地同步2.把当前分支 ma…

C7.【C++ Cont】范围for的使用和auto关键字

目录 1.知识回顾 2.范围for 格式 使用 运行结果 运行过程 范围for的本意 作用 注意 3.底层分析范围for的执行过程 反汇编代码 分析 4.auto关键字 格式 基本用法 在范围for中使用auto 1.知识回顾 for循环的使用参见25.【C语言】循环结构之for文章 2.范围for C…

【仓颉学习02】编译后运行报错:“由于找不到libcanjie-runtime.dll,无法继续执行代码。重新安装程序可能会解决此问题。”

敲了段《仓颉语言实践》&#xff08;张磊著&#xff09;书上的代码&#xff0c;如下&#xff1a; package test //coding:utf-8struct Employee{var name:Stringprivate var realSalary:Float64public Employee(name:String,realSalary:Float64){this.namenamethis.realSalary…

AI智算-正式上架GPU资源监控概览 Grafana Dashboard

下载链接 https://grafana.com/grafana/dashboards/22424-ai-gpu-20241127/

LINUX2.4.x网络安全框架

在分析LINUX2.4.x网络安全的实现之前先简介一下它里面包括的几个重要概念&#xff1a;netfilter、iptables、match、target、nf_sockopt_ops、网络安全功能点的实现。详解会在后面的分析中讲到。 首先是netfilter&#xff0c;它定义了协议栈中的检查点和在检查点上引用的数据结…

【博主推荐】C# Winform 拼图小游戏源码详解(附源码)

文章目录 前言摘要1.设计来源拼图小游戏讲解1.1 拼图主界面设计1.2 一般难度拼图效果1.3 普通难度拼图效果1.4 困难难度拼图效果1.5 地域难度拼图效果1.6 内置五种拼图效果 2.效果和源码2.1 动态效果2.2 源代码 源码下载结束语 前言 在数字浪潮汹涌澎湃的时代&#xff0c;程序开…

pytorch错误: 找不到指定的模块 Error loading “torch_python.dll“ or one of its dependencies

省流&#xff1a;python(3.12.7) 和 pytorch(2.4.0)版本不配套 问题 起因是看到了这本书《Build a Large Language Model (From Scratch) 》&#xff0c;是2024年9月新出的&#xff0c; 作者 Sebastian Raschka&#xff0c;想要按照作者给出的步骤来手搓一个大语言模型&#…