推导x2-x1=at