求证:cos立方A减sin八次方A=cos2A(1减二分之1sin平方2A)