[再寄小读者之数学篇](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$. 

目录
相关文章
|
6月前
|
机器学习/深度学习 算法
[第三章]数学与简单dp
[第三章]数学与简单dp
59 1
|
4月前
24考研|高等数学的基础概念定理(三)——第三章|不定积分
24考研|高等数学的基础概念定理(三)——第三章|不定积分
|
Perl
[再寄小读者之数学篇](2015-06-24 Series)
(AMM. Problems and Solutions. 2015. 03) Let $\sed{a_n}$ be a monotone decreasing sequence of real numbers that converges to $0$.
548 0
|
关系型数据库 RDS
[再寄小读者之数学篇](2015-06-24 积分不等式)
(AMM. Problems and Solutions. 2015. 01) Let $f$ be a twice continuously differentiable function from $[0,1]$ into $\bbR$.
592 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...
714 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$$ 知曲线没有水平渐近线.
637 0
[再寄小读者之数学篇](2014-11-24 Abel 定理)
设幂级数 $\dps{g(x)=\sum_{n=0}^\infty a_nx^n}$ 在 $|x|N\ra |s_k-s|
594 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...
732 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].
592 0
[再寄小读者之数学篇](2014-11-14 矩阵的应用: 数论)
1. 代数数: $\al\in\bbC$ 称为代数数, 如果它是某个系数为有理数的非零多项式的根. 2. 代数数全体构成一个域. (利用伙伴矩阵, 张量积很容易证明) 3. 代数整数: $\al\in\bbC$ 称为代数整数, 如果它是某个首一整系数多项式的根.
579 0