求证cos四次方α=1/4+1/2cos2α+1/4cos²2α