证明方程x∧3+2x=1有实根求解,急需