验证函数y=5sin2x是微分方程y"+4y=0的解