comment montrer que ✓2cos(x-π/4)=cos4xsinx​