证明:方程x+log2X(以2为底X的对数)-2=0有唯一实数根.