ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 6 — Primitives et équations différentielles linéaires · Primitives et intégrales

Exercice 9

DémonstrationCalcul

π\pi est plus petit que 227\frac{22}{7}.

1. Vérifier que x4(1−x)4=(1+x2)(x6−4x5+5x4−4x2+4)−4x^{4}(1 - x)^{4} = (1 + x^{2})(x^{6} - 4x^{5} + 5x^{4} - 4x^{2} + 4) - 4.

2. En déduire que ∫01x4(1−x)41+x2 dx=227−π\displaystyle\int_{0}^{1} \frac{x^{4}(1 - x)^{4}}{1 + x^{2}}\,\mathrm{d} x = \frac{22}{7} - \pi, puis que π<227\pi < \dfrac{22}{7}.

3. Calculer ∫01x4(1−x)4 dx\displaystyle\int_{0}^{1} x^{4}(1 - x)^{4}\,\mathrm{d} x, et en encadrant 11+x2\frac{1}{1 + x^{2}} sur [0 ,1][0\,,1], montrer que 1979630⩽π⩽39591260\dfrac{1979}{630} \leqslant \pi \leqslant \dfrac{3959}{1260}. Quelle précision obtient-on ainsi ?

Corrigé

1. On développe les deux membres : x4(1−x)4=x8−4x7+6x6−4x5+x4,x^{4}(1 - x)^{4} = x^{8} - 4x^{7} + 6x^{6} - 4x^{5} + x^{4},

(1+x2)(x6−4x5+5x4−4x2+4)−4=x8−4x7+6x6−4x5+x4.✓(1 + x^{2})(x^{6} - 4x^{5} + 5x^{4} - 4x^{2} + 4) - 4 = x^{8} - 4x^{7} + 6x^{6} - 4x^{5} + x^{4}. \quad \checkmark 2. En divisant par 1+x21 + x^{2}, on obtient la somme d'un polynôme et d'une fraction, que l'on intègre terme à terme : ∫01x4(1−x)41+x2 dx=∫01(x6−4x5+5x4−4x2+4) dx−4∫01dx1+x2=17−23+1−43+4−π.\int_{0}^{1} \frac{x^{4}(1 - x)^{4}}{1 + x^{2}}\,\mathrm{d} x = \int_{0}^{1} (x^{6} - 4x^{5} + 5x^{4} - 4x^{2} + 4)\,\mathrm{d} x - 4\int_{0}^{1} \frac{\mathrm{d} x}{1 + x^{2}} = \frac{1}{7} - \frac{2}{3} + 1 - \frac{4}{3} + 4 - \pi.

∫01x4(1−x)41+x2 dx=227−π\boxed{\int_{0}^{1} \frac{x^{4}(1 - x)^{4}}{1 + x^{2}}\,\mathrm{d} x = \frac{22}{7} - \pi} L'intégrande est continue, positive et non nulle sur [0 ,1][0\,,1] : d'après l'exercice 5, l'intégrale est strictement positive. π<227\boxed{\pi < \frac{22}{7}} 3. On développe : ∫01(x8−4x7+6x6−4x5+x4) dx=19−12+67−23+15\int_{0}^{1} (x^{8} - 4x^{7} + 6x^{6} - 4x^{5} + x^{4})\,\mathrm{d} x = \frac{1}{9} - \frac{1}{2} + \frac{6}{7} - \frac{2}{3} + \frac{1}{5}. ∫01x4(1−x)4 dx=1630\boxed{\int_{0}^{1} x^{4}(1 - x)^{4}\,\mathrm{d} x = \frac{1}{630}} Pour x∈[0 ,1]x \in [0\,,1], on a 12⩽11+x2⩽1\frac{1}{2} \leqslant \frac{1}{1 + x^{2}} \leqslant 1 ; en multipliant par x4(1−x)4⩾0x^{4}(1 - x)^{4} \geqslant 0 et en intégrant, on obtient 11260⩽227−π⩽1630.\frac{1}{1260} \leqslant \frac{22}{7} - \pi \leqslant \frac{1}{630}. Comme 227=1980630=39601260\frac{22}{7} = \frac{1980}{630} = \frac{3960}{1260}, on en déduit : 1979630⩽π⩽39591260\boxed{\frac{1979}{630} \leqslant \pi \leqslant \frac{3959}{1260}} L'encadrement est de longueur 11260≈8⋅10−4\frac{1}{1260} \approx 8 \cdot 10^{-4} : il donne 3,1412⩽π⩽3,14213{,}1412 \leqslant \pi \leqslant 3{,}1421, donc les trois premières décimales de π\pi.

À retenir : cette intégrale, publiée par D. P. Dalzell en 1944, montre que l'approximation d'Archimède 227\frac{22}{7} est un majorant de π\pi, et l'écart est l'aire d'un domaine que l'on sait calculer exactement.

Dans l'édifice

Thèmes

primitives, intégrales, fractions rationnelles

Notions

intégrable au sens de Riemann

Ouvrir dans l'atlas interactif →