【证明题】（二）基本定理和不等式

基本定理

1. 零点介值

介值定理：当 $m\le f(x)\le M$，且 $m\le \mu \le M$，则 $\exists ϵ\in [a,b]$，使 $f(ϵ)=\mu$

证：假设不 $\exists ϵ\in [a,b]$，使得 $f(ϵ)=0$，则 $f(x)$ 在 $[a,b]$ 恒大于0或恒小于0

不妨设 $f(x)>0,\forall x\in [a,b]$， 因 $f(x)$ 在 $[a,b]$ 上连续，故 $f(x)$ 有最小值 $f(x_2)=m$

又 $|f(y)|\le \frac{1}{2}|f(x)|$，所以 $\exists x_3\in [a,b],|f(x_3)|\le \frac{1}{2}|f(x_2)|$，即 $f(x_3)\le \frac{1}{2}f(x_2)=m$，矛盾故原命题成立

零点定理：当 $f(a)\cdot f(b)<0$ 时，存在 $ϵ\in (a,b)$，使得 $f(ϵ)=0$
存在性：奇次多项式至少 $1$ 个、零点定理 $f(ϵ)=0$
唯一性：单调性、罗尔原话 $f^{(m)}(x)\ne 0$，则 $f(x)=0$ 至多 $m$ 个实根

奇次+罗尔原话

若 $3a^2-5b<0$，求方程 $x^5+2a{x}^3+3bx+4c=0$ 的实根个数。

证：因为 $f(x)=x^5+2a{x}^3+3bx+4c$ 是奇次，故方程 $f(x)=0$ 至少有一实根

又 $f^{{}^{\prime }}(x)=5x^4+6a{x}^2+3b=0$，$\delta =12(3a^2-5b)<0$，所以 $f^{{}^{\prime }}(x)\ne 0$，$f(x)$ 至多有一实根

零点+罗尔原话

证：设 $f(x)=a_1(x-{\lambda }_2)(x-{\lambda }_3)+a_2(x-{\lambda }_1)(x-{\lambda }_3)+a_3(x-{\lambda }_1)(x-{\lambda }_2)$

$$\{\begin{array}{l}f({\lambda }_1)=a_1({\lambda }_1-{\lambda }_2)({\lambda }_1-{\lambda }_3)>0\\ f({\lambda }_2)=a_2({\lambda }_2-{\lambda }_1)({\lambda }_2-{\lambda }_3)<0\\ f({\lambda }_3)=a_3({\lambda }_3-{\lambda }_1)({\lambda }_3-{\lambda }_2)>0\end{array}$$

$\exists {ϵ}_1\in ({\lambda }_1,{\lambda }_2),{ϵ}_2\in ({\lambda }_2,{\lambda }_3)，f({ϵ}_1)=0,f({ϵ}_2)=0$，所以 $f(x)$ 至少有 $2$ 个零点

因 $f(x)$ 最高次是二次，即 $f^{(3)}(x)=0$，所以 $f(x)$ 至多有 $2$ 个零点

零点+罗尔原话

证：$f(x)-f(0)=f^{{}^{\prime }}(ϵ)(x-0)=f^{{}^{\prime }}(ϵ)x\ge kx$，所以 $f(x)\ge kx+f(0)$

当 $x\to +\infty$ 时，$f(x)\to +\infty$，$f(0)<0$，所以 $f(x)$ 在 $(0,+\infty )$ 至少有一个零点

又 $f^{{}^{\prime }}(x)>0$，所以 $f(x)$ 在 $(0,+\infty )$ 至多有一个零点

2. 广义零点介值

广义介值定理：当 $x\to -\infty$ 时，$\lim f(x)=A$，当 $x\to +\infty$ 时，$\lim f(x)=B$，且 $A<C<B$，则 $\exists ϵ\in (-\infty ,+\infty )$，使 $f(ϵ)=C$

证：当 $x\to -\infty$ 时，$\lim f(x)=A$，则 $\exists x_1$，使得 $f(x)<C$

当 $x\to +\infty$ 时，$\lim f(x)=B$，则 $\exists x_2$，使得 $f(x)>C$，在 $x_1$ 和 $x_2$ 之间存在一个 $ϵ$，使得 $f(ϵ)=C$

广义零点定理：当 $x\to -\infty$ 时，$\lim f(x)=-\infty$，当 $x\to +\infty$ 时，$\lim f(x)=+\infty$，存在 $ϵ\in (-\infty ,+\infty )$，使得 $f(ϵ)=0$

证：设 $F(x)=f(x)+x,x\in (-\infty ,+\infty )$
$$\underset{x\to \infty }{\lim }F(x)=\underset{x\to \infty }{\lim }x\cdot [\frac{f(x)}{x}+1]=\underset{x\to \infty }{\lim }x$$ $$\underset{x\to -\infty }{\lim }F(x)=-\infty ,\underset{x\to +\infty }{\lim }F(x)=+\infty$$

因 $F(x)$ 在 $(-\infty ,+\infty )$ 上连续，所以 $\exists x_1,x_2$，使得 $F(x_1)<0,F(x_2)>0$

不妨设 $x_1<x_2$，则 $\exists ϵ\in (x_1,x_2)$，使得 $F(ϵ)=0$，命题得证

3. 导数零点介值

导数介值定理：当 $f_{+}^{{}^{\prime }}(a)<f_{-}^{{}^{\prime }}(b)$ 时，且 $f_{+}^{}$