If x=sit t nad y=cos 2t prove that d^2y/dx^2+4=0