Ta cần chứng minh
1<logabc+logbca+logacb<2
⇔1<1logcab+1logabc+1logbac<2
⇔1<1logca+logcb+1logab+logac+1logba+logbc<2
⇔1<1logca+logcb+1logab+logac+1logba+logbc<2
Trong đó x=logab,y=logbc,z=logca⇒{x,y,z>0xyz=1.
⇔1<1z+1y+1x+1z+1y+1x<2
⇔1<yyz+1+zxz+1+xxy+1<2
Nhưng đây là điều không thể xảy ra vì với x=3,y=3,z=19 thì yyz+1+zxz+1+xxy+1=7930>2.