時間ｔに依存するベクトルA、スカラーａについて
d(aA)/dt=(da/dt)A+a(dA/dt)
が成り立つことを示せ。


これって積の微分の証明をしないといけないってことですか？