この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "不等式"
この記事は英語版の対応するページを翻訳することにより充実させることができます。（2024年5月）翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。
万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
翻訳後、{{翻訳告知|en|Inequality (mathematics)|…}}をノートに追加することもできます。
Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
不等式（ふとうしき、英: inequality）とは不等号（ふとうごう）を用いて、数量の大小関係を表した式を言う。
値や量を評価するという意味では等式を不等式の一種であると見なすこともできる。 未知数（あるいは変数）を含む不等式は方程式と類似の概念をもたらす。すなわち、変数への値の代入が行われたとき、正しい評価を与える値のことを不等式の解と呼び、不等式の解となる値を全て求めることを不等式を解くという。通常、不等式という言葉は、このように未知の数を含む、方程式との類似物の意味で用いられることが多い。 また、未知数を含む不等式が与えられたとき、ほとんどの場合、任意の値が解となるわけではなく、ゆえに不等式が未知の数に関する条件を定めるものであると理解されることも方程式と同様である。任意の値に対して不等式が成立するわけではないことを強調するときには条件不等式と呼ぶこともある[1]。これに対して方程式に対する恒等式に当たるもの、すなわち任意の値に対して成立する不等式は絶対不等式と呼ばれる[2]。 同じ文字は同時に同じ値をもつという約束に基づいて、多変数不等式や、同時に成り立つ不等式の組、すなわち連立不等式、不等式系と呼ばれるものを考えることができること、あるいは与えられた不等式系を、同値性を保ったままでなるべく簡単な不等式系に変換することを不等式系を解くということなどは、やはり方程式系と同様である。 方程式が離散的な値を与える条件式となることが多いことに比して、不等式は通常、値の範囲を評価する条件式として働く。このような違いが効果的に現れた例として素数分布に関するブルンの篩を挙げる事ができるだろう。これは、素数の検出法として古典的に知られていたエラトステネスの篩のルジャンドルによる定式化（これは、ある整数以下の素数の "個数" を計算するためのもので、メビウス関数を用いた等式として書くことができる）を、さらに不等式で範囲の評価に書き直すこと（およびその精密化）により得られたもので、素数分布の評価に絶大な効果をもたらした。 様々な場面で不等式を巧妙に用いて様々な論証を行う解析学は、方程式論をはじめとする等式の学問としての代数学との対比として、しばしば「不等式の学問」といわれる。 教育数学において扱う不等式は実数の大小関係に関するものである。 これらを利用して、例えば 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]。同様に下から評価するあるいは下から押さえるという表現も用いられる。このような評価はその目的に適う限りにおいて、なるべく簡単なものを見つけて選ぶが、それには経験や技量が求められる。 不等式は方程式の場合とは異なり、不等号の種類（向き）が意味を持つので、不等式に対する操作でそれが変化することがあることに注意しなければならない。 不等式の両辺に等しいものを加えても、評価は変わらない。よって、方程式と同様に、不等式も移項することによって同値なまま変形ができる。 両辺に同じ数値を加えたり減じたりする場合には不等号の向きは変化しないが、両辺に同じ負の数を乗じたり除したりする場合には、不等号の向きが変わる。乗数・除数が変数であったり文字式であったりと正負が不定の場合は、場合分けして計算する必要がでてくる。 まとめると、実数の大小に関する不等式は次の性質をもつ。 1, 2, 3, 4 は不等号という記号の約束事である。また、5, 6, 7 は順序の公理として抽象化される性質である。すなわち 5, 6, 7 は実数の大小関係が順序関係であるということを述べている。8, 9, 10 が成り立つことは順序が体演算と適合すると言われ、実数の全体が順序体をなすことの成立要件である。
概要
例
x + 1 > 1（この場合、x が 0 より大きいという条件が示される）
絶対不等式の例
x2 + 1 > 0 （ただし、x は実数に値をとる変数）
実数の大小
種類と意味
> 大なり、よりだい、超過、greater than
左辺が右辺よりも大きいことを示す。
≧ (?) 大なりイコール、以上、greater than or equal to, not less than
左辺が右辺よりも大きいか、等しいことを示す。
< 小なり、よりしょう、未満、less than
左辺が右辺よりも小さいことを示す。
≦ (?) 小なりイコール、以下、less than or equal to, not greater than
左辺が右辺よりも小さいか、等しいことを示す。
性質
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
主な不等式
一次不等式
線形計画法
二次不等式
相加相乗平均
イェンセンの不等式
コーシー＝シュワルツの不等式
ヘルダーの不等式
チェビシェフの不等式
三角不等式
シュールの不等式
ギブスの不等式
クラフトの不等式
ポアンカレの不等式
出典[脚注の使い方]^ 大関 & 青柳 1967, p. 18.
^ 大関 & 青柳 1967, p. 17.
^ a b J. ディユドネ 著、丸山滋弥、麻嶋格次郎 訳『無限小解析 1』東京図書、1973年、13, 16頁。
^ 数学セミナー編集部『数学の言葉づかい100』日本評論社、1999年、36頁。.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}ISBN 978-4-535-60613-5。