展开 二元函数可微分的充要条件