ĐK: cos x ,cos (x/2) khác 0
<=> 1 – cos² x [cosx + sin x tan(x/2)] = cos² x [sin (x – π/6) + cos(π/3 – x)]
<=> 1 – cos² x (cos x + 1 - cos x) = cos² x [sin x cos (π/6) – cos x sin (π/6) + cos (π/3) cos x + sin (π/3) sin x]
<=> 1 – cos² x = cos² x [√(3) (sin x) / 2 – (cos x) / 2 + (cos x) / 2 + √(3) (sin x) / 2]
<=> 1 – cos² x = √(3) cos² x sin x
<=> sin² x = √(3) cos² x sin x