domain of f(x)=ln(1/x-1/(1-x))
We save the definition: f(x) = ln(1x -11 -x)
1) Let's evaluate the domain of ln(1x -11 -x)
For the expression ln(1x -11 -x) to exist, you must check: 1x -11 -x > 0
For the expression 1x to be defined, we must have: x ≠ 0
For the expression -11 -x to exist, you must check: 1 -x ≠ 0
2) Let's solve in ℝ: 1x -11 -x > 0
3) Let's add fractions: 1x + 1-1 + x > 0
ⓘ To add fractions, put them over the same denominator, then add the numerators: 1x + 1-1 + x = (-1 + x) + xx·(-1 + x)
(-1 + x) + xx·(-1 + x) > 0
ⓘ Like terms are grouped by adding their coefficients: x + x = 2x
-1 + 2xx·(-1 + x) > 0
We study the sign of the numerator
⇥The expression -1 + 2x is zero at:
⇥ x = 12
⇥Its coefficient of x, 2, being positive, it is negative before and positive after 12
We study the sign of the denominator, which must not be zero
Let's solve in ℝ: x·(-1 + x) > 0
We study the sign of each factor of the product
⇥The expression x is zero at x = 0 (forbidden value), it is negative before and positive after
⇥The expression -1 + x is zero at x = 1 (forbidden value), it is negative before and positive after
4) Let's draw up the sign table:
x-∞ 0 12 1 +∞
-1 + 2x--0++
x-0+++
-1 + x---0+
1x + 1-1 + x-❌+0-❌+
Solution found: x ∈ (0, 12) ∪ (1, +∞)
5) Let's solve in ℝ: 1 -x ≠ 0
ⓘ We add x to both sides
1 ≠ x
Solution obtained: x ≠ 1
Let's build the table of the different terms to determine the global solution:
x-∞ 0 12 1 +∞
1x -11 -x > 0❌❌✅❌❌❌✅
x ≠ 0✅❌✅✅✅✅✅
1 -x ≠ 0✅✅✅✅✅❌✅
Domain of definition: ❌❌✅❌❌❌✅
▶Domain of definition:   x ∈ (0, 12) ∪ (1, +∞)