不等式
正如方程 
所声明的 
等于
，因此不等式 
声明 
大于
. 在 Mathematica 中，Reduce 不仅适用于方程，也适用于不等式.
| Reduce[{ineq1,ineq2,...},x] | 化简关于 x 的不等式集合 |
多变量不等式的操作.
| Out[1]= |  |
| Out[2]= |  |
当应用于方程时，Reduce[eqn, x] 试图获得由x 的形式 
, ... 的简单方程组组成的结果. 而当应用于不等式时，Reduce[ineq, x] 做完全类似的事情，并试图获得由 x 的形式为 
, ... 的简单不等式组成的结果.
这里把二次方程化简为
的两个简单方程.
| Out[3]= |  |
这里把二次不等式化简为
的两个简单不等式.
| Out[4]= |  |
由 Reduce[ineq, x] 产生的结果可以用来代表由不等式描述的一系列区间. 由于 
次多项式的图示可以上下起伏多达 
次，
次多项不等式可以产生多达 
个不同区间.
| Out[5]= |  |
| Out[6]= |  |
| Out[7]= |  |
超越函数如 
的图示上下起伏无穷多次，所以可以生成无穷多区间.
| Out[8]= |  |
| Out[9]= |  |
| Out[10]= |  |
如果有包含 
和 
的不等式，就可能有满足不等式的孤立点. Reduce 通过给出方程代表这样的点.
| Out[11]= |  |
| Out[12]= |  |
| Reduce[{ineq1,ineq2,...},{x1, x2, ... }] | 化简由一些变量组成的不等式集合 |
多变量不等式.
对于包含多个变量的不等式，Reduce 产生具体区间的嵌套集合，这里后来的变量具有依赖于前面变量的边界.
这里使用
和
的嵌套不等式代表单位园板.
| Out[13]= |  |
从几何上看，任何线性不等式把空间分为两半. 因此，线性不等式的列表定义了多面体，有时候是有界的，有时候不是. Reduce 用嵌套不等式表示这样的多面体. 多面体的角总是出现在这些不等式的终端.
| Out[14]= |  |
| Out[15]= |  |
一般来说，不等式列表表示几何对象互相重叠的区域. 通常这些描述可以相当复杂.
| Out[16]= |  |
| Out[17]= |  |
| Out[18]= |  |
| Out[19]= |  |
如果有包含参数的不等式，Reduce 自动处理可能出现的不同情况，正如它对方程的处理一样.
区间的形式取决于
的值.
| Out[20]= |  |
取决于
的值，可以得到双曲线或椭圆区域.
| Out[21]= |  |
Reduce 试图提供由不等式集合定义的区域的完整描述. 然而，有时候，用户可能只想找到满足不等式的变量值的个别例子. 可以使用 FindInstance 做到这一点.
寻找满足不等式的个别点.
| Out[22]= |  |
| Out[23]= |  |
FindInstance 在一定程度上类似于用于方程的 Solve 的不等式. 类似于 Solve，返回一个给出变量具体值的规则列表. 但是，尽管对于方程，这些值可以笼统地给出所有解的准确表示，然而，对于不等式，它们只能对应于由不等式所描述的区域内的孤立样本点.
每次使用具体输入调用 FindInstance，将给出同样的输出. 并且当我们有对应于有些特殊或局限性的点的实例，将优先返回这些输出. 但一般而言，由 FindInstance 返回的实例的分布通常看起来有点随机. 然而，每个实例实际上建设性地证明了用户所提供的不等式是可以被满足的.
| Out[24]= |  |
| Out[26]= |  |
的例子
