定义法证明f(x)*g(x)导数