s=vt+1/2at^2 Vt^2－V0^2=2as 这两条公式怎么推导出来的

∵v=v0+at
∴S = (v0+v)/2*t
= (v0+v0+at)/2*t
= (2v0+at)/2*t
= v0t+1/2at^2
∵v=v0+at
∴t=(v-v0)/a
∴S = (v0+v)/2*t
= (v0+v)/2*(v-v0)/a
= (v+v0)(v-v0)/(2a)
= (v^2-v0^2)/(2a)
∴v^2-v0^2 = 2aS