利用solve函数求非线性方程的符号解，并用eval函数将符号解转化为数值解