Sin x *cos pi/10- cos x sin pi/10 больше или равно корень из 2/2

Sin(x - [latex] \pi /10)[/latex] ≥ [latex] \sqrt{2} [/latex]/2 [latex] \pi /4 + 2 \pi k[/latex] ≤ x - [latex] \pi /10[/latex]  ≤ 3[latex] \pi /4[/latex]+2[latex] \pi k. k  Є Z[/latex]  [latex] \pi /4 + 2 \pi k[/latex]  + [latex] \pi /10[/latex] ≤ х≤   3[latex] \pi /4[/latex]+2[latex] \pi k + [latex] \pi /10[/latex],  k  Є Z