Année scolaire 2025/2026 DM n◦ 2
DM n◦ 2
À rendre le 16/09/25
Soient x ∈ R+ et a ∈ R∗+ , on pose :
Z +∞ Z +∞ Z +∞
dt dt
f (x) = , g(x) = Ia = e−at dt.
0 x + et 0 (x + et )2 0
1. Soit a ∈ R∗+ . Justifier que l’intégrale Ia converge et donner sa valeur.
Soit x ∈ R+ . Justifier que l’intégrale f (x) converge.
Dans la suite de l’exercice, on admettra que l’intégrale g(x) converge.
√ 1
2. Etablir : ∀x ∈ R+ , ∀t ∈ R+ , 2 xet ⩽ x + et , puis : ∀x ∈ R∗+ , 0 ⩽ f (x) ⩽ √ .
x
y−x
3. Soit (x, y) ∈ (R+ )2 tels que x < y. Établir que : 0 < f (x) − f (y) ⩽ .
2
4. Montrer que f réalise une bijection continue et strictement décroissante de R+ sur ]0, 1].
5. Prouver que l’équation f (x) = x admet une unique solution sur R+ . On note α cette solution. Justifier que α ∈ ]0, 1].
6. On considère la suite (un )n⩾0 définie par : u0 = 0 et ∀n ∈ N, un+1 = f (un ).
1
(a) Établir que : ∀n ∈ N, |α − un | ⩽ . En déduire la limite de (un )n⩾0 .
2n
(b) On suppose qu’une fonction f est déjà écrite en Python qui à un réel x donné renvoie le réel f (x).
On propose alors la fonction suivante
def suite ( esp ):
u =0
n =0
while eps <1/(2** n ):
u=f(u)
n = n +1
return ( u )
Expliquer quelle valeur approchée (et à quelle précision) renvoie ce programme (une réponse argumentée est attendue).
h2
7. Soient x ∈ R∗+ et h ∈ R tels que x + h ∈ R∗+ . Démontrer que : |f (x + h) − f (x) + hg(x)| ⩽ .
3
Justifier que f est dérivable sur R∗+ avec : ∀x ∈ R∗+ , f ′ (x) = −g(x).
8. On considère la fonction T définie sur R∗+ par : ∀x ∈ R∗+ , T (x) = xf (x).
1
Justifier que : ∀x ∈ R∗+ , T ′ (x) = , puis que : ∀x ∈ R∗+ , T (x) = ln(1 + x).
1+x
ECG2 Mathématiques approfondies 1