Помогите доказать тригонометрическое тождество

4cos^4(a)-2cos(2a)-0,5cos(4a)=
=[2cos²(a)]²-2cos(2a)-0,5[2cos²(2a)-1]=
=[cos(2a)+1]²-2cos(2a)-0,5[2cos²(2a)-1]=
=cos²(2a)+2cos(2a)+1-2cos(2a)-cos²(2a)+0,5]=
=1+0,5=1,5=3/2