不等式 （ふとうしき、英 : inequality ）とは不等号
値や量を評価するという意味では等式 を不等式の一種であると見なすこともできる。
未知数（あるいは変数 ）を含む不等式は方程式 と類似の概念をもたらす。すなわち、変数への値の代入が行われたとき、正しい評価を与える値のことを不等式の解 と呼び、不等式の解となる値を全て求めることを不等式を解く という。通常、不等式という言葉は、このように未知の数を含む、方程式との類似物の意味で用いられることが多い。
また、未知数を含む不等式が与えられたとき、ほとんどの場合、任意の値が解となるわけではなく、ゆえに不等式が未知の数に関する条件を定めるものであると理解されることも方程式と同様である。任意の値に対して不等式が成立するわけではないことを強調するときには条件不等式 と呼ぶこともある。これに対して方程式に対する恒等式 に当たるもの、すなわち任意の値に対して成立する不等式は絶対不等式 と呼ばれる。
例
x + 1 > 1（この場合、x が 0 より大きいという条件が示される）絶対不等式の例
x 2 + 1 > 0 （ただし、x は実数に値をとる変数）同じ文字は同時に同じ値をもつという約束に基づいて、多変数不等式 や、同時に成り立つ不等式の組、すなわち連立不等式 、不等式系 と呼ばれるものを考えることができること、あるいは与えられた不等式系を、同値性を保ったままでなるべく簡単な不等式系に変換することを不等式系を解く ということなどは、やはり方程式系 と同様である。
方程式が離散的な値を与える条件式となることが多いことに比して、不等式は通常、値の範囲 を評価する条件式として働く。
このような違いが効果的に現れた例として素数 分布に関するブルンの篩 を挙げる事ができるだろう。これは、素数の検出法として古典的に知られていたエラトステネスの篩 のルジャンドルによる定式化（これは、ある整数以下の素数の "個数" を計算するためのもので、メビウス関数 を用いた等式として書くことができる）を、さらに不等式で範囲の評価に書き直すこと（およびその精密化）により得られたもので、素数分布の評価に絶大な効果をもたらした。
様々な場面で不等式を巧妙に用いて様々な論証を行う解析学 は、方程式論をはじめとする等式の学問としての代数学 との対比として、しばしば「不等式の学問」といわれる。
教育数学 において扱う不等式は実数 の大小関係に関するものである。
> 大なり、よりだい、超過、greater than
左辺が右辺よりも大きいことを示す。
≧ (≥) 大なりイコール、以上、greater than or equal to, not less than
左辺が右辺よりも大きいか、等しいことを示す。
< 小なり、よりしょう、未満、less than
左辺が右辺よりも小さいことを示す。
≦ (≤) 小なりイコール、以下、less than or equal to, not greater than
左辺が右辺よりも小さいか、等しいことを示す。 これらを利用して、例えば x が100以上かつ1000未満であることは 100 ≦ x < 1000 と表現される。また、a ≦ 100 かつ a ≧ 100 であれば a = 100 であると結論できる。
"≧" や "≦" のように二本線を用いる表記は日本ではよく用いられるが、世界的には"≥"や"≤"が用いられる。
実数 a に対して a ≦ b となる実数 b を求めることを a を b で上から評価する あるいは上から押さえる という[ 3] [ 4] a ≧ b となる実数 b を求めることを a を b で下から評価する あるいは下から押さえる という。また実数値関数 f (x ) に対して f (x ) ≦ g (x ) がすべての x について成立する実数値関数 g (x ) を求めることも上から評価するあるいは上から押さえるという[ 3]
不等式は方程式の場合とは異なり、不等号の種類（向き）が意味を持つので、不等式に対する操作でそれが変化することがあることに注意しなければならない。
不等式の両辺に等しいものを加えても、評価は変わらない。よって、方程式 と同様に、不等式も移項 することによって同値なまま変形ができる。
両辺に同じ数値を加えたり減じたりする場合には不等号の向きは変化しないが、両辺に同じ負の数を乗じたり除したりする場合には、不等号の向きが変わる。乗数・除数が変数であったり文字式であったりと正負が不定の場合は、場合分けして計算する必要がでてくる。
まとめると、実数の大小に関する不等式は次の性質をもつ。
a ≦ b ⇔ b ≧ a a < b ⇔ b > a a ≦ b ⇔ a = b または a < b a ≧ b ⇔ a = b または a > b a ≦ a , a ≧ a a ≦ b かつ b ≦ a ならば a = b a ≦ b かつ b ≦ c ならば a ≦ c a ≦ b かつ c ≦ d ならば a + c ≦ b + d a ≦ b ならば -b ≦ -a 0 < a , b ならば 0 ≦ ab 1, 2, 3, 4 は不等号という記号の約束事である。また、5, 6, 7 は順序の公理として抽象化される性質である。すなわち 5, 6, 7 は実数の大小関係が順序関係 であるということを述べている。8, 9, 10 が成り立つことは順序が体演算と適合すると言われ、実数の全体が順序体 をなすことの成立要件である。
大関信雄、青柳雅計『不等式』槙書店〈数学選書〉、1967年。NDLJP :1383074 。 梁取弘：「不等式」、科学振興新社（モノグラフ 4）、ISBN 978-4894281745 (1990年9月1日)。
Michael J. Cloud、Byron C. Drachman、海津聰(訳)：「不等式の工学への応用」、森北出版、ISBN 4-62707581-2 (2004).
大関清太：「不等式」、共立出版（数学のかんどころ 9）、ISBN 978-4320019898 （2012年3月23日）。
G.H.ハーディ、J.E.リトルウッド、G.ポーヤ：「不等式」、丸善出版、ISBN 978-4621063514 (2012年8月25日)。
堀内利郎：「古典的不等式の精密化: 臨界・非臨界の統一と∞次特異点の導入まで」、内田老鶴圃、ISBN 978-4753600885 （2023年5月29日）。
G. V. Milovanović(ed.): Recent Progress in Inequalities , Springer, eIBSN 978-94-015-9086-0 (1998).
