洛伦兹变换的严格推导