log(1/2,x)>1
1) Let's solve in ℝ: log(12, x) > 1
ⓘ log(b, v) is the logarithm of v in base b, that is ln(v)/ln(b): log(12, x) = ln(x)ln(12)
ln(x)ln(12) > 1
2) Let's examine the sign of: ln(12)
ln(0.5)
≈ -0.6931
We multiply both sides by ln(12); since this number is negative, we reverse the inequality sign
ln(x) < ln(12)
ⓘ We subtract ln(12) from both sides
ln(x) -ln(12) < 0
ⓘ For strictly positive arguments, a sum of logarithms is the logarithm of the product, a difference that of the quotient, ln(a) + ln(b) = ln(a*b): ln(x) -ln(12) = ln(x12)
ln(x12) < 0
ⓘ Dividing is multiplying by the reciprocal: x12 = x·2
ln(x·2) < 0
You can apply the exp function on both sides:
eln(x·2) < e0
ⓘ For real x, ln(exp(x)) = x; wherever ln(x) is defined, exp(ln(x)) = x: eln(x·2) = x·2■Any nonzero number raised to the power 0 is 1: e0 = 1
x·2 < 1
ⓘ Both sides are divided by 2
Candidates, pending the domain check: x < 12
For the expression ln(x) to be defined, we must have: x > 0
Domain constraints: x > 0
▶Solution:   x ∈ (0, 12)
3) The numeric value of: x ∈ (0, 12) is:
▷ x ∈ (0, 0.5)