Найдите точку минимума функции y=(1–2x)cosx+2sinx+7 принадлежащую промежутку (0; π/2)

Производная функции:
$y'=(1-2x)'\cos x+(1-2x)\cdot (\cos x)'+(2\sin x)'+(7)'=\\ \\ =-2\cos x-\sin x(1-2x)+2\cos x=-\sin x(1-2x)$
Приравниваем ее к нулю:
$y'=0;\,\,\, (2x-1)\sin x=0$
Произведение равно нулю, если один из множителей равен нулю.
$2x-1=0\\ x=0.5$

$\sin x=0\\ \\ x=\arcsin0+\pi n,n \in \mathbb{Z}\\ x= \pi n,n \in \mathbb{Z}$
Для всех $n \in \mathbb{Z}$ , все корни не будут принадлежать заданному отрезку.

___-___(0,5)___+_____

В точке $x=0.5$ функция имеет локальный минимум.
$y(0.5)=2\sin(0.5)+7= 0.95+7\approx7.95$

$(0.5;7.95)\,\,\, -$ относительный минимум