gaokao 2025 Q19
17 marks
View
Let the function $f(x) = 5\cos x - \cos 5x$.
(1) Find the maximum value of $f(x)$ on $\left[0, \frac{\pi}{4}\right]$.
(2) Given $\theta \in (0, \pi)$ and $a$ is a real number, prove that there exists $y \in [a - \theta, a + \theta]$ such that $\cos y \leq \cos \theta$.
(3) If there exists $\varphi$ such that for all $x$, $5\cos x - \cos(5x + \varphi) \leq b$, find the minimum value of $b$.