求方程log2(x 4)=(1 3)^x