1/(sqrt(x^2-1))+3>= 0
1) Let's solve in ℝ: 1x2 -1 + 3 ≥ 0
ⓘ To add fractions, put them over the same denominator, then add the numerators: 1x2 -1 + 3 = 1 + 3·x2 -1x2 -1
1 + 3·x2 -1x2 -1 ≥ 0
We study the sign of the numerator
⇥1.1) Let's study the sign of 1 + 3·x2 -1 by solving in ℝ: 1 + 3·x2 -1 ≥ 0
⇥Isolate the square root: x2 -1 ≥ -13. Since a square root is always nonnegative, x2 -1 is greater than -13 wherever it is defined:
⇥The simplified relation is always true; the original expression's domain must still be respected
⇥So the expression 1 + 3·x2 -1 is always positive or zero
We study the sign of the denominator, which must not be zero
⇥1.2) Let's study the sign of x2 -1 by solving in ℝ: x2 -1 > 0
⇥x2 -1 > 0 means that: x2 -1 > 0
⇥An even power only depends on the absolute value: x2 > 1 is equivalent to |x| > 1
⇥|A| > B is equivalent to: A > B or A < -B
2) Let's draw up the sign table:
x-∞ -1 1 +∞
1 + 3·x2 -1+++
x2 -1+0-0+
1x2 -1 + 3+❌-❌+
Candidates, pending the domain check: x ∈ (-∞, -1) ∪ (1, +∞)
3) Let's find the domain of 1x2 -1 + 3 ≥ 0
For the expression 1x2 -1 + 3 ≥ 0 to exist, you must check: x2 -1 > 0
An even power only depends on the absolute value: x2 > 1 is equivalent to |x| > 1
|A| > B is equivalent to: A > B or A < -B
▶Solution:   x ∈ (-∞, -1) ∪ (1, +∞)