x(t) = Acos(omega t + phi) 가 미분방정식 \ddotx + omega^2 x = 0 을 만족함을 검증하세요