一道高数题目: 验证函数y=C1cos ax+C2sin ax(a不等0)是微分方程d^2y/dx^2 + a^2 y=