🔍

Colles de mathématiques

Démonstration d'une propriété intégrale


Sujet


Montrer que pour toute fonction f continue sur [−1, 1] on a
∫ 0 π x f (sin x) dx = π ∫ 0 π/2 f (sin x) dx

Corrigé de l'exercice de maths: Intégrales sur un segment

Correction


Soit ∫ 0 π x f (sin x) dx Comme dans toutes les intégrales de l'égalité le terme $f\lp\sin x\rp$ semble invariant, cela nous incite à trouver un changement de variable qui laisse effectivement invariant ce terme, donc invariant le sinus (n'ayant pas d'autre information sur $f$).
On pose donc $u=\pi-x$, et donc $du=-dx$ et, comme justement $\sin u=\sin\lp\pi-x\rp=\sin x$,
\[\begin{array}{ll} I&\dsp=-\int_\pi^0\lp\pi-u\right) f\lp\sin u\right)\,du\\ &=\dsp\int_0^\pi\lp\pi-u\right) f\lp\sin u\right)\,du \\ &=\dsp\pi\int_0^\pi f\lp\sin u\rp\,du-\int_0^\pi u f\lp\sin u\rp\,du\\ &=\dsp\pi\int_0^\pi f\lp\sin u\rp\,du-I\enar\]

On en déduit donc que $2I=\dsp\pi\int_0^\pi f\lp\sin u\rp\,du$ ou encore que $I=\dsp\dfrac\pi2\int_0^\pi f\lp\sin u\rp\,du$.

Il reste maintenant à découper l'intervalle d'intégration pour arriver à l'égalité recherchée:
\[\int_0^\pi f\lp\sin u\rp\,du =\int_0^{\frac\pi2} f\lp\sin u\rp\,du+\int_{\frac\pi2}^\pi f\lp\sin u\rp\,du\]

et avec à nouveau le changement de variable $v=\pi-u$ dans la dernière intégrale:
\[\begin{array}{ll}\dsp\int_{\frac\pi2}^\pi f\lp\sin u\rp\,du&=\dsp-\int_{\frac\pi2}^0f\p\sin v\rp\,dv\\ &\dsp=\int_{\frac\pi2}^\pi f\lp\sin u\rp\,dv\enar\]

et donc,
\[\int_0^\pi f\lp\sin u\rp\,du=2\int_0^{\frac\pi2} f\lp\sin u\rp\,du\]

d'où l'égalité recherchée:
\[I=\dfrac\pi2\int_0^\pi f\lp\sin u\rp\,du=\pi\int_0^{\frac\pi2} f\lp\sin u\rp\,du\]