Prove that `x=A\cos\sqrt{\mu}t` is a solution of the differential equation `\frac{d^2x}{dt^2}+\mu\x=0`