两函数乘积可导性