Exercício resolvido - EDO de primeira ordem com valor inicial

Resolva


Resolução:

Fim!
Agora, só pra mostrar o processo inverso: demonstre que x² + y² = 25 é solução da ED acima (dy/dx = -x/y).

Derivando x² + y² = 25 implicitamente em relação a x, teremos