>>734 (面倒なので∂f/∂x を f_x と書く)
d/dt{tf(tx,ty)}=f(tx,ty)+xtf_x(tx,ty)+ytf_y(tx,ty) より、
∂/∂x{xf(tx,ty)+yg(tx,ty)}
=f(tx,ty)+xtf_x(tx,ty)+ytg_x(tx,ty)
=d/dt{tf(tx,ty)}-ytf_y(tx,ty)+ytg_x(tx,ty)
=d/dt{tf(tx,ty)} (∵f_y=g_x)