順序関係（大小関係）を用いた証明では、個別の不等式をどのようにまとめて全体の不等式にするかが重要なポイントになります。特に「∨（最大値）」と「∧（最小値）」が絡む問題では、論理のつなぎ方が分かりにくくなることがあります。
本記事では、与えられた不等式の証明において、なぜ最終的に一つの不等式へまとめられるのかを整理して解説します。
∨と∧の意味を整理する
まず、x∨yはxとyのうち大きい方（最大値）を表し、x∧yは小さい方（最小値）を表します。
この定義により、a∨bはaとbの上界、a∧cはaとcの下界を意味することになります。
したがって、この問題は「最大値と最小値の順序関係」を扱う問題だと理解できます。
基本性質：単調性を利用する
重要な性質として、x≧x′かつy≧y′ならばx∧y≧x′∧y′が成り立ちます。
これは「小さい方を取る操作（∧）は順序を保つ」という単調性によるものです。
この性質を使うことで、複雑な式の大小関係を分解できます。
個別の不等式から何が言えるか
問題文の※では、(a∨b)∧(c∨d)≧(a∧c)および(a∨b)∧(c∨d)≧(b∧d)が得られています。
これはそれぞれ、a∨b≧a、c∨d≧cなどから単調性を使って導かれた結果です。
つまり「共通の下界」を複数持っている状態と解釈できます。
なぜ∨でまとめられるのか
ここが最も重要なポイントで、「両方以上である数の最大値」を取ると一気にまとめられます。
ある数Xが(a∧c)以上かつ(b∧d)以上なら、Xはそれらの最大値 (a∧c)∨(b∧d)以上になります。
したがって、※の2つの不等式をまとめると、(a∨b)∧(c∨d)≧(a∧c)∨(b∧d)が導かれます。
論理の流れを一言で整理する
この証明の本質は「共通の下界を見つけ、それらの最大を取る」という構造にあります。
個別の不等式はそれぞれの下界を示し、それを∨で統合することで最も強い下界を得ています。
この発想は順序関係の証明で頻出する基本パターンです。
まとめ
この不等式の証明は、単調性と最大・最小の性質を組み合わせた典型的な順序関係の議論です。
個別の不等式を「共通の下界」として捉え、それらを∨でまとめることで全体の不等式が成立します。
論理の流れを理解すると、同様の問題にも応用できるようになります。
コメント