The useful corollary vt2-vo2 = 2As is derived? Is the formula vs / 22 = (VO2 + vt2) / 2 also derived?

The useful corollary vt2-vo2 = 2As is derived? Is the formula vs / 22 = (VO2 + vt2) / 2 also derived?

1. Average velocity v = s / T (definition) 2. Useful inference vt2-vo2 = 2As
3. Velocity at intermediate time VT / 2 = vplat = (VT + VO) / 2 4. Final velocity VT = VO + at
5. Middle position velocity vs / 2 = [(VO2 + vt2) / 2] 1 / 2 6. Displacement S = V flat t = VOT + at2 / 2 = VT / 2T
7. Acceleration a = (VT VO) / T {with VO as the positive direction, a and VO are in the same direction (acceleration) a > 0; if a is in the opposite direction, a