関数 $y = \log_2(x+7) + \log_2(1-x)$ の最大値を求めます。

代数学対数関数最大値二次関数平方完成
2025/8/18

1. 問題の内容

関数 y=log2(x+7)+log2(1x)y = \log_2(x+7) + \log_2(1-x) の最大値を求めます。

2. 解き方の手順

まず、対数の真数条件から x+7>0x+7>0 かつ 1x>01-x>0 である必要があります。
したがって、7<x<1-7 < x < 1 が成り立ちます。
次に、対数の性質を利用して式を簡単にします。対数の和は積に変換できます。
y=log2(x+7)+log2(1x)=log2((x+7)(1x))y = \log_2(x+7) + \log_2(1-x) = \log_2((x+7)(1-x))
f(x)=(x+7)(1x)=x26x+7f(x) = (x+7)(1-x) = -x^2 - 6x + 7 とおくと、これは上に凸な二次関数です。f(x)f(x) が最大となるとき、yy も最大となります。
f(x)f(x) を平方完成します。
f(x)=(x2+6x)+7=(x2+6x+99)+7=(x+3)2+9+7=(x+3)2+16f(x) = -(x^2 + 6x) + 7 = -(x^2 + 6x + 9 - 9) + 7 = -(x+3)^2 + 9 + 7 = -(x+3)^2 + 16
f(x)f(x)x=3x = -3 のとき最大値 1616 をとります。また、7<x<1-7 < x < 1 を満たしています。
したがって、f(x)f(x) の最大値は 1616 です。
y=log2(f(x))y = \log_2(f(x)) なので、yy の最大値は log2(16)\log_2(16) です。
log2(16)=log2(24)=4\log_2(16) = \log_2(2^4) = 4

3. 最終的な答え

4