不等式
方程式
は
が
と等しいことを表すように，不等式
は
が
より大きいことを表す．Mathematica では，Reduceは方程式だけでなく不等式にも使用できる．
| Reduce[{ineq1,ineq2,...},x] | x における不等式の組を約す |
一変量の不等式の操作
この1組の不等式は単一の不等式に約すことができる．
| Out[1]= |  |
| Out[2]= |  |
Reduce[ineq, x]は，方程式に適用されると 
, ...という形式の x についての単純な方程式からなる結果を得ようとする．Reduce[ineq, x]は不等式に適用されても全く同じことをしようと試み，
, ...という形式の x についての単純な不等式からなる結果を得ようとする．
これは二次方程式を
についての2つの簡単な方程式に約す．
| Out[3]= |  |
これは二次不等式を
についての2つの簡単な不等式に約す．
| 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]= |  |
1つの三角形でも2つの要素として表す必要があることもある．
| 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]= |  |
の例を求めようとする
