solve dy/dx=x*sqrt(x^2-1)/y
1) Solve the separable equation y' = x·x2 -1y, where y is a function of x and y ≠ 0
⇥1.1) Let's evaluate the domain of x·x2 -1
⇥ For the expression x2 -1 to exist, you must check: x2 -1 >= 0
⇥Given the quadratic form ax2 + bx + c, you can calculate the discriminant: Δ = b2 -4ac
⇥ Δ = 02 -4·1·(-1)
⇥ Δ = -4·(-1)
⇥ Δ = 4
⇥Since Δ > 0, the equation has two solutions:
⇥For the first solution, we obtain: -b -Δ2a
⇥ x1 = -42
⇥ x1 = -22
⇥ x1 = -1
⇥Solution 2nd: -b + Δ2a
⇥ x2 = 42
⇥ x2 = 22
⇥ x2 = 1
⇥Solution found: x ∈ (-∞, -1] ∪ [1, +∞)
Multiply by y and separate the variables: y*dy = x·x2 -1*dx
⇥1.2) Let's compute the integral: ∫(x·x2 -1)dx
⇥For the math expression: x·x2 -1, we know the derivative formula: ddx(an) = na(n -1), so we try differentiating with ^(m+1)
⇥1.3) Let's differentiate: ddx((x2 -1)(12 + 1))
⇥ ddx((x2 -1)(1 + 22))
⇥ ddx((x2 -1)32)
⇥Apply the differentiation rule: ddx(fn) = n·ddx(f)·f(n -1) with 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
⇥You observe that the computed derivative and the original math expression are the same, except for a coefficient. So the integral is:
⇥ 13·(x2 -1)32
⇥ (x2 -1)323
Integrating both sides gives y22 = (x2 -1)323 + C, where C is an arbitrary real constant
Multiply by 2 and rename 2*C as C: y2 = 2·(x2 -1)323 + C
The two real branches have a fixed sign on each interval where the original right side is real and 2·(x2 -1)323 + C > 0; y = 0 is excluded
▶Solution:   y = { -2·(x2 -1)323 + C, 2·(x2 -1)323 + C }