函数在某点可导的充分必要条件。