Conferir soluções de equações diferenciais que são séries infinitas

Conferir soluções de Equações Diferenciais de Segunda Ordem



Como já destacamos na Seção Conferir soluções de Equações Diferenciais de Primeira Ordem do Curso Equações Diferenciais:
Nenhuma Interação (máquina) jamais será capaz de resolver todas as equações diferenciais possíveis.

Por isso, nesta Seção:
Supomos que se tenha um candidato a solução de equação diferencial de segunda ordem e oferecemos Interações que conferem se de fato é uma solução. O que é notável é que será possível usar funções simbólicas que representam exatamente séries infinitas (não somente seus truncamentos).

Alerta: Quando a saída da Interação for "sim, é uma solução", tudo ok. Mas, se a saída for "não foi possível determinar se é solução", isso pode se dever a dois motivos. Pode ser que de fato não seja solução, ou que a máquina não foi capaz de conferir (tempo de processamento ou conexão excedidos, complexidade muito alta, não estar implementado, etc).

Mas garantimos que as Interações desta Seção serão úteis para conferir exercícios e gabaritos !