問題.
問題文を読むと, 微分して増減表を用いて最大値を求めるシンプルな問題に見えます. しかし, とおくと, となる を求めることができないようになっています.
を計算して の概形を調べることで となる の存在を確認できます.
解答.
まず, とおくと,\begin{align*}
f(-x) &= \cos(-x)+\dfrac{\sqrt{3}}{4}(-x)^2\\
&= \cos{x}+\dfrac{\sqrt{3}}{4}x^2\\
&= f(x)
\end{align*}
より は偶関数なので, の範囲で考えます.
を微分すると,
このままでは となる の値は分からないので, を計算して の概形を調べてみます.
なので, とすると で より, となります.
の増減表を書くと, 次のようになります.
なので, で,
\begin{align*}
f\left(\dfrac{\pi}{2}\right) &= -1 + \frac{\sqrt{3}}{4}\pi\\
&> -1+\frac{1.7}{4}\cdot 3.1\\
&= -1+\frac{5.27}{4}\\
&> 0
\end{align*}
であり, の範囲で は単調増加であるから, かつ を満たすような がただ1つ存在します.
そのような を とおくと, で , で なので, の増減表は次のようになります.
が を最大化する点の候補になっていて,
\begin{align*}
f(0) &= 1\\
f\left(\frac{\pi}{2}\right) &= \frac{\sqrt{3}}{16}\pi^2\\
&> \frac{1.7}{16}\cdot 3.1^2\\
&= \frac{16.337}{16}\\
&> 1
\end{align*}
より, なので, 最大値は .