Khan Academy on a Stick
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
If the above player doesn't work, you can try this direct link.