Выражение под корнем - неотрицательное число значит sin(x/2)*cos(x/2) >=0 2sin(x/2)*cos(x/2)=sin(x) >=0 sin(x) >=0 при х Є [2pi*k;pi+2pi*k]