Harmonic Motion Part 2 (calculus)

We test whether Acos(wt) can describe the motion of the mass on a spring by substituting into the differential equation F=-kx