Solution:
We claim that the answer is x∈(kπ−2π, kπ) for k∈Z.
The statement is never true for x/2 a multiple of 2π because tan(x/2) is either undefined or equal to 0=sinx. Thus x/2 is not a multiple of 2π, so cos2(x/2)>0, and
tan(x/2)cos2(x/2)tan(x/2)2cos(x/2)sin(x/2)sin(x)00>?sin(x)>?cos2(x/2)sin(x)>?2cos2(x/2)sin(x)>?(1+cos(x))sin(x)>?cos(x)sin(x)>?sin(2x),
as desired.