位移公式推导过程