漫游猫认证
需要加条件区间的内点,闭区间的端点处不一定例如半圆y=-(1-x∧2)∧1/2在±1时不存在在任意内点a存在是因为构造函数F(h)=f(h)-f(a)/h-a在区间内递增 (h≠a )利用单调有界证明它在a处存在左右极限(但不一定相等,相等的话则f(x)在a处可导)