cos4x=1-2sin^2(2x)=1-2(1-cos^2(2x))=2cos^2(2x)-1
原式=2cos^2(2x)-4cos2x+2=2(cos2x-1)^2=2(2sin^2x)^2=8sin^4(x)
得证