ye^{xy}dx+xe^{xy}dy=0
⚠ ye^{xy}dx+xe^{xy}dy = 0 é interpretado como a equação diferencial y' = (-ye^{xy})/(xe^{xy}): dividimos por dx e isolamos y', derivada de y em relação a x■ye é interpretado como o produto y*e, onde e é a constante exponencial: para a variável ye, escreva ye_■xy é interpretado como o produto x*y: para a variável xy, escreva xy_■xe é interpretado como o produto x*e, onde e é a constante exponencial: para a variável xe, escreva xe_■solve(y'=(-y*e^{x*y})/(x*e^{x*y}),x) é interpretado como solve(y'=(-y*e^(x*y))/(x*e^(x*y)),x): utilize ^(...) para agrupar um expoente, utilize * para multiplicar
1) Vamos resolver a equação separável y' = -y·exyxexy, onde y é uma função de x
⇥1.1) Vamos procurar o domínio de -1x
⇥ Para que a expressão -1x esteja definida, é necessário: x ≠ 0
⇥Solução encontrada: x ≠ 0
A função de x está definida para x ≠ 0
Antes de dividir, y = 0 dá a solução de equilíbrio y = 0
Nos intervalos onde y ≠ 0, separamos as variáveis: dyy = -dxx
⇥1.2) Vamos integrar: ∫1ydy
⇥ⓘ A derivada de ln|y| é 1y, pelo que ln|y| é uma primitiva de 1y: ∫1ydy = ln|y|
⇥ ln|y|
⇥1.3) Vamos calcular a integral: ∫(-1x)dx
⇥ⓘ A derivada de -ln|x| é -1x, pelo que -ln|x| é uma primitiva de -1x: ∫(-1x)dx = -ln|x|
⇥ -ln|x|
Integrando ambos os membros, obtemos ln|y| = -ln|x| + C, onde C é uma constante real arbitrária
Aplicamos a exponencial: |y| = exp(C)exp(-ln|x|) = exp(C)|x|, de onde y = K|x| com K = ±exp(C), uma constante real não nula
Em cada intervalo onde x ≠ 0, 1|x| vale 1x ou o seu oposto: este sinal fica incorporado em K, y = Kx
K = 0 recupera a solução de equilíbrio y = 0: as soluções são y = Kx, onde K é uma constante real arbitrária
▶Solução:   y = Kx