狭义相对论公式的推