v=(v0+v)/2是如何推出的?