3.4.7 高级专题：解的存在性使用 Reduce，用户能发现一组特定方程在什么条件下有解. 而 Solve 则告诉用户是否存在通解.
这个方程给无解. Reduce 把 x=1&&x=2 化为值 False
Out[1]= |  |
这个方程仅当 a 取特殊值 1 时有一个解
Out[2]= |  |
该解不是通解. 故被 Solve 拒绝
Out[3]= |  |
若限制 a=1，那么 Solve 也能给出解
Out[4]= |  |
此方程对任何 x 值都成立
Out[5]= |  |
这是当方程对任何 x 值都成立时 Solve 返回的结果
Out[6]= |  |
对于线性方程，可以使用 Solve 得到通解，使用 Reduce 弄清参数在什么值下解存在.这里是一个矩阵，其第 i，j 个元素是 
Out[7]= |  |
该矩阵的行列式为零
Out[8]= |  |
这里建立三个方程的方程组
Out[9]= |  |
Solve 报告没有通解
Out[10]= |  |
然而，Reduce 表明如果参数满足条件 a=2b-c 那么方程组有解
Out[11]= |  |
对于非线性方程，解的存在性可能是非常复杂的. 这里是一个非常简单的二元非线性方程组
Out[12]= |  |
Solve 显示该方程组没有一般解
Out[13]= |  |
给出解存在的完全条件
Out[14]= |  |
| 
