resous dy/dx=x*sqrt(x^2-1)/y
1) Résolvons l'équation séparable y' = x·x2 -1y, où y est une fonction de x et y ≠ 0
⇥1.1) Cherchons le domaine de x·x2 -1
⇥ Pour que l'expression x2 -1 existe, on doit vérifier : x2 -1 >= 0
⇥Étant donné la forme quadratique ax2 + bx + c, calculons le discriminant : Δ = b2 -4ac
⇥ Δ = 02 -4·1·(-1)
⇥ Δ = -4·(-1)
⇥ Δ = 4
⇥Comme Δ > 0, l'équation a deux solutions :
⇥Solution première : -b -Δ2a
⇥ x1 = -42
⇥ x1 = -22
⇥ x1 = -1
⇥La deuxième solution est : -b + Δ2a
⇥ x2 = 42
⇥ x2 = 22
⇥ x2 = 1
⇥Solution obtenue : x ∈ ]-∞, -1] ∪ [1, +∞[
On multiplie par y et on sépare les variables : y*dy = x·x2 -1*dx
⇥1.2) Intégrons : ∫(x·x2 -1)dx
⇥Pour l'expression mathématique : x·x2 -1, en utilisant la formule de dérivation suivante : ddx(an) = na(n -1), on peut tenter de dériver avec ^(m+1)
⇥1.3) Effectuons la dérivation : ddx((x2 -1)(12 + 1))
⇥ ddx((x2 -1)(1 + 22))
⇥ ddx((x2 -1)32)
⇥On applique la formule de dérivation : ddx(fn) = n·ddx(f)·f(n -1) avec f = x2 -1
⇥ 32·ddx(x2 -1)·(x2 -1)(32 -1)
⇥ℹ32·ddx(x2 -1)·(x2 -1)(32 -1) = 3·ddx(x2 -1)·(x2 -1)(32 -1)2‖ddx(x2 -1) = ddx(x2) + 0‖32 -1 = 3 -1·22
⇥ 3·(ddx(x2) + 0)·(x2 -1)(3 -1·22)2
⇥ℹddx(x2) = 2x‖-1·2 = -2
⇥ 3·2x·(x2 -1)(3 -22)2
⇥ℹ3·2 = 6‖3 -2 = 1
⇥ 6x·x2 -12
⇥ 3x·x2 -1
⇥La dérivée obtenue correspond à l'expression mathématique de départ à un facteur près. Donc l'intégrale est :
⇥ 13·(x2 -1)32
⇥ (x2 -1)323
En intégrant les deux membres, on obtient y22 = (x2 -1)323 + C, où C est une constante réelle arbitraire
On multiplie par 2 et on renomme 2*C en C : y2 = 2·(x2 -1)323 + C
Les deux branches réelles ont un signe fixe sur chaque intervalle où le membre droit initial est réel et 2·(x2 -1)323 + C > 0 ; y = 0 est exclu
▶Solution :   y = { -2·(x2 -1)323 + C, 2·(x2 -1)323 + C }