一次不等式と領域とは何ですか？

一次不等式とは、x と y の一次式の間に不等号（>, ax + b, \; y < ax + b \quad \text{（境界線を含まない → 破線）} y \geq ax + b, \; y \leq ax + b \quad \text{（境界線を含む → 実線）}

一次不等式と領域

Q: 一次不等式と領域は社会やプログラミングでどのように使われていますか？

UIレイアウトの制約チェックと有効範囲バリデーション: 画面レイアウトでは「要素の位置は境界線より内側でなければならない」「入力値は許容範囲の直線（一次式）より下でなければならない」といった制約が一次不等式そのものの形で現れる。フォームの数値バリデーションやドラッグ可能領域の制限は、まさに「ある点が半平面の内側にあるか」を判定する処理として実装できる。

境界線を動かして、不等式が表す「平面の半分」を目で見る

この単元の発見をシェア

3行要約（Key Takeaways / AIOサマリー）

1: 一次不等式 $y > ax + b$ などは、境界線 $y = ax + b$ を挟んで平面をちょうど半分に分ける「領域」を表す
2: 不等号が $>$ や $<$ （等号を含まない）のときは境界線を破線で、 $\geq$ や $\leq$ （等号を含む）のときは実線で描き、境界そのものを領域に含めるかどうかを区別する
3: 領域内の1点を境界線の式に代入して不等式が成り立つかを確かめれば、どちら側が答えの領域かを機械的に判定できる

なぜこれを学ぶのか？ — 現実社会とテクノロジーでの価値

Purpose & Motivation

なぜ生まれたのか？

一次不等式 $y > ax + b$ などは、境界線 $y = ax + b$ を挟んで平面をちょうど半分に分ける「領域」を表す

身につく武器・思考力

不等号が $>$ や $<$（等号を含まない）のときは境界線を破線で、$\geq$ や $\leq$（等号を含む）のときは実線で描き、境界そのものを領域に含めるかどうかを区別する

実社会・ITでの活躍現場

•UIレイアウトの制約チェックと有効範囲バリデーション
•ITシステム・アルゴリズム実装における論理設計
•データ分析やシミュレーションにおける数理モデリング

Layer 1 — 直感・シミュレーター

スライダーで傾き $a$ と切片 $b$ を変えて境界線 $y = ax+b$ を動かし、不等号（ $>$ , $<$ , \geq, \leq$）を切り替えて、塗りつぶされる半平面と境界線の実線・破線がどう変化するかを確認しよう。平面上の点をドラッグすると、その点が不等式を満たす（領域内）か満たさない（領域外）かも自動で判定される。

傾き a = 1.0切片 b = 0.0

y \geq 1.0x + 0.0

点 (2.0, 2.0) は不等式を満たす（領域の内側）です。境界線は実線（境界を含む）で描かれています。

↑ 不等号を切り替えると、塗りつぶされる半平面（上側・下側）と境界線のスタイル（実線・破線）が変わる。点をドラッグして、領域の内側（緑）と外側（赤）が不等式の判定と一致することを確認しよう。

直感チェック！ミニクイズ

不等式 $y \leq 2x - 1$ が表す領域と境界線の説明として正しいものはどれか。

Layer 2 — 定義・受験・証明

定義

一次不等式とは、 $x$ と $y$ の一次式の間に不等号（ $>$ , $<$ , $\geq$ , $\leq$ ）を用いた式のことで、座標平面上では直線 $y = ax + b$ （境界線）によって分けられた2つの半平面のうち、一方の領域全体を表す。

不等号に等号を含むかどうかで境界線の扱いが変わる。

y > ax + b, \; y < ax + b \quad \text{（境界線を含まない → 破線）}

y \geq ax + b, \; y \leq ax + b \quad \text{（境界線を含む → 実線）}

公式・数理モデル

y > ax + b \iff \text{境界線 } y=ax+b \text{ より上側（破線）}, \qquad y < ax + b \iff \text{境界線より下側（破線）}

証明・導出

なぜ「 $y > ax+b$ 」が境界線の上側を表すのかを確認する。

ある $x$ 座標を固定したとき、境界線上の点は $y_0 = ax_0 + b$ である。任意の点 $(x_0, y_1)$ について、 $y_1 > y_0$ ならばその点は境界線より真上（グラフの上方向）にある。

不等式 $y_1 > a x_0 + b$ はまさに $y_1 > y_0$ と同じ条件なので、「 $y > ax+b$ を満たす点全体」＝「各 $x$ に対して境界線より $y$ が大きい点全体」＝「境界線より上側の半平面」であることが確認できる。同様に $y < ax+b$ は下側の半平面を表す。

判定法（代入法）: 境界線上にない適当な点（多くの場合は原点 $(0,0)$ 、境界線が原点を通らない場合に限る）を不等式に代入し、成り立てばその点を含む側が答えの領域、成り立たなければ反対側が答えの領域である。

押さえておきたいポイント

境界線が「等号を含む（ $\geq, \leq$ ）→ 実線・領域に含む」「等号を含まない（ $>, <$ ）→ 破線・領域に含まない」という対応を覚える
$y$ について解いた形にすれば、不等号の向き（ $>$ なら上側、 $<$ なら下側）がそのままグラフの上下に対応する
連立不等式（複数の不等式を同時に満たす領域）は、それぞれの半平面が重なった共通部分になる
境界線上にない1点を代入して真偽を確かめる「代入法」は、どんな一次不等式の領域判定にも使える万能な方法

参照基準・学習指導要領との対応

本トピックの内容・数理モデルは、文部科学省学習指導要領（算数・数学・情報）および国際標準カリキュラムに準拠し、エンジニアリング現場の実装事例と照らし合わせてMath World Lab編集部により検証・作成されています。

Layer 3 — 工学応用・現場実装

UIレイアウトの制約チェックと有効範囲バリデーション

画面レイアウトでは「要素の位置は境界線より内側でなければならない」「入力値は許容範囲の直線（一次式）より下でなければならない」といった制約が一次不等式そのものの形で現れる。フォームの数値バリデーションやドラッグ可能領域の制限は、まさに「ある点が半平面の内側にあるか」を判定する処理として実装できる。

1type Point = { x: number; y: number };
2
3// 一次不等式 y <= a*x + b (以下: 境界線を含む) を満たすか判定
4function isInsideHalfPlane(
5  p: Point,
6  a: number,
7  b: number,
8  comparison: "lte" | "gte"
9): boolean {
10  const boundaryY = a * p.x + b;
11  return comparison === "lte" ? p.y <= boundaryY : p.y >= boundaryY;
12}
13
14// 例: ドラッグ可能なUI要素の座標が「制約直線 y = -0.5x + 100」より
15// 下側（画面内側）に収まっているかをリアルタイムに検証する
16function validateDragPosition(p: Point): { ok: boolean; message?: string } {
17  const withinCeiling = isInsideHalfPlane(p, -0.5, 100, "lte");
18  if (!withinCeiling) {
19    return { ok: false, message: "要素が許容領域の外側にドラッグされました" };
20  }
21  return { ok: true };
22}
23
24// 複数の一次不等式（連立不等式）による領域制約 = AND 条件のバリデーション
25function validateAllConstraints(
26  p: Point,
27  constraints: Array<{ a: number; b: number; comparison: "lte" | "gte" }>
28): boolean {
29  return constraints.every((c) => isInsideHalfPlane(p, c.a, c.b, c.comparison));
30}
31
32console.log(validateDragPosition({ x: 40, y: 70 })); // { ok: true }
33console.log(validateDragPosition({ x: 40, y: 95 })); // { ok: false, message: "..." }