C.E.
per l'esistenza dei due logaritmi deve risultare:
x ≠ 0 ∧ x ≠ 1/2
per l'esistenza del radicale deve risultare:
LOG(1/3,ABS(x)·ABS(2·x - 1)) ≥ 0
ABS(x)·ABS(2·x - 1) ≤ (1/3)^0 (funzione decrescente)
ABS(x)·ABS(2·x - 1) ≤ 1
-1 ≤ x·(2·x - 1) ≤ 1
risolvo:
- 1/2 ≤ x ≤ 1 (è un sistema)
soluzione finale:
x ≠ 1/2 ∧ x ≠ 0 ∧ - 1/2 ≤ x ≤ 1