Tu cong thuc : v = v0 + at , ta duoc : 

v = v0 + at => t = ( v - v0 ) / a (1) 

Ta lai co : 

s = v0t + ( at ^ 2 ) / 2 (2) 

Ta thế (1) vào (2), ta duoc : 

s = v0 * ( v - v0 ) / a + a * [ ( v - v0 ) / a ] ^ 2 / 2 

= ( v0v - v0 ^ 2 ) / a + a * [ ( v ^ 2 - v0v + v0 ^ 2 ) / a ^ 2 ] / 2 

= ( v0v - v0 ^ 2 ) / a + ( v ^ 2 + v0 ^ 2 - 2v0v ) / 2a 

= ( 2v0v - 2vo ^ 2 + v ^ 2 + v0 ^ 2 - 2v0v ) / 2a 

= ( v ^ 2 - v0 ^ 2 ) / 2a 

~> s = ( v ^ 2 - v0 ^ 2 ) / 2a 

<=> v ^ 2 - v0 ^ 2 = 2as ( dpcm ).