Verify that the formula u(t)=Acos(ω0t+ϕ) is a solution to the differential equation for the mass on a spring, by plugging this expression for u(t) directly into the differential equation: d^2u/dt^2+ω0^2u=0.