方程lgx=cos(πx/2)的实数根有几个?