ye^{xy}dx+xe^{xy}dy=0
⚠ ye^{xy}dx+xe^{xy}dy = 0 se interpreta como la ecuación diferencial y' = (-ye^{xy})/(xe^{xy}): dividimos por dx y despejamos y', derivada de y respecto a x■ye se interpreta como el producto y*e, donde e es la constante exponencial: para la variable ye, escribe ye_■xy se interpreta como el producto x*y: para la variable xy, escribe xy_■xe se interpreta como el producto x*e, donde e es la constante exponencial: para la variable xe, escribe xe_■solve(y'=(-y*e^{x*y})/(x*e^{x*y}),x) se interpreta como solve(y'=(-y*e^(x*y))/(x*e^(x*y)),x): utiliza ^(...) para agrupar un exponente, utiliza * para multiplicar
1) Resolvamos la ecuación separable y' = -y·exyxexy, donde y es una función de x
⇥1.1) Determinemos el dominio de -1x
⇥ Para que la expresión -1x esté definida, debe cumplirse: x ≠ 0
⇥Solución encontrada: x ≠ 0
La función de x está definida para x ≠ 0
Antes de dividir, y = 0 da la solución de equilibrio y = 0
En los intervalos donde y ≠ 0, separamos las variables: dyy = -dxx
⇥1.2) Calculemos la integral: ∫1ydy
⇥ⓘ La derivada de ln|y| es 1y, por lo que ln|y| es una primitiva de 1y: ∫1ydy = ln|y|
⇥ ln|y|
⇥1.3) Calculemos la integral: ∫(-1x)dx
⇥ⓘ La derivada de -ln|x| es -1x, por lo que -ln|x| es una primitiva de -1x: ∫(-1x)dx = -ln|x|
⇥ -ln|x|
Al integrar ambos miembros, obtenemos ln|y| = -ln|x| + C, donde C es una constante real arbitraria
Aplicamos la exponencial: |y| = exp(C)exp(-ln|x|) = exp(C)|x|, de donde y = K|x| con K = ±exp(C), una constante real no nula
En cada intervalo donde x ≠ 0, 1|x| vale 1x o su opuesto: este signo se incorpora a K, y = Kx
K = 0 recupera la solución de equilibrio y = 0: las soluciones son y = Kx, donde K es una constante real arbitraria
▶Solución:   y = Kx