导数不存在证明该点在原函数上马