洛伦兹变换
Length contraction and Lorentz transformation.