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