/**/0 <= x < 2pi /\ 2 sin^2 x = sqrt(3) * 2 sin x cos x <=> 0 <= x < 2pi /\ ( sin x = 0 \/ sin x = sqrt(3) cos x ) /**/ <=> 0 <= x < 2pi /\ ( x = 0 \/ x = pi \/ sin x = sqrt(3) cos x ) /**/ <=> x = 0 \/ x = pi \/ ( 0 <= x <= pi/2 \/ pi <= x <= 3 pi/2 ) /\ sin^2 x = 3 cos^2 x /**/ <=> x = 0 \/ x = pi \/ ( 0 <= x <= pi/2 \/ pi <= x <= 3 pi/2 ) /\ sin^2 x = 3(1 - sin^2 x)/**/ <=> x = 0 \/ x = pi \/ ( 0 <= x <= pi/2 \/ pi <= x <= 3 pi/2 ) /\ 4sin^2 x = 3 /**/ <=> x = 0 \/ x = pi \/ 0 <= x <= pi/2 /\ sin x = sqrt(3)/2 \/ pi <= x <= (3 pi)/2 /\ sin x = -sqrt(3)/2 /**/ <=> x = 0 \/ x = pi \/ x = pi/3 \/ x = (4 pi)/3