Chứng minh các đẳng thức lượng giác sau: a) 4cosxcosπ3−xcosπ3+x=cos3x; b) sin2xcosx1+cosx1+cos2x=tanx2; c) sinx(1 + 2cos2x + 2cos4x + 2cos6x) = sin7x; d) sin23xsin2x−cos23xcos2x=8cos2x.