>>696
積の微分の証明の時みたいに

f(a+h)g(b+k) = f(a+h){g(b+k)-g(b)} +g(b){f(a+h)-f(a)}
のようにわけるといい。
加法定理なんて使わないほうがいい