不等式 $y > 2x + 1$ を満たす点 $(x, y)$ の集まりは、直線のどちら側にあるのでしょうか?
不等式が表す「領域」の考え方を、直線の場合からしっかり理解しましょう。
座標平面上で、ある不等式を満たす点 $(x, y)$ の全体がつくる部分を領域(region)といいます。
例えば、$y > 0$ を満たす点の集まりは $x$ 軸より上の部分全体です。$x < 3$ を満たす点の集まりは直線 $x = 3$ より左の部分全体です。
1変数の不等式 $x > 3$ の解が数直線上の区間であったように、2変数の不等式 $y > 2x + 1$ の解は座標平面上の領域です。
方程式 $y = 2x + 1$ は直線という1次元の図形を表しましたが、不等式 $y > 2x + 1$ は面(2次元の領域)を表します。次元が1つ上がるのです。
直線 $ax + by + c = 0$ は座標平面を2つの半平面(half-plane)に分けます。一方の半平面では $ax + by + c > 0$、もう一方では $ax + by + c < 0$ が成り立ちます。
直線 $y = f(x)$(例えば $y = 2x + 1$)について考えます。
直線 $y = f(x)$ に対して
$$y > f(x) \quad \Leftrightarrow \quad \text{直線の上側の領域}$$
$$y < f(x) \quad \Leftrightarrow \quad \text{直線の下側の領域}$$
「$y$ が $f(x)$ より大きい」→ 点は直線より上にある、と直感的に理解できます。
$x$ 座標を固定して考えます。直線上の点は $(x, f(x))$ です。
同じ $x$ 座標で $y > f(x)$ を満たす点 $(x, y)$ は、$y$ 座標が直線上の点より大きいので、直線より上にあります。
同様に $y < f(x)$ なら直線より下にあります。
一般形 $ax + by + c > 0$ の場合、まず $y$ について解いて $y > f(x)$ の形にするか、次の方法を使います。
手順:直線 $ax + by + c = 0$ 上にない適当な点(多くの場合は原点 $(0, 0)$)を不等式に代入する。
・ 不等式が成り立てば、その点を含む側の領域が答え
・ 不等式が成り立たなければ、その点を含まない側の領域が答え
例:$2x - y + 3 > 0$ の表す領域を求める。
原点 $(0, 0)$ を代入:$2 \cdot 0 - 0 + 3 = 3 > 0$ ✓
したがって、原点を含む側(直線 $2x - y + 3 = 0$ の下側)が求める領域です。
テスト点として原点を使うのは簡単ですが、直線が原点を通る場合($c = 0$ の場合)は使えません。その場合は $(1, 0)$ や $(0, 1)$ など、直線上にない別の点を使いましょう。
直線の片側の領域全体で $ax + by + c$ の符号は一定です(すべて正、またはすべて負)。これは $ax + by + c$ が連続関数で、直線上でだけ0になるためです。
したがって、片側の1点で符号を調べれば、その側全体の符号がわかります。
不等式に等号が含まれるかどうかで、境界線の扱いが変わります。
| 不等式 | 領域 | 境界線 |
|---|---|---|
| $y > f(x)$ | 直線の上側 | 含まない(破線) |
| $y \geq f(x)$ | 直線の上側 | 含む(実線) |
| $y < f(x)$ | 直線の下側 | 含まない(破線) |
| $y \leq f(x)$ | 直線の下側 | 含む(実線) |
図示のとき、等号を含む($\leq$ や $\geq$)場合は境界線を実線で、含まない($<$ や $>$)場合は破線で描きます。
この描き分けを忘れると減点されます。入試では必ず注意しましょう。
連立不等式の表す領域は、各不等式の表す領域の共通部分(intersection)です。
例えば、$\begin{cases} y \geq 0 \\ x \geq 0 \\ y \leq -x + 3 \end{cases}$ の表す領域は、3つの領域の共通部分、すなわち三角形 $\mathrm{OAB}$($\mathrm{O}(0,0)$、$\mathrm{A}(3,0)$、$\mathrm{B}(0,3)$)の内部と周です。
例:連立不等式 $\begin{cases} x + y \leq 4 \\ x - y \leq 2 \\ x \geq 0 \end{cases}$ の表す領域。
3本の直線 $x + y = 4$、$x - y = 2$、$x = 0$ で囲まれた三角形の内部と周です。
頂点を求めると:$x + y = 4$ と $x - y = 2$ の交点は $(3, 1)$、$x + y = 4$ と $x = 0$ の交点は $(0, 4)$、$x - y = 2$ と $x = 0$ の交点は $(0, -2)$。
1次不等式の連立で表される領域は、常に凸多角形(convex polygon)またはその一部です。凸集合とは、内部の任意の2点を結ぶ線分が完全にその集合に含まれる集合のことです。
大学の最適化理論(線形計画法の一般化)では、凸集合の性質が重要な役割を果たします。
例:$|x| + |y| \leq 2$ の表す領域を図示せよ。
絶対値を場合分けして4つの不等式に分解します。
これは頂点 $(2, 0)$、$(0, 2)$、$(-2, 0)$、$(0, -2)$ の正方形(45°回転)の内部と周です。
$|x| + |y| \leq k$ は、対角線の長さが $2k$ の正方形(軸に対して45°傾いたもの)を表します。これはタクシー幾何学(マンハッタン距離)における「円」です。
ユークリッド距離の「円」$x^2 + y^2 \leq k^2$ と比べてみると面白いですね。
入試の「領域を図示せよ」という問題では、次の3点を必ず記述しましょう:
① 境界線の方程式とグラフ ② 斜線等で領域を明示 ③ 「境界を含む」「含まない」を明記
これらが欠けると、正しい領域を理解していても減点されます。
Q1. 不等式 $y > 2x - 1$ はどのような領域を表すか。
Q2. 点 $(1, 3)$ は不等式 $3x - 2y + 1 > 0$ の表す領域に含まれるか。
Q3. $x + y \leq 3$ の境界線は実線か破線か。
Q4. 連立不等式 $\begin{cases} x \geq 0 \\ y \geq 0 \\ x + y \leq 1 \end{cases}$ の表す領域はどのような図形か。
Q5. $|x| \leq 1$ かつ $|y| \leq 1$ の表す領域はどのような図形か。
次の不等式の表す領域を図示せよ。
(1) $2x + 3y - 6 < 0$
(2) $y \geq -x + 4$
(1) 境界線 $2x + 3y - 6 = 0$(すなわち $y = -\frac{2}{3}x + 2$)は破線。原点 $(0,0)$ を代入:$-6 < 0$ ✓ なので原点を含む側(直線の下側)。
(2) 境界線 $y = -x + 4$ は実線。直線 $y = -x + 4$ の上側の領域(境界を含む)。
方針:問題の条件を整理し、段階的に計算を進める。
方針:問題の条件を整理し、段階的に計算を進める。