[再寄小读者之数学篇](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...
718 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$$ 知曲线没有水平渐近线.
638 0
[再寄小读者之数学篇](2014-11-24 Abel 定理)
设幂级数 $\dps{g(x)=\sum_{n=0}^\infty a_nx^n}$ 在 $|x|N\ra |s_k-s|
595 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).
663 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...
734 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].
593 0
[再寄小读者之数学篇](2014-11-14 矩阵的应用: 数论)
1. 代数数: $\al\in\bbC$ 称为代数数, 如果它是某个系数为有理数的非零多项式的根. 2. 代数数全体构成一个域. (利用伙伴矩阵, 张量积很容易证明) 3. 代数整数: $\al\in\bbC$ 称为代数整数, 如果它是某个首一整系数多项式的根.
581 0
[再寄小读者之数学篇](2014-11-19 一个代数不等式)
$$\bex \sqrt{x^2+x+1}+ \sqrt{y^2+y+1} +\sqrt{x^2-x+1}+ \sqrt{y^2-y+1}\geq 2(x+y). \eex$$ Ref. [Proof Without Words: An Algebraic Inequality, The College Mathematics Journal].
651 0
[再寄小读者之数学篇](2014-11-14 矩阵的应用: 友谊定理)
友谊定理: 如果在一群人中任何两个人都恰好有一个共同的朋友, 那么有一个人是每个人的朋友.
818 0
|
机器学习/深度学习 Windows
[再寄小读者之数学篇](2014-09-22 北京师范大学考研试题---渐近估计)
[裴礼文, 数学分析中的典型问题与方法 (第 2 版), 北京: 高等教育出版社, 2006 年] (Page 436, T 4.5.14) 若函数 $p(t)$ 在 $[0,+\infty)$ 上可积, 且当 $t\to+\infty$ 时, $p(t)=o(t^N)$ ($N$ 为正整数).
842 0