令log以2为底x=t,t>0,则原式可化为t>1+√3或t<1-√3(舍),所以log以2为底x>1+√3,解得x>2的1+√3次幂
换下元就好了