公式 诱导 差化积 积化 得到