狭义相对论尺缩效应的数学推导