Suppose we have two inertial frames O and O', with O' moving along the positive axis of O with a uniform speed
Suppose we have a function
in O'. The total derivative of
is
![]()
But![]()
and with![]()
![]()
![]()
so![]()
and similarly
![]()
and with
so
and
Hence
Regrouping gives
Hence
![]()
![]()
