1. Démonstration par changement de variable
    • On pose $ t = -x $, ce qui implique par dĂ©rivation $ dx = -dt $.
    • On dĂ©termine les nouvelles bornes d'intĂ©gration :
      Pour $ x = -\frac{\pi}{4} $, on a $ t = \frac{\pi}{4} $.
      Pour $ x = \frac{\pi}{4} $, on a $ t = -\frac{\pi}{4} $.
    • On substitue dans l'intĂ©grale initiale : \[ I = \int_{\frac{\pi}{4}}^{-\frac{\pi}{4}} \frac{\cos(-t)}{1 + e^{-2t}} (-dt) \]
    • La fonction cosinus est paire, donc $ \cos(-t) = \cos(t) $. On utilise le signe nĂ©gatif de la diffĂ©rentielle pour inverser les bornes de l'intĂ©grale : \[ I = \int_{-\frac{\pi}{4}}^{\frac{\pi}{4}} \frac{\cos t}{1 + e^{-2t}} dt \]
    • En multipliant numĂ©rateur et dĂ©nominateur par par e^{2t}: \[ I = \int_{-\frac{\pi}{4}}^{\frac{\pi}{4}} \frac{e^{2t} \cos t}{1 + e^{2t}} dt \]

  2. Déduction de la valeur de l'intégrale $ I $
    • La variable d'intĂ©gration est une variable muette. On peut donc réécrire l'expression obtenue Ă  la question prĂ©cĂ©dente en remplaçant $ t $ par $ x $ : \[ I = \int_{-\frac{\pi}{4}}^{\frac{\pi}{4}} \frac{e^{2x} \cos x}{1 + e^{2x}} dx \]
    • On en dĂ©duit : \[ 2I= \int_{-\frac{\pi}{4}}^{\frac{\pi}{4}} \frac{\cos x}{1 + e^{2x}} dx + \int_{-\frac{\pi}{4}}^{\frac{\pi}{4}} \frac{e^{2x} \cos x}{1 + e^{2x}} dx \]
    • Ce qui implique \[ 2I = \int_{-\frac{\pi}{4}}^{\frac{\pi}{4}} \frac{\cos x + e^{2x} \cos x}{1 + e^{2x}} dx = \int_{-\frac{\pi}{4}}^{\frac{\pi}{4}} \frac{\cos x (1 + e^{2x})}{1 + e^{2x}} dx \]
    • Soit en simplifiant : \[ 2I = \int_{-\frac{\pi}{4}}^{\frac{\pi}{4}} \cos x dx= \left[ \sin x \right]_{-\frac{\pi}{4}}^{\frac{\pi}{4}} =\sqrt 2\]
    • Par consĂ©quent : \[ I = \frac{\sqrt{2}}{2} \]