方程x^2-x=1/4lnx的解的个数是?