求证3+cos4x-4cos2x=8sin^4(x)在线等,