标签：必要而非充分条件、设是二元可微函数，，则