Solution complète et détaillée de l'exercice
1. Domaine de définition
La première expression est définie pour tout x ≤ 1 car x²+1 > 0. La seconde est définie pour x > 1,
avec x ≠ 2 à cause du terme 2/(x−2). Ainsi :
D_f = ■ \ {2}.
Limites
x → −∞ : f(x) = x − 3 + (1−x)/(x²+1) → −∞.
x → +∞ : f(x) → −∞ car −√(x−1) domine.
x → 2■ : f(x) → +∞.
x → 2■ : f(x) → −∞.
x → 1 : continuité car la limite à droite vaut −2 = f(1).
2. Continuité et dérivabilité en 1
La fonction est continue en 1 mais non dérivable, les dérivées latérales n’étant pas égales.
3. Asymptote en −∞
Division euclidienne : f(x) = x − 3 + (1−x)/(x²+1).
Asymptote : y = x − 3.
Position : (1 − x)/(x² + 1) ≥ 0 sur (−∞, 1], donc Cf est au-dessus de l’asymptote.
Branche parabolique en +∞
On montre que x = f²(x) + 1 + o(1), la courbe se rapproche de x = y² + 1.
4. Étude de h(x) = x³ + 3x − 2
h'(x) = 3x² + 3 > 0, donc h est strictement croissante.
Elle s’annule une seule fois en α ∈ (0, 1).
5. Dérivée de f
Pour x ≤ 1 : f'(x) = x·h(x)/(x²+1)².
Signes : f' > 0 sur (−∞,0), f' < 0 sur (0,α), f' > 0 sur (α,1].
Tableau de variation
f croît jusqu’à x=0, décroit jusqu’à α, puis recroît jusqu’à 1.
6. Existence d'une solution β ∈ [3,4]
f(3) > 0 et f(4) < 0, f continue donc une solution β ∈ (3,4).
Comme f'(x) < 0 sur (2,∞), f est strictement décroissante → unicité.
7. Étude de g
g = f|_{]2,∞[}. g'(x) < 0 ⇒ g est bijective vers ■.
g(5) = -4/3.
(g^{-1})'(−4/3) = -36/17.
8. Tracé
La figure suivante montre Cf, l’asymptote et la droite x = 2.
9. Étude de φ(x) = 2 + 2 / √(x−1)
φ'(x) = −(x−1)^{-3/2} ≤ √2/4 sur [3,∞).
f(x)=0 ⇔ x=φ(x).
Inégalité contractante : |φ(x) − β| ≤ (√2/4)|x − β|.