On rappelle que si x est un réel, alors ∣x∣ (qui se lit valeur absolue de x) est définit par : ∣x∣={x−xsisix≥0x≤0 Soit f une fonction définie sur R par : x⟶f(x)=∫x2xt4+t2+11dt
Question 1
Calculer l'intégrale I suivante : I=∫x2xt21dt
Correction
On a : I=∫x2xt21dt=−∫x2x−t21dt=−[t1]x2x=[t1]2xx=x1−2x1=2x2−2x1 Soit : I=2x1
Question 2
Démontrer que, ∀x∈R+∗, on a : ∣∣f(x)−2x1∣∣=∣∣∫x2xt2t4+t2+1(t2+t4+t2+1)−t2−1dt∣∣
Correction
On peut écrire que : ∣∣f(x)−2x1∣∣=∣f(x)−I∣=∣∣∫x2xt4+t2+11dt−∫x2xt21dt∣∣ Par linéarité de l'intégrale on a : ∣∣f(x)−2x1∣∣=∣∣∫x2xt4+t2+11−t21dt∣∣ En réduisant au même dénominateur, on trouve que : ∣∣f(x)−2x1∣∣=∣∣∫x2xt2t4+t2+1t2−t4+t2+1dt∣∣=∣∣∫x2xt2t4+t2+1t2−t4+t2+1×1dt∣∣ En faisant usage de l'expression conjuguée on peut écrire que : ∣∣f(x)−2x1∣∣=∣∣∫x2xt2t4+t2+1t2−t4+t2+1×t2+t4+t2+1t2+t4+t2+1dt∣∣ Ce qui nous donne : ∣∣f(x)−2x1∣∣=∣∣∫x2xt2t4+t2+1(t2+t4+t2+1)(t2)2−(t4+t2+1)2dt∣∣ Soit encore : ∣∣f(x)−2x1∣∣=∣∣∫x2xt2t4+t2+1(t2+t4+t2+1)t4−(t4+t2+1)dt∣∣ En développant le numérateur, on trouve que : ∣∣f(x)−2x1∣∣=∣∣∫x2xt2t4+t2+1(t2+t4+t2+1)t4−t4−t2−1dt∣∣ Ainsi, on a donc bien démontrer que, ∀x∈R+∗, l'on a la relation suivante : ∣∣f(x)−2x1∣∣=∣∣∫x2xt2t4+t2+1(t2+t4+t2+1)−t2−1dt∣∣
Question 3
En déduire que, ∀x∈R+∗, on a : ∣∣f(x)−2x1∣∣≤48x37+320x531
Correction
On a : ∣∣f(x)−2x1∣∣=∣∣−∫x2xt2t4+t2+1(t2+t4+t2+1)t2+1dt∣∣ Or, par hypothèse, on sait que x>0, donc 2x>x>0. De plus, ∀t∈[x;2x] (donc t>0) : t2t4+t2+1(t2+t4+t2+1)t2+1>0 Donc : ∫x2xt2t4+t2+1(t2+t4+t2+1)t2+1dt>0 Ainsi : −∫x2xt2t4+t2+1(t2+t4+t2+1)t2+1dt<0 Ce qui implique que selon la définition de la valeur absolue, nous puissions écrire que : ∣∣−∫x2xt2t4+t2+1(t2+t4+t2+1)t2+1dt∣∣=∫x2xt2t4+t2+1(t2+t4+t2+1)t2+1dt De plus, t>0, d'où : t4+t2+1>t2⟹t2+t4+t2+1>2t2 Et aussi : t2t4+t2+1>t4 Donc, on en déduit que : t2t4+t2+1(t2+t4+t2+1)>t4×2t2 d'où : t2t4+t2+1(t2+t4+t2+1)1<t4×2t21 Or, comme t>0⟹t2+1>0. Ce qui implique que : t2t4+t2+1(t2+t4+t2+1)t2+1<2t6t2+1 En intégrant, entre x et 2x on obtient alors : ∫x2xt2t4+t2+1(t2+t4+t2+1)t2+1dt<∫x2x2t6t2+1dt Soit encore : ∫x2xt2t4+t2+1(t2+t4+t2+1)t2+1dt<21∫x2xt6t2+1dt Or, on a : ∫x2xt6t2+1dt=∫x2xt6t2+t61dt=∫x2xt6t2dt+∫x2xt61dt=∫x2xt41dt+∫x2xt61dt Soit encore : ∫x2xt6t2+1dt=∫x2xt−4dt+∫x2xt−6dt Ce qui nous donne : ∫x2xt6t2+1dt=[−3t−3]x2x+[−5t−5]x2x=[3t−3]2xx+[5t−5]2xx D'où : ∫x2xt6t2+1dt=[3t31]2xx+[5t51]2xx=31[t31]2xx+51[t51]2xx Ainsi, on obtient : ∫x2xt6t2+1dt=31(x31−(2x)31)+51(x51−(2x)51) Ce qui s'écrit encore : ∫x2xt6t2+1dt=31(x31−8x31)+51(x51−32x51) D'où : ∫x2xt6t2+1dt=31(8x38−8x31)+51(32x532−32x51) Donc : ∫x2xt6t2+1dt=241(x38−x31)+1601(x532−x51) ou encore : ∫x2xt6t2+1dt=241(x37)+1601(x531) Finalement, on trouve que : ∫x2xt6t2+1dt=24x37+160x531 Ainsi, on peut écrire que : ∫x2xt2t4+t2+1(t2+t4+t2+1)t2+1dt<48x37+320x531 Ce qui implique que : ∣∣−∫x2xt2t4+t2+1(t2+t4+t2+1)t2+1dt∣∣<48x37+320x531 Finalement, on en déduit que : ∣∣f(x)−2x1∣∣<48x37+320x531 Donc, au sens large, on obtient bien la relation demandée, à savoir: ∣∣f(x)−2x1∣∣≤48x37+320x531
Question 4
En déduire que : x⟶+∞limxf(x)=21
Correction
En multipliant la relation précédente par x>0 (le sens de l'inégalité n'est pas modifié), on en déduit que : ∣∣xf(x)−2xx∣∣≤48x37x+320x531x Soit encore : ∣∣xf(x)−21∣∣≤48x27+320x431 En passant à la limite x⟶+∞lim, on obtient : x⟶+∞lim∣∣xf(x)−21∣∣≤x⟶+∞lim(48x27+320x431) D'où : x⟶+∞lim∣∣xf(x)−21∣∣≤487x⟶+∞limx21+32031x⟶+∞limx41 Ce qui nous donne : x⟶+∞lim∣∣xf(x)−21∣∣≤487×0+32031×0 Soit encore : x⟶+∞lim∣∣xf(x)−21∣∣≤0 Ce qui implique nécessairement que : x⟶+∞lim∣∣xf(x)−21∣∣=0 Ainsi, on obtient : x⟶+∞lim(xf(x)−21)=0 Soit encore : x⟶+∞limxf(x)−x⟶+∞lim21=0 Comme la limite d'un nombre est égale au nombre lui même, on trouve que : x⟶+∞limxf(x)−21=0 Finalement, on trouve que : x⟶+∞limxf(x)=21