指出下列题中的函数是否为所给微分方程的解： y"+y=0， y=3sin x-4 cosx。