Primitives - intégrales - équations différentielles Exercices

Intégrales Encadrements – Bac S Amérique du Nord 2008

Durée estimée
25 minutes
Difficulté
Votre progression

Créez un compte gratuit pour suivre votre avancement et reprendre où vous avez laissé.

Créer un compte

Objectifs travaillés

Partie A

Restitution organisée de connaissances

On supposera connus les résultats suivants :

Soient $ u $ et $ v $ deux fonctions continues sur un intervalle $ \left[a, b\right] $ avec $ a < b $.

  • Si $ u > 0 $ sur $ \left[a, b\right] $ alors $ \int_{a}^{b} u\left(x\right)\text{d}x \geqslant 0 $.
  • Pour tous réels $ \alpha $ et $ \beta $, $ \int_{a}^{b} \left[\alpha u\left(x\right)+\beta v\left(x\right)\right] \text{d}x=\alpha \int_{a}^{b} u\left(x\right) \text{d}x+\beta \int_{a}^{b} v\left(x\right) \text{d}x. $

    Démontrer que si $ f $ et $ g $ sont deux fonctions continues sur un intervalle $ \left[a, b\right] $ avec $ a < b$ et si, pour tout $ x $ de $ \left[a, b\right] $, $ f\left(x\right) \leqslant g\left(x\right) $ alors $ \int_{a}^{b} f\left(x\right) \text{d}x \leqslant \int_{a}^{b} g\left(x\right) \text{d}x $.

Partie B

On considère la fonction $ f $ définie sur $ \left[0, +\infty \right[ $ par : $ f\left(x\right)=x+\ln\left(1+e^{ - x}\right) $. Sa courbe représentative $ C $ ainsi que la droite $ D $ d'équation $ y=x $ sont données ci-dessous dans un repère orthonormal d'unité graphique 2 cm.

Repère orthonormal sur [0;5]×[0;5]. Droite D d'équation y=x (en bleu). Courbe C représentative de f(x)=x+ln(1+e^{-x}) (en rouge) située au-dessus de D, partant de (0; ln 2 ≈ 0,69) et se rapprochant asymptotiquement de D quand x croît.
  1. Montrer que $ f $ est croissante et positive sur $ \left[0 , +\infty \right[ $.
    1. Montrer que la courbe $ C $ admet pour asymptote la droite $ D $.
    2. Étudier la position de $ C $ par rapport à $ D $.
  2. Soit $ I $ l'intégrale définie par : $ I= \int_{0}^{1} \ln\left(1+e^{ - x}\right) \text{d}x= \int_{0}^{1} \left[f\left(x\right) - x\right] \text{d}x $. On ne cherchera pas à calculer $ I $.

    1. Donner une intérprétation géométrique de $ I $.
    2. Montrer que pour tout réel $ t \geqslant 0 $, on a $ \ln\left(1+t\right) \leqslant t $.

      (On pourra étudier les variations de la fonction $ g $ définie sur $ \left[0,+\infty \right[ $ par $ g\left(t\right)=\ln\left(1+t\right) - t $)

      On admettra que pour tout réel $ t \geqslant 0 $, on a $ \dfrac{t}{t+1} \leqslant \ln\left(1+t\right) $.
    3. En déduire que pour tout $ x $ de $ \left[0 , +\infty \right[ $, on a : $ \dfrac{e^{ - x}}{e^{ - x}+1} \leqslant \ln\left(1+e^{ - x}\right) \leqslant e^{ - x} $.
    4. Montrer que $ \ln\left(\dfrac{2}{1+e^{ - 1}}\right) \leqslant I \leqslant 1 - e^{ - 1} $.
    5. En déduire un encadrement de $ I $ d'amplitude 0,4 par deux nombres décimaux.
  3. On désigne par $ M $ et $ N $ les points de même abscisse $ x $ appartenant respectivement à $ C $ et $ D $.

    On juge que $ M $ et $ N $ sont indiscernables sur le graphique lorsque la distance $ MN $ est inférieure à 0,5 mm.

    Déterminer l'ensemble des valeurs de $ x $ pour lesquelles $ M $ et $ N $ sont indiscernables.
    Dans cette question, toute trace de recherche, même incomplète, ou d'initiative, même non fructueuse, sera prise en compte dans l'évaluation.

Corrigé

Partie A

Restitution organisée de connaissances

Démontrons que si $ f $ et $ g $ sont deux fonctions continues sur un intervalle $ [a, b] $ avec $ a < b $ et si, pour tout $ x $ de $ [a, b] $, $ f(x) \leqslant g(x) $ alors $ \int_{a}^{b} f(x) \text{d}x \leqslant \int_{a}^{b} g(x) \text{d}x $.

Posons $ h(x) = g(x) - f(x) $.

Comme $ f(x) \leqslant g(x) $ pour tout $ x \in [a, b] $, on a $ h(x) \geqslant 0 $.

D'après le résultat (1), on peut écrire :

$ \int_{a}^{b} h(x) \text{d}x = \int_{a}^{b} [g(x) - f(x)] \text{d}x \geqslant 0 $

D'après le résultat (2), sur la linéarité de l'intégrale, on peut écrire :

$ \int_{a}^{b} [g(x) - f(x)] \text{d}x = \int_{a}^{b} g(x) \text{d}x - \int_{a}^{b} f(x) \text{d}x \geqslant 0 $

D'où :

$ \int_{a}^{b} f(x) \text{d}x \leqslant \int_{a}^{b} g(x) \text{d}x $

Partie B

  1. La fonction $ f $ est définie sur $ [0, +\infty [ $ par $ f(x) = x + \ln(1+e^{-x}) $.

    Sur $ [0, +\infty [ $, on a $ e^{-x} > 0 \implies 1+e^{-x} > 1$, d'où $ \ln(1+e^{-x}) > \ln(1) > 0 $.

    Comme $ x \geqslant 0 $, on en déduit que $ f(x) > 0 $. $ f $ est donc positive sur $ [0, +\infty [ $.

    Calculons la dérivée de $ f $ :

    $ f'(x) = 1 + \dfrac{-e^{-x}}{1+e^{-x}} = \dfrac{1+e^{-x}-e^{-x}}{1+e^{-x}} = \dfrac{1}{1+e^{-x}} $

    $ f'(x) $ est strictement positive sur $ [0, +\infty [ $ car $ 1+e^{-x} > 0 $.

    Par conséquent, $ f $ est croissante sur $ [0, +\infty [ $.

    1. Étudions la limite de $ f(x) - x $ quand $ x \to +\infty $ :

      $ \lim\limits_{x \to +\infty} [f(x) - x] = \lim\limits_{x \to +\infty} \ln(1+e^{-x}) $

      Comme $ \lim\limits_{x \to +\infty} e^{-x} = 0 $, on a $ \lim\limits_{x \to +\infty} \ln(1+e^{-x}) = \ln(1) = 0 $.

      La courbe $ C $ admet donc pour asymptote la droite $ D $ d'équation $ y = x $ au voisinage de $ +\infty $.

    2. Pour tout réel $ x \in [0, +\infty [ $, on a $ f(x) - x = \ln(1+e^{-x}) $.

      Comme $ 1+e^{-x} > 1 $ pour tout $ x $, on a $ \ln(1+e^{-x}) > 0 $.

      On en conclut que la courbe $ C $ est située au-dessus de la droite $ D $ sur l'intervalle $ [0, +\infty [ $.

  2. $ I = \int_{0}^{1} \ln(1+e^{-x}) \text{d}x = \int_{0}^{1} [f(x) - x] \text{d}x $.

    1. D'après la question précédente, $ f(x) - x \geqslant 0 $.

      $ I $ représente donc l'aire (en unités d'aire) du domaine délimité par la courbe $ C $, la droite $ D $ et les droites d'équations $ x=0 $ et $ x=1 $.
    2. Soit $ g $ la fonction définie sur $ [0, +\infty [ $ par $ g(t) = \ln(1+t) - t $.

      $ g $ est dérivable sur $ [0, +\infty [ $ et $ g'(t) = \dfrac{1}{1+t} - 1 = \dfrac{1-(1+t)}{1+t} = \dfrac{-t}{1+t} $.

      Pour $ t > 0 $, $ g'(t) < 0 $, donc $ g $ est strictement décroissante sur $ [0, +\infty [ $.

      Comme $ g(0) = \ln(1) - 0 = 0 $, on en déduit que pour tout $ t \geqslant 0 $, $ g(t) \leqslant 0 $, soit :

      $ \ln(1+t) \leqslant t $
    3. Pour tout $ x \in [0, +\infty [ $, on a $ 0 < e^{-x} \leqslant 1 $.

      En utilisant l'inégalité précédente et celle admise dans l'énoncé avec $ t = e^{-x} $, on obtient :

      $ \dfrac{e^{-x}}{e^{-x}+1} \leqslant \ln(1+e^{-x}) \leqslant e^{-x} $
    4. En intégrant l'encadrement précédent sur l'intervalle $ [0, 1] $ (les fonctions étant continues et $ 0 < 1 $), d'après la PARTIE A, on a :

      $ \int_{0}^{1} \dfrac{e^{-x}}{e^{-x}+1} \text{d}x \leqslant \int_{0}^{1} \ln(1+e^{-x}) \text{d}x \leqslant \int_{0}^{1} e^{-x} \text{d}x $

      Calculons les intégrales aux bornes :

    5. Pour $ \int_{0}^{1} \dfrac{e^{-x}}{e^{-x}+1} \text{d}x $, on reconnaît la forme $ -\dfrac{u'}{u} $ avec $ u(x) = e^{-x}+1 $.

      Une primitive est $ P(x) = -\ln(e^{-x}+1) $.

      $ \int_{0}^{1} \dfrac{e^{-x}}{e^{-x}+1} \text{d}x = [-\ln(e^{-x}+1)]_0^1 = -\ln(e^{-1}+1) + \ln(2) = \ln\left(\dfrac{2}{1+e^{-1}}\right) $
    6. Pour $ \int_{0}^{1} e^{-x} \text{d}x $, une primitive est $ Q(x) = -e^{-x} $.

      $ \int_{0}^{1} e^{-x} \text{d}x = [-e^{-x}]_0^1 = -e^{-1} - (-1) = 1 - e^{-1} $

      On en déduit l'encadrement :

      $ \ln\left(\dfrac{2}{1+e^{-1}}\right) \leqslant I \leqslant 1 - e^{-1} $
    7. À l'aide d'une calculatrice, on trouve :

      $ \ln\left(\dfrac{2}{1+e^{-1}}\right) \approx 0,38 $ et $ 1 - e^{-1} \approx 0,63 $.

      Un encadrement de $ I $ d'amplitude 0,4 par deux nombres décimaux est par exemple :

      $ 0,3 \leqslant I \leqslant 0,7 $
  3. La distance $ MN $ est égale à $ f(x) - x = \ln(1+e^{-x}) $.

    L'unité graphique est 2 cm, donc 0,5 mm correspond à $ 0,05 / 2 = 0,025 $ unité.

    On cherche $ x $ tel que $ \ln(1+e^{-x}) \leqslant 0,025 $.

    Résolvons l'équation $ \ln(1+e^{-x}) = 0,025 $ :

    $ 1+e^{-x} = e^{0,025} \iff e^{-x} = e^{0,025} - 1 \iff -x = \ln(e^{0,025} - 1) \iff x = -\ln(e^{0,025} - 1) = \ln\left(\dfrac{1}{e^{0,025} - 1}\right) $.

    Comme la fonction $ x \mapsto \ln(1+e^{-x}) $ est strictement décroissante sur $ [0, +\infty [ $, l'ensemble des valeurs de $ x $ est :

    $ x \geqslant \ln\left(\dfrac{1}{e^{0,025} - 1}\right) $

    À la calculatrice, $ \ln\left(\dfrac{1}{e^{0,025} - 1}\right) \approx 3,676 $.

    Les points $ M $ et $ N $ sont donc indiscernables pour $ x \geqslant 3,68 $ environ.