证明:cos4x+4cos2x+3=8cos^4x