関数 $y = \log_3 x + 3\log_x 3$ ($x>1$) の最小値を求める問題です。解析学対数関数最小値相加相乗平均関数の微分2025/5/151. 問題の内容関数 y=log3x+3logx3y = \log_3 x + 3\log_x 3y=log3x+3logx3 (x>1x>1x>1) の最小値を求める問題です。2. 解き方の手順まず、logx3\log_x 3logx3 を底の変換公式を用いて log3x\log_3 xlog3x で表します。logx3=log33log3x=1log3x\log_x 3 = \frac{\log_3 3}{\log_3 x} = \frac{1}{\log_3 x}logx3=log3xlog33=log3x1したがって、yyy は次のように書き換えられます。y=log3x+3log3xy = \log_3 x + \frac{3}{\log_3 x}y=log3x+log3x3ここで、t=log3xt = \log_3 xt=log3x とおきます。x>1x>1x>1 より、t>0t>0t>0 です。すると、yyy は ttt の関数として次のように表されます。y=t+3ty = t + \frac{3}{t}y=t+t3t>0t>0t>0 の範囲で、yyy の最小値を求めるために、相加平均・相乗平均の関係を利用します。t>0t>0t>0 なので、ttt と 3t\frac{3}{t}t3 は正です。したがって、t+3t2≥t⋅3t=3\frac{t + \frac{3}{t}}{2} \geq \sqrt{t \cdot \frac{3}{t}} = \sqrt{3}2t+t3≥t⋅t3=3t+3t≥23t + \frac{3}{t} \geq 2\sqrt{3}t+t3≥23等号成立は t=3tt = \frac{3}{t}t=t3 のとき、つまり t2=3t^2 = 3t2=3 のときです。t>0t>0t>0 より、t=3t = \sqrt{3}t=3t=log3x=3t = \log_3 x = \sqrt{3}t=log3x=3 なので、x=33x = 3^{\sqrt{3}}x=33したがって、yyy の最小値は 232\sqrt{3}23 です。3. 最終的な答え232\sqrt{3}23