関数 $f(x) = 4^x - 3 \cdot 2^{x-2}$ が与えられています。 (1) $2^x = t$ とおくとき、$f(x)$ を $t$ を用いて表す。 (2) $x \le -1$ の範囲で $x$ が動くとき、$f(x)$ のとり得る値の範囲を求める。 (3) $a$ を定数とする。$a \le x \le a+1$ において $f(x)$ は $x = a+1$ で最大となり、さらに最大値が $13$ 以下であるような $a$ の値の範囲を求める。

解析学関数の最大最小指数関数二次関数不等式
2025/4/2

1. 問題の内容

関数 f(x)=4x32x2f(x) = 4^x - 3 \cdot 2^{x-2} が与えられています。
(1) 2x=t2^x = t とおくとき、f(x)f(x)tt を用いて表す。
(2) x1x \le -1 の範囲で xx が動くとき、f(x)f(x) のとり得る値の範囲を求める。
(3) aa を定数とする。axa+1a \le x \le a+1 において f(x)f(x)x=a+1x = a+1 で最大となり、さらに最大値が 1313 以下であるような aa の値の範囲を求める。

2. 解き方の手順

(1) 2x=t2^x = t なので、4x=(2x)2=t24^x = (2^x)^2 = t^2。また、2x2=2x22=t42^{x-2} = 2^x \cdot 2^{-2} = \frac{t}{4}。したがって、
f(x)=t23t4=t234tf(x) = t^2 - 3 \cdot \frac{t}{4} = t^2 - \frac{3}{4}t
(2) x1x \le -1 より、2x21=122^x \le 2^{-1} = \frac{1}{2}。したがって、0<t120 < t \le \frac{1}{2}
f(x)=t234t=(t38)2964f(x) = t^2 - \frac{3}{4}t = \left( t - \frac{3}{8} \right)^2 - \frac{9}{64}
f(x)f(x)t=38t = \frac{3}{8} で最小値 964-\frac{9}{64} をとる。
t=12t = \frac{1}{2} のとき、f(x)=(12)23412=1438=18f(x) = \left( \frac{1}{2} \right)^2 - \frac{3}{4} \cdot \frac{1}{2} = \frac{1}{4} - \frac{3}{8} = -\frac{1}{8}
t0t \to 0 のとき、f(x)0f(x) \to 0
したがって、964f(x)0 -\frac{9}{64} \le f(x) \le 0 ではない.
0<t120 < t \le \frac{1}{2} の範囲において、f(x)=t234tf(x) = t^2 - \frac{3}{4}t は、t=12t = \frac{1}{2} で最大値 18-\frac{1}{8} となる。
t0t \to 0 で、f(x)f(x)00 に近づく。
したがって、f(x)f(x) のとりうる値の範囲は964f(x)<0-\frac{9}{64} \le f(x) < 0.
f(12)=1438=18f(\frac{1}{2}) = \frac{1}{4} - \frac{3}{8} = - \frac{1}{8}.
t12t \le \frac{1}{2}, t>0t>0, なので
f(x)=t234tf(x) = t^2 - \frac{3}{4}t の取りうる値の範囲は、f(0)=0f(0) = 0 , f(12)=18f(\frac{1}{2})= -\frac{1}{8}なので、
964f(x)<0-\frac{9}{64} \le f(x) < 0
(3) f(x)f(x)x=a+1x = a+1 で最大値をとるので、f(x)=2t34f'(x) = 2t - \frac{3}{4}. f(x)=0f'(x)=0となるのは、t=38t=\frac{3}{8}, x=log238x=\log_2 \frac{3}{8}で、a+1>log238a+1 > \log_2{\frac{3}{8}}となる。
f(a+1)13f(a+1) \le 13より、4a+132a+12134^{a+1} - 3 \cdot 2^{a+1-2} \le 13
44a322a134 \cdot 4^a - \frac{3}{2} \cdot 2^a \le 13
44a322a1304 \cdot 4^a - \frac{3}{2} \cdot 2^a - 13 \le 0
84a32a2608 \cdot 4^a - 3 \cdot 2^a - 26 \le 0
2a=X2^a = Xとおくと、8X23X2608 X^2 - 3X - 26 \le 0
(X2)(8X+13)0(X-2)(8X+13) \le 0
138X2-\frac{13}{8} \le X \le 2
X=2a>0X = 2^a > 0なので、0<2a20 < 2^a \le 2
2a212^a \le 2^1より、a1a \le 1
axa+1a \le x \le a+1 において、f(x)f(x)x=a+1x=a+1 で最大となる条件を考える。
f(x)=(2x+134ln22x=0)f'(x) = (2^{x+1} - \frac{3}{4} \ln2 \cdot 2^x = 0)
f(a+1)f(a+1) が最大値となるとき、軸 x=log2(38)x = \log_2(\frac{3}{8}) が区間 [a,a+1][a, a+1] の左側にある必要がある。つまり、a+1>log2(34ln2)log2(34(2)0.69)a+1 > \log_2(\frac{3}{4} \cdot \ln2) \approx \log_2 \left(\frac{3}{4} \cdot (2)^{0.69}\right).
log2(3/8)=log233=1.583=1.42\log_2(3/8)= \log_2 3 - 3 = 1.58 -3 = -1.42.
x=log238x = \log_2 \frac{3}{8} が区間 [a,a+1][a, a+1] の左側にあるとき、a+1log238a+1 \ge \log_2 \frac{3}{8}
x=log238x = \log_2 \frac{3}{8} が区間 [a,a+1][a, a+1] の右側にあるとき、alog238a \le \log_2 \frac{3}{8}
もし f(a+1)f(a+1)が最大値であるならば、軸は区間の左にある。
つまり log238alog_2 \frac{3}{8} \leq a, 軸は区間の左にあるから、a = 1 が上限となる。
よって2a=T2^a = Tについて8T23T2608T^2-3T-26 \leq 0,よって(T2)(8T+13)0(T-2)(8T+13) \leq 0, よって138T2-\frac{13}{8} \leq T \leq 2, つまり、2a22^a \leq 2, よって a1a \leq 1.
さらに log238alog_2 \frac{3}{8} \leq a なので、a=1.42a1a = -1.42 \leq a \leq 1 .よってlog238log_2\frac{3}{8} になりました。
最終的に a<log2(3/8)=log20.375<1a < \log_2(3/8)= \log_2{0.375} < -1. したがって、 1alog2(3/8)1 \geq a \geq \log_2(3/8)

3. 最終的な答え

(1) f(x)=t234tf(x) = t^2 - \frac{3}{4}t
(2) 964f(x)<0-\frac{9}{64} \le f(x) < 0
(3) a1a \le 1
log238a1\log_2 \frac{3}{8} \le a \le 1.

「解析学」の関連問題

$\cos \alpha = \frac{3}{5}$, $\sin \beta = \frac{5}{13}$ であり、$0 < \alpha < \frac{\pi}{2}$, $\frac{\p...

三角関数加法定理三角比角度
2025/4/12

(1) $0 \le x \le \frac{1}{3}$ のとき、$1+x^2 \le \frac{1}{1-x^2} \le 1+\frac{9}{8}x^2$ が成り立つことを示す。 (2) (...

不等式対数近似
2025/4/11

関数 $y = f(x) = \sqrt{1 - \sin{3x}}$ を微分する。

微分合成関数三角関数
2025/4/11

関数 $y = f(x) = \sqrt{1 - \sin 3x}$ の定義域を求める問題です。

三角関数定義域平方根不等式
2025/4/11

与えられた関数 $y = f(x) = \cos^5(x^2 + 1)$ の導関数 $\frac{dy}{dx}$ を求める問題です。

微分導関数合成関数連鎖律三角関数
2025/4/11

与えられた関数 $y = f(x) = (1 + \log(2x))^3$ の微分を求める問題です。

微分合成関数の微分対数関数
2025/4/11

与えられた関数 $y = f(x) = (x^2 + 2) \cdot 3^x$ の導関数を求める問題です。

導関数積の微分指数関数微分
2025/4/11

関数 $y = f(x) = (1 + \log(2x))^3$ の導関数 $y'$ を求める問題です。

微分導関数合成関数の微分対数関数
2025/4/11

与えられた関数 $y = f(x) = (x^2 + 2) \cdot 3^x$ の導関数を求める問題です。

導関数積の微分指数関数微分
2025/4/11

与えられた関数 $y = f(x) = \log{3x}$ を扱います。特に指示がないので、この関数について何をするかは不明です。一般的な場合として、この関数の性質について考察します。例えば、定義域を...

対数関数定義域不等式
2025/4/11