漫游猫认证
如果函数f(x)在某开区间上可导,那么其导函数在这个区间上没有跳跃型间断点,这是由导函数的介值性质(即Darboux定理)得到的。
假定x0是f'(x)的跳跃型间断点,比如a=f'(x0-)