相对论中,推导长度收缩用的是正变换,时间膨胀用的是逆变换,为什么?都是已知在S'中的量