Nella disequazione
694) √log(3, x) - 6*log(3, √x) > 0
la diseguaglianza d'ordine richiede la realtà del primo membro, cioè
* (x > 0) & (log(3, x) >= 0) ≡ x >= 1
quindi, con
* (u = √log(3, x)) & (x >= 1) ≡ (x = 3^(u^2)) & (u >= 0)
il sistema risolutivo si svolge come segue.
* (√log(3, x) - 6*log(3, √x) > 0) & (x >= 1) ≡
≡ (√log(3, x) - 3*log(3, x) > 0) & (x >= 1) ≡
≡ (u - 3*u^2 > 0) & (u >= 0) ≡
≡ (0 < u < 1/3) & (u >= 0) ≡
≡ 0 < √log(3, x) < 1/3
NB: quadrando membro a membro si possono introdurre soluzioni spurie
* 0 < √log(3, x) < 1/3 ≡
≡ 0 < log(3, x) < 1/9 ≡
≡ 3^0 < 3^log(3, x) < 3^(1/9) ≡
≡ 1 < x < 3^(1/9)
che è proprio il risultato atteso, scevro da refusi.
Invece "per verificare se e dove ho errato" è tutt'un'altra cosa; il "se" è semplice (hai errato), ma il "dove" puoi vederlo solo tu ripercorrendo il tuo svolgimento alla luce del mio e/o di quelli di altri responsori.