x(t) = Acos(omega t + phi) が微分方程式 \ddotx + omega^2 x = 0 を満たすことを確認してください。