Prvo određujemo domen jednačine. Argumenti logaritama moraju biti strogo pozitivni, a izraz pod korenom nenegativan:
⎩⎨⎧x>02x+1≥02x+1−1>0
Rešavanjem ovog sistema nejednačina dobijamo uslove za domen:
⎩⎨⎧x>0x≥−212x+1>1⟹2x+1>1⟹x>0
Dakle, domen jednačine je x∈(0,+∞). Proveravamo da li je x=1 rešenje jednačine:
2log221=log31⋅log3(2⋅1+1−1)
Pošto je log21=0 i log31=0, dobijamo:
0=0⋅log3(3−1)⟹0=0
Zaključujemo da je x=1 jedno rešenje jednačine. Sada analiziramo slučaj kada je x>1. Upoređujemo izraze 2x+1−1 i x:
2x+1<x+1
Kvadriranjem obe strane (što je dozvoljeno jer su obe pozitivne za x>1) dobijamo:
2x+1<x2+2x+1⟹0<x2
Ova nejednakost je tačna za svako x>0, pa važi 2x+1−1<x. Pošto je osnova logaritma 3>1, logaritmovanjem dobijamo:
log3(2x+1−1)<log3x
Za x>1 važi log3x>0. Množenjem prethodne nejednakosti sa pozitivnim brojem log3x znak nejednakosti se ne menja:
log3x⋅log3(2x+1−1)<log32x
Sada upoređujemo log32x sa levom stranom jednačine 2log22x. Koristimo formulu za promenu osnove logaritma log3x=log23log2x:
log32x=log2231log22x
Pošto je log23>1, sledi da je log2231<1<2. Zato važi:
log32x<2log22x
Spajanjem ovih nejednakosti zaključujemo da za svako x>1 važi:
log3x⋅log3(2x+1−1)<2log22x
Desna strana jednačine je strogo manja od leve za x>1, pa u tom intervalu nema rešenja.
Sada analiziramo interval 0<x<1. U ovom intervalu je log3x<0. Množenjem nejednakosti log3(2x+1−1)<log3x negativnim brojem log3x, znak nejednakosti se menja:
log3x⋅log3(2x+1−1)>log32x
Zbog promene znaka nejednakosti, ne možemo doneti isti zaključak kao za x>1. Definišimo funkciju razlike leve i desne strane:
f(x)=2log22x−log3x⋅log3(2x+1−1)
Proverom vrednosti funkcije u tačkama x=0,5 i x=0,95 dobijamo:
{f(0,5)≈1,494>0f(0,95)≈−0,004<0
Na osnovu Bolcano-Košijeve teoreme, pošto je funkcija neprekidna i menja znak na intervalu (0,5;0,95), postoji još jedno rešenje jednačine u tom intervalu (približno x≈0,93).
*Napomena: U mnogim školskim zbirkama se previdi promena znaka pri množenju negativnim brojem, pa se pogrešno zaključi da je x=1 jedino rešenje. Matematički korektna analiza pokazuje postojanje drugog, iracionalnog rešenja.*