Verificate che x(t) = Acos(omega t + phi) soddisfa l'ODE \ddotx + omega^2 x = 0