resolve dy/dx=x*sqrt(x^2-1)/y
⚠ dy/dx numa equação é interpretado como a derivada y' em relação a x: para um quociente de produtos, escreva (d*y)/(d*x)
1) Vamos resolver a equação separável y' = x·x2 -1y, onde y é uma função de x e y ≠ 0
⇥1.1) Vamos procurar o domínio de x·x2 -1
⇥ Para que a expressão x2 -1 esteja definida, é necessário: x2 -1 ≥ 0
⇥Uma potência par só depende do valor absoluto: x2 ≥ 1 equivale a |x| ≥ 1
⇥|A| ≥ B implica: A ≥ B ou A ≤ -B
⇥Solução encontrada: x ∈ ]-∞ ; -1] ∪ [1 ; +∞[
A função de x está definida para x ∈ ]-∞ ; -1] ∪ [1 ; +∞[
Multiplicamos por y e separamos as variáveis: y·dy = x·x2 -1·dx
⇥1.2) Vamos calcular a integral: ∫x·x2 -1dx
⇥Fazemos u = x2 -1. Então du = 2x·dx, pelo que x·dx = du2
⇥∫x·x2 -1dx = 12·∫udu
⇥Uma primitiva de u é 2u323
⇥Substituímos u por x2 -1 na primitiva
⇥ⅰ ∫x·x2 -1dx = (x2 -1)323
⇥ (x2 -1)323
Integrando ambos os membros, obtemos y22 = (x2 -1)323 + C, onde C é uma constante real arbitrária
Multiplicamos por 2 e renomeamos 2C como C: y2 = 2·(x2 -1)323 + C
Os dois ramos reais têm sinal fixo em cada intervalo onde o segundo membro inicial é real e 2·(x2 -1)323 + C > 0, pelo que y = 0 fica excluído
▶Solução:   y = { -2·(x2 -1)323 + C ; 2·(x2 -1)323 + C }