https://www.bilibili.com/video/av19027609/?p=28
费马定理,是局部性的定理,小范围里面的,地头蛇的概念。窝里横定理。
费马大定理:
https://baike.baidu.com/item/%E8%B4%B9%E9%A9%AC%E5%A4%A7%E5%AE%9A%E7%90%86/80363?fr=aladdin
第一个条件:在闭区间[a,b]连续
第二个条件:在开区间(a,b)可导
第三个条件:f(a)=f(b)
结论:在(a,b)上一定有个点f’(不明符号)=0
证明:
由闭区间连续函数性质存在x1,x2属于区间[a,b]
f(x1) = M,M是[a,b]区间内f(x)的最大值;
f(x2) = m,m是[a,b]区间内f(x)的最小值;
第1种情况,若x1,x2均为[a,b]的端点,则M=m,于是退出f(x)为常数,任意点导数都是0。
第2种情况,若x1,x2至少有一个不是端点。不妨设x1,此时M>f(a)=f(b),所以x1必为极大值点;
由费马定理得到f’(x1)=0,取不明符号=x1,所以f’(不明符号)=0
第一个条件:f(x)在闭区间[a,b]上连续;
第二个条件:f(x)在开区间(a,b)上可导;
结论是:存在不明符号,使得f’(不明符号)=(f(b)-f(a))/(b-a)
辅助函数+rolle定理