[再寄小读者之数学篇](2014-07-17 一阶中值)

简介: 设 $f(x)$ 在 $[a,b]$ 上可导, 且 $f'(a)=f'(b)$, 试证: $$\bex \exists\ \xi\in (a,b),\st f'(\xi)(\xi-a)=f(\xi)-f(a).

设 $f(x)$ 在 $[a,b]$ 上可导, 且 $f'(a)=f'(b)$, 试证: $$\bex \exists\ \xi\in (a,b),\st f'(\xi)(\xi-a)=f(\xi)-f(a). \eex$$

证明:

(1) 记 $y=f(x)$, 则 $$\bex \frac{\rd y}{\rd x}(x-a)=y-f(a)\lra [y-f(a)]\rd x-(x-a)\rd y=0. \eex$$ 由于 $$\bex \frac{M_y-N_x}{N}=\frac{1-(-1)}{-(x-a)}=\frac{-2}{x-a} \eex$$ 而上述 ODE 有积分因子 $$\bex e^{-2\int \frac{1}{x-a}\rd x} =\frac{1}{(x-a)^2}. \eex$$ 于是 $$\bex \frac{\rd y}{\rd x}(x-a)=y-f(a)\lra \rd \frac{y-f(a)}{x-a}=0. \eex$$

(2) 记 $$\bex F(x)=\sedd{\ba{ll} \frac{f(x)-f(a)}{x-a},&a<x\leq b,\\ f'(a),&x=a. \ea} \eex$$ 则 $F(x)$ 在 $[a,b]$ 上连续. 由 Lagrange 中值定理, $$\bex F(a)=f'(a),\quad F(b)=\frac{f(b)-f(a)}{b-a}=f'(\eta),\quad \eta\in (a,b). \eex$$

(3) 若 $f'(a)=f'(\eta)$, 则由 Rolle 定理, $$\bex \exists\ \xi\in (a,b),\st F'(\xi)=0. \eex$$

(4) 若 $f'(a)>f'(\eta)$, 则由 $$\beex \bea F'(b)&=\frac{f'(b)(b-a)-[f(b)-f(a)]}{(b-a)^2}\\ &=\frac{f'(a)(b-a)-f'(\eta)(b-a)}{(b-a)^2}\\ &=\frac{f'(a)-f'(\eta)}{b-a}\\ &>0 \eea \eeex$$ 知 $F$ 的最小值不能在 $x=b$ 处取得; 又因为 $f'(a)>f'(\eta)$, 而也不能在 $x=a$ 处取得; 故只能在某 $\xi\in (a,b)$ 处取得. 如此, $F'(\xi)=0$.

(5) 若 $f'(a)<f'(\eta)$, 按上述论证, $F$ 的最大值只能在某 $\xi\in (a,b)$ 处取得. 如此, $F'(\xi)=0$. 

目录
相关文章
|
关系型数据库 RDS
[再寄小读者之数学篇](2015-06-08 一个有意思的定积分计算)
$$\beex \bea \int_0^\frac{\pi}{4}\ln (1+\tan x)\rd x &=\int_0^\frac{\pi}{4} \ln \frac{\cos x+\sin x}{\cos x}\rd x\\ &=\int_0^\frac{\pi}{4} \ln \sez{\s...
684 0
[再寄小读者之数学篇](2015-05-01 求渐近线)
试求曲线 $f(x)=xe^\frac{1}{x^2}$ 的渐近线.    解答: 由 $$\bex \lim_{x\to +\infty}f(x)=+\infty,\quad \lim_{x\to -\infty}f(x)=-\infty \eex$$ 知曲线没有水平渐近线.
619 0
[再寄小读者之数学篇](2014-11-24 Abel 定理)
设幂级数 $\dps{g(x)=\sum_{n=0}^\infty a_nx^n}$ 在 $|x|N\ra |s_k-s|
573 0
[再寄小读者之数学篇](2014-11-20 计算二重积分)
(from X.L. Zhen) 计算二重积分 $$\bex \iint_{\bbR^2}e^{-(x^2+xy+y^2)}\rd x\rd y. \eex$$   解答: $$\beex \bea \iint_{\bbR^2}e^{-(x^2+xy+y^2)}\rd x\rd y &=\iin...
687 0
|
机器学习/深度学习 资源调度
[再寄小读者之数学篇](2014-11-21 关于积和式的一个不等式)
在 Rajendra Bhatia 的 Matrix Analysis 中, Exercise I.5.8 说: Prove that for any matrices $A,B$ we have $$\bex |\per (AB)|^2\leq \per (AA^*)\cdot \per (B^*B).
642 0
|
Perl
[再寄小读者之数学篇](2014-11-19 等差数列的部分和)
设 $\sed{a_k}_{k=1}^n$ 为等差数列, 则 $$\bex a_1+\cdots+a_n=\frac{n(a_1+a_n)}{2}. \eex$$ Ref. [Proof Without Words: Partial Sums of an Arithmetic Sequence, The College Mathematics Journal].
586 0
[再寄小读者之数学篇](2014-11-14 矩阵的应用: 数论)
1. 代数数: $\al\in\bbC$ 称为代数数, 如果它是某个系数为有理数的非零多项式的根. 2. 代数数全体构成一个域. (利用伙伴矩阵, 张量积很容易证明) 3. 代数整数: $\al\in\bbC$ 称为代数整数, 如果它是某个首一整系数多项式的根.
559 0
[再寄小读者之数学篇](2014-11-02 Herglotz&#39; trick)
设 $f$ 是 $\bbR$ 上周期为 $1$ 的连续可微函数, 满足 $$\bee\label{141102_f} f(x)+f\sex{x+\frac{1}{2}}=f(2x),\quad\forall\ x.
499 0
|
机器学习/深度学习 Perl
再寄小读者之数学篇[2014.07.01-2014.12.31]
[再寄小读者之数学篇](2014-12-24 乘积型不等式)   [再寄小读者之数学篇](2014-12-04 $\left(1+\frac{1}{x}\right)^x>\frac{2ex}{2x+1},\forall\ x>0.
946 0
|
资源调度 关系型数据库 RDS
再寄小读者之数学篇[2014.01.01-2014.06.30]
[再寄小读者之数学篇](2014-06-28 证明级数几乎处处收敛) 设 $f\in L(\bbR)$, 试证: $$\bex \vsm{n}f(n^2x) \eex$$ 在 $\bbR$ 上几乎处处收敛到一 Lebesgue 函数.
920 0