狭义相对论公式推导的具体过