Для нахождения наименьшего значения функции на отрезке, найдём её производную:
\( y = 9 + \frac{\pi}{2} - 2x - 2\sqrt{2} \cos x \)
\( y' = (9)' + (\frac{\pi}{2})' - (2x)' - (2\sqrt{2} \cos x)' \)
\( y' = 0 + 0 - 2 - 2\sqrt{2} (-\sin x) \)
\( y' = -2 + 2\sqrt{2} \sin x \)
Приравняем производную к нулю, чтобы найти критические точки:
\( -2 + 2\sqrt{2} \sin x = 0 \)
\( 2\sqrt{2} \sin x = 2 \)
\( \sin x = \frac{2}{2\sqrt{2}} = \frac{1}{\sqrt{2}} = \frac{\sqrt{2}}{2} \)
На отрезке \( [0; \frac{\pi}{2}] \) значение \( \sin x = \frac{\sqrt{2}}{2} \) достигается при \( x = \frac{\pi}{4} \).
Теперь вычислим значения функции в критической точке и на концах отрезка:
Сравнивая значения, видим, что наименьшее значение функции равно 7.
Ответ: 7.