求证:3+cos4x-4cos2x=8sinx的4次方