Merge remote-tracking branch 'origin/develop' into develop

笔记分享/达布定理.md

@@ -0,0 +1,4 @@
+>[!note] 定理：
+>如果函数$f(x)$在区间$[a,b]$上可导，则其导函数$f'(x)$在$[a,b]$上有介值性质，即若$f(x)$在$[a,b]$上的值域为$[m,M]$,则$\forall \xi\in[m,M]$，总$\exists \eta\in[a,b],$有$\xi=f'(\eta)$.
+
+**证明**：若$m=M$，结论显然成立.若$m<M$,设$f'(x_1)=m,f'(x_2)=M$,不妨设$x_1<x_2$.任取$\xi\in(m,M)$,令$$g(x)=f(x)-\xi x,x\in[a,b].$$于是$g(x)$在$[a,b]$上可导，且$$g'(x_1)=f'(x_1)-\xi<0,g'(x_2)=f'(x_2)-\xi>0.$$由零值定理，$\exists  \eta\in(x_1,x_2) \subset(a,b),g'(\eta)=0\implies f'(\eta)=\xi$，证毕.