Polynésie juin 2005 Exercice 3 (7 points)
La page annexe sera à compléter et à remettre avec la copie à la fin de l’épreuve.
Partie A
On considère la fonction f définie sur l’intervalle ] 0 ; +  [ par f (x) = x + ln x.
On nomme  sa courbe représentative dans un repère orthogonal (O; ; ) du plan.
1° a) Déterminer les limites de la fonction f aux bornes de son intervalle de définition.
b) Montrer que la fonction f est strictement croissante sur l’intervalle ] 0 ; +  [.
2° a) Montrer que, pour tout entier naturel n, l’équation f (x) = n admet une unique solution dans ] 0 ; +  [.
On note n cette solution. On a donc : pour tout entier naturel n, n + ln n = n.
b) Sur la page annexe, on a tracé  dans le repère (O; ; ).
Placer les nombres 0, 1, 2, 3, 4 et 5 sur l’axe des abscisses en laissant apparents les traits de construction.
c) Préciser la valeur de 1.
d) Démontrer que la suite (n) est strictement croissante.
3° a) Déterminer une équation de la tangente  à la courbe  au point A d’abscisse 1.
b) Etudier les variations de la fonction h définie sur ] 0 ; +   [ par h(x) = ln x − x +1.
En déduire la position de la courbe  par rapport à .
c) Tracer  sur le graphique de la page annexe. 
Démontrer que, pour tout entier naturel n non nul,   n .
4° Déterminer la limite de la suite (n).
Partie B
On considère une fonction g continue, strictement croissante sur ] 0 ;+  [ et telle que  g(x) = –  
et  g(x) = +  .
On admet que l’on peut, comme on l’a fait dans la partie A, définir sur  une suite n de réels tels que 
g(n) = n, et que cette suite est strictement croissante.
1° Démonstration de cours :
Prérequis : définition d’une suite tendant vers +   . 
« Une suite tend vers +  si, pour tout réel A, tous les termes de la suite sont, à partir d’un certain rang, supérieurs à A ».
Démontrer le théorème suivant : une suite croissante non majorée tend vers +  .
2° Montrer que la suite n tend vers +  .

correction

Partie A  On considère la fonction f définie sur l’intervalle ] 0 ; +  [ par f (x) = x +ln x.  On nomme  sa courbe représentative dans un repère orthogonal (O; ; ) du plan. 
1° a) Déterminer les limites de la fonction f aux bornes de son intervalle de définition.
 donc  x + ln x = –  . 
 donc  x + ln x = +  .
b) Montrer que la fonction f est strictement croissante sur l’intervalle ] 0 ; +  [.
f est la somme de deux fonctions dérivables sur ] 0 ; +  [ elle est donc dérivable sur ] 0 ; +  [ 
Pour tout réel x de ] 0 ; +  [, f '(x) = 1 +  > 0 
Donc f est croissante sur ] 0 ; +  [ 
2° a) Montrer que, pour tout entier naturel n, l’équation f (x) = n admet une unique solution dans ] 0 ; +  [.
On note n cette solution. On a donc : pour tout entier naturel n, n + ln n = n.
f est continue et strictement croissante sur ] 0 ; +  [,  f(x) = –   et  f(x) = +   donc d'après le théorème des valeurs intermédiaires et son corollaire  l'équation f (x) = 0 admet une solution et une seuls dans l'intervalle ) –  ; +  [  (f est une bijection de ] 0 ; +  [ sur ).
Donc, pour tout entier naturel n, l'équation f(x) = n  a une solution unique que l'on note n.
b) Sur la page annexe, on a tracé  dans le repère (O; ; ). 
Placer les nombres 0, 1, 2, 3, 4 et 5 sur l’axe des abscisses en laissant apparents les traits de construction.
c) Préciser la valeur de 1.
Sur le graphique on voit que f(1) semble être égale à 1. f(1) = 1 + ln 1 = 1
Donc 1 est la solution cherchée et 1 = 1
d) Démontrer que la suite (n) est strictement croissante.
f(n) = n et f(n+1) = n + 1 donc f(n) < f(n+1) donc, sur l'intervalle ] 0, +  [ comme la fonction f est strictement croissante on peut dire que n < n+1. La suite (n) est donc bien strictement croissante.
3° a) Déterminer une équation de la tangente  à la courbe  au point A d’abscisse 1.
f(1) = 1 + ln 1 = 1 et f '(1) = 1 +  = 2.
On sait que l'équation de la tangente à la courbe   au point d'abscisse x0 est : y = f(x0) + f '(x0)  (x – x0).
L'équation de la tangente est donc : y = 1 + 2 (x – 1) c'est à dire y = 2 x – 1.
b) Etudier les variations de la fonction h définie sur ] 0 ; +   [ par h(x) = ln x − x +1.
En déduire la position de la courbe  par rapport à .
h est la somme de fonctions dérivable sur ] 0 ; +  [ elle est donc dérivable sur ] 0 ; +  [.

x	0		1		+ 	
h '(x)		+	0	–		

h
			0			

h '(x) =  – 1 = . 
x est toujours strictement positif donc h '(x) est du signe de 1 –x.
D'après les variations de h, h(1) est le maximum de f sur ] 0 ; +  [
On peut dire que : pour tout réel x de ] 0 ; +  [ , h(x)  0.
f(x) – (2 x – 1) = x + ln x – 2 x + 1 = h(x).
On a donc, pour tout réel x de ] 0 ; +  [, f(x) – (2 x – 1)  0 
Sur ] 0 ; +  [,     est donc au-dessous de 
c) Tracer  sur le graphique de la page annexe. Démontrer que, pour tout entier naturel n non nul,   n .
On sait que  donc  donc donc n  
4° Déterminer la limite de la suite (n).
  = +   donc d'après les théorèmes de comparaison de limites  n = +   

Partie B On considère une fonction g continue, strictement croissante sur ] 0 ;+  [ et telle que  g(x) = –  
et  g(x) = +  . On admet que l’on peut, comme on l’a fait dans la partie A, définir sur  une suite n de réels tels que 
g(n) = n, et que cette suite est strictement croissante. 1° Démonstration de cours : Prérequis : définition d’une suite tendant vers +   . « Une suite tend vers +  si, pour tout réel A, tous les termes de la suite sont, à partir d’un certain rang, supérieurs à A ».Démontrer le théorème suivant : une suite croissante non majorée tend vers +  .
Soit (Un) une suite croissante non majorée.
Soit un réel A quelconque. 
La suite (Un) n'est pas majorée par A donc il existe un entier n0 tel que Un  A
La suite (Un) est croissante donc, pour tout entier naturel n supérieur ou égal à n0 , Un  Un  A
Donc à partir du rang n0 tous les termes de la suite sont donc supérieur à A 
Pour tout réel A, à partir d'un certain rang (le rang n0) tous les termes de la suite sont donc supérieur à A 
Donc, par définition,  Un = +  .
2° Montrer que la suite n tend vers +   .
La suite (n) est croissante (la démonstration est la même que celle de la question 2° d).
Démonstration par l'absurde.
Si la suite (n) est majorée, alors, comme elle est croissante; elle est aussi convergente vers un réel l .
On a  g(n) = g(l ) car la fonction g est continue en l 
On sait que pour tout entier naturel n g(n) = n  donc  g(n) = +  ce qui est en contradiction avec le résultat trouvé. 
La suite (n) est n'est donc pas majorée. Comme elle est aussi croissante on a bien  n = +  .

Page annexe
Cette page sera complétée et remise avec la copie à la fin de l’épreuve
Exercice 3