dz^2 - (beta*dx - c*dt)^2/(beta - 1) - (dx - beta*c*dt)^2/(beta - 1) + (dt - beta*dx)^2/(beta - 1)