xy平面上で、不等式 $\log_2 x \leq 2 + \log_2 y \leq \log_2 x + \log_2 (4-2x)$ を満たす点(x, y)の範囲をDとする。 (1) Dをxy平面上に図示せよ。 (2) s < 1のとき、y - sx のD上での最大値 f(s) を求めよ。

解析学対数不等式領域最大値微分
2025/6/27

1. 問題の内容

xy平面上で、不等式 log2x2+log2ylog2x+log2(42x)\log_2 x \leq 2 + \log_2 y \leq \log_2 x + \log_2 (4-2x) を満たす点(x, y)の範囲をDとする。
(1) Dをxy平面上に図示せよ。
(2) s < 1のとき、y - sx のD上での最大値 f(s) を求めよ。

2. 解き方の手順

(1)
まず、対数の定義域から、x>0x>0, y>0y>0, 42x>04-2x>0 である。
つまり、0<x<20 < x < 2かつy>0y > 0
不等式を整理する。
log2x2+log2y\log_2 x \leq 2 + \log_2 y より
log2xlog24+log2y\log_2 x \leq \log_2 4 + \log_2 y
log2xlog24y\log_2 x \leq \log_2 4y
x4yx \leq 4y
yx4y \geq \frac{x}{4}
2+log2ylog2x+log2(42x)2 + \log_2 y \leq \log_2 x + \log_2 (4-2x) より
log24ylog2x(42x)\log_2 4y \leq \log_2 x(4-2x)
4yx(42x)4y \leq x(4-2x)
4y4x2x24y \leq 4x - 2x^2
yxx22y \leq x - \frac{x^2}{2}
y12x2+xy \leq -\frac{1}{2}x^2 + x
y12(x22x)y \leq -\frac{1}{2}(x^2 - 2x)
y12(x22x+11)y \leq -\frac{1}{2}(x^2 - 2x + 1 - 1)
y12(x1)2+12y \leq -\frac{1}{2}(x-1)^2 + \frac{1}{2}
したがって、Dは、0<x<20 < x < 2, y>0y > 0 かつ yx4y \geq \frac{x}{4} かつ y12(x1)2+12y \leq -\frac{1}{2}(x-1)^2 + \frac{1}{2} を満たす領域である。
グラフは、y=x4y = \frac{x}{4}y=12(x1)2+12y = -\frac{1}{2}(x-1)^2 + \frac{1}{2} の交点を求めると、
x4=12(x1)2+12\frac{x}{4} = -\frac{1}{2}(x-1)^2 + \frac{1}{2}
x4=12(x22x+1)+12\frac{x}{4} = -\frac{1}{2}(x^2 - 2x + 1) + \frac{1}{2}
x4=12x2+x12+12\frac{x}{4} = -\frac{1}{2}x^2 + x - \frac{1}{2} + \frac{1}{2}
x4=12x2+x\frac{x}{4} = -\frac{1}{2}x^2 + x
x=2x2+4xx = -2x^2 + 4x
2x23x=02x^2 - 3x = 0
x(2x3)=0x(2x - 3) = 0
x=0,32x = 0, \frac{3}{2}
x=0x=0のとき、y=0y=0x=32x=\frac{3}{2}のとき、y=38y = \frac{3}{8}
(2)
ysx=ky - sx = kとおくと、y=sx+ky = sx + kである。これを最大にするkを求める。
y=sx+ky = sx + k がDと接するとき、kは最大となる。
y=12(x1)2+12y = -\frac{1}{2}(x-1)^2 + \frac{1}{2}y=sx+ky = sx + kが接するとき、
12(x1)2+12=sx+k-\frac{1}{2}(x-1)^2 + \frac{1}{2} = sx + k
12(x22x+1)+12=sx+k-\frac{1}{2}(x^2 - 2x + 1) + \frac{1}{2} = sx + k
12x2+x12+12=sx+k-\frac{1}{2}x^2 + x - \frac{1}{2} + \frac{1}{2} = sx + k
12x2+x=sx+k-\frac{1}{2}x^2 + x = sx + k
12x2+(s1)x+k=0\frac{1}{2}x^2 + (s-1)x + k = 0
x2+2(s1)x+2k=0x^2 + 2(s-1)x + 2k = 0
判別式D = 4(s1)28k=04(s-1)^2 - 8k = 0
(s1)2=2k(s-1)^2 = 2k
k=(s1)22k = \frac{(s-1)^2}{2}
接点のx座標はx=1sx = 1-s
0<1s<20 < 1-s < 2なので、1<s<1-1<s<1s<1s<1の条件を満たしている。
接点のy座標はy=s(1s)+(s1)22=ss2+s22s+12=ss2+12s2s+12=12s2+12=1s22y = s(1-s) + \frac{(s-1)^2}{2} = s - s^2 + \frac{s^2 - 2s + 1}{2} = s - s^2 + \frac{1}{2}s^2 - s + \frac{1}{2} = -\frac{1}{2}s^2 + \frac{1}{2} = \frac{1-s^2}{2}
この接点が、yx4y \geq \frac{x}{4} を満たすかどうか確認する。
1s221s4\frac{1-s^2}{2} \geq \frac{1-s}{4}
2(1s2)1s2(1-s^2) \geq 1-s
22s21s2 - 2s^2 \geq 1-s
2s2s102s^2 - s - 1 \leq 0
(2s+1)(s1)0(2s+1)(s-1) \leq 0
12s1-\frac{1}{2} \leq s \leq 1
よって、12s<1 -\frac{1}{2} \leq s < 1 のとき、f(s)=(s1)22f(s) = \frac{(s-1)^2}{2}
s<12s < - \frac{1}{2}のとき、 y=sx+ky = sx + k(32,38)(\frac{3}{2}, \frac{3}{8})を通るとき最大となる。
38s32=k\frac{3}{8} - s \frac{3}{2} = k
k=3832sk = \frac{3}{8} - \frac{3}{2}s
f(s)=3832sf(s) = \frac{3}{8} - \frac{3}{2}s

3. 最終的な答え

f(s)={3832ss12(s1)2212<s<1f(s) = \begin{cases} \frac{3}{8} - \frac{3}{2}s & s \leq -\frac{1}{2} \\ \frac{(s-1)^2}{2} & -\frac{1}{2} < s < 1 \end{cases}

「解析学」の関連問題

与えられた関数 $y = a^x \log a$ を微分して、$dy/dx$を求めよ。

微分指数関数対数関数
2025/6/27

関数 $y = \frac{x^3}{x^2 - 3}$ の導関数を求めます。

導関数微分商の微分公式関数の微分因数分解
2025/6/27

関数 $y = \frac{3x}{x^2+1}$ のグラフの概形を描く。

関数のグラフ微分極値変曲点漸近線奇関数
2025/6/27

関数 $y = \frac{3x}{x^2 + 1}$ のグラフの概形を描く問題です。

グラフ関数の増減微分極値漸近線
2025/6/27

次の3つの関数のグラフの概形を描く問題です。 (1) $y = \frac{1}{x^2 + 1}$ (2) $y = e^{-x^2}$ (3) $y = xe^x$

関数のグラフ微分極値変曲点関数の増減
2025/6/27

与えられた関数 $y'$ が $y' = -e^{-x}(\cos x + \sin x)$ で表されるとき、$y' = 0$ となる $x$ の値を求めます。

微分三角関数指数関数方程式解の公式
2025/6/27

関数 $y = e^{-x} \cos x$ の性質について調べる問題です。ただし、$x$ の範囲は $0 \le x \le 2\pi$ です。問題文が不明確なので、ここでは、この関数の導関数を求め...

微分導関数指数関数三角関数
2025/6/27

関数 $y = e^{-x} \cos x$ が与えられています。この関数の2階微分 $y''$ は $y'' = 2e^{-x} \sin x$ と計算されています。問題は、$y'' = 0$ とな...

微分三角関数指数関数2階微分方程式
2025/6/27

与えられた関数 $y = e^{-x} \cos x$ の2階微分 $y''$ を求める問題です。既に1階微分 $y' = -e^{-x}(\cos x + \sin x)$ が計算されています。

微分2階微分指数関数三角関数積の微分合成関数の微分
2025/6/27

与えられた関数 $y = e^{-x} \cos{x}$ について、$0 \le x \le 2\pi$ の範囲で、この関数のグラフの概形を描くための情報を求める問題です。具体的に何を求めるかは不明で...

関数のグラフ微分極値増減指数関数三角関数
2025/6/27