Space-time interval Lorentz co/invariant

[fluidistic]

Homework Statement

Hi guys!
I must show by brute force that $\Delta s^2=-c^2\Delta t^2+\Delta x^2+\Delta y^2+\Delta z^2$ is invariant under Lorentz transforms.

Homework Equations

Lorentz transforms:
$\Delta t' = \gamma \left ( \Delta t -\frac{\vec v \cdot \Delta \vec x}{c^2} \right )$ and $\vec \Delta x'=\gamma (\Delta \vec x - \vec v t)$.
I will use the convention $\Delta \vec x= (\Delta x, \Delta y , \Delta z )$ and $\vec v = (v_x ,v_y, v_z)$

The Attempt at a Solution

Basically I must show that $\Delta s'^2=\Delta s^2$. Where $\Delta s'^2=-c^2\Delta t'^2+\Delta x'^2+\Delta y'^2+ \Delta z'^2$.
I have that $\Delta x'^2+\Delta y' ^2+\Delta z'^2=\gamma ^2[\Delta x^2+\Delta y^2+\Delta z^2 +\Delta t^2 \underbrace{(v_x^2+v_y^2+v_z^2)}_{=\vec v^2}-2\Delta t (\Delta x v_x+\Delta yv_y +\Delta z v_z)]$
While $\Delta t'^2=\gamma ^2 \{ \Delta t^2-\frac{2\Delta t}{c^2}(v_x\Delta x+v_y\Delta y +v_z \Delta z)+\frac{1}{c^4}[v_x^2 \Delta x^2+v_y^2\Delta y^2+v_z^2 \Delta z^2+2(v_x\Delta xv_y\Delta y+ v_y\Delta y v_z\Delta z+v_x\Delta x v_z\Delta z)] \}$.
So then I performed $\Delta s'^2$ and after all the simplifications I could do, I reached that $\Delta s'^2=\gamma ^2 \left [ \Delta t^2 (\vec v^2-c^2) -\frac{\vec v \cdot \vec x}{c^2} +\Delta \vec x +\frac{2}{c^2} (v_x\Delta xv_y\Delta y+ v_y\Delta y v_z\Delta z+v_x\Delta x v_z\Delta z) \right ]$ which does not seem equal to $\Delta s$. I've redone the algebra 4 times (lost hours on this), I reach the same answer every time. So either the expression I found is right but I must simplify it even more and it indeed equals $\Delta s$, or I'm wrong somewhere.
I'd appreciate some help... thank you!

 

[TSny]

$\Delta t' = \gamma \left ( \Delta t -\frac{\vec v \cdot \Delta \vec x}{c^2} \right )$ and $\vec \Delta x'=\gamma (\Delta \vec x - \vec v t)$.

For a boost in an arbitrary direction, I think your expression for $\Delta t'$ is ok. But the correct expression for $\vec \Delta x'$ is more complex than what you wrote. See for example

http://en.wikipedia.org/wiki/Lorentz_transformation#Boost_in_any_direction

Are you sure you can't orient your axes so that the x-axis is parallel to the boost?

 

[fluidistic]

For a boost in an arbitrary direction, I think your expression for $\Delta t'$ is ok. But the correct expression for $\vec \Delta x'$ is more complex than what you wrote. See for example

http://en.wikipedia.org/wiki/Lorentz_transformation#Boost_in_any_direction

Are you sure you can't orient your axes so that the x-axis is parallel to the boost?

I see, thank you very much.
Due to the complexity of the expression for a boost in any direction, I guess I can orient the axes so that it results to be in the x-direction. I will consider this case only.

 

[fluidistic]

At first glance I get $\Delta s'^2=\Delta t^2 (-c^2\gamma^2+v^2)+\gamma ^2 \left ( \Delta x^2+v^2 \Delta t^2 - \frac{v^2\Delta x^2}{c^2} \right )$.
I guess I'll have to redo the math.
Edit:Yeah I forgot 2 terms. I reach now $\Delta s'^2=\Delta t^2[v^2+\gamma(v^2-c^2)]+\Delta x^2+\Delta y^2+\Delta z^2$. Almost the desired result but apperently I still have some job to do :)

Edit 2:This reduces to $\Delta s'^2=\Delta t^2 (v^2-c^2)+\Delta \vec x$. I'm almost there. But I would reach the result only if v=0... which is not correct.

 

[vela]

Everything multiplying $\Delta t^2$ should be proportional to $\gamma^2$, so your expression in your first edit looks kinda odd.

 

[TSny]

I reach now $\Delta s'^2=\Delta t^2[v^2+\gamma(v^2-c^2)]+\Delta x^2+\Delta y^2+\Delta z^2$. Almost the desired result but apperently I still have some job to do :)

Trace back to see how you got the first term of $v^2$ in the first brackets. I don't think that should be there.

 

[fluidistic]

Trace back to see how you got the first term of $v^2$ in the first brackets. I don't think that should be there.

I've tracked it down (already on my own), at $\Delta x'=\gamma (\Delta x - v \Delta t)$. When I must take the square of this quantity, there's a term $\gamma ^2 v^2\Delta t^2$. I couldn't cancel this term out though I must re-recheck the algebra.Edit: Nevermind, I made a mistake. I now reach the desired result! Thank you guys.