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