求证3+cos4x-4cos2x=8×(sinx)^4