X=1/2(v0+v) t这个公式是怎么推导的?