que y = sin x é solução de y'' + y = 0