Vous êtes sur la page 1sur 14

Universite Claude Bernard (Lyon 1)

Annee 2015-2016 UE Analyse I

L1

Suite dexercices 5/6


Exercice 1
Soit Df une partie de R et f une application de Df vers R.

1. Soit I =]a, b[ (o`


u a et b peuvent etre infinis) un intervalle ouvert inclus dans Df . On suppose
que la restriction de f `
a ]a, b[ est continue sur ]a, b[. Montrer alors que f est aussi continue en
tout point de ]a, b[.
2. Donner un contre-exemple montrant que la question 1) serait fausse pour un intervalle ferme
[a, b].
3. Soit I = [a, b] (o`
u a < b) o`
u I = [a, b[ (o`
u b est fini ou infini) un intervalle ferme `a gauche inclus
dans Df et non reduit `
a un singleton. On suppose la restriction de f `a I continue. Montrer que
f est continue `
a droite en a.
4. Application : on definit f de R vers R par
8 x
< e
cos x
f (x) =
:
(x + 1)7

si x < O
si x = 0
si x > 0

Montrer que f est continue sur R.

Exercice 2
Soient f : ] 1, 0[[[1, +1[! R definie par f (x) = x si x < 0 et f (x) = x 1 si 1 x et g : R ! R
definie par g(y) = y si y < 0 et g(y) = y + 1 si 0 y.
1. Tracer leurs graphes respectifs, et constater quils se deduisent lun de lautre par une symetrie.
2. Ces applications sont-elles reciproques lune de lautre ?
3. Pour chacune de ces applications, preciser si elle est ou non continue sur son domaine de
definition.
Exercice 3
Etudier la continuite des fonctions f (x) = E(x)

E(2

x) et g(x) = xE( x1 )

Exercice 4
Montrer avec precision que si f est continue de R vers R, avec lim
alors f est surjective.

1f

1 et lim+1 f = +1,

Exercice 5
Montrez que si f est une application continue de [0, 1] dans [0, 1], alors il existe x0 dans [0, 1] tel
que f (x0 ) = x0 .
Exercice 6
Pour n entier avec n
x reel par :

2, on consid`ere lapplication polynomiale fn , de R vers R, definie pour tout


fn (x) = xn + xn

+ + x2 + x

1.

1. Montrer quil existe un unique element n de R+


tel que fn (n ) = 0.
2. On consid`ere la suite de nombres reels (n )n
calculer sa limite.
1

2.

Montrer que cette suite est convergente et

Exercice 7 Vrai ou faux ?


1. Si f est continue dun intervalle ferme borne [a, b] vers R, alors f ([a, b]) est un intervalle ferme
borne.
2. Si f est continue dun intervalle ouvert borne ]a, b[ vers R, alors f (]a, b[) est un intervalle ouvert
borne.
3. Si f est continue dun intervalle ouvert borne ]a, b[ vers R, alors f (]a, b[) est un intervalle ouvert,
mais pas forcement borne.
4. Si f est continue dun intervalle ouvert borne ]a, b[ vers R, alors f (]a, b[) est un intervalle, mais
pas forcement ouvert, ni forcement borne.
Exercice 8
1. Montrer quune application continue et periodique de R vers R est forcement bornee.
2. Determiner la limite de :
lim

t!+1

ln t
t(sin8 t + cos14 t)

Exercice 9
Preciser pour chacune des fonctions suivantes en quels points elles sont derivables, derivables `
a
droite, derivables `
a gauche, et les valeurs de leurs derivees, derivees `a droite, derivees `a gauche.
1. f (x) = cos(cos x).
p
2. g(x) = | sin x|.
p
3. h(x) = 1 + cos x.
Exercice 10
Etudier la continuite et la derivabilite de la fonction f de R vers R definie par :
8 x
x
si x < O
< e
cos2 (x) si 0 x 1
f (x) =
:
1 + lnxx
si x > 1
Exercice 11
dy
Pour chacune des expressions y(t) ci-dessous, calculer
:
dt
p
p
1
1) t4 + 3t2 6 2) 6t7/2 + 4t5/2 2t 3)
3t + 3 t + 4) tet
5) t2 et 6) t(t + 3)et
t
5 t
t3
t3 + 1
ln t
(t + 1)3
p
7) t sin t ln t 8)
9)
10)
11)
12)
5+t
1 + t2
t2 t 2
t3
t
p
1+t
cos t
sin t
p
13)
14)
15)
.
sin t
1 + cos t
1+ t
Exercice 12
Pour chacune des fonctions f definies ci-dessous, calculer la fonction derivee f 0 :
1) f (x) = e3x
5) f (x) = ln( 2x)
2
9) f (x) = ln(sin
p x)
5 + 4x
p
13) f (x) =
1+2 1+x

2) f (x) = cos(5x)
3) f (x) = ln(2x)
4) f (x) = ln(|2x|)
7/3
6) f (x) = (1
7) f (x) = sin(cos x) 8) f (x) = sin(cos(3x))
p x)
2
10) f (x) = 3 x2 + x + 1 11) f (x) = e x
12) f (x) = 2ln x
14) f (x) = ln(|e2ix |).

Exercice 13
2

Soit f la fonction reelle dune variable reelle definie par :

x + exp( x21 si x O
f (x) =
sin x
si x < 0

1. Montrer que f est derivable en tout point x de R en calculant sa derivee.


2. f est-elle derivable en 0 ?
3. f 0 est elle continue en 0 ?
4. f est-elle deux fois derivable en 0 ?

Exercice 14
Soit fn (x) les fonctions definies par
fn (x) =

xn sin( x1 )
0

si x 6= 0
si x = 0

1. Pour quelle valeur de n, a ton fn continue ?


2. Pour quelle valeur de n, a ton fn derivable ?
3. Pour quelle valeur de n, a ton fn0 continue ?
4. Pour quelle valeur de n, a ton fn0 derivable ?
Exercice 15
1. Montrer que pour tous reels a et b avec 0 a < b :
b a
< Arctan b
1 + b2

Arctan a <

b a
1 + a2

2. En deduire que :

3
4
1
+
< Arctan( ) < +
4 25
3
4 6
Exercice 16
1. Montrer que pour tous reels x et y :
| cos y

cos x| |y

x|

2. Dans cette question on note :


A={

| cos y
|y

cos x|
| x, y 2 R, x 6= y}
x|

Montrer que lensemble A est borne, puis quil admet une borne superieure et une borne
inferieure. Determiner celles-ci. Lensemble A admet-il un plus grand element, un plus petit
element ? Determiner lensemble A.
Exercice 17
Montrer que pour tout entier k

1:
0 < ln(k + 1)

En deduire que pour tout entier n

1:
3

ln k

1
.
k

ln(n + 1) 1 +

1 1
1
+ + + .
2 3
n

Comment se comporte la suite (Hn ) de terme general Hn = 1 + 12 + 13 + + n1 quand n tend vers


linfini ?
Exercice 18
Soit f de [0, 1] vers R une fonction trois fois derivable.
1. On suppose que f (0) = f 0 (0) = f 00 (0) = 0 et que f (1) = 0. Montrer que f 000 sannule quelque
part dans ]0, 1[.
1
2
2. On suppose ici que f (0) = f ( ) = f ( ) = f (1) = 0. Montrer le meme resultat.
3
3
0
3. On suppose ici que f (0) = f (0) = 0 et que f (1) = f 0 (1) = 0. Montrer le meme resultat.
Exercice 19
Soit a < b deux reels.
Existe-t-il une fonction derivable f de [a, b[ vers R telle que lon ait simultanement le comportement
asymptotique lim f = +1 et la majoration |f 0 | 1 ?
b

Exercice 20
Soit f de [0, 1] vers R une application continue sur [0, 1] telle que f (0) = 0 et f (1) = 1.
On suppose que f est derivable en 0 et en 1 et que lon a f 0 (0) = f 0 (1) = 0.
1. Montrer quil existe un dans ]0, 1[ tel que :
f ()
f () 1
=
.

1
En deduire que f () = .
2. On suppose de plus que f est deux fois derivable sur [0, 1]. Montrer quil existe un
tel que |f 00 ( )| 4.
Exercice 21
Soit f la fonction definie par f (x) = x ln x

x.

1. En appliquant `
a f le theor`eme des accroissements finis, montrer que pour tout n
ln n f (n + 1)
2. En deduire que pour tout n

f (n) ln(n + 1).

1, on a :

ln 1 + ln 2 + + ln n f (n + 1) + 1 ln 2 + ln 3 + + ln(n + 1).
3. En deduire que pour tout n

1, on a :
e

n n
e

dans ]0, 1[

n! e

n+1
e

n+1

1, on a :

Exercice 79
1) Cette fonction est derivable sur R et en tout x reel, f (x) = sin x sin(cos x).

2) Avant daller plus loin, on verifie que g est paire et -periodique. On regarde de plus pr`es g sur lintervalle
[0, ] sur lequelle sinus prend des valeurs positives ou nulles. Sur cet intervalle, on dispose de la formule plus
simple g(x) = sin x. Pour x dans lintervalle ouvert ]0, [, le sinus prend des valeurs strictement positives
donc aboutit dans la region o`
u la racine carree est derivable. On peut par derivation des fonctions composees
evaluer g (x) soit explicitement :
cos x
g (x) =
2 sin x

pour 0 < x < .

Par periodicite, la fonction g est derivable en tout point non multiple entier de .
On regarde plus attentivement la situation en 0, disons `a droite. On ecrit explicitement le taux de variation ;
en utilisant lequivalent sin x x valable pour x tendant vers 0 on decouvre quil tend vers + : la fonction
nest donc pas derivable `
a droite en 0. Vu sa parite, elle nest pas non plus derivable `a gauche. Par periodicite,
il en est de meme en tous les points multiples entiers de .
3) Il peut etre judicieux de faire une petite manipulation trigonometrique prealable et ecrire :
h (x) =

2 cos2 (x/2) = 2| cos(x/2)|.

Une fois celle-ci faite, meme routine quau 2) : la fonction est paire et 2-periodique, et ne pose aucun
probl`eme de derivation sur ] , [ (o`
u la valeur absolue
peut etre eacee). En `a gauche, on remarque que
la fonction g concide avec la fonction derivable a x % 2 cos(x/2) sur lintervalle ] , ] ; la derivabilite de
a en entrane la derivabilite `
a gauche de a en
(la logique est la meme qu`a lexercice 1 3)) et la valeur de
la derivee `a gauche est a () cest-`
a-dire 1/ 2. Vu la symetrie du graphe et la periodicite de la fonction,
cette valeur de la derivee `
a gauche se retrouve en tous les points multiples impairs de tandis que la derivee
`a droite est opposee ; la fonction nest en particulier pas derivable en ces points, et en ces seuls points.
Exercice 810
On notera a definie sur R par a(x) = ex x, b definie sur R par b(x) = cos2 (x) et c definie sur ]0, +[ par
c(x) = 1 + ln x/x. Elles sont manifestement derivables sur leurs ensembles de definition respectifs et on sait
calculer sans mal leurs derivees.
On remarque que f concide avec b sur [0, 1], quelle concide avec a sur ] , 0[ mais aussi en 0 (il y a
concidence de f (0) = cos2 0 = 1 et de a(0) = e0 0 = 1) donc sur ] , 0], et que f concide enfin avec c
sur ]1, +[ mais aussi en 1 (verification explicite que f (1) = c(1) = 1). On en deduit que f est derivable en
chaque point de ] , 0[]0, 1[]1, +[. Puis, par le meme genre de raisonnement quau 7 3) ci-dessus, on
voit que f est derivable `
a gauche en 0 avec fg (0) = a (0) et fd (0) = b (0). Un simple calcul permet de verifier
que ces deux valeurs sont egales (toutes deux `a 0) : f est donc aussi derivable en 0. Il reste `a traiter 1 : ca
commence comme en 0 et on obtient de la meme facon : fg (1) = b (1) et fd (1) = b (1). En revanche cette fois
les deux valeurs ne concident pas. On peut donc deduire ici que f est derivable `a gauche et `a droite en 1,
donc continue `
a gauche et `
a droite, donc continue, mais quelle nest pas derivable en ce point. Finalement
f est continue sur R et est derivable exactement en les reels dierents de 1.
Exercice 11
9
1) 4t3 + 6t
5/2
2) 21t
+ 10t3/2 2

3
1
1
3) +
2 . On aura `
a remarquer que la presence dune racine et dun 1/t dans lenonce garantit
t
2 t 3 3 t2
que 0 < t et quil est donc legitime de remplacer la racine cubique par une puissance un tiers avant de se
lancer dans le facile calcul.
4) (t + 1)et
5) (t2 + 2t)et
6) (t2 + 5t + 3)et . On fera remarquer quil est tr`es opportun deectuer la multiplication t(t + 3) en debut
de calcul car une derivee de produit de trois facteurs cest rasant, et quil est assez opportun dutiliser les
questions precedentes.

7) sin t ln t + t cos t ln t + sin t. L`


a on nechappe pas `a deriver un produit de trois facteurs...
10
8)
. Par application bovine de la formule de derivation dun quotient ; si on est tordu on peut
(5 + t)2
commencer par transformer le numerateur en 10 (5 + t) avant dagir, mais je ne suis pas s
ur que ca vaille
le coup de vouloir jouer au malin : on ne gagne pas grand chose.
t2 (3 + t2 )
. Encore bovin ; factoriser ou non en haut est une question de go
ut.
9)
(1 + t2 )2
10) On pourra rire de ceux qui auront souert parce quils ont rate la simplification prealable de y(t) en
t2 t + 1
. Ceux qui lont vue pourront soit bovinement utiliser la formule de derivation dun quotient
t2
t2 4t + 1
et repondre
soit prealablement diviser euclidiennement le numerateur par le denominateur ca
(t 2)2
3
simplifiera la derivation ulterieure et la solution tombera plutot sous forme 1
ce qui est bien
(t 2)2
entendu la meme chose.
11) Une occasion de souligner quil est (leg`erement) plus judicieux de voir ca comme le produit de ln par
1 3 ln t
.
la puissance 3. De toutes facons, quelle que soit la voie choisie, on doit tomber sur
t4
12) L`a encore cest un peu plus confortable en voyant le truc comme un produit, mais vraiment `a peine. La
(1 + t)2 (5t 1)

reponse etant
.
2t t
13) Quotient
bovin, sauf si une astuce ma echappe. Notez quil y a une premi`ere fonction composee cachee

dans le t + 1, et on pourra soit faire semblant de rien soit le faire remarquer comme on le sent. Il semble
que le resultat final soit :

t1

.
2 t 1 + t(1 + t)2
14) La cotangente. La derivee en est, cest dans tous les bons livres, 1/ sin2 t.
15) On peut faire bovinement, et il est plus joli de faire un peu de trigonometrie prealable pour sapercevoir
1
que y = tan(t/2) et que sa derivee est donc (1 + tan2 (t/2)).
2
Exercice 12
10
1 `a 5) Trop facile, surtout que les reponses sont les memes `a 3), 4) et 5) ha ha ha.
7
6) (1 x)4/3
3
7) sin x cos(cos x)
8) 3 sin(3x) cos(cos(3x))
cos x
. On commencera probablement par transformer lexpression de f en f (x) = 2 ln(| sin x|).
9) 2
sin x
2x + 1
10) !
3 3 (x2 + x + 1)2
2
11) 2xex
12) (ln 2) xln 21 apr`es avoir constate, stupefait, quon peut aussi ecrire f (x) = xln 2 . On peut bien s
ur y
arriver par derivation dune composee, cest pour ca quon la range l`a.
13) On remarque que f (x) = y(4 + 4x) o`
u y est repeche de lexercice 9 13). On en conclut, en allant repecher
la solution du dit exercice que :

2 1+x1
2 1+x1

=
.
f (x) = 4
2 2 1 + x 5 + 4x(1 + 2 1 + x)2
1 + x 5 + 4x(1 + 2 1 + x)2
14) 0. Ha ha le pi`ege ! On en retiendra que la formule de derivation de ln(|u|) marche si les barres veulent
dire valeur absolue mais induit en erreur si elles se lisent module.

Exercice 11
13
1) Pour x < 0, on calcule tr`es facilement f (x) = cos x. Comme dans les exercices 7 3) et 8, on remarque
quon a aussi pour le meme prix la derivee `a gauche en 0 qui est fg (0) = cos 0 = 1.
Pour x > 0, on derive une fonction composee sans que ca ne soit tout de meme insoutenable et on obtient :
2

f (x) = 1 +

2e1/x
.
x3

2) Pour la derivee `
a droite en 0 une premi`ere methode est de regarder le taux daccroissement, une deuxi`eme
(legitimee par lexistence dun theor`eme qui va bien dans le cours - rappele ici sous forme dexercice 17) est
de se demander si f (x) a une derivee `
a droite en 0 et constater que oui. Dans les deux cas, on jouera sur
les croissances comparees et il pourra etre pratique de noter u = 1/x2 , variable auxiliaire qui tend vers +.
En fin de calcul on conclut que fd (0) = 1. En rapprochant ca de fg (0) connu depuis longtemps dej`a, on voit
que f est aussi derivable en 0 avec f (0) = 1.
3) Sans diculte serieuse, on obtient comme plus haut une derivee seconde a` gauche en 0 : fg (0) = sin 0 =
0. Du cote droit, on regardera plut
ot le taux de variation de f entre 0 et un x strictement positif : en

rapprochant les expressions de f (x) issue du 1) et de f (0) issue du 2) on trouve quil vaut :
2

f (x) f (0)
2e1/x
2u2
=
= u
4
x0
x
e

(on a l`a encore note u = 1/x2 ). Quand x tend vers 0+ , u tend vers + et par croissance comparee ce taux
daccroissement tend vers 0.
On en deduit que fd (0) existe et vaut 0, puis que f (0) existe et vaut 0.
Exercice 12
Pour chacune des trois fonctions proposees, il ny a bien s
ur aucun probl`eme en dehors de 0 : ces fonctions
sont derivables donc continues en tout point de R , et leurs derivees sont elles-memes continues en ces points.
Cest en 0 que les choses se corsent. Pour f , si elle etait continue, on aurait sin(1/x) f (0) = 0 quand x
tend vers 0. Donc on aurait sin t 0 quand t tend vers linfini ; ce quon na notoirement pas. La fonction
f est donc discontinue en 0 et donc non derivable en ce point.
Pour g, on peut lencadrer entre le gendarme x $ |x| et le gendarme x $ |x| qui tendent tous deux vers 0
quand x tend vers 0. Lexpression g(x) admet donc la meme limite que les gendarmes -soit 0- quand x tend
vers 0 sans sannuler. Mais 0 est precisement la valeur g(0). Cest donc que la fonction g est continue en 0.
En revanche, le taux daccroissement de g entre 0 et x nest autre que f , qui na pas plus de limite en 0 que
sinus nen a en linfini. Cest donc que g nest pas derivable en 0.
Pour h enfin, son taux daccroissement est g qui a une limite (nulle) : elle est donc derivable en 0 avec derivee
nulle -et donc continue en 0. On regarde alors de plus pr`es la derivee de h en les points autres que 0. On a
besoin de la calculer explicitement :
h (x) = 2x sin

1
1
cos .
x
x

Dans cette expression, le premier sommant est 2g(x) : il tend vers 0 quand x tend vers 0 sans sannuler. En
revanche le second sommant fait comme faisait f : il na pas plus de limite en 0 que le cosinus nen a en
linfini. La fonction h ne peut donc pas avoir de limite en 0, et est necessairement discontinue en ce point.

Exercice 15
13
1) Soit deux reels a et b avec 0 a < b. Comme la fonction Arctan est derivable sur R elle est derivable
en tout point de [a, b] ; a fortiori sa restriction `a [a, b] est derivable et, encore a fortiori, sa restriction `a
lintervalle ouvert ]a, b[ est derivable tandis que sa restriction `a lintervalle ferme est continue.
On peut lui appliquer le theor`eme des accroissements finis sur cet intervalle ; celui-ci garantit lexistence dun
reel c ]a, b[ pour lequel :
1
Arctan b Arctan a
=
.
ba
1 + c2
Au vu de lencadrement 0 a < c < b, on obtient 0 a2 < c2 < b2 puis 0 < 1 1 + a2 < 1 + b2 < 1 + c2 et
1
1
1
1
enfin :
<
<
. Il ny a plus qu`a remplacer le
par lexpression isolee plus haut, et
2
2
2
1+b
1+c
1+a
1 + c2
enfin `a multiplier lencadrement par le reel strictement positif b a.
2) Il sut dappliquer la question precedente `a a = 1 et b = 4/3.
Exercice 16
14
1) Si x et y sont egaux, cest evident ; sils sont distincts on applique le theor`eme des accroissements finis `a
la fonction cosinus sur lintervalle ]x, y[ si x < y ou sur lintervalle ]y, x[ si y < x.
2) Il decoule de la question precedente que lensemble A est majore par 1 ; il est par ailleurs evident (positivite
de la valeur absolue) quil est minore par 0.
En tant quensemble non vide borne, lensemble A admet une borne inferieure et une borne superieure.
Du cote gauche, les choses sont faciles : le minorant 0 est element de A puisquon lobtient (par exemple)
pour x = 0 et y = 2. Un minorant de A qui est aussi un element de A est donc le plus petit element de A,
et cest aussi sa borne inferieure.
Du cote droit, il faut etre un peu plus malin. Notons M la borne superieure de A. Comme on a vu que 1
etait un majorant de A, on sait dej`
a que M 1 (la borne inferieure est, par definition, le plus petit des
majorants).
Pour linegalite dans lautre sens, on peut, par exemple, ecrire que pour tout t reel distinct de /2 :
| cos t cos(/2)|
A
|t (/2)|

donc

| cos t cos(/2)|
M.
|t (/2)|

Dans cette expression, on fait tendre t vers /2. Le quotient de valeurs absolues qui y figure tend alors vers
|cos (/2)| = | sin(/2)| = 1. Donc 1 M . C
a y est, on sait que M = 1.
En revanche, 1 nest pas un plus grand element pour A, car il nappartient pas `a A. Ceci nest pas franchement
evident ; une facon possible de faire est de considerer les deux fonctions auxiliaires f : t $ t + cos t et
g : t $ t cos t. Chacune des deux a une fonction derivee qui ne prend que des valeurs positives ; pour
chacune on sait determiner lensemble des points o`
u la derivee sannule, une fois quon la fait on constate
que cet ensemble ne contient aucun intervalle non reduit `a un point. Les deux fonctions f et g sont donc
strictement croissantes, donc injectives sur R. Si on consid`ere alors deux reels distincts x et y, on peut ecrire
que f (x) = f (y) et g(x) = g(y). En deplacant quelques termes dans ces egalites, on voit alors quon a montre
que :
cos y cos x
cos y cos x
= 1 et
= 1
yx
yx
donc que 1 nest pas element de A. Ouf on y est !
Enfin il est possible de montrer que A = [0, 1[. Linclusion A [0, 1[ decoule de toutes les informations dej`a
rassemblees plus haut. Pour linclusion dans lautre sens, il pourra etre ingenieux de considerer la fonction h
definie sur lintervalle ]/2, +[ par :
h(t) =

| cos t cos(/2)|
.
|t (/2)|

Cette fonction est manifestement continue et definie sur un intervalle. En appelant le theor`eme des valeurs
intermediaires `
a laide, on conclut que lensemble image h(]/2, +[) est donc un intervalle, manifestement

inclus dans A. Par ailleurs la valeur de h en 5/2 est 0 tandis que sa limite `a droite en /2 est 1 : lintervalle
h(] /2, +[) contient donc lintervalle [0, 1[. On a donc finalement :
[0, 1[ h(] /2, +[) A.
Exercice 15
17
Soit k 1 un entier. La fonction logarithme neperien est derivable sur ]0, +[. Elle est donc derivable en
tout point de [k, k + 1]. A fortiori, sa restriction `a [k, k + 1] est derivable, et donc encore a fortiori derivable
sur lintervalle ouvert ]k, k + 1[ et continue sur lintervalle ferme.
On na plus qu`
a appliquer le theor`eme des accroissements finis `a cette fonction derivable sur cet intervalle,
dont la longueur est agreablement 1. Ce theor`eme assure lexistence dun c dans lintervalle ouvert ]k, k + 1[
pour lequel laccroissement fini ln(k + 1) ln k est egal `a ln (c) = 1/c. Il ny a plus qu`a inverser linegalite
entre nombres strictement positifs 0 < k < c, puis perdre volontairement un peu dinformation en remplacant
les inegalites strictes par des inegalites larges.
Soit n 1 un entier. On ecrit linegalite obtenue plus haut pour chaque k compris entre 1 et n et on somme
le tout, soit avec des points de suspension soit avec des symboles Sigma. Quon presente le calcul par une
methode ou lautre, on voit un phenom`ene de telescopage : du cote o`
u on somme les ln(k + 1) ln k la
quasi-totalite des termes se simplifie et il ne reste plus que ln(n + 1) ln 1 = ln(n + 1) ; de lautre cote cest
bien Hn qui majore ce logarithme.
Pour le comportement de (Hn ), il ny a plus qu`a constater quon est dans la situation du theor`eme des
gendarmes o`
u un gendarme qui tend vers linfini y pousse le voleur : la suite (Hn ) tend vers +.
Exercice 16
18
1) On applique Rolle `
a f entre 0 et 1 : il fournit un a dans ]0, 1[ en lequel f (a) = 0. On applique alors Rolle

`a f entre 0 et a ; il fournit un b dans ]0, a[ en lequel f sannule. Il ny a plus qu`a appliquer Rollle `a f
entre 0 et b.
2) Dans cette variante, on applique Rolle trois fois `a f dans chacun des trois intervalles [0, 1/3], [1/3, 2/3]
et [2/3, 1] et on recup`ere trois points a1 , a2 et a3 qui verifient a1 < 1/3 < a2 < 2/3 < a3 (et sont dont
distincts) et en lesquels f sannule. On applique alors Rolle deux fois `a f , une fois dans [a1 , a2 ] et une fois
dans [a, 2, a3 ]. On dispose desormais de deux points distincts b1 et b2 en lesquels f sannule. Il ny a plus
qu`a appliquer Rolle `
a f entre b1 et b2 .
3) Dans cette variante, on commence par appliquer Rolle `a f entre 0 et 1 et recuperer ainsi un a2 ]0, 1[ o`
u
f sannule. Il ny a plus qu`
a noter a1 = 0 et a2 = 1 ; une fois quon a fait on termine comme au 2).
Exercice 17
Sest revele etre une question de cours. Si vous ne vous en etes pas rendu compte, cest que vous ne connaissez
pas votre cours. Au boulot !
Exercice 18
19
Non. En eet si une fonction derivable definie sur [a, b[ verifie la majoration |f | 1 et donc la majoration
f 1, pour tout x ]a, b[ il est facile dappliquer le theor`eme des accroissements finis sur [a, x] et den tirer
la majoration f (x) f (a) + (x a) f (a) + b a. Ceci permet de sapercevoir que f est une fonction
majoree sur [a, b[ : il nest d`es lors pas question quelle tende vers linfini quand x tend vers b.
Exercice 19
Cet exercice est dicile !
1) On commence par se faire une idee de la question graphiquement : on essaie de dessiner un graphe de
fonction qui verifie les hypoth`eses, en faisant apparatre sur le dessin le segment qui joint le point (0, 0)
au point (1, 1). Manifestement, `
a cause des demi-tangentes au graphe de f en ces deux points, la courbe
representative de f doit commencer sa vie en 0 au-dessous du segment quon a mis en valeur, puis quand
elle la termine en 1 elle ne peut le faire que nettement au-dessus du segment. On ne peut faire un tel dessin
quen coupant le segment.
Cest lindice quil etait de bon ton dutiliser le theor`eme des valeurs intermediaires. Une facon de le faire est
dintroduire la fonction auxiliaire g definie par g(x) = x f (x). Cette fonction est continue sur [0, 1], avec
g(0) = g(1) = 0 ; elle est derivable (`
a droite) en 0 avec g (0) = 1 et derivable (`a gauche) en 1 avec g (1) = 1.

En revenant aux definitions des derivees en 0 et en 1 comme limites de taux de variations, on peut justifier
lexistence dun point a (moralement proche de 0) en lequel g prend une valeur strictement negative, et
lexistence dun point b (moralement proche de 1) en lequel g prend une valeur strictement positive. Il ny
a plus qu`a appliquer le theor`eme des valeurs intermediaires `a la restriction de g `a [a, b], qui est continue sur
un intervalle. Il fournit un point o`
u g sannule, ce qui donne f () = quon peut reecrire comme lidentite
proposee si on y tient.
2) Si vraiment vous vous etes pose la question, vous meritez la reponse, vous pouvez mecrire pour me la
demander (lavaurs at univ-lyon1.fr). Si vous navez pas cherche, cest `a vous de bosser, pas `a moi. (Mais
vous etes prevenu : ce nest facile du tout !).
Exercice 21
20
1) Cest banal : les hypoth`eses du theor`eme des accroissements finis sont remplies sur [n, n + 1] pour f . En
calculant la derivee f (x) = ln x on en deduit lexistence dun c dans cet intervalle (et meme dans lintervalle
ouvert, mais on sen fiche ici) pour lequel laccroissement fini de f est egal a` f (c) = ln c. Comme la fonction
logarithme est croissante sur ]0, +[, on a lencadrement ln n ln c ln(n + 1) et hop emballe cest pese.
2) Encore un coup de telescopage apr`es sommation comme `a lexercice 15. La petite dierence est que lauteur
de lenonce est un peu moins gentil et a utilise le meme nom de variable (n en lesp`ece) pour deux inegalites
successives, ce quil a bien le droit de faire puisque les variables sont locales. Mais pour letudiant qui se
bat avec lexercice, cest tr`es troublant. Il est donc recommande de reecrire la question 1 avec un nouveau
nom de variable (k par exemple). Une fois quon a fait ca on nest plus noye : cest exactement comme au
15, on somme pour k variant entre 1 et n et ca fait exactement le truc annonce, lexpression centrale etant
f (n + 1) f (1).
3) L`a encore le choix de lauteur du sujet dutiliser la meme lettre dans toutes les questions nest pas gentil.
On commence donc par reecrire le 2 avec un nouveau nom de variable, m par exemple.
Une fois ceci fait, on applique la fonction exponentielle -qui est croissante- `a linegalite du 2 et on obtient,
pour tout m 1 :
m! ef (m+1) e1 (m + 1)!
o`
u on recalcule le terme central dans lequel ef (m+1) = e(m+1) ln(m+1)(m+1) =
donc :

(m + 1)m+1
. On obtient
em+1

(m + 1)m+1
(m + 1)!
em+1
Soit alors un n 1. En appliquant linegalite de gauche ci-dessus `a m = n on se retrouve avec exactement
linegalite de droite `
a prouver. Pourt linegalite de gauche `a prouver il faut penser `a appliquer linegalite de
droite ci-dessus `
a m = n 1 ; bien s
ur ca nest pas possible si n = 1 mais dans ce cas particulier, linegalite
de gauche `a prouver est evidente (cest linegalite 1 1).
m! e

Exercice 21
1) w(a) est somme de deux termes ; le premier est nul parce que
"
!
#$
a+b
ba

=0
(a
) = cos[
] = cos
cos
ba
2
ba 2
2
tandis que le second est nul parce que f (a) = 0 (cest donc ici quon utilise lhypoth`ese (iii)).
Calcul analogue pour w(b).
2) w est derivable comme somme de produits de fonctions evidemment derivables (f est derivable puisquon
a suppose f deux fois derivable). La formule proposee se verifie sans aucune diculte (le calcul utilise
lhypoth`ese (iv) pour faire disparatre f ).
a+b
a+b
a+b
ba
a+b
ba
3) Soit x dans ]a, b[. On a alors a
<x
<b
, soit
<x
<
.
2
2
2
2
2
2

a+b

(x
)] < et en derni`ere consequence linegalite proposee.
Do`
u <[
2
ba
2
2

4) On applique le theor`eme de Rolle `


a w qui en verifie toutes les hypoth`eses : elle est derivable sur [a, b] (qui
peut le plus peut le moins), et w(a) = w(b) au vu de la premi`ere question.
On obtient donc un c ]a, b[ tel que w (c) = 0, ce qui se reecrit au vu de la formule de la deuxi`eme question :
[

a+b
q(c)]f (c) cos[
(c
)] = 0.
2
(b a)
ba
2

Nous voyons l`
a un produit de trois facteurs qui sannule. Mais parmi ces trois facteurs, le deuxi`eme (f (c))
nest pas nul vu lhypoth`ese (ii) tandis que le dernier (le cosinus) nest pas nul au vu de la question 3). Cest
2
= q(c).
donc que le premier facteur est nul, cest-`
a-dire :
(b a)2
2
On va alors repecher lhypoth`ese encore inutilisee (i), qui assure que q(c) 1 et donc que
1, et
(b a)2
finalement b a .
5) Lexistence de c, cest simplement lapplication de Rolle `a f .
Pour lunicite, remarquons que comme pour tout x de [a, b], f (x) = q(x)f (x) et comme les deux nouvelles
hypoth`eses garantissent que ni q ni f ne sannulent sur ]a, b[, f ne sannule pas non plus sur ]a, b[.
Mais sil existait deux reels c1 < c2 dans ]a, b[ annulant tous deux f , en appliquant le theor`eme de Rolle `a
f sur lintervalle [c1 , c2 ], on trouverait un d quelque part dans ]c1 , c2 [ qui annulerait f . Cest, on vient de
le voir, hors de question. Do`
u lunicite de c.