Verify that x(t) = Acos(omega t + phi) satisfies the ODE \ddotx + omega^2 x = 0