Chứng minh

C/m
a) cos4x = 8cos^4x - 8cos^cos^2x + 1
b) tanx+ tan(x+π/3)+tan(x+2π/3) = 3tan3x