連立不等式 $x+y \ge 2$ $x^2+y^2 \le 4$ の表す領域Dを点(x, y)が動くとき、以下の式の最大値と最小値を求める。 (1) $-2x+y$ (2) $2x+y$ (3) $x^2+y^2-2x$

代数学連立不等式最大最小領域
2025/7/21

1. 問題の内容

連立不等式
x+y2x+y \ge 2
x2+y24x^2+y^2 \le 4
の表す領域Dを点(x, y)が動くとき、以下の式の最大値と最小値を求める。
(1) 2x+y-2x+y
(2) 2x+y2x+y
(3) x2+y22xx^2+y^2-2x

2. 解き方の手順

まず、領域Dを図示する。
x+y2x+y \ge 2yx+2y \ge -x+2 であり、これは直線 y=x+2y=-x+2 の上側の領域を表す。
x2+y24x^2+y^2 \le 4 は原点を中心とする半径2の円の内部(境界を含む)を表す。
領域Dは、これらの共通部分である。
(1) k=2x+yk = -2x+y とおく。すると y=2x+ky=2x+k である。
この直線が領域Dと共有点を持つときの kk の最大値と最小値を求める。
円と直線の交点を考える。x2+(2x+k)2=4x^2+(2x+k)^2 = 4 を解くと
x2+4x2+4kx+k2=4x^2 + 4x^2 + 4kx + k^2 = 4
5x2+4kx+k24=05x^2 + 4kx + k^2 - 4 = 0
判別式 D=(4k)24(5)(k24)=16k220k2+80=4k2+800D = (4k)^2 - 4(5)(k^2-4) = 16k^2 - 20k^2 + 80 = -4k^2 + 80 \ge 0
k220k^2 \le 20
20k20-\sqrt{20} \le k \le \sqrt{20}
25k25-2\sqrt{5} \le k \le 2\sqrt{5}
直線と領域Dが共有点をもつ必要があるので、直線y=2x+ky=2x+kが領域の端点を通る場合を考える。
直線 y=x+2y = -x + 2 と円 x2+y2=4x^2+y^2 = 4 の交点を求める。
x2+(x+2)2=4x^2 + (-x+2)^2 = 4
x2+x24x+4=4x^2 + x^2 - 4x + 4 = 4
2x24x=02x^2 - 4x = 0
2x(x2)=02x(x-2) = 0
x=0,2x = 0, 2
交点は (0,2),(2,0)(0, 2), (2, 0)
(0,2)(0, 2)のとき k=2(0)+2=2k = -2(0) + 2 = 2
(2,0)(2, 0)のとき k=2(2)+0=4k = -2(2) + 0 = -4
したがって、最大値は252\sqrt{5}、最小値は4-4である。
25=204.472\sqrt{5} = \sqrt{20} \approx 4.47
直線 y=2x+25y=2x+2\sqrt{5} は円と接する。
直線 y=2x4y=2x-4 は点 (2,0)(2, 0)を通る。
(2) l=2x+yl = 2x+y とおく。すると y=2x+ly=-2x+l である。
この直線が領域Dと共有点を持つときの ll の最大値と最小値を求める。
円と直線の交点を考える。x2+(2x+l)2=4x^2+(-2x+l)^2 = 4 を解くと
x2+4x24lx+l2=4x^2 + 4x^2 - 4lx + l^2 = 4
5x24lx+l24=05x^2 - 4lx + l^2 - 4 = 0
判別式 D=(4l)24(5)(l24)=16l220l2+80=4l2+800D = (-4l)^2 - 4(5)(l^2-4) = 16l^2 - 20l^2 + 80 = -4l^2 + 80 \ge 0
l220l^2 \le 20
20l20-\sqrt{20} \le l \le \sqrt{20}
25l25-2\sqrt{5} \le l \le 2\sqrt{5}
直線と領域Dが共有点をもつ必要があるので、直線y=2x+ly=-2x+lが領域の端点を通る場合を考える。
(0,2)(0, 2)のとき l=2(0)+2=2l = 2(0) + 2 = 2
(2,0)(2, 0)のとき l=2(2)+0=4l = 2(2) + 0 = 4
したがって、最大値は44、最小値は22である。
(3) m=x2+y22x=(x1)2+y21m = x^2 + y^2 - 2x = (x-1)^2 + y^2 - 1 とおく。すると (x1)2+y2=m+1(x-1)^2 + y^2 = m+1 である。
これは点(1,0)(1, 0)を中心とする半径 m+1\sqrt{m+1} の円である。
この円が領域Dと共有点を持つときの mm の最大値と最小値を求める。
最小値は、(x1)2+y2(x-1)^2+y^2 が最小となるとき、すなわち (1,0)(1, 0) と直線 x+y=2x+y=2 の距離が最小の半径である。
距離は 1+0212+12=12=22\frac{|1+0-2|}{\sqrt{1^2+1^2}} = \frac{1}{\sqrt{2}} = \frac{\sqrt{2}}{2}
よって m+1=22\sqrt{m+1} = \frac{\sqrt{2}}{2}
m+1=12m+1 = \frac{1}{2}
m=12m = -\frac{1}{2}
最大値は、円が (x1)2+y2=m+1(x-1)^2 + y^2 = m+1 が原点を通るとき、すなわち (01)2+02=m+1(0-1)^2 + 0^2 = m+1, よって 1=m+11 = m+1, m=0m = 0 である。
領域の端点である (2,0)(2, 0)を通る場合を考えると、 (21)2+02=m+1(2-1)^2 + 0^2 = m+1, よって 1=m+11 = m+1, m=0m=0
(0,2)(0, 2)を通る場合を考えると、 (01)2+22=m+1(0-1)^2 + 2^2 = m+1, よって 5=m+15=m+1, m=4m=4
ただし、最大値の条件は円 x2+y2=4x^2 + y^2 = 4 と円 (x1)2+y2=m+1(x-1)^2 + y^2 = m+1 が接することなので、(1,0)(1, 0)から最も遠い円周上の点は、(1,0)(1, 0)から原点の方向にある点である。
したがって、最大値は、円の中心(1,0)(1, 0)から原点までの距離が1であり、円の半径が2であるから、(1,0)(1, 0)から最も遠い点の距離は3となる。よって m+1=3\sqrt{m+1} = 3
m+1=9m+1 = 9
m=8m = 8
最小値は、領域Dの端点に近い点なので、直線と円の接点を考える。

3. 最終的な答え

(1) 最大値:252\sqrt{5}、最小値:4-4
(2) 最大値:44、最小値:22
(3) 最大値:88、最小値:12-\frac{1}{2}

「代数学」の関連問題

(2) $x = \frac{1-\sqrt{5}}{2}$ のとき、$x^2 - x - 1$ の値を求めなさい。 (3) $x = \frac{1-\sqrt{5}}{2}$ のとき、$2x^3 ...

式の計算二次方程式三次式代入因数分解無理数
2025/7/21

自然数 $n$ と実数 $x$ について、以下の3つの命題の真偽を調べ、さらにそれぞれの逆、裏、対偶を述べ、それらの真偽を調べる。 (1) $n$ は 9 の倍数である $\Rightarrow$ $...

命題真偽対偶倍数因数分解二次方程式
2025/7/21

実数 $a, b, c$ について、以下の3つの命題の空欄に当てはまる選択肢(1: 必要条件だが十分条件でない, 2: 十分条件だが必要条件でない, 3: 必要十分条件, 4: 必要条件でも十分条件で...

条件必要条件十分条件命題整数の性質倍数
2025/7/21

実数 $x, y$ が3つの不等式 $y \geq 2x - 5$, $y \leq x - 1$, $y \geq 0$ を満たすとき、$x^2 + (y - 3)^2$ の最大値と最小値を求めよ。

不等式最大・最小領域
2025/7/21

与えられた指数方程式・不等式を解く。 (1) $4^x = 64$ (2) $25^x = \frac{1}{125}$ (3) $(\frac{1}{8})^x = 16$ (4) $(\frac{...

指数指数方程式指数不等式対数
2025/7/21

関数 $y = (\frac{1}{3})^x$ の、定義域が $-2 \leq x \leq 2$ であるときの値域を求める問題です。

指数関数値域単調減少関数
2025/7/21

与えられた5つの連立一次不等式について、それぞれの解を求める問題です。

連立不等式一次不等式グラフ領域
2025/7/21

(1) $\sum_{k=1}^{n} 2 \cdot 3^k$ を $\Sigma$ を用いずに各項を書き並べて表す。 (2) $\sum_{k=2}^{5} (k^3 - 8)$ を $\Sigm...

数列シグマ
2025/7/21

$\sum_{k=1}^{n} (6k^2 - 1)$ を求める問題です。

数列シグマ公式多項式
2025/7/21

与えられた行列Aで表される線形写像fについて、その像(Im f)と核(Ker f)の基底をそれぞれ求める問題です。具体的には、以下の3つの行列について、像と核の基底を求めます。 (1) $\begin...

線形代数線形写像基底行列
2025/7/21