cos5x+cos2x=2cos7/2xcos3/2x
cos3x+cos4x=2cos7/2xcosx/2
2cos7/2x(cos3/2x-cosx/2)=-4cos7/2xsinxsinx/2
a1=1/3