乘积的求导公式的证明