狭义相对论中如何推导时空间隔ds^2在洛伦兹变化下形式不变?《梁灿杉,从零学相对论》由洛伦兹变换式得dt'=γ(dt－vdx),dx'=γ(dx－vdt),由此不难验证(习题)－dt2+dx2=－dt'2+dx'2这个

　　狭义相对论中如何推导时空间隔ds^2在洛伦兹变化下形式不变?

　　《梁灿杉,从零学相对论》

　　由洛伦兹变换式得

　　dt'=γ(dt－vdx),dx'=γ(dx－vdt),

　　由此不难验证(习题)

　　－dt2+dx2=－dt'2+dx'2

　　这个习题我不会推导,