diff --git a/编写小组/讲义/微分中值定理(解析版).md b/编写小组/讲义/微分中值定理(解析版).md index 7a5016b..292bb4e 100644 --- a/编写小组/讲义/微分中值定理(解析版).md +++ b/编写小组/讲义/微分中值定理(解析版).md @@ -194,7 +194,7 @@ $$f(a) = f(b) = 0,\quad f'_+(a)f'_-(b) > 0,$$ **解析**: -由导数极限定理及 $f'_+(a)f'_-(b) > 0$,知在 $a$ 右侧和 $b$ 左侧,$f(x)$ 的符号相同,不妨设 $f'_+(a)>0$,$f'_-(b)>0$.由导数的定义有$$\lim\limits_{x\to a^+}\frac{f(x)-f(a)}{x-a}=\lim\limits_{x\to a^+}\frac{f(x)}{x-a}>0,\lim\limits_{x\to b^-}\frac{f(x)-f(b)}{x-b}=\lim\limits_{x\to a^+}\frac{f(x)}{x-b}>0,$$由极限得保号性,存在$a_1,b_1\in(a,b)$,使得$f(a_1)>0,f(b_1)<0$,从而由零值定理,存在$c\in(a_1,b_1)$使得$f(c)=0$. +由导数极限定理及 $f'_+(a)f'_-(b) > 0$,知在 $a$ 右侧和 $b$ 左侧,$f(x)$ 的符号相同,不妨设 $f'_+(a)>0$,$f'_-(b)>0$.由导数的定义有$$\lim\limits_{x\to a^+}\frac{f(x)-f(a)}{x-a}=\lim\limits_{x\to a^+}\frac{f(x)}{x-a}>0,\lim\limits_{x\to b^-}\frac{f(x)-f(b)}{x-b}=\lim\limits_{x\to a^+}\frac{f(x)}{x-b}>0,$$由极限的保号性,存在$a_1,b_1\in(a,b)$,使得$f(a_1)>0,f(b_1)<0$,从而由零值定理,存在$c\in(a_1,b_1)$使得$f(c)=0$. 在区间$[a,c]$和$[c,b]$上分别用罗尔定理得,存在$\xi_1\in(a,c),\xi_2\in(c,b)$,使得$$f'(\xi_1)=f'(\xi_2)=0,$$故$f'(x)=0$在$(a,b)$内至少有两个根. ## **拉格朗日中值定理**