不等式の表す領域 | 図形と方程式

1 不等式の領域と境界

不等式の表す領域は、その不等式を満たす実数平面の点 $(x,y)$ の集合です。 $y=f(x)$ を境界とする不等式では、 $y>f(x)$ は境界の上側、 $y<f(x)$ は下側を表します。円を境界とする場合には、中心 $(a,b)$ 、半径 $r>0$ に対して

(x-a)^2+(y-b)^2<r^2

が内部を、逆向きの $>$ が外部を表します。左辺が中心からの距離の平方であるためです。

狭義の不等号 $<,>$ は等号を満たす境界を含みません。 $\le,\ge$ は境界を含みます。図では境界を含むときに実線、含まないときに破線を使います。連立不等式の領域は、各不等式の領域の共通部分です。「または」で結ぶ条件の領域は、各条件の領域の合併です。図の重なった三角形でも、破線上の点は連立不等式を満たしません。

注意 1.1. 直線を境界とする一次不等式では、境界上にない一点を代入すると、どちらの側が条件を満たすかを判定することができる。原点が境界上にあるなら別の点を使う。また、 $x>2$ は鉛直線 $x=2$ の右側を表し、境界を含まない。境界が鉛直線の場合には、上下ではなく左右を判定する。

2 一次式の等位直線と頂点の値

実係数 $a,b$ が $(a,b)\ne(0,0)$ を満たすとき、一次式 $ax+by$ が一定値 $k$ をとる点の集合は直線 $ax+by=k$ です。 $k$ を変えると直線は平行に移動します。 $a=b=0$ の場合には式が常に $0$ なので、等位集合は $k=0$ なら全平面、 $k\ne0$ なら空集合です。

定理 2.1. 境界が有限個の辺からなる、空でない有界閉多角形領域の上では、実係数 $a,b$ に対する一次式 $f(x,y)=ax+by$ の最大値と最小値は、ともに頂点のいずれかで達成される。係数がともに $0$ の場合も含む。

証明. $a=b=0$ なら $f$ は領域全体で $0$ であり、どの頂点でも最大値と最小値を達成する。 $(a,b)\ne(0,0)$ の場合、領域を $D$ とし、任意の点 $\mathrm P=(x_0,y_0)\in D$ を通る直線上の点を

\mathrm P(t)=(x_0+ta,y_0+tb)\qquad(t\in\R)

と置く。この直線と $D$ の共通部分は、有限個の閉線分と孤立点からなる。実際、直線と各辺との交わりは一点、線分、または空集合である。それらの点と線分の端で直線を区切ると、境界と交わらない各区間は全体が領域内にあるか、全体が領域外にある。辺が有限個で、領域が有界かつ閉であるため、領域内にある部分には有限の端があり、その端も領域に属する。

$\mathrm P$ を含む閉線分を共通部分内で両端まで延ばしたものを $\mathrm E\mathrm F$ とし、端を $\mathrm E=\mathrm P(t_-)$ 、 $\mathrm F=\mathrm P(t_+)$ （ $t_-\le0\le t_+$ ）と置く。孤立点の場合には $t_-=t_+=0$ とする。端が領域の内部にあれば線分をその端の先へ延ばすことができるので、両端は境界上にある。

f(\mathrm P(t))=f(\mathrm P)+t(a^2+b^2)

より、 $f(\mathrm E)\le f(\mathrm P)\le f(\mathrm F)$ である。

各端は、境界のいずれかの辺 $\mathrm U\mathrm V$ 上にある。 $\mathrm U=(x_U,y_U)$ 、 $\mathrm V=(x_V,y_V)$ と置くと、その辺上の点 $\mathrm Q$ は、 $0\le s\le1$ を用いて

\mathrm Q=((1-s)x_U+sx_V,(1-s)y_U+sy_V)

と表され、 $f(\mathrm Q)=(1-s)f(\mathrm U)+sf(\mathrm V)$ である。したがって $f(\mathrm Q)$ は両端頂点での値の間にある。全頂点での最小値を $m$ 、最大値を $M$ とすると、 $m\le f(\mathrm E)\le f(\mathrm P)\le f(\mathrm F)\le M$ を得る。頂点は有限個で、いずれも $D$ に属するため、 $m,M$ をとる頂点がそれぞれ最小値と最大値を達成する。▨

等位直線と平行な辺では、一次式の値は一定です。一次式がその辺の両端で最大値をとるなら、辺上のすべての点で最大値をとります。領域が非有界の場合や境界を含まない場合には、一次式が有限な極値を達成するとは限りません。頂点での一次式の値を比べる前に、領域と境界の条件を確認します。

3 開領域と閉領域の最大値・最小値

例 3.1. 図の領域は $y<-x+4$ , $y<2x+1$ , $y>0$ の共通部分である。三本の境界の交点は

\mathrm A=\left(-\frac12,0\right),\qquad \mathrm B=(1,3),\qquad \mathrm C=(4,0)

となる。実際、 $y=0$ を二本の斜線に代入すると $x=-1/2,4$ を得て、 $-x+4=2x+1$ を解くと $x=1$ , $y=3$ を得る。不等号をすべて広義に変えた閉三角形では $0\le y\le3$ であり、最小値 $0$ は辺 $\mathrm{AC}$ 上、最大値 $3$ は頂点 $\mathrm B$ で達成される。同じ閉三角形において、一次式 $x+2y$ の値は、頂点 $\mathrm A,\mathrm B,\mathrm C$ でそれぞれ $-1/2,7,4$ である。したがって定理 2.1により、 $x+2y$ の最小値は $-1/2$ 、最大値は $7$ であり、それぞれ頂点 $\mathrm A,\mathrm B$ で達成される。

もとの開三角形では $0<y<3$ である。上限については二本の斜線の条件から

\frac{y-1}{2}<x<4-y,\qquad y<3

と分かる。逆に、任意の $0<y<3$ に対して $(1,y)$ は三つの不等式を満たす。したがって $y$ のとる値は区間 $(0,3)$ 全体であり、最大値も最小値もない。 $n=1,2,\ldots$ に対して $(1,1/n)$ と $(1,3-1/n)$ はともに領域内にあり、 $y$ の値はそれぞれ $0$ と $3$ に近づくが、端の値には達しない。

問題 3.2. 実数平面で

x^2+y^2\le1,\qquad x+y\ge1

を同時に満たす領域を求め、この領域上での $2x+y$ の最大値と最小値、およびそれらの値をとる点を求めよ。

解答.

境界の円 $x^2+y^2=1$ と直線 $x+y=1$ の共有点は、 $y=1-x$ を代入して

x^2+(1-x)^2=1,\qquad 2x(x-1)=0

を解くと、 $(0,1)$ と $(1,0)$ である。領域内では $x\le1$ 、 $y\le1$ であるため、 $x+y\ge1$ から

x\ge1-y\ge0,\qquad y\ge1-x\ge0

を得る。したがって求める領域は、第一象限の単位円弧と、 $(0,1)$ と $(1,0)$ を結ぶ線分とで囲まれた、境界を含む領域である。

領域内では

2x+y=(x+y)+x\ge1

であり、等号が成り立つのは $x+y=1$ かつ $x=0$ のときに限る。点 $(0,1)$ は領域に属するので、最小値は $1$ であり、この点だけで達成される。

最大値については

(2x+y)^2 =5(x^2+y^2)-(x-2y)^2 \le5

である。 $2x+y\ge1$ なので $2x+y\le\sqrt5$ を得る。等号が成り立つには

x^2+y^2=1,\qquad x=2y

が必要である。 $x,y\ge0$ の条件と合わせると、候補は

(x,y)=\left(\frac2{\sqrt5},\frac1{\sqrt5}\right)

だけである。この点では $x+y=3/\sqrt5>1$ であり、領域に属する。よって最大値は $\sqrt5$ であり、この点だけで達成される。

境界の円と直線の共有点では $2x+y$ の値は $1$ と $2$ であるが、最大値 $\sqrt5$ はどちらでも達成されない。等位直線 $2x+y=\sqrt5$ と原点との距離は $1$ であり、この直線は最大値をとる点で単位円に接する。▨

閑話休題：線形計画法とシンプレックス法 一次不等式の制約の下で一次式を最大化・最小化する問題を線形計画問題と呼びます。ダンツィヒが1947年に考案したシンプレックス法は、実行可能領域の頂点間を移動して目的関数の値を改善する方法です。変数が多い場合にも、実行可能領域が空でない有界な閉領域であれば、目的関数の最大値と最小値はその頂点のいずれかで達成されます。この性質が、計算の根拠になります。航空機の運用、物流、発電、生産などの計画では、多数の制約を一次不等式で表すモデルが用いられます。

ダンツィヒには、大学院の講義で黒板の二つの未解決問題を宿題だと思って持ち帰り、解いて提出したという逸話もあります。

4 例題

レベル2 — 領域と線形計画法

x,y を実数とする。次の連立不等式が表す非空・有界・閉領域において、z の最大値と、そのときの (x, y) を求めよ。

解法の型領域は多角形。直線 ax + by $=$ z を平行移動して考えると、最大・最小は頂点で起こる

例 4.1.

\begin{cases} x+2y \le 8 \\ x+y \le 6 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 4x+7y

答最大値 $30 \quad \bigl((x, y) = (4, 2)\bigr)$

注意領域は4頂点 (0, 0), (6, 0), (4, 2), (0, 4) の四角形（(4, 2) は2直線の交点）。各頂点での z は順に 0, 24, 30, 28 で、最大は (4, 2) での 30。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

例 4.2.

\begin{cases} x+3y \le 6 \\ x+y \le 4 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 6x+12y

答最大値 $30 \quad \bigl((x, y) = (3, 1)\bigr)$

注意領域は4頂点 (0, 0), (4, 0), (3, 1), (0, 2) の四角形（(3, 1) は2直線の交点）。各頂点での z は順に 0, 24, 30, 24 で、最大は (3, 1) での 30。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

例 4.3.

\begin{cases} x+y \le 5 \\ 2x+y \le 6 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 9x+6y

答最大値 $33 \quad \bigl((x, y) = (1, 4)\bigr)$

注意領域は4頂点 (0, 0), (3, 0), (1, 4), (0, 5) の四角形（(1, 4) は2直線の交点）。各頂点での z は順に 0, 27, 33, 30 で、最大は (1, 4) での 33。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

例 4.4.

\begin{cases} x+2y \le 8 \\ x+y \le 6 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 5x+8y

答最大値 $36 \quad \bigl((x, y) = (4, 2)\bigr)$

注意領域は4頂点 (0, 0), (6, 0), (4, 2), (0, 4) の四角形（(4, 2) は2直線の交点）。各頂点での z は順に 0, 30, 36, 32 で、最大は (4, 2) での 36。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

例 4.5.

\begin{cases} x+2y \le 14 \\ 3x+y \le 12 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 8x+6y

答最大値 $52 \quad \bigl((x, y) = (2, 6)\bigr)$

注意領域は4頂点 (0, 0), (4, 0), (2, 6), (0, 7) の四角形（(2, 6) は2直線の交点）。各頂点での z は順に 0, 32, 52, 42 で、最大は (2, 6) での 52。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

例 4.6.

\begin{cases} x+3y \le 24 \\ 3x+y \le 24 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 12x+12y

答最大値 $144 \quad \bigl((x, y) = (6, 6)\bigr)$

注意領域は4頂点 (0, 0), (8, 0), (6, 6), (0, 8) の四角形（(6, 6) は2直線の交点）。各頂点での z は順に 0, 96, 144, 96 で、最大は (6, 6) での 144。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

例 4.7.

\begin{cases} x+y \le 6 \\ 2x+y \le 8 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 4x+3y

答最大値 $20 \quad \bigl((x, y) = (2, 4)\bigr)$

注意領域は4頂点 (0, 0), (4, 0), (2, 4), (0, 6) の四角形（(2, 4) は2直線の交点）。各頂点での z は順に 0, 16, 20, 18 で、最大は (2, 4) での 20。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

例 4.8.

\begin{cases} x+2y \le 4 \\ x+y \le 3 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 5x+8y

答最大値 $18 \quad \bigl((x, y) = (2, 1)\bigr)$

注意領域は4頂点 (0, 0), (3, 0), (2, 1), (0, 2) の四角形（(2, 1) は2直線の交点）。各頂点での z は順に 0, 15, 18, 16 で、最大は (2, 1) での 18。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

例 4.9.

\begin{cases} x+y \le 5 \\ 3x+y \le 9 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 5x+3y

答最大値 $19 \quad \bigl((x, y) = (2, 3)\bigr)$

注意領域は4頂点 (0, 0), (3, 0), (2, 3), (0, 5) の四角形（(2, 3) は2直線の交点）。各頂点での z は順に 0, 15, 19, 15 で、最大は (2, 3) での 19。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

例 4.10.

\begin{cases} x+3y \le 15 \\ 3x+y \le 21 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 10x+6y

答最大値 $78 \quad \bigl((x, y) = (6, 3)\bigr)$

注意領域は4頂点 (0, 0), (7, 0), (6, 3), (0, 5) の四角形（(6, 3) は2直線の交点）。各頂点での z は順に 0, 70, 78, 30 で、最大は (6, 3) での 78。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。

5 演習

レベル2 — 領域と線形計画法

x,y を実数とする。次の連立不等式が表す非空・有界・閉領域において、z の最大値と、そのときの (x, y) を求めよ。

解法の型領域は多角形。直線 ax + by $=$ z を平行移動して考えると、最大・最小は頂点で起こる

問題 5.1.

\begin{cases} x+y \le 6 \\ 2x+y \le 8 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 5x+4y

解答.

答最大値 $26 \quad \bigl((x, y) = (2, 4)\bigr)$

注意領域は4頂点 (0, 0), (4, 0), (2, 4), (0, 6) の四角形（(2, 4) は2直線の交点）。各頂点での z は順に 0, 20, 26, 24 で、最大は (2, 4) での 26。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.2.

\begin{cases} x+3y \le 9 \\ x+y \le 5 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 3x+7y

解答.

答最大値 $23 \quad \bigl((x, y) = (3, 2)\bigr)$

注意領域は4頂点 (0, 0), (5, 0), (3, 2), (0, 3) の四角形（(3, 2) は2直線の交点）。各頂点での z は順に 0, 15, 23, 21 で、最大は (3, 2) での 23。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.3.

\begin{cases} x+3y \le 18 \\ 2x+y \le 16 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 7x+6y

解答.

答最大値 $66 \quad \bigl((x, y) = (6, 4)\bigr)$

注意領域は4頂点 (0, 0), (8, 0), (6, 4), (0, 6) の四角形（(6, 4) は2直線の交点）。各頂点での z は順に 0, 56, 66, 36 で、最大は (6, 4) での 66。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.4.

\begin{cases} x+2y \le 10 \\ 2x+y \le 8 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 7x+5y

解答.

答最大値 $34 \quad \bigl((x, y) = (2, 4)\bigr)$

注意領域は4頂点 (0, 0), (4, 0), (2, 4), (0, 5) の四角形（(2, 4) は2直線の交点）。各頂点での z は順に 0, 28, 34, 25 で、最大は (2, 4) での 34。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.5.

\begin{cases} x+y \le 5 \\ 3x+y \le 9 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 10x+4y

解答.

答最大値 $32 \quad \bigl((x, y) = (2, 3)\bigr)$

注意領域は4頂点 (0, 0), (3, 0), (2, 3), (0, 5) の四角形（(2, 3) は2直線の交点）。各頂点での z は順に 0, 30, 32, 20 で、最大は (2, 3) での 32。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.6.

\begin{cases} x+3y \le 24 \\ 3x+y \le 24 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 9x+11y

解答.

答最大値 $120 \quad \bigl((x, y) = (6, 6)\bigr)$

注意領域は4頂点 (0, 0), (8, 0), (6, 6), (0, 8) の四角形（(6, 6) は2直線の交点）。各頂点での z は順に 0, 72, 120, 88 で、最大は (6, 6) での 120。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.7.

\begin{cases} x+3y \le 15 \\ 2x+y \le 10 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 9x+12y

解答.

答最大値 $75 \quad \bigl((x, y) = (3, 4)\bigr)$

注意領域は4頂点 (0, 0), (5, 0), (3, 4), (0, 5) の四角形（(3, 4) は2直線の交点）。各頂点での z は順に 0, 45, 75, 60 で、最大は (3, 4) での 75。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.8.

\begin{cases} x+2y \le 6 \\ 2x+y \le 6 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 5x+7y

解答.

答最大値 $24 \quad \bigl((x, y) = (2, 2)\bigr)$

注意領域は4頂点 (0, 0), (3, 0), (2, 2), (0, 3) の四角形（(2, 2) は2直線の交点）。各頂点での z は順に 0, 15, 24, 21 で、最大は (2, 2) での 24。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.9.

\begin{cases} x+2y \le 10 \\ 3x+y \le 15 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 10x+5y

解答.

答最大値 $55 \quad \bigl((x, y) = (4, 3)\bigr)$

注意領域は4頂点 (0, 0), (5, 0), (4, 3), (0, 5) の四角形（(4, 3) は2直線の交点）。各頂点での z は順に 0, 50, 55, 25 で、最大は (4, 3) での 55。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.10.

\begin{cases} x+3y \le 12 \\ 2x+y \le 14 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 5x+10y

解答.

答最大値 $50 \quad \bigl((x, y) = (6, 2)\bigr)$

注意領域は4頂点 (0, 0), (7, 0), (6, 2), (0, 4) の四角形（(6, 2) は2直線の交点）。各頂点での z は順に 0, 35, 50, 40 で、最大は (6, 2) での 50。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.11.

\begin{cases} x+2y \le 10 \\ 2x+y \le 8 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 9x+9y

解答.

答最大値 $54 \quad \bigl((x, y) = (2, 4)\bigr)$

注意領域は4頂点 (0, 0), (4, 0), (2, 4), (0, 5) の四角形（(2, 4) は2直線の交点）。各頂点での z は順に 0, 36, 54, 45 で、最大は (2, 4) での 54。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.12.

\begin{cases} x+3y \le 15 \\ 3x+y \le 21 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 6x+10y

解答.

答最大値 $66 \quad \bigl((x, y) = (6, 3)\bigr)$

注意領域は4頂点 (0, 0), (7, 0), (6, 3), (0, 5) の四角形（(6, 3) は2直線の交点）。各頂点での z は順に 0, 42, 66, 50 で、最大は (6, 3) での 66。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.13.

\begin{cases} x+3y \le 6 \\ x+y \le 4 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 5x+11y

解答.

答最大値 $26 \quad \bigl((x, y) = (3, 1)\bigr)$

注意領域は4頂点 (0, 0), (4, 0), (3, 1), (0, 2) の四角形（(3, 1) は2直線の交点）。各頂点での z は順に 0, 20, 26, 22 で、最大は (3, 1) での 26。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.14.

\begin{cases} x+2y \le 6 \\ x+y \le 5 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 4x+5y

解答.

答最大値 $21 \quad \bigl((x, y) = (4, 1)\bigr)$

注意領域は4頂点 (0, 0), (5, 0), (4, 1), (0, 3) の四角形（(4, 1) は2直線の交点）。各頂点での z は順に 0, 20, 21, 15 で、最大は (4, 1) での 21。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

問題 5.15.

\begin{cases} x+2y \le 8 \\ 3x+y \le 9 \\ x \ge 0 \\ y \ge 0 \end{cases}\qquad z = 4x+3y

解答.

答最大値 $17 \quad \bigl((x, y) = (2, 3)\bigr)$

注意領域は4頂点 (0, 0), (3, 0), (2, 3), (0, 4) の四角形（(2, 3) は2直線の交点）。各頂点での z は順に 0, 12, 17, 12 で、最大は (2, 3) での 17。この問題は非空・有界・閉領域なので、線形関数の最大値は頂点で達成される。▨

§A2.8不等式の表す領域

1 不等式の領域と境界

2 一次式の等位直線と頂点の値

3 開領域と閉領域の最大値・最小値

4 例題

5 演習

前提記事