675) 3*log(2, 2*x - 4) - log(2, 3 - x) > 2*log(2, x - 5) ≡
≡ log(2, (2*x - 4)^3/(3 - x)) > 2*log(2, x - 5)
---------------
La presenza dell'operatore relazionale ">" impone la realtà dei due membri, cioè
* ((2*x - 4)^3/(3 - x) > 0) & (x - 5 > 0) ≡
≡ (- 8*(x^2 - 3*x + 3) > 8/(x - 3)) & (x > 5) ≡
≡ (2 < x < 3) & (x > 5) ≡
≡ (insieme vuoto)
Se non esiste alcun valore di x per cui i due membri siano entrambi reali, visto che non possono esistere logaritmi immaginarii, vuol dire che almeno uno dei due membri è complesso e che pertanto l'operatore d'ordine stretto perde significato.
------------------------------
ALTERNATIVAMENTE
675) 3*log(2, 2*x - 4) - log(2, 3 - x) > 2*log(2, x - 5) ≡
≡ 3*log(2, 2*x - 4) - log(2, 3 - x) - 2*log(2, x - 5) > 0 ≡
≡ log(2, (2*x - 4)^3) - (log(2, 3 - x) + log(2, (x - 5)^2)) > 0 ≡
≡ log(2, (2*x - 4)^3/((3 - x)*(x - 5)^2)) > 0 ≡
≡ (2*x - 4)^3/((3 - x)*(x - 5)^2) > 1 ≡
≡ ((2*x - 4)^3)*(3 - x)*(x - 5)^2 - 1 > 0 ~≡
~≡ 2.29 < x < 2.97
e quest'intervallo, pur compatibile con la realtà del primo membro, non lo è con quella del secondo.