Bootstrap

【高等数学】极限与连续 (理论纯享版)

数列的极限

  • ∃ A \exists A A, ∀ ε > 0 \forall \varepsilon>0 ε>0, ∃ N ∈ N \exists N\in \mathbf{N} NN, ∀ n > N \forall n>N n>N ∣ x n − A ∣ < ε |x_n-A|<\varepsilon xnA<ε, 则称数列 { x n } \{x_n\} {xn} 收敛, 记 lim ⁡ n → ∞ x n = A \lim\limits_{n\to \infty} x_n=A nlimxn=A.

函数在一点处的极限

  • ∃ A \exists A A, ∀ ε > 0 \forall \varepsilon>0 ε>0, ∃ δ > 0 \exists \delta>0 δ>0, ∀ x ∈ ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) \forall x\in (x_0-\delta,x_0)\cup (x_0,x_0+\delta) x(x0δ,x0)(x0,x0+δ), ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon f(x)A<ε, 则称函数 f f f x 0 x_0 x0 处收敛. A A A未必等于 f ( x 0 ) f(x_0) f(x0), 记 lim ⁡ x → x 0 f ( x ) = A \lim\limits_{x\to x_0} f(x)=A xx0limf(x)=A.

函数在无穷远处的极限

  • ∃ A \exists A A, ∀ X > 0 \forall X>0 X>0, ∃ X > 0 \exists X>0 X>0, ∀ x ∈ ( − ∞ , − X ) ∪ ( X , + ∞ ) \forall x\in (-\infty,-X)\cup (X,+\infty) x(,X)(X,+), ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon f(x)A<ε, 称函数 f f f 在无穷远收敛.

极限概念表

趋势 ε > 0 \varepsilon>0 ε>0 X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) x x x区间满足
x → ∞ x\to \infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (,X)(X,+) ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon f(x)A<ε
x → + ∞ x\to +\infty x+ ∀ \forall ∃ \exists ∀ \forall ( X , + ∞ ) (X,+\infty) (X,+) ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon f(x)A<ε
x → − ∞ x\to -\infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) (-\infty,-X) (,X) ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon f(x)A<ε
x → x 0 x\to x_0 xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0δ,x0)(x0,x0+δ) ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon f(x)A<ε
x → x 0 + x\to x_0^+ xx0+ ∀ \forall ∃ \exists ∀ \forall ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon f(x)A<ε
x → x 0 − x\to x_0^- xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0δ,x0) ∣ f ( x ) − A ∣ < ε |f(x)-A|<\varepsilon f(x)A<ε
极限
数列的极限
函数趋于x极限
函数趋于x左极限
函数趋于x右极限
函数趋于无穷极限
函数趋于负无穷极限
函数趋于正无穷极限

无穷小量

在一点处无穷小量

  • ∀ ε > 0 \forall \varepsilon>0 ε>0, ∃ δ > 0 \exists \delta>0 δ>0, ∀ x ∈ ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) \forall x\in (x_0-\delta,x_0)\cup (x_0,x_0+\delta) x(x0δ,x0)(x0,x0+δ), ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon f(x)<ε, 则称函数 f f f x 0 x_0 x0无穷小量. 记 f ( x ) = o ( x − x 0 ) f(x)=o(x-x_0) f(x)=o(xx0).
    计算 lim ⁡ x → 0 x + x 2 \lim\limits_{x\to 0} x+x^2 x0limx+x2的无穷小量
    `## 在无穷远处无穷小量
  • ∀ ε > 0 \forall \varepsilon>0 ε>0, ∃ X > 0 \exists X>0 X>0, ∀ x , ∣ x ∣ > X \forall x, |x|>X x,x>X, ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon f(x)<ε, 则称函数 f f f 无穷处是 无穷小量.

无穷小量概念表

趋势 ε > 0 \varepsilon>0 ε>0 X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) x x x区间满足
x → ∞ x\to \infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (,X)(X,+) ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon f(x)<ε
x → + ∞ x\to +\infty x+ ∀ \forall ∃ \exists ∀ \forall ( X , + ∞ ) (X,+\infty) (X,+) ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon f(x)<ε
x → − ∞ x\to -\infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) (-\infty,-X) (,X) ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon f(x)<ε
x → x 0 x\to x_0 xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0δ,x0)(x0,x0+δ) ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon f(x)<ε
x → x 0 + x\to x_0^+ xx0+ ∀ \forall ∃ \exists ∀ \forall ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon f(x)<ε
x → x 0 − x\to x_0^- xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0δ,x0) ∣ f ( x ) ∣ < ε |f(x)|<\varepsilon f(x)<ε

无穷小量的比较

  • α \alpha α β \beta β高阶无穷小量 lim ⁡ x α ( x ) β ( x ) = 0 \lim_{x} \frac{\alpha(x)}{\beta(x)} =0 limxβ(x)α(x)=0
  • α \alpha α β \beta β低阶无穷小量 lim ⁡ x α ( x ) β ( x ) = ∞ \lim_{x} \frac{\alpha(x)}{\beta(x)} =\infty limxβ(x)α(x)=
  • α \alpha α β \beta β同阶无穷小量 lim ⁡ x α ( x ) β ( x ) = c ≠ 0 \lim_{x} \frac{\alpha(x)}{\beta(x)} =c\neq 0 limxβ(x)α(x)=c=0
  • α \alpha α β \beta β等价无穷小量 lim ⁡ x α ( x ) β ( x ) = 1 \lim_{x} \frac{\alpha(x)}{\beta(x)} =1 limxβ(x)α(x)=1

等价无穷小量列举

  • x ∼ sin ⁡ ( x ) ∼ tan ⁡ ( x ) ∼ ln ⁡ ( x + 1 ) ∼ e x − 1 ‾   ∼ arcsin ⁡ ( x ) ∼ arctan ⁡ ( x ) x\sim \sin(x)\sim \tan(x)\sim \ln(x+1)\sim \underline{e^x-1}~\sim \arcsin(x)\sim\arctan(x) xsin(x)tan(x)ln(x+1)ex1 arcsin(x)arctan(x)
  • x 2 2 ∼ 1 − cos ⁡ ( x ) ‾ ∼ x − ln ⁡ ( 1 + x ) ‾ ∼ e x − 1 − x ‾ \frac{x^2}{2}\sim \underline{1-\cos(x)}\sim \underline{x-\ln(1+x)}\sim \underline{e^x-1-x} 2x21cos(x)xln(1+x)ex1x
  • x 3 2 ∼ sin ⁡ ( x ) ( 1 − cos ⁡ ( x ) ) ‾ ∼ tan ⁡ ( x ) − sin ⁡ ( x ) ‾ \frac{x^3}{2}\sim \underline{\sin(x)(1-\cos(x))}\sim \underline{\tan(x)-\sin(x)} 2x3sin(x)(1cos(x))tan(x)sin(x)
  • x 3 3 ∼ x − arctan ⁡ ( x ) ‾ ∼ tan ⁡ ( x ) − x ‾ \frac{x^3}{3}\sim \underline{x-\arctan(x)}\sim \underline{\tan(x)-x} 3x3xarctan(x)tan(x)x
  • x 3 6 ∼ x − sin ⁡ ( x ) ‾ ∼ arcsin ⁡ ( x ) − x ‾ ∼ ln ⁡ ( 1 + x ) + 1 − e x ‾ \frac{x^3}{6}\sim \underline{x-\sin(x)}\sim \underline{\arcsin(x)-x}\sim\underline{\ln(1+x)+1-e^x} 6x3xsin(x)arcsin(x)xln(1+x)+1ex
  • ( 1 + x ) α − 1 ‾ ∼ α x \underline{(1+x)^\alpha-1}\sim \alpha x (1+x)α1αx
  • 1 + x − 1 ‾ ∼ x 2 \underline{\sqrt{1+x}-1}\sim \frac{x}{2} 1+x 12x

在一点处无穷大量

  • ∀ M > 0 \forall M>0 M>0, ∃ δ > 0 \exists \delta>0 δ>0, ∀ x ∈ ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) \forall x\in (x_0-\delta,x_0)\cup (x_0,x_0+\delta) x(x0δ,x0)(x0,x0+δ), ∣ f ( x ) ∣ > M |f(x)|>M f(x)>M, 则称函数 f f f x 0 x_0 x0无穷大量. 记 lim ⁡ x → x 0 f ( x ) = ∞ \lim\limits_{x\to x_0}f(x)=\infty xx0limf(x)=.

在无穷远处的正无穷大量

  • ∀ M > 0 \forall M>0 M>0, ∃ δ > 0 \exists \delta>0 δ>0, ∀ x ∈ ( − ∞ , − δ ) ∪ ( δ , + ∞ ) \forall x\in (-\infty, -\delta)\cup (\delta,+\infty) x(,δ)(δ,+), f ( x ) > M f(x)>M f(x)>M, 则称函数 f f f 趋于无穷远处正无穷大量. 记 lim ⁡ x → x 0 f ( x ) = + ∞ \lim\limits_{x\to x_0}f(x)=+\infty xx0limf(x)=+.

无穷大量概念表

趋势 M > 0 M>0 M>0 X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) x x x区间满足
x → ∞ x\to \infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (,X)(X,+) ∣ f ( x ) ∣ > M |f(x)|>M f(x)>M
x → + ∞ x\to +\infty x+ ∀ \forall ∃ \exists ∀ \forall ( X , + ∞ ) (X,+\infty) (X,+) ∣ f ( x ) ∣ > M |f(x)|>M f(x)>M
x → − ∞ x\to -\infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) (-\infty,-X) (,X) ∣ f ( x ) ∣ > M |f(x)|>M f(x)>M
x → x 0 x\to x_0 xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0δ,x0)(x0,x0+δ) ∣ f ( x ) ∣ > M |f(x)|>M f(x)>M
x → x 0 + x\to x_0^+ xx0+ ∀ \forall ∃ \exists ∀ \forall ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) ∣ f ( x ) ∣ > M |f(x)|>M f(x)>M
x → x 0 − x\to x_0^- xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0δ,x0) ∣ f ( x ) ∣ > M |f(x)|>M f(x)>M

正无穷大量概念表

趋势 ε > 0 \varepsilon>0 ε>0 X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) x x x区间满足
x → ∞ x\to \infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (,X)(X,+) f ( x ) > M f(x)>M f(x)>M
x → + ∞ x\to +\infty x+ ∀ \forall ∃ \exists ∀ \forall ( X , + ∞ ) (X,+\infty) (X,+) f ( x ) > M f(x)>M f(x)>M
x → − ∞ x\to -\infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) (-\infty,-X) (,X) f ( x ) > M f(x)>M f(x)>M
x → x 0 x\to x_0 xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0δ,x0)(x0,x0+δ) f ( x ) > M f(x)>M f(x)>M
x → x 0 + x\to x_0^+ xx0+ ∀ \forall ∃ \exists ∀ \forall ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) f ( x ) > M f(x)>M f(x)>M
x → x 0 − x\to x_0^- xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0δ,x0) f ( x ) > M f(x)>M f(x)>M

负无穷大量概念表

趋势 ε > 0 \varepsilon>0 ε>0 X > 0 X>0 X>0, ( δ > 0 ) (\delta>0) (δ>0) x x x区间满足
x → ∞ x\to \infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) ∪ ( X , + ∞ ) (-\infty,-X)\cup(X,+\infty) (,X)(X,+) f ( x ) < − M f(x)<-M f(x)<M
x → + ∞ x\to +\infty x+ ∀ \forall ∃ \exists ∀ \forall ( X , + ∞ ) (X,+\infty) (X,+) f ( x ) < − M f(x)<-M f(x)<M
x → − ∞ x\to -\infty x ∀ \forall ∃ \exists ∀ \forall ( − ∞ , − X ) (-\infty,-X) (,X) f ( x ) < − M f(x)<-M f(x)<M
x → x 0 x\to x_0 xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) ∪ ( x 0 , x 0 + δ ) (x_0-\delta,x_0)\cup(x_0,x_0+\delta) (x0δ,x0)(x0,x0+δ) f ( x ) < − M f(x)<-M f(x)<M
x → x 0 + x\to x_0^+ xx0+ ∀ \forall ∃ \exists ∀ \forall ( x 0 . x 0 + δ ) (x_0. x_0+\delta) (x0.x0+δ) f ( x ) < − M f(x)<-M f(x)<M
x → x 0 − x\to x_0^- xx0 ∀ \forall ∃ \exists ∀ \forall ( x 0 − δ , x 0 ) (x_0-\delta,x_0) (x0δ,x0) f ( x ) < − M f(x)<-M f(x)<M

负无穷大量概念表

极限的性质

  • 保加法, 减法, 乘法, 分母不为0的除法
  • 保号性, 有界性, 连续函数的复合,
  • 夹逼原理: lim ⁡ a ( x ) = lim ⁡ b ( x ) = A \lim a(x)=\lim b(x)=A lima(x)=limb(x)=A, a ( x ) ≤ f ( x ) ≤ b ( x ) a(x)\leq f(x)\leq b(x) a(x)f(x)b(x) lim ⁡ f ( x ) = A \lim f(x)=A limf(x)=A
  • 单调有界收敛准则
    ∃ M \exists M M, ∃ N \exists N N, ∀ n ≥ N \forall n\geq N nN, x n ≥ x n + 1 x_n\geq x_{n+1} xnxn+1 x n ≥ M x_n\geq M xnM { x n } \{x_n\} {xn} 有极限。(单调递减有下界)
    ∃ M \exists M M, ∃ N \exists N N, ∀ n ≥ N \forall n\geq N nN, x n ≤ x n + 1 x_n\leq x_{n+1} xnxn+1 x n ≤ M x_n\leq M xnM { x n } \{x_n\} {xn} 有极限。(单调递增有上界)

函数的连续性

定义

  • 定义1 ∀ ε > 0 \forall \varepsilon>0 ε>0, ∃ δ > 0 \exists \delta >0 δ>0, ∀ x ∈ U ( x 0 , δ ) \forall x\in U(x_0,\delta) xU(x0,δ), ∣ f ( x ) − f ( x 0 ) ∣ < ε |f(x)-f(x_0)|<\varepsilon f(x)f(x0)<ε f f f x 0 x_0 x0连续
  • 定义2 lim ⁡ x → x 0 f ( x ) = f ( x 0 ) \lim\limits_{x\to x_0} f(x)=f(x_0) xx0limf(x)=f(x0) f f f x 0 x_0 x0连续
  • 定义3 lim ⁡ Δ x → 0 Δ f ( x ) = 0 \lim\limits_{\Delta x\to 0} \Delta f(x)=0 Δx0limΔf(x)=0 f f f x 0 x_0 x0连续
  • 定义 ∀ x ∈ A \forall x\in A xA, f f f x x x 处连续, 则称 f f f A A A连续

左连续

  • 定义1 ∀ ε > 0 \forall \varepsilon>0 ε>0, ∃ δ > 0 \exists \delta >0 δ>0, ∀ x ∈ U ( x 0 − δ , x 0 ) \forall x\in U(x_0-\delta,x_0) xU(x0δ,x0), ∣ f ( x ) − f ( x 0 ) ∣ < ε |f(x)-f(x_0)|<\varepsilon f(x)f(x0)<ε f f f x 0 x_0 x0左连续
  • 定义2 lim ⁡ x → x 0 − f ( x ) = f ( x 0 ) \lim\limits_{x\to x_0^-} f(x)=f(x_0) xx0limf(x)=f(x0) f f f x 0 x_0 x0左连续

右连续

  • 定义1 ∀ ε > 0 \forall \varepsilon>0 ε>0, ∃ δ > 0 \exists \delta >0 δ>0, ∀ x ∈ U ( x 0 , x 0 + δ ) \forall x\in U(x_0,x_0+\delta) xU(x0,x0+δ), ∣ f ( x ) − f ( x 0 ) ∣ < ε |f(x)-f(x_0)|<\varepsilon f(x)f(x0)<ε f f f x 0 x_0 x0右连续
  • 定义2 lim ⁡ x → x 0 + f ( x ) = f ( x 0 ) \lim\limits_{x\to x_0^+} f(x)=f(x_0) xx0+limf(x)=f(x0) f f f x 0 x_0 x0右连续

性质: f 1 f_1 f1 D ( f 1 ) D(f_1) D(f1) 连续, f 2 f_2 f2 D ( f 2 ) D(f_2) D(f2) 连续

  • 加法封闭: f 1 ( x ) + f 2 ( x ) , x ∈ D ( f 1 ) ∩ D ( f 2 ) f_1(x)+f_2(x), x\in D(f_1)\cap D(f_2) f1(x)+f2(x),xD(f1)D(f2) 连续
  • 减法封闭: f 1 ( x ) − f 2 ( x ) , x ∈ D ( f 1 ) ∩ D ( f 2 ) f_1(x)-f_2(x), x\in D(f_1)\cap D(f_2) f1(x)f2(x),xD(f1)D(f2) 连续
  • 乘法封闭: f 1 ( x ) ⋅ f 2 ( x ) , x ∈ D ( f 1 ) ∩ D ( f 2 ) f_1(x)\cdot f_2(x), x\in D(f_1)\cap D(f_2) f1(x)f2(x),xD(f1)D(f2) 连续
  • 除法封闭: f 1 ( x ) f 2 ( x ) , x ∈ D ( f 1 ) ∩ D ( f 2 ) \frac{f_1(x)}{f_2(x)}, x\in D(f_1)\cap D(f_2) f2(x)f1(x),xD(f1)D(f2) 连续 ( f 2 ( x ) ≠ 0 f_2(x)\neq 0 f2(x)=0)
  • 复合封闭: f 1 ( f 2 ( x ) ) f_1(f_2(x)) f1(f2(x)), x ∈ D ( f 1 ∘ f 2 ) x\in D(f_1\circ f_2) xD(f1f2) 连续
  • 反函数封闭: f f f D ( f ) D(f) D(f) 上单调, f − 1 f^{-1} f1 y 0 y_0 y0 处连续当且仅当 f f f x 0 x_0 x0 处连续. ( y 0 = f ( x 0 ) y_0=f(x_0) y0=f(x0))

间断点

第一类间断点

  • 可去间断点: lim ⁡ x → x 0 − f ( x ) = lim ⁡ x → x 0 + f ( x ) ≠ f ( x 0 ) \lim\limits_{x\to x_0^-} f(x)=\lim\limits_{x\to x_0^+} f(x)\neq f(x_0) xx0limf(x)=xx0+limf(x)=f(x0), f ( x ) = sin ⁡ ( x ) x , x → 0 f(x)=\frac{\sin(x)}{x}, x\to 0 f(x)=xsin(x),x0.
  • 跳跃间断点: lim ⁡ x → x 0 − f ( x ) ≠ lim ⁡ x → x 0 + f ( x ) \lim\limits_{x\to x_0^-} f(x)\neq \lim\limits_{x\to x_0^+} f(x) xx0limf(x)=xx0+limf(x), f ( x ) = a r c t a n ( 1 x ) , x → 0 f(x)=\mathrm{arctan}(\frac{1}{x}), x\to 0 f(x)=arctan(x1),x0

第二类间断点

  • 无穷间断点: lim ⁡ x → x 0 − f ( x ) = + ∞ \lim\limits_{x\to x_0^-} f(x)=+\infty xx0limf(x)=+ 或者 lim ⁡ x → x 0 + f ( x ) = + ∞ \lim\limits_{x\to x_0^+} f(x)=+\infty xx0+limf(x)=+, f ( x ) = 1 x , x → 0 f(x)=\frac{1}{x}, x\to 0 f(x)=x1,x0.
  • 震荡间断点:例如 f ( x ) = sin ⁡ ( 1 x ) , x → 0 f(x)=\sin(\frac{1}{x}), x\to 0 f(x)=sin(x1),x0.
左右极限相等
左右极限不等
连续性
连续
间断
第一类
可去间断点
跳跃间断点
第二类
无穷间断点
震荡间断点

闭区间 [a,b] 上连续函数

零点存在定理 f ( a ) f ( b ) < 0 f(a)f(b)<0 f(a)f(b)<0, ∃ ξ ∈ ( a , b ) \exists \xi\in (a,b) ξ(a,b), f ( ξ ) = 0 f(\xi)=0 f(ξ)=0

介值定理 min ⁡ { f ( a ) , f ( b ) } ≤ c ≤ max ⁡ { f ( a ) , f ( b ) } \min\{f(a),f(b)\}\leq c\leq \max\{f(a),f(b)\} min{f(a),f(b)}cmax{f(a),f(b)}, ∃ ξ ∈ ( a , b ) \exists \xi\in (a,b) ξ(a,b), f ( ξ ) = c f(\xi)=c f(ξ)=c

最值定理 M = max ⁡ x ∈ [ a , b ] f ( x ) M=\max\limits_{x\in [a,b]}f(x) M=x[a,b]maxf(x), m = min ⁡ x ∈ [ a , b ] f ( x ) m=\min\limits_{x\in [a,b]} f(x) m=x[a,b]minf(x), ∃ ξ 1 ∈ ( a , b ) \exists \xi_1\in (a,b) ξ1(a,b), ∃ ξ 2 ∈ ( a , b ) \exist \xi_2\in (a,b) ξ2(a,b), f ( ξ 1 ) = M f(\xi_1)=M f(ξ1)=M, f ( ξ 2 ) = m f(\xi_2)=m f(ξ2)=m.

;