原式=cos2a+6(1-cosa)/2-8[(1-cosa)/2]²
=cos2a+3-3cosa-2(1-2cosa+cos²a)
=2cos²a-1+3-3cosa-2+4cosa-2cos²a
=cosa