方程x的5次方+x-3=0有多少个实数解?证明,并求出近似解