Kaströrelse: problem med formel

Hej! Jag försöker lösa denna exempeluppgift, men jag hänger inte med i bokens lösning. 

Jag förstår inte varifrån de får den markerade formeln och hittar den ingenstans i boken hittills. Den påminner om $s=v_0*t+\frac{a{t}^2}{2}$, men jag tror inte det är samma formel. Hur ska jag förstå varför de använder den gulmarkerade formeln?

Tack!