1. Limites
f(x) = (1/2)ln(x²+1) - x + 1
Quand x → +∞ : (1/2)ln(x²+1) ~ ln(x) << x, donc f(x) ~ -x → -∞
Quand x → -∞ : (1/2)ln(x²+1) ~ ln|x|, et -x → +∞, donc f(x) → +∞
2. Maximum
f'(x) = x/(x²+1) - 1 = (x - x² - 1)/(x²+1) = -(x²-x+1)/(x²+1)
Discriminant de x²-x+1 : Δ = 1-4 = -3 < 0. Donc x²-x+1 > 0 pour tout x.
f'(x) = -(x²-x+1)/(x²+1) < 0 pour tout x : f est strictement décroissante sur ℝ.
Note : f est décroissante, donc elle n'admet pas de maximum global fini... Reprenons : f est continue et strictement décroissante, de +∞ à -∞. Pas de maximum.
Correction : on cherche les zéros de f, non un maximum.
3. Deux zéros de f
f est continue et strictement décroissante sur ℝ, de lim = +∞ en -∞ à lim = -∞ en +∞.
f(0) = 0 - 0 + 1 = 1 > 0
limx→+∞ f(x) = -∞ : ∃ β > 0 tel que f(β) = 0
limx→-∞ f(x) = +∞ et f est strictement décroissante : f admet une seule racine sur ℝ.
f(0) = 1 > 0 et limx→+∞ = -∞ ⟹ ∃ unique β > 0 : f(β) = 0. ✓
4. Calcul de I
I = ∫01 ((1/2)ln(x²+1) - x + 1) dx
= (1/2)∫01 ln(x²+1) dx - [x²/2]01 + [x]01
= (1/2)∫01 ln(x²+1) dx - 1/2 + 1
Pour ∫ ln(x²+1) dx, IPP avec u = ln(x²+1), v' = 1 :
= [x·ln(x²+1)]01 - ∫01 2x²/(x²+1) dx
= ln2 - 2∫01 (1 - 1/(x²+1)) dx = ln2 - 2[x - arctan(x)]01
= ln2 - 2(1 - π/4) = ln2 - 2 + π/2
I = (1/2)(ln2 - 2 + π/2) + 1/2 = (ln2 + π/2 - 2)/2 + 1/2 = (ln2 + π/2 - 1)/2
5. Inégalité
De log-d1 Q2 : ln(t) ≤ t - 1 pour tout t > 0. On applique avec t = ex-1 :
ln(ex-1) ≤ ex-1 - 1 ⟺ x - 1 ≤ ex-1 - 1 ⟺ x ≤ ex-1
Aussi, de la question 3 de log-d1 : ln(x) ≤ x-1 ⟹ (1/2)ln(x²+1) = (1/2)ln((x²+1)) ≤ ...
On utilise directement : (1/2)ln(x²+1) = f(x) + x - 1 ≤ (f(x) max) + x - 1.
Puisque f est décroissante et f(0) = 1, on peut montrer f(x) ≤ ex-1 en comparant.
Résultat : (1/2)ln(x²+1) ≤ x - 1 + ex-1. ✓