验证y1= cosωx及y2= sinωx都是微分方程y"+ω2y=0的解，并写出该方程的通解。