Problème (11 points) :
Partie I :
Le graphique ci-contre représente les courbes ( C s ) (C_s) ( C s ) et ( C h ) (C_h) ( C h ) des fonctions : g : x ↦ x 2 g : x \mapsto x^2 g : x ↦ x 2 et h : x ↦ 2 ln x − ( ln x ) 2 h : x \mapsto 2 \ln x - (\ln x)^2 h : x ↦ 2 ln x − ( ln x ) 2 sur l’intervalle ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ dans un même repère orthonormé.
1) a) Justifier graphiquement que pour tout x x x de ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ : g ( x ) − h ( x ) > 0 g(x) - h(x) > 0 g ( x ) − h ( x ) > 0
Afficher la correction
D’après le graphe, la courbe ( C g ) (C_g) ( C g ) est située strictement au-dessus de la courbe ( C h ) (C_h) ( C h ) sur l’intervalle ] 0 ; + ∞ [ ]0; +\infty[ ] 0 ; + ∞ [ .
On en déduit que, pour tout x ∈ ] 0 ; + ∞ [ x \in ]0; +\infty[ x ∈ ] 0 ; + ∞ [ , on a :
g ( x ) − h ( x ) > 0 g(x) - h(x) > 0 g ( x ) − h ( x ) > 0
1) b) Déduire que pour tout x x x de ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ : 2 ln x − ( ln x ) 2 x 2 < 1 \dfrac{2 \ln x - (\ln x)^2}{x^2} < 1 x 2 2 ln x − ( ln x ) 2 < 1
Afficher la correction
( ∀ x ∈ ] 0 ; + ∞ [ : g ( x ) − h ( x ) > 0 (\forall x \in]0;+\infty[:~g(x)-h(x)>0 ( ∀ x ∈ ] 0 ; + ∞ [ : g ( x ) − h ( x ) > 0
⟺ x 2 − 2 ln x + ( ln x ) 2 > 0 ⟺ 2 ln x − ( ln x ) 2 < x 2 ⟺ 2 ln x − ( ln x ) 2 x 2 < 1 \begin{align*}
&\iff x^2-2\ln x+(\ln x)^2>0\\
&\iff 2\ln x-(\ln x)^2<x^2 \\
&\iff \frac{2\ln x-(\ln x)^2}{x^2}<1
\end{align*} ⟺ x 2 − 2 ln x + ( ln x ) 2 > 0 ⟺ 2 ln x − ( ln x ) 2 < x 2 ⟺ x 2 2 ln x − ( ln x ) 2 < 1
2) a) Vérifier que la fonction H : x ↦ x ln x − x H : x \mapsto x \ln x - x H : x ↦ x ln x − x est une primitive de la fonction x ↦ ln x x \mapsto \ln x x ↦ ln x sur l’intervalle ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ , puis déduire que ∫ 1 e 2 ln ( x ) d x = 1 + e 2 \displaystyle\int_1^{e^2} \ln(x) dx = 1 + e^2 ∫ 1 e 2 ln ( x ) d x = 1 + e 2
Afficher la correction
H H H est dérivable sur ] 0 ; + ∞ [ ]0;+\infty[ ] 0 ; + ∞ [ et on a :
H ′ ( x ) = ln x + x × 1 x − 1 = ln x = h ( x ) \begin{align*}
H'(x)&=\ln x+x\times\dfrac1x-1\\&=\ln x =h(x)
\end{align*} H ′ ( x ) = ln x + x × x 1 − 1 = ln x = h ( x )
Donc H H H est une primitive de h h h sur ] 0 ; + ∞ [ ]0;+\infty[ ] 0 ; + ∞ [ .
∫ 1 e 2 ln x d x = ∫ 1 e 2 h ( x ) d x = [ H ( x ) ] 1 e 2 = H ( e 2 ) − H ( 1 ) = 2 e 2 − e 2 + 1 = 1 + e 2 \begin{align*}
\int_1^{e^2}\ln x dx &=\int_1^{e^2} h(x)dx =[H(x)]_1^{e^2} \\
&= H(e^2)-H(1)\\
&=2e^2-e^2+1\\&=1+e^2
\end{align*} ∫ 1 e 2 ln x d x = ∫ 1 e 2 h ( x ) d x = [ H ( x ) ] 1 e 2 = H ( e 2 ) − H ( 1 ) = 2 e 2 − e 2 + 1 = 1 + e 2
2) b) En utilisant une intégration par parties, montrer que ∫ 1 e 2 ( ln x ) 2 d x = 2 e 2 − 2 \displaystyle\int_1^{e^2} (\ln x)^2 dx = 2e^2 - 2 ∫ 1 e 2 ( ln x ) 2 d x = 2 e 2 − 2
Afficher la correction
Formule d'intégration par parties :
∫ u ′ ( x ) v ( x ) d x = [ u ( x ) v ( x ) ] − ∫ u ( x ) v ′ ( x ) d x \int u'(x)v(x)dx=[u(x)v(x)]-\int u(x)v'(x)dx ∫ u ′ ( x ) v ( x ) d x = [ u ( x ) v ( x )] − ∫ u ( x ) v ′ ( x ) d x
Pour ∫ 1 e 2 ( ln x ) 2 d x = 2 e 2 − 2 \displaystyle\int_1^{e^2} (\ln x)^2 dx = 2e^2 - 2 ∫ 1 e 2 ( ln x ) 2 d x = 2 e 2 − 2 :
Posons : u ′ ( x ) = ln x u'(x)=\ln x u ′ ( x ) = ln x et v ( x ) = ln x v(x)=\ln x v ( x ) = ln x
Donc u ( x ) = H ( x ) u(x)=H(x) u ( x ) = H ( x ) et v ′ ( x ) = 1 x v'(x)=\dfrac{1}{x} v ′ ( x ) = x 1
I = ∫ 1 e 2 ( ln x ) 2 d x = [ H ( x ) ln x ] 1 e 2 − ∫ 1 e 2 H ( x ) x d x = e 2 ln ( e 2 ) − ∫ 1 e 2 ( ln x − 1 ) d x = 2 e 2 − ∫ 1 e 2 ln x d x + ∫ 1 e 2 1 d x = 2 e 2 − 1 − e 2 + [ x ] 1 e 2 = e 2 − 1 + ( e 2 − 1 ) = 2 e 2 − 2 \begin{align*}
I&=\int_1^{e^2} (\ln x)^2 dx \\
&= [H(x)\ln x]_1^{e^2}-\int_1^{e^2}\frac{H(x)}{x} dx\\
&=e^2\ln(e^2)-\int_1^{e^2}(\ln x -1) dx \\
&=2e^2-\int_1^{e^2}\ln x dx+\int_1^{e^2}1 dx \\
&=2e^2-1-e^2+[x]_1^{e^2} \\
&=e^2-1+(e^2-1) \\
&=2e^2-2
\end{align*} I = ∫ 1 e 2 ( ln x ) 2 d x = [ H ( x ) ln x ] 1 e 2 − ∫ 1 e 2 x H ( x ) d x = e 2 ln ( e 2 ) − ∫ 1 e 2 ( ln x − 1 ) d x = 2 e 2 − ∫ 1 e 2 ln x d x + ∫ 1 e 2 1 d x = 2 e 2 − 1 − e 2 + [ x ] 1 e 2 = e 2 − 1 + ( e 2 − 1 ) = 2 e 2 − 2
2) c) Résoudre sur l’intervalle ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ , l’équation h ( x ) = 0 h(x) = 0 h ( x ) = 0 et déduire les deux points d’intersection de la courbe ( C h ) (C_h) ( C h ) avec l’axe des abscisses.
Afficher la correction
Soit x ∈ ] 0 , + ∞ [ x \in ]0, +\infty[ x ∈ ] 0 , + ∞ [ on a :
h ( x ) = 0 ⟺ 2 ln x − ( ln x ) 2 = 0 ⟺ ln x ( 2 − ln x ) = 0 ⟺ ln x = 0 ou ln x = 2 ⟺ x = e 0 = 1 ou x = e 2 \begin{align*}
h(x)=0 &\iff 2\ln x -(\ln x)^2=0 \\
&\iff \ln x(2-\ln x)=0\\
&\iff \ln x=0 \text{ ou } \ln x=2 \\
&\iff x=e^0=1 \text{ ou } x=e^2
\end{align*} h ( x ) = 0 ⟺ 2 ln x − ( ln x ) 2 = 0 ⟺ ln x ( 2 − ln x ) = 0 ⟺ ln x = 0 ou ln x = 2 ⟺ x = e 0 = 1 ou x = e 2
Donc ( C h ) (C_h) ( C h ) coupe l'axe des abscisses en deux points E ( 1 , 0 ) E(1,0) E ( 1 , 0 ) et F ( e 2 , 0 ) F(e^2,0) F ( e 2 , 0 ) .
2) d) Déduire, en unité d’aire, l’aire de la partie du plan délimitée par la courbe ( C h ) (C_h) ( C h ) , l’axe des abscisses, et les droites d’équations x = 1 x = 1 x = 1 et x = e 2 x = e^2 x = e 2 .
Afficher la correction
A = ∫ 1 e 2 ∣ h ( x ) ∣ d x u \mathcal{A}=\int_1^{e^2} |h(x)|dx~u A = ∫ 1 e 2 ∣ h ( x ) ∣ d x u
avec u u u : unité d'aire.
Or, la courbe ( C h ) (C_h) ( C h ) est située au-dessus de l’axe des abscisses sur l’intervalle [ 1 , e 2 ] [1, e^2] [ 1 , e 2 ] , ce qui signifie que h ( x ) ≥ 0 h(x) \geq 0 h ( x ) ≥ 0 sur cet intervalle.
Ainsi, on a : ∣ h ( x ) ∣ = h ( x ) |h(x)| = h(x) ∣ h ( x ) ∣ = h ( x ) pour tout x ∈ [ 1 , e 2 ] x \in [1, e^2] x ∈ [ 1 , e 2 ] .
A = ∫ 1 e 2 ( 2 ln x − ( ln x ) 2 ) d x = 2 ∫ 1 e 2 ln x d x − I = 2 ( 1 + e 2 ) − ( 2 e 2 − 2 ) = 2 + 2 e 2 − 2 e 2 + 2 = 4 u \begin{align*}
\mathcal{A}&=\int_1^{e^2} (2\ln x - (\ln x)^2)dx \\
&=2\int_1^{e^2}\ln x dx - I \\
&=2(1+e^2)-(2e^2-2) \\
&=2+2e^2-2e^2+2 \\
&=4 u
\end{align*} A = ∫ 1 e 2 ( 2 ln x − ( ln x ) 2 ) d x = 2 ∫ 1 e 2 ln x d x − I = 2 ( 1 + e 2 ) − ( 2 e 2 − 2 ) = 2 + 2 e 2 − 2 e 2 + 2 = 4 u
Partie II :
On considère la fonction numérique f f f définie sur ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ par :
f ( x ) = x − ( ln x ) 2 x f(x) = x - \dfrac{(\ln x)^2}{x} f ( x ) = x − x ( ln x ) 2
Soit ( C f ) (C_f) ( C f ) sa courbe représentative dans un repère orthonormé ( O , i ⃗ , j ⃗ ) (O, \vec{i}, \vec{j}) ( O , i , j ) .
1) a) Vérifier que lim x → 0 + f ( x ) = − ∞ \lim\limits_{x \to 0^+} f(x) = -\infty x → 0 + lim f ( x ) = − ∞ et donner une interprétation géométrique de ce résultat.
Afficher la correction
lim x → 0 + f ( x ) = − ∞ \lim\limits_{x\to 0^+}f(x)=-\infty x → 0 + lim f ( x ) = − ∞
Car lim x → 0 + x = 0 \lim\limits_{x\to 0^+}x=0 x → 0 + lim x = 0 et lim x → 0 + − ( ln x ) 2 x = − ∞ \lim\limits_{x\to 0^+}-\dfrac{(\ln x)^2}{x}=-\infty x → 0 + lim − x ( ln x ) 2 = − ∞ .
Interprétation : La droite d'équation x = 0 x = 0 x = 0 (l'axe des ordonnées) est une asymptote verticale à la courbe ( C f ) (C_f) ( C f ) .
1) b) Montrer que lim x → + ∞ ( ln x ) 2 x = 0 \lim\limits_{x \to +\infty} \dfrac{(\ln x)^2}{x} = 0 x → + ∞ lim x ( ln x ) 2 = 0 (on peut poser t = x t = \sqrt{x} t = x ), puis calculer lim x → + ∞ f ( x ) \lim\limits_{x \to +\infty} f(x) x → + ∞ lim f ( x ) .
Afficher la correction
On pose t = x t=\sqrt{x} t = x donc x = t 2 x=t^2 x = t 2 et x → + ∞ ⟹ t → + ∞ x \to +\infty \implies t \to +\infty x → + ∞ ⟹ t → + ∞ .
lim x → + ∞ ( ln x ) 2 x = lim t → + ∞ ( 2 ln t ) 2 t 2 = lim t → + ∞ 4 ( ln t t ) 2 = 0 \begin{align*}
\lim\limits_{x\to+\infty}\dfrac{(\ln x)^2}{x}&=\lim\limits_{t\to+\infty}\dfrac{(2\ln t)^2}{t^2}\\
&=\lim\limits_{t\to+\infty}4\left(\dfrac{\ln t}{t}\right)^2\\
&=0
\end{align*} x → + ∞ lim x ( ln x ) 2 = t → + ∞ lim t 2 ( 2 ln t ) 2 = t → + ∞ lim 4 ( t ln t ) 2 = 0
Car lim t → + ∞ ln t t = 0 \lim\limits_{t\to+\infty}\dfrac{\ln t}{t}=0 t → + ∞ lim t ln t = 0 .
lim x → + ∞ f ( x ) = + ∞ \lim\limits_{x\to+\infty} f(x)=+\infty x → + ∞ lim f ( x ) = + ∞
Car lim x → + ∞ ( ln x ) 2 x = 0 \lim\limits_{x\to+\infty}\dfrac{(\ln x)^2}{x}=0 x → + ∞ lim x ( ln x ) 2 = 0 et lim x → + ∞ x = + ∞ \lim\limits_{x\to+\infty}x=+\infty x → + ∞ lim x = + ∞ .
1) c) Déduire que la droite d’équation y = x y = x y = x est une asymptote oblique de ( C f ) (C_f) ( C f ) au voisinage de + ∞ +\infty + ∞ .
Afficher la correction
lim x → + ∞ ( f ( x ) − x ) = lim x → + ∞ − ( ln x ) 2 x = 0 \lim\limits_{x\to+\infty}(f(x)-x)=\lim\limits_{x\to+\infty}-\dfrac{(\ln x)^2}{x}=0 x → + ∞ lim ( f ( x ) − x ) = x → + ∞ lim − x ( ln x ) 2 = 0
Et donc la droite d'équation y = x y=x y = x est une asymptote oblique de ( C f ) (C_f) ( C f ) au voisinage de + ∞ +\infty + ∞ .
2) a) Montrer que pour tout x x x de ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ , f ′ ( x ) = 1 − 2 ln x − ( ln x ) 2 x 2 f'(x) = 1 - \dfrac{2 \ln x - (\ln x)^2}{x^2} f ′ ( x ) = 1 − x 2 2 ln x − ( ln x ) 2 .
Afficher la correction
La fonction f f f est dérivable sur ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ par somme, produit et quotient.
∀ x ∈ ] 0 , + ∞ [ \forall x \in ]0, +\infty[ ∀ x ∈ ] 0 , + ∞ [ :
f ′ ( x ) = 1 − 2 × 1 x ln x × x − ( ln x ) 2 × 1 x 2 = 1 − 2 ln x − ( ln x ) 2 x 2 \begin{align*}
f'(x) &=1-\dfrac{2\times\dfrac{1}{x}\ln x\times x - (\ln x)^2\times 1}{x^2}\\
&=1-\dfrac{2\ln x -(\ln x)^2}{x^2}
\end{align*} f ′ ( x ) = 1 − x 2 2 × x 1 ln x × x − ( ln x ) 2 × 1 = 1 − x 2 2 ln x − ( ln x ) 2
2) b) Montrer que la fonction f f f est strictement croissante sur l’intervalle ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ (utiliser la question Partie I-1-b).
Afficher la correction
On a d'après la question Partie I-1-b : ∀ x ∈ ] 0 , + ∞ [ \forall x \in ]0, +\infty[ ∀ x ∈ ] 0 , + ∞ [ , 2 ln x − ( ln x ) 2 x 2 < 1 \dfrac{2\ln x -(\ln x)^2}{x^2} < 1 x 2 2 ln x − ( ln x ) 2 < 1 .
Donc f ′ ( x ) > 0 f'(x) > 0 f ′ ( x ) > 0 et par conséquent, la fonction f f f est strictement croissante sur ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ .
3) a) Montrer que l’équation f ( x ) = 0 f(x) = 0 f ( x ) = 0 admet une solution unique α \alpha α dans ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ .
Afficher la correction
On a f f f est continue sur ] 0 , + ∞ [ ]0, +\infty[ ] 0 , + ∞ [ (car dérivable).
Et f ( ] 0 , + ∞ [ ) = ] lim x → 0 + f ( x ) , lim x → + ∞ f ( x ) [ = ] − ∞ , + ∞ [ = R f(]0, +\infty[) = ]\lim\limits_{x\to 0^+} f(x), \lim\limits_{x\to+\infty} f(x)[ = ]-\infty, +\infty[ = \mathbb{R} f ( ] 0 , + ∞ [ ) = ] x → 0 + lim f ( x ) , x → + ∞ lim f ( x ) [ = ] − ∞ , + ∞ [ = R .
Et comme 0 ∈ R 0 \in \mathbb{R} 0 ∈ R , alors d'après le théorème des valeurs intermédiaires, l'équation f ( x ) = 0 f(x)=0 f ( x ) = 0 admet au moins une solution α ∈ ] 0 , + ∞ [ \alpha \in ]0, +\infty[ α ∈ ] 0 , + ∞ [ .
Comme f f f est strictement croissante, alors α \alpha α est unique.
3) b) Vérifier que e − 1 < α < 1 e^{-1} < \alpha < 1 e − 1 < α < 1 et montrer que ln α = − α \ln \alpha = -\alpha ln α = − α .
Afficher la correction
f ( e − 1 ) = e − 1 − ( − 1 ) 2 e − 1 = e − 2 − 1 e − 1 < 0 f(e^{-1})=e^{-1}-\frac{(-1)^2}{e^{-1}}=\frac{e^{-2}-1}{e^{-1}}<0 f ( e − 1 ) = e − 1 − e − 1 ( − 1 ) 2 = e − 1 e − 2 − 1 < 0
f ( 1 ) = 1 − 0 2 1 = 1 > 0 f(1)=1-\frac{0^2}{1}=1>0 f ( 1 ) = 1 − 1 0 2 = 1 > 0
Donc f ( e − 1 ) f ( 1 ) < 0 f(e^{-1})f(1)<0 f ( e − 1 ) f ( 1 ) < 0 , ce qui prouve que e − 1 < α < 1 e^{-1}<\alpha<1 e − 1 < α < 1 .
On a f ( α ) = 0 f(\alpha)=0 f ( α ) = 0 , donc α − ( ln α ) 2 α = 0 \alpha - \dfrac{(\ln\alpha)^2}{\alpha}=0 α − α ( ln α ) 2 = 0 .
Ce qui donne α 2 = ( ln α ) 2 \alpha^2 = (\ln\alpha)^2 α 2 = ( ln α ) 2 .
Comme α ∈ ] e − 1 , 1 [ \alpha \in ]e^{-1}, 1[ α ∈ ] e − 1 , 1 [ , alors ln α < 0 \ln\alpha < 0 ln α < 0 et α > 0 \alpha > 0 α > 0 . Donc ln α = − α \ln\alpha = -\alpha ln α = − α .
3) c) Montrer que f ( x ) ≤ x f(x) \leq x f ( x ) ≤ x pour tout x ∈ ] 0 , + ∞ [ x \in ]0, +\infty[ x ∈ ] 0 , + ∞ [ .
Afficher la correction
f ( x ) − x = − ( ln x ) 2 x f(x)-x=-\dfrac{(\ln x)^2}{x} f ( x ) − x = − x ( ln x ) 2
Pour tout x ∈ ] 0 , + ∞ [ x \in ]0, +\infty[ x ∈ ] 0 , + ∞ [ , on a x > 0 x > 0 x > 0 et ( ln x ) 2 ≥ 0 (\ln x)^2 \geq 0 ( ln x ) 2 ≥ 0 .
Donc f ( x ) − x ≤ 0 f(x)-x \leq 0 f ( x ) − x ≤ 0 .
Par conséquent : ∀ x ∈ ] 0 , + ∞ [ \forall x \in ]0, +\infty[ ∀ x ∈ ] 0 , + ∞ [ , f ( x ) ≤ x f(x) \leq x f ( x ) ≤ x .
3) d) Montrer que y = x y = x y = x est l’équation de la tangente ( T ) (T) ( T ) à la courbe ( C f ) (C_f) ( C f ) au point d’abscisse 1.
Afficher la correction
( T ) : y = f ′ ( 1 ) ( x − 1 ) + f ( 1 ) = 1 ( x − 1 ) + 1 = x \begin{align*}
(T) : y &=f'(1)(x-1)+f(1)\\
&=1(x-1)+1 \\
&=x
\end{align*} ( T ) : y = f ′ ( 1 ) ( x − 1 ) + f ( 1 ) = 1 ( x − 1 ) + 1 = x
4) Le graphique ci-aprés représente la courbe ( C f ) (C_f) ( C f ) dans le repère orthonormé ( O , i ⃗ , j ⃗ ) (O, \vec{i}, \vec{j}) ( O , i , j ) .
Soit φ \varphi φ la restriction de f f f sur l’intervalle ] 0 , 1 ] ]0,1] ] 0 , 1 ] .
a) Montrer que φ \varphi φ admet une fonction réciproque φ − 1 \varphi^{-1} φ − 1 définie sur un intervalle J J J à déterminer.
Afficher la correction
φ ( x ) = f ( x ) \varphi(x)=f(x) φ ( x ) = f ( x ) pour tout x ∈ ] 0 , 1 ] x \in ]0,1] x ∈ ] 0 , 1 ] .
φ \varphi φ est continue et strictement croissante sur ] 0 , 1 ] ]0,1] ] 0 , 1 ] , alors elle admet une fonction réciproque φ − 1 \varphi^{-1} φ − 1 définie sur J = φ ( ] 0 , 1 ] ) = ] − ∞ , 1 ] J=\varphi(]0,1])=]-\infty,1] J = φ ( ] 0 , 1 ]) = ] − ∞ , 1 ] .
b) Montrer que φ − 1 \varphi^{-1} φ − 1 est dérivable en 0 et que ( φ − 1 ) ′ ( 0 ) = α 2 + 2 α (\varphi^{-1})'(0) = \dfrac{\alpha}{2 + 2\alpha} ( φ − 1 ) ′ ( 0 ) = 2 + 2 α α .
Afficher la correction
On sait que f ( α ) = 0 f(\alpha)=0 f ( α ) = 0 et α ∈ ] e − 1 , 1 [ \alpha \in ]e^{-1},1[ α ∈ ] e − 1 , 1 [ .
Comme ] e − 1 , 1 [ ⊂ ] 0 , 1 ] ]e^{-1},1[ \subset ]0,1] ] e − 1 , 1 [ ⊂ ] 0 , 1 ] , alors φ ( α ) = 0 \varphi(\alpha)=0 φ ( α ) = 0 et donc φ − 1 ( 0 ) = α \varphi^{-1}(0)=\alpha φ − 1 ( 0 ) = α .
Et comme φ ′ ( α ) > 0 \varphi'(\alpha)>0 φ ′ ( α ) > 0 donc φ ′ ( α ) ≠ 0 \varphi'(\alpha)\neq 0 φ ′ ( α ) = 0 .
Ainsi, φ − 1 \varphi^{-1} φ − 1 est dérivable en 0 0 0 et on a :
( φ − 1 ) ′ ( 0 ) = 1 φ ′ ( φ − 1 ( 0 ) ) = 1 φ ′ ( α ) \begin{align*}
(\varphi^{-1})'(0) &=\dfrac{1}{\varphi'(\varphi^{-1}(0))}\\
&=\dfrac{1}{\varphi'(\alpha)}
\end{align*} ( φ − 1 ) ′ ( 0 ) = φ ′ ( φ − 1 ( 0 )) 1 = φ ′ ( α ) 1
D'après 3)b), on a ln α = − α \ln\alpha=-\alpha ln α = − α . Remplaçons dans l'expression de φ ′ ( α ) \varphi'(\alpha) φ ′ ( α ) :
φ ′ ( α ) = 1 − 2 ln α − ( ln α ) 2 α 2 = 1 − − 2 α − ( − α ) 2 α 2 = α 2 + 2 α + α 2 α 2 = 2 α 2 + 2 α α 2 = 2 α ( α + 1 ) α 2 = 2 α + 2 α \begin{align*}
\varphi'(\alpha) &=1-\dfrac{2\ln\alpha-(\ln\alpha)^2}{\alpha^2}\\
&=1-\dfrac{-2\alpha-(-\alpha)^2}{\alpha^2}\\
&=\dfrac{\alpha^2+2\alpha+\alpha^2}{\alpha^2} \\
&=\dfrac{2\alpha^2+2\alpha}{\alpha^2}\\
&=\dfrac{2\alpha(\alpha+1)}{\alpha^2}\\
&=\dfrac{2\alpha+2}{\alpha}
\end{align*} φ ′ ( α ) = 1 − α 2 2 ln α − ( ln α ) 2 = 1 − α 2 − 2 α − ( − α ) 2 = α 2 α 2 + 2 α + α 2 = α 2 2 α 2 + 2 α = α 2 2 α ( α + 1 ) = α 2 α + 2
Alors : ( φ − 1 ) ′ ( 0 ) = 1 φ ′ ( α ) = α 2 α + 2 (\varphi^{-1})'(0)=\dfrac{1}{\varphi'(\alpha)}=\dfrac{\alpha}{2\alpha+2} ( φ − 1 ) ′ ( 0 ) = φ ′ ( α ) 1 = 2 α + 2 α .
c) Recopier la courbe de φ \varphi φ et construire la courbe de φ − 1 \varphi^{-1} φ − 1 dans le repère ( O , i ⃗ , j ⃗ ) (O, \vec{i}, \vec{j}) ( O , i , j ) .
Afficher la correction
On sait que la courbe de φ − 1 \varphi^{-1} φ − 1 est le symétrique de la courbe de f f f sur ] 0 , 1 ] ]0,1] ] 0 , 1 ] par rapport à la première bissectrice (la droite d'équation y = x y=x y = x ).
Partie III :
Soit ( u n ) (u_n) ( u n ) la suite numérique définie par u 0 = e u_0 = e u 0 = e et u n + 1 = f ( u n ) u_{n+1} = f(u_n) u n + 1 = f ( u n ) , pour tout n ∈ N n \in \mathbb{N} n ∈ N .
1) Montrer par récurrence que 1 < u n 1 < u_n 1 < u n pour tout n ∈ N n \in \mathbb{N} n ∈ N .
Afficher la correction
Pour n = 0 n=0 n = 0 : u 0 = e > 1 u_0=e>1 u 0 = e > 1 , donc l'initialisation est vraie.
Soit n ∈ N n \in \mathbb{N} n ∈ N , supposons que 1 < u n 1 < u_n 1 < u n et montrons que 1 < u n + 1 1 < u_{n+1} 1 < u n + 1 .
On a 1 < u n 1 < u_n 1 < u n . Comme f f f est continue et strictement croissante sur [ 1 ; + ∞ [ [1;+\infty[ [ 1 ; + ∞ [ , alors :
f ( 1 ) < f ( u n ) f(1) < f(u_n) f ( 1 ) < f ( u n )
Et puisque f ( 1 ) = 1 f(1) = 1 f ( 1 ) = 1 et f ( u n ) = u n + 1 f(u_n) = u_{n+1} f ( u n ) = u n + 1 , on obtient 1 < u n + 1 1 < u_{n+1} 1 < u n + 1 .
D'après le principe de récurrence : ∀ n ∈ N , 1 < u n \forall n \in \mathbb{N}, \ 1 < u_n ∀ n ∈ N , 1 < u n .
2) a) Montrer que la suite ( u n ) (u_n) ( u n ) est décroissante (utiliser la question Partie II-3-c).
Afficher la correction
Soit n ∈ N n \in \mathbb{N} n ∈ N . D'après la question Partie II-3-c , on a pour tout x ∈ ] 0 , + ∞ [ x \in ]0,+\infty[ x ∈ ] 0 , + ∞ [ : f ( x ) ≤ x f(x) \leq x f ( x ) ≤ x .
Et comme u n ∈ ] 1 , + ∞ [ u_n \in ]1,+\infty[ u n ∈ ] 1 , + ∞ [ (donc dans ] 0 , + ∞ [ ]0,+\infty[ ] 0 , + ∞ [ ), alors :
f ( u n ) ≤ u n f(u_n) \leq u_n f ( u n ) ≤ u n
D'où u n + 1 ≤ u n u_{n+1} \leq u_n u n + 1 ≤ u n . Par conséquent, la suite ( u n ) (u_n) ( u n ) est décroissante.
2) b) En déduire que la suite ( u n ) (u_n) ( u n ) est convergente.
Afficher la correction
La suite ( u n ) (u_n) ( u n ) est décroissante et elle est minorée par 1 (car u n > 1 u_n > 1 u n > 1 ).
Toute suite décroissante et minorée est convergente. Donc ( u n ) (u_n) ( u n ) converge.
2) c) Déterminer la limite de la suite ( u n ) (u_n) ( u n ) .
Afficher la correction
On a les conditions suivantes :
f f f est continue sur I = [ 1 , + ∞ [ I = [1,+\infty[ I = [ 1 , + ∞ [
f ( I ) = [ 1 ; + ∞ [ ⊂ I f(I) = [1;+\infty[ \subset I f ( I ) = [ 1 ; + ∞ [ ⊂ I
u 0 = e ∈ I u_0 = e \in I u 0 = e ∈ I
( u n ) (u_n) ( u n ) est convergente (posons ℓ = lim u n \ell = \lim u_n ℓ = lim u n )
Alors la limite ℓ \ell ℓ de ( u n ) (u_n) ( u n ) est solution de l'équation f ( x ) = x f(x) = x f ( x ) = x sur I I I .
f ( x ) = x ⟺ x − ( ln x ) 2 x = x ⟺ − ( ln x ) 2 x = 0 ⟺ ( ln x ) 2 = 0 ⟺ ln x = 0 ⟺ x = 1 \begin{align*}
f(x)=x &\iff x - \dfrac{(\ln x)^2}{x} = x \\
&\iff -\dfrac{(\ln x)^2}{x} = 0 \\
&\iff (\ln x)^2 = 0 \\
&\iff \ln x = 0 \\
&\iff x = 1
\end{align*} f ( x ) = x ⟺ x − x ( ln x ) 2 = x ⟺ − x ( ln x ) 2 = 0 ⟺ ( ln x ) 2 = 0 ⟺ ln x = 0 ⟺ x = 1
Et donc : lim u n = 1 \lim u_n = 1 lim u n = 1 .