点 $(x, y)$ が領域 $x^2 + y^2 \le 1$ を動くとき、$x+y+xy$ のとる値の範囲を求める問題です。

代数学不等式最大最小領域ラグランジュの未定乗数法
2025/8/9

1. 問題の内容

(x,y)(x, y) が領域 x2+y21x^2 + y^2 \le 1 を動くとき、x+y+xyx+y+xy のとる値の範囲を求める問題です。

2. 解き方の手順

x+y=sx+y = s, xy=txy = t とおきます。
xxyyu2su+t=0u^2 - su + t = 0 の2つの実数解なので、判別式 D=s24t0D = s^2 - 4t \ge 0 より、
ts24t \le \frac{s^2}{4}
また、x2+y2=(x+y)22xy=s22t1x^2+y^2=(x+y)^2 - 2xy = s^2-2t \le 1 より
ts212t \ge \frac{s^2-1}{2}
よって、
s212ts24\frac{s^2-1}{2} \le t \le \frac{s^2}{4}
これより、s212s24\frac{s^2-1}{2} \le \frac{s^2}{4} であり、
2s24s22s^2-4 \le s^2
s24s^2 \le 4
2s2-2 \le s \le 2
k=x+y+xy=s+tk = x+y+xy = s+t とおくと、 t=kst=k-s
s212kss24\frac{s^2-1}{2} \le k-s \le \frac{s^2}{4}
s212ks\frac{s^2-1}{2} \le k-s より、ks22+s12=12(s+1)21k \ge \frac{s^2}{2}+s-\frac{1}{2} = \frac{1}{2}(s+1)^2 - 1
2s2-2 \le s \le 2 より、s=1s=-1 で最小値 1-1 をとる。
s=2s=2 で最大値 42+212=72\frac{4}{2}+2-\frac{1}{2}=\frac{7}{2} をとる。
kss24k-s \le \frac{s^2}{4} より、ks24+s=14(s+2)21k \le \frac{s^2}{4} + s = \frac{1}{4}(s+2)^2 - 1
2s2-2 \le s \le 2 より、s=2s=-2 で最小値 1-1 をとる。
s=2s=2 で最大値 44+2=3\frac{4}{4}+2=3 をとる。
s=2s=2 のとき、t44=1t \le \frac{4}{4}=1 より x=y=1x=y=1 であり、k=x+y+xy=1+1+1=3k=x+y+xy=1+1+1=3
k=3k=3
ここで、f(x,y)=x+y+xyf(x, y) = x+y+xy とおく。
ラグランジュの未定乗数法を用いる。
L(x,y,λ)=x+y+xyλ(x2+y21)L(x,y,\lambda)=x+y+xy-\lambda(x^2+y^2-1) とおく。
Lx=1+y2λx=0\frac{\partial L}{\partial x}=1+y-2\lambda x = 0
Ly=1+x2λy=0\frac{\partial L}{\partial y}=1+x-2\lambda y = 0
Lλ=x2+y21=0\frac{\partial L}{\partial \lambda}=x^2+y^2-1 = 0
1+y=2λx1+y = 2 \lambda x, 1+x=2λy1+x = 2 \lambda y
x0,y0x \ne 0, y \ne 0
1+yx=1+xy\frac{1+y}{x} = \frac{1+x}{y}
y+y2=x+x2y+y^2 = x+x^2
y2x2+yx=0y^2-x^2+y-x=0
(yx)(y+x)+(yx)=0(y-x)(y+x)+(y-x)=0
(yx)(y+x+1)=0(y-x)(y+x+1)=0
y=xy=x または y+x+1=0y+x+1=0
(1) y=xy=x のとき、2x2=12x^2=1, x=±12x = \pm \frac{1}{\sqrt{2}}
x=y=12x=y=\frac{1}{\sqrt{2}} のとき、k=22+12=2+12k=\frac{2}{\sqrt{2}}+\frac{1}{2}=\sqrt{2}+\frac{1}{2}
x=y=12x=y=-\frac{1}{\sqrt{2}} のとき、k=22+12=2+12k=-\frac{2}{\sqrt{2}}+\frac{1}{2}=-\sqrt{2}+\frac{1}{2}
(2) y=x1y=-x-1 のとき、x2+(x1)2=1x^2+(-x-1)^2=1
x2+x2+2x+1=1x^2+x^2+2x+1=1
2x2+2x=02x^2+2x=0
2x(x+1)=02x(x+1)=0
x=0,1x=0, -1
x=0,y=1x=0, y=-1 のとき、k=0+(1)+0=1k=0+(-1)+0=-1
x=1,y=0x=-1, y=0 のとき、k=1+0+0=1k=-1+0+0=-1
境界 x2+y21x^2+y^2 \le 1 の内部で極値を取る場合を考える。
fx=1+yf_x = 1+y, fy=1+xf_y = 1+x
fx=0,fy=0f_x = 0, f_y = 0 より、 x=y=1x=y=-1 となるが、これは領域に含まれない。
よって、最大値は 33, 最小値は 1-1

3. 最終的な答え

1x+y+xy3-1 \le x+y+xy \le 3