Vous êtes sur la page 1sur 62

Les fonctions de rfrence

Plan du chapitre
1 Complments sur la rciproque dune bijection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 2
1.1 Rappels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 2
1.2 Cas particuliers des applications de R dans R drivables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 2
2 Les fonctions x xn , n N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 3
2.1 Etude gnrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 3
2.2 Les fonctions du second degr x ax2 + bx + c, a = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 4
1
3 Les fonctions x n , n N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 6
x
3.1 Etude gnrale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 6
ax + b
3.2 Les fonctions homographiques x
, a = 0, ad bc = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 7
cx + d

n
4 Les fonctions x x . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 9
5 Fonctions circulaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 13
5.1 Les fonctions sinus et cosinus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 13
5.2 La fonction x eix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 16
5.3 Les fonctions tangente et cotangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 16
6 Les fonctions circulaires rciproques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 20
3.1 Les fonctions arcsinus et arccosinus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 20
3.1.1 La fonction arcsinus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 20
3.1.2 La fonction arccosinus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 23
3.2 La fonction arctangente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 28
7 Les fonctions logarithmes et exponentielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 30
7.1 Un peu dhistoire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 33
7.2 La fonction logarithme nprien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 34
7.2.1 Exercices dintroduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 34
7.2.2 Dfinition de la fonction ln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 34
7.2.3 Proprits algbriques de ln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 35
7.2.4 Etude de la fonction ln . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 36
7.2.5 Le nombre de Neper : e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 37
7.3 La fonction exponentielle (de base e) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 38
7.3.1 Exercice dintroduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 38
7.3.2 Dfinition et proprits de la fonction exponentielle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 38
7.3.3 Changement de notation : ex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 39
7.4 Les fonctions logarithmes et exponentielles de base a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 40
8 Les fonctions puissances . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 43
9 Les thormes de croissances compares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 44
10 Trigonomtrie hyperbolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 45
10.1 Les fonctions hyperboliques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 45
10.1.1 Exercice dintroduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 45
10.1.2 Dfinition des fonctions sinus hyperbolique et cosinus hyperbolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 46
10.1.3 Etude conjointe de ch et sh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 46
10.1.4 Formulaire de trigonomtrie hyperbolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 47
10.1.5 La fonction tangente hyperbolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 49
10.2 Les fonctions hyperboliques rciproques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 51
10.2.1 La fonction argument sinus hyperbolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 51
10.2.2 La fonction argument cosinus hyperbolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 53
10.2.3 La fonction argument tangente hyperbolique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 54
11 La fonction valeur absolue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 55
11.1 Dfinition et proprits de la valeur absolue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 55
11.2 Tableaux de valeurs absolues. Fonctions affines par morceaux et continues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 57
11.3 Minimum et maximum dun couple de rels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 58
11.4 La fonction signe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 58
12 La fonction partie entire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 59
12.1 Dfinition et proprits de la partie entire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .page 59
12.2 La fonction partie dcimale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 61
c Jean-Louis Rouget, 2009. Tous droits rservs.

http ://www.maths-france.fr

Complments sur la rciproque dune bijection

1.1

Rappels.

On rappelle que si f est une application dun ensemble E vers un ensemble F,


f est bijective y F, !x E/ y = f(x).

Dans ce cas, on peut dfinir la rciproque f1 de f. Elle est entirement caractrise par
(x, y) E F, y = f(x) x = f1 (y).

La rciproque de f est galement entirement caractrise par les galits

f1 f = IdE et f f1 = IdF ,
ce qui scrit encore
x E, (f1 (f(x)) = x et y F, f(f1 (y)) = y.

Cas particulier des applications de R dans R drivables


Ci-contre, nous avons trac le graphe dune fonction f, ralisant une
bijection dun intervalle I sur un intervalle J, et le graphe de sa rciproque.

f 1(

x)

1.2

f1 (x0 ) = x0

y=

Le graphe de f1 est lensemble des points de coordonnes (x , f1 (x ))


o x dcrit lintervalle J (dans cette phrase, lintervalle J est pens sur
laxe des abscisses).
On pose x0 = f1 (x0 ) ou, ce qui revient au mme, x0 = f(x), x0 tant
lui un rel de lintervalle I. On passe du point (x0 , f(x0 )) = (f1 (x0 ), x0 )
au point (x0 , f1 (x0 )) en changeant les deux coordonnes. Gomtriquement, les deux points (x0 , f(x0 )) et (x0 , f1 (x0 )) sont symtriques lun de
lautre par rapport la droite dquation y = x. Ainsi,

y=

f( x)

f(x0 )
J
x0 = f(x0 )

le graphe de f1 est le symtrique du graphe de f


par rapport la droite dquation y = x.

x0 I
On dmontrera dans le cours danalyse les rsultats suivants.

Thorme 1. Soit f une application dfinie sur un intervalle I de R valeurs dans R et drivable sur I. Si la drive de
f est strictement positive sur I (ou strictement ngative sur I), alors f ralise une bijection de I sur f(I) = J qui est un
intervalle de mme nature que I (ouvert, semi-ouvert, ferm). Sa rciproque f1 est alors drivable sur J et,
(f1 ) =
ou, ce qui revient au mme,

1
,
f f1

x J, (f1 ) (x) =

1
.
f (f1 (x))

f et f1 sont toutes deux strictement monotones sur I et J respectivement, et ont mme sens de variations sur I et J
respectivement.
1
est lisible sur le graphique : par symtrie, le coefficient directeur de la tangente au
f (f1 (x0 ))
1
1

graphe de f au point (x0 , f (x0 )) est linverse du coefficient directeur de la tangente au graphe de f au point (x0 , f(x0 )).
En effet, soient M(a, b) et N(c, d) deux points dabscisses et dordonnes distinctes. Leurs symtriques par rapport la
droite dquation y = x sont les points M (b, a) et N (d, c). Le coefficient directeur de la droite (M N ) est
Lgalit (f1 ) (x0 ) =

yN yM
ca
=
=
xN xM
db

db
ca

yN yM
xN xM

et est donc linverse du coefficient directeur de la droite (MN). On applique alors ce travail aux points M0 (x0 , f(x0 )) et
M(x, f(x)) puis on fait tendre x vers x0 et on obtient le rsultat.
c Jean-Louis Rouget, 2009. Tous droits rservs.

http ://www.maths-france.fr

2
2.1

Les fonctions x xn , n N
Etude gnrale

Pour n N et x rel, on pose fn (x) = xn . Quand n = 0, la fonction fn est la fonction constante x 1 et quand n = 1,
la fonction fn est la fonction x x. Sinon
Thorme 2. Soit n N \ {0, 1}. La fonction fn ; x xn est drivable sur R et x R, fn (x) = nxn1 .
Dmonstration .

Soit x0 R. Pour tout rel non nul h, on a daprs la formule du binme de Newton

1
fn (x0 + h) fn (x0 )
=
h
h

!
!
!
!
n
n n2 2
n1
n
n
x0 h
+h
x0
x
h + ...
+
+
n1
2 0
!
!
n
n n2
x0 hn2 + hn1 .
x
h + ...
+
n1
2 0

xn
0

= nxn1
0

nhxn1
0

et quand h tend vers 0, cette dernire expression tend vers nxn1


. On peut sy prendre autrement : pour x = x0
0
(x x0 )(xn1 + xn2 x0 + xn3 x20 + . . . + xxn2
+ xn1
)
fn (x) fn (x0 )
xn xn
0
0
0
=
=
x x0
x x0
x x0
= xn1 + xn2 x0 + xn3 x20 + . . . + xxn2
+ xn1
.
0
0
et quand x tend vers x0 , cette expression tend vers xn1
+ xn1
+ . . . + xn1
= nxn1
.
0
0
0
0
n

y=

x 2p

Reprsentation graphique des fonctions x xn , n N \ {0, 1}.

n = 2p, p N

y = x 2p+1

On a alors immdiatement le thorme suivant :


Thorme 3. Soit n N \ {0, 1}.
Quand n est pair, la fonction x xn est paire, continue et drivable sur R, strictement dcroissante sur ] , 0] et
strictement croissante sur [0, +[.
Quand n est impair, la fonction x xn est impaire, continue et drivable sur R, strictement croissante sur R.

n = 2p + 1, p N

Etudions maintenant les positions relatives des graphes Cn des fonctions fn sur R+ . Soient n N et x [0, +[.
fn+1 (x) fn (x) = xn+1 xn = xn (x 1).
Si x = 0 ou x = 1, on a fn+1 (x) = fn (x). Toutes les courbes Cn ont en commun les points de coordonnes (0, 0) et (1, 1).
Si x ]0, 1[, on a xn (x 1) < 0 et donc fn+1 (x) < fn (x). Sur ]0, 1[, la courbe Cn+1 est strictement au-dessous de la courbe
Cn .
Si x ]1, +[, on a xn (x 1) > 0 et donc fn+1 (x) > fn (x). Sur ]1, +[, la courbe Cn+1 est strictement au-dessus de la
courbe Cn .
c Jean-Louis Rouget, 2009. Tous droits rservs.

http ://www.maths-france.fr

Si x ]0, 1[, 1 > x > x2 > x3 > x4 > . . .,


Si x ]1, +[, 1 < x < x2 < x3 < x4 < . . ..
Dit autrement :
Si x ]0, 1[, la suite gomtrique (xn )nN est strictement dcroissante,
Si x ]1, +[, la suite gomtrique (xn )nN est strictement croissante.
Reprsentation graphique des fonctions x xn , n {0, 1, 2, 3, 4}.

y=1

y=x
y = x2
y = x3
y = x4

2.2

Les fonctions du second degr x ax2 + bx + c, a = 0

Forme canonique. Soient a, b et c trois rels tels que a = 0. Pour tout rel x, en posant = b2 4ac, on a

ax2 + bx + c = a x2 +

b
c
=a
x+
a
a
b
2a

=a x+

x+

b
2a

b2
c
=a
+
4a2 a

x+

b
2a

b2 4ac
4a2

o = b2 4ac.
4a

Reprsentation graphique. On se donne un repre orthonorm R = (O, i , j ) et on note C la courbe reprsentative


2
2
de la fonction f : x ax + bx + c cest--dire la courbe dquation y = ax + bx + c ou encore

y=

ax 2 +
bx +
y=
c
ax 2

y=a x+

b/2a
x

O
/4a
O

c Jean-Louis Rouget, 2009. Tous droits rservs.

b
2a

() dans le repre R.
4a

On cherche alors un repre mieux adapt cette courbe. Pour cela,


b

on prend comme nouvelle origine le point O ,


puis comme
2a 4a

nouveau repre le repre R = (O , i , j ). Les formules de changement


de repre scrivent

b
b

+x
x=
x = x +
2a
2a
ou aussi
.

y=
y = y +
+ y
4a
4a
Soit alors M un point du plan dont les coordonnes dans le repre R sont
notes (x, y) et les coordonnes dans le repre R sont notes (x , y ).

http ://www.maths-france.fr

M C y = ax2 + bx + c y = a x +
y+

b
=a x+
4a
2a

b
2a

4a

y = ax 2 .

Ainsi, la courbe C est la fois la reprsentation graphique de la fonction f : t at2 + bt + c dans le repre R et la
reprsentation graphique de la fonction g : t at2 dans le repre R .

y=

ax 2 +

bx +

y=

ax 2

On peut avoir une autre interprtation gomtrique de lgalit (). On considre les deux fonctions f : x ax2 + bx + c
et g : x ax2 et on construit les reprsentations graphiques Cf et Cg de ces deux fonctions dans un mme repre R.
Ainsi, nous avons toujours deux fonctions mais contrairement ci-dessus o nous avions une courbe et deux repres, nous
avons maintenant deux courbes et un repre.
b

Notons
u le vecteur de coordonnes ,
puis t
u la transla2a 4a
y

tion de vecteur
u et montrons que la courbe Cf est limage de la courbe

Cg par la translation t
u.

Si M est un point du plan de coordonnes (x, y), t


u (M) est le point

b
ou encore lexpression ana,y
de coordonnes (x , y ) = x
2a
4a

lytique de la translation t
u est

u
b
b

x =x
x = x +
b/2a
2a
2a
ce qui scrit aussi

x
O
y = y
y = y +
u
4a
4a
/4a

On a

M Cg y = ax2 y +

b
= a x +
4a
2a

t
u (M) Cf .

Ainsi un point du plan appartient la corbe reprsentative de g si et seulement si son translat appartient la courbe
reprsentative de f. On a donc montr que
La courbe dquation y = ax2 + bx + c est la translate de la courbe dquation y = ax2

b
.
par la translation de vecteur ,
2a 4a
La courbe dquation y = ax2 + bx + c est une parabole. Une parabole est une courbe aux proprits gomtriques trs
prcises, proprits tudies dans le chapitre Coniques et il ne faut pas croire que toute courbe ayant cette allure est
une parabole. Par exemple, la graphe de la fonction x x4 nest pas une parabole.

Pour en finir avec le second degr, on rappelle sur le graphique de la page suivante les 6 cas de figure de ltude du signe
dun trinme du second degr.

c Jean-Louis Rouget, 2009. Tous droits rservs.

http ://www.maths-france.fr

a > 0, < 0
a > 0, = 0
a > 0, > 0

a < 0, > 0
a < 0, = 0
a < 0, < 0

3
3.1

Les fonctions x 1/xn , n N


Etude gnrale

Soit n N .

1
1
1
= (1)n n . Ainsi, la fonction x n est paire quand n est pair et impaire quand n est
n
(x)
x
x
1
impair ou encore la fonction x n a la parit de n .
x
Variations. La fonction x xn est strictement croissante et strictement positive sur ]0, +[. On en dduit que la
1
fonction x n est strictement dcroissante sur ]0, +[.
x
1
Drive. La fonction x n est drivable sur R et
x
Parit. Pour x R ,

x R ,

1
xn

(x) =

n
.
xn+1

En effet, soient x0 R puis x un rel non nul distinct de x0 .


1
1
1
1
n

n
x
x0
x x0
=

x x0
x x0
=

xx0

1
1
1
1
+
+ . . . + n2 + n1
xn1 xn2 x0
xx0
x0
1
1
1
1
+
+ . . . + n2 + n1 .
xn1 xn2 x0
xx0
x0

Quand x tend vers x0 , cette dernire expression tend vers


On peut alors fournir le graphe de la fonction x
c Jean-Louis Rouget, 2009. Tous droits rservs.

n
n
1
n1 = n+1 .
x20
x0
x0

1
, n N , en sparant les cas n pair et n impair.
xn

http ://www.maths-france.fr

y=1
/x 2p

y = 1/

n = 2p, p N

3.2

x 2p+1

n = 2p + 1, p N

Les fonctions homographiques x (ax + b)/(cx + d), c = 0, ad bc = 0

On se donne quatre rels a, b, c et d tels que c = 0 et ad bc = 0 (la condition c = 0 limine le cas particulier des
fonctions affines et la condition ad bc = 0 empche une proportionnalit entre le numrateur et le dnominateur et vite
d
ax + b
2x 4
= 2). Pour x = , on pose f(x) =
.
donc une fonction du genre x
x2
c
cx + d
Transformation canonique. Comme pour les fonctions du second degr, on dispose dune transformation canonique,
lide gnrale tant dans les deux cas dobtenir une expression o la variable x napparat quune seule fois et donc de
comprendre les oprations lmentaires successives effectues depuis la variable x jusqu son image f(x).
d
Soit x R \ { }.
c
a
a
ad
(cx + d) + b
(cx + d) (ad bc)/c
a (ad bc)/c2
c = c
f(x) = c

=
.
d
cx + d
cx + d
cx + d
c
x+
c
x R \

d
c

ax + b
a (ad bc)/c2
.
= +
d
cx + d
c
x
c

Commentaire . Dans la transformation ci-dessus, nous voulions faire apparatre lexpression cx + d au numrateur pour
pouvoir ensuite la simplifier. Il y avait alors deux manires dagir :
ax + b = cx + d + ax + b cx d = (cx + d) + ((a c)x + (b d))

(1),

et
ax + b =

ad
a
(cx + d) + b
c
c

(2).

ad
(2) est la seule bonne faon dagir car le terme correctif b
ne contient plus la variable x alors que le terme ((a c)x + (b d))
c
contient toujours cette variable.
Pour effectuer la transformation (2), on a commenc par crire ce que lon voulait voir crit :
ax + b = ?(cx + d) + ?
puis, on a corrig petit petit
ax + b =

a
a
ad
(cx + d) + ? puis ax + b = (cx + d)
+ b.
c
c
c

c Jean-Louis Rouget, 2009. Tous droits rservs.

http ://www.maths-france.fr

Centre de symtrie. On note ( ) la courbe reprsentative de la fonction f : x


d a
,
c c

ax + b
. Montrons que le point
cx + d

est centre de symtrie de ( ).

d
d
1 re solution. Soit x R \ { }. Alors 2x x R \ { } et
c
c
f(2x x) =

a
(ad bc)/c2
a (ad bc)/c2

= +
,
d
d
d
c
c
(2 x) +
x+
c
c
c

et donc
f(2x x) + f(x) = 2

a
= 2y .
c

On a montr que
d a
Le point ,
c c

est centre de symtrie du graphe de la fonction x

ax + b
.
cx + d

2 me solution. On trouve une quation de ( ) dans le repre (, i , j ). Les formules de changement de repre scrivent :

x = d + X
X=x+ d
c .
c
ou encore
y= a +Y

Y =y a
c
c

Soit alors M un point du plan dont les coordonnes dans le repre (O, i , j ) sont notes (x, y) et les coordonnes dans

le repre (, i , j ) sont notes (X, Y).


M ( ) y

(ad bc)/c2
(ad bc)/c2
a
Y=
=
.
d
c
X
x+
c

(ad bc)/c2
est impaire et la courbe ( ) est la fois la courbe reprsentative
Maintenant, la nouvelle fonction g : X
X

de f dans le repre (O, i , j ) et la courbe reprsentative de g dans le repre (, i , j ). Donc lorigine du repre (, i , j )
savoir est centre de symtrie de ( ).

Avec cette deuxime manire dagir, plus complique que la premire, on a nanmoins obtenu davantage : de mme que
les graphes des fonctions x ax2 + bx + c sont les translats des graphes des fonctions de rfrence x ax2 ,
ax + b
, a = 0, ad bc = 0, sont les translats des graphes
cx + d
k
des fonctions de rfrence x , k R .
x

les graphes des fonctions x

d
Drive. Pour x R \ { },
c

ax + b
cx + d

(x) =

a(cx + d) c(ax + b)
ad bc
=
.
2
(cx + d)
(cx + d)2

d
x R \ { },
c

ax + b
cx + d

(x) =

ad bc
.
(cx + d)2

2x 3
2 + 3
1
=
=
. De manire gnrale, le signe de
x1
(x 1)2
(x 1)2
d
d
et , + est le signe du dterminant D = ad bc.
intervalles ,
c
c
Ainsi, par exemple,

c Jean-Louis Rouget, 2009. Tous droits rservs.

ax + b
cx + d

sur chacun des

http ://www.maths-france.fr

Graphe.

a
c

a
c

dc

dc

ax + b
cx + d

y=

y=

ad bc > 0

ax + b
cx + d

ad bc < 0

Les fonctions x

Dans cette section, n dsigne un entier suprieur ou gal 1. La fonction x xn est continue et strictement croissante
sur [0, +[. Cette fonction ralise donc une bijection de [0, +[ sur [0n , lim xn [= [0, +[, ou encore, pour tout rel
x +

positif y, il existe un et un seul rel positif x tel que xn = y. Ce rel x sappelle la racine n-me de y et se note n y.

Par exemple, 3 8 = 2 ou 4 81 = 3.
Thorme 4 (Dfinition de la racine nime).
La fonction [0, +[ [0, +[ est une bijection. Sa rciproque est la fonction racine n-me, note
x

xn

La fonction x n x ralise une bijection de R+ sur R+ .

Pour tout couple (x, y) de rels positifs, y = xn x = n y.

Pour tout rel positif x, n xn = x et ( n x)n = x.

On doit noter quen particulier, x R, 1 x = x.

On peut alors dfinir la notation xr pour un rel strictement positif x et un rationnel r quelconque (on rappelle que par
convention x0 = 1).
Dfinition 1. Soient x un rel strictement positif et r =

p
q,

(p Z, q N ), un nombre rationnel. On pose

xr = xp/q = ( q x)p .
En particulier,
x1/n =

x.

1
Ainsi, pour tout rel x strictement positif, x2/3 =
.
( 3 x)2
Cette notation obit aux rgles de calcul usuelles sur les exposants que nous ne dmontrerons pas ici, celles-ci tant tablies
plus loin pour des exposants rels quelconques.
Thorme 5. Soient x et y deux rels strictement positifs et r et r deux rationnels.

xr xr = xr+r et

xr
xr

= xrr .

(xr )r = xrr .
xr yr = (xy)r .

c Jean-Louis Rouget, 2009. Tous droits rservs.

http ://www.maths-france.fr

Thorme 6 (drivation de la racine nime).

est continue sur [0, +[, drivable sur ]0, +[ et pour tout rel strictement positif x,
La fonction n

(n

) (x) =

1
1 n
1
nx

n(

1 n1 .
x)

La fonction n
nest pas drivable en 0 (pour n 2) mais le graphe de n
demi-tangente parallle (Oy).

admet au point dabscisse 0 une

Dmonstration . Notons f la fonction t tn . Nous admettrons momentanment la continuit de f1 : t n t sur [0, +[.
Etablissons sa drivabilit sur ]0, +[.

Soient x0 un rel strictement positif puis y0 = n x0 = f1 (x0 ) de sorte que x0 = yn


0 = f(y 0 ). f est drivable en y 0 et f (y 0 ) =
n1
1
ny0
= 0. On sait alors que f
est drivable en x0 et que
(f1 ) (x0 ) =

1
f (y

0)

1
1 1 1
1
1 (n1)/n

= x0n .
=
= x0
n1
n
n1
n( x0 )
n
n
ny0

On peut aussi tudier directement un taux en x0 . Pour x 0 et x = x0 , partir de lidentit usuelle


an bn = (a b)(an1 + an2 b + . . . + ank1 bk + . . . + bn1 ),
fournie dans le chapitre sur le symbole , on a

n
n
x n x0
x n x0
=
=

x x0
( n x)n ( n x0 )n

n1
n
x)n1k ( n x0 )k x x 0
k=0 (

ce qui dmontre la drivabilit et en particulier la continuit de

en x0 .

n1
n
x0 )n1
k=0 (

Etudions la drivabilit de f1 en 0 (pour n 2). Pour x = 0,

n
n
n
x 0
x
1
=
=
.
n
x0
( x)n
( n x)n1
Il est alors clair que ce taux tend vers + quand x tend vers 0 par valeurs suprieures.

1
,

n( n x0 )n1

=
y

y = xn

Graphe. (pour n 2)

n
x
n
x
=
+
et
que
lim
Ensuite, on admettra momentanment
que
lim
x
+
x
+
x = 0 (pour n 2). On peut alors

fournir le graphe de la fonction x n x dont on rappelle quil sobtient partir du graphe de la fonction x xn par
symtrie orthogonale par rapport la droite dquation y = x.

1/n

y=x
1

1
Thorme 7. Soient n un entier naturel suprieur ou gal 2 et x un rel positif.
Si x [0, 1], xn x x1/n 1 et si x [1, +[, 1 x1/n x xn .
Ainsi, par exemple, si x [0, 1], x2 x

x (on rappelle que le carr dun rel nest pas toujours plus grand que ce rel).

Dmonstration . Le rsultat
est clair pourx = 0. Pour x strictement positif, lexpression xn x = x(xn1 1) est du signe de
n1 n1
(xn1 1) et donc du signe de (
x
n1 1) = (x 1) par croissance de la fonction t n1 t sur [0, +[, ce qui dmontre
n
le rsultat concernant x .
Ensuite, par croissance de t tn sur [0, +[, lexpression x x1/n est du signe de (xn (x1/n )n ) = xn x, ce qui achve la
dmonstration.

Commentaire . Dans la dmonstration prcdente, nous avons systmatiquement utilis le sens de variation des fonctions
considres. La dmarche a t la suivante. On veut comparer deux nombres A = f(a) et B = f(b), f tant une fonction croissante
sur un certain intervalle I et a et b tant deux rels de I. Pour cela, on tudie le signe de la diffrence B A, puis on utilise la
croissance de f : le signe de la diffrence (f(b) f(a)) est le signe de la diffrence (b a).
c Jean-Louis Rouget, 2009. Tous droits rservs.

10

http ://www.maths-france.fr

Quand n est un entier naturel naturel impair, la fonction x xn ralise en fait une bijection de R sur R. On peut
alors dfinir la racine n-me sur R tout entier. Celle-ci
est impaire, continue sur R, drivable sur R , non drivable en 0.

3
Voici par exemple le graphe de la fonction x x.

y=

1
2
Exercice 1. Etudier la drivabilit de la fonction f : x

(x 1)4 (x + 1) et prciser sa drive.

Solution.
La fonction propose est dfinie sur R.

La fonction x (x 1)4 (x + 1) est drivable sur ]1, +[ valeurs dans ]0, +[ et la fonction y 3 y est drivable
sur ]0, +[. Le thorme de drivation des fonctions composes permet daffirmer que f est drivable sur ]1, +[.
Il en est de mme sur les intervalles ] , 1[ et ] 1, 1[.
Etudions la drivabilit en 1. Pour x = 1,
f(x) f(1)
=
x (1)

(x 1)4 (x + 1)
3

(x + 1)3

(x 1)4
.
(x + 1)2

Cette expression na pas de limite relle quand x tend vers 1 et donc f nest pas drivable en 1.
Etudions la drivabilit en 1. Pour x = 1,
f(x) f(1)
=
x1

(x 1)(x + 1).

Cette expression tend vers 0 quand x tend vers 1. On en dduit que f est drivable en 1 et que f (1) = 0.
Finalement, f est drivable sur R \ {1}.
Daprs le thorme de drivation des fonctions composes, pour x = 1, on a
f (x) =
=

1
4(x 1)3 (x + 1) + (x 1)4
3
5x + 3
3

(x 1)4 (x + 1)

1
3 1

8
2
1
(4(x + 1) + (x 1))(x 1)3 3 (x + 1) 3
3

x1
,
(x + 1)2

ce qui reste vrai pour x = 1. Donc, pour x ] , 1[] 1, +[, f (x) =

5x+3
3

x1
.
(x+1)2

Commentaire .
p
p

La fonction propose est du type x 3 u(x) (ou plus gnralement du type x n u(x)). On sait que 3 nest pas drivable

3
en 0. Il ne faut pourtant pas en conclure que si la fonction
u sannule en un certain x0 , la fonction u nestpas drivable en x0 .
nest pas drivable
Lexemple le plus simple sur le sujet est la fonction x x4 . La fonction x x4 sannule en 0 et la fonction

x4 = x2 est drivable en 0. Lerreur sous-jacente est contenue dans la phrase : si u est drivable
en 0 et pourtant la fonction x
et strictement positive sur I, alors u est drivable sur I. Cette phrase exacte est une implication et pas une quivalence.
Dautre part, dans lexercice, nous avons pu dire directement que f tait drivable sur ] , 1[] 1, 1[]1, +[, mais
quand on dit quune fonction est drivable sur ]a, b], on ne dit pas quelle nest pas drivable en a.

Nous verrons dans la section sur les logarithmes une manire plus efficace de driver la fonction propose : la drive logarithmique.

2
1
On doit remarquer que (x + 1) est lexposant dans f(x) et lexposant dans f (x) et de mme que (x 1) est lexposant
3
3
4
1
dans f(x) et lexposant
dans f (x). Dans les deux cas, les exposants ont perdu une unit.
3
3
c Jean-Louis Rouget, 2009. Tous droits rservs.

11

http ://www.maths-france.fr

Remarquons maintenant que les fonctions cube et racine cubique sont bien plus simples manipuler que les
fonctions carr et racine carre . Comparons plus prcisment les diffrences
de comportement.

Lquation x3 = a a toujours une et une seule solution relle, savoir 3 a (ou encore la fonction cube est une bijection
de R sur R), alors que lquation
x2
= a na pas de solution relle si a < 0, une et une seule solution si a = 0 savoir 0

et deux solutions distinctes a et a si a > 0.


Fonction cube
(a, x) R2 , (x3 = a x =

Fonction carr

a)

(A, B) R2 , (A3 = B3 A = B)

(a, x) [0, +[2 , (x2 = a x = a)

(a, x) [0, +[R, (x2 = a x = a ou x = a)


(A, B) [0, +[2 , (A2 = B2 A = B)
si (A, B) R2 , (A2 = B2
A = B)
(A, B) R2 , (A2 = B2 A = B ou A = B)

(A, B) R2 , ( A = B A = B2 et B 0)

(A, B) R2 , ( 3 A = B A = B3 )

Analysons le dernier rsultat :

(A, B) R2 , ( A = B A = B2 et B 0).

Pour A et B rels donns, si A = B, alors A et B sont ncessairement positifs


et en levant au carr, on obtient
A = B2 . Rciproquement, si A = B2 , alors A est ncessairement positif et B = A. Il faut donc imposer la condition
supplmentaire B 0 (et non pas la condition A 0 qui est assure par lgalit A = B2 ) pour que lquivalence soit
exacte.

Exercice 2. Rsoudre dans R lquation : 1) 2x + 21 = 3x 1, 2) 3 x + 7 = x + 1.


Solution.
1) Soit x R.

2x + 21 = 3x 1 (3x 1)2 = 2x + 21 et 3x 1 0 9x2 8x 20 = 0 et 3x 1 0


10
(x = 2 ou x = ) et 3x 1 0 x = 2.
9

3
3
2) Soit x R. x + 7 = x + 1 (x + 1) = x + 7 x3 + 3x2 + 2x 6 = 0 (x 1)(x2 + 4x + 6) = 0 x = 1.
Commentaire . Dans la rsolution de la premire quation, nous navons pas rsolu linquation 3x 1 0 (cest--dire nous
navons pas crit x

1
),
3

mais nous avons test si les deux nombres 2 et 10


taient ou ntaient pas solutions de cette inquation.
9

De mme, puisque la fonction cube est strictement croissante sur R, on peut toujours lever au cube les deux membres
dune ingalit sans changer le sens de cette ingalit (a b a3 b3 ), mme si certains des rels sont ngatifs, ce qui
nest pas du tout le cas avec llvation au carr.
Fonction cube

Fonction carr

(a, b) R2 , (a b a3 b3 )

(a, b) [0, +[2 , (a b a2 b2 )


(a, b) ] , 0]2 , (a b b2 a2 )
si (a, b) R2 , (a b
a2 b2 ) et (a2 b2
a b).

Exercice 3. Rsoudre dans R les inquations : 1)

3
1 + x3 1 + x, 2) 1 + x2 1 + x.

Solution.
1) Soit x R. Par croissance de la fonction x x3 sur R, on a
3

1 + x3 1 + x 1 + x3 (1 + x)3 3x2 + 3x 0 x(x + 1) 0 x ] , 1] [0, +[.

Donc, lensemble des solutions de linquation propose est S =] , 1] [0, +[.


2) Soit x R. Si x < 1, x nest pas solution de linquation propose. Si x 1, par croissance de la fonction t t2

c Jean-Louis Rouget, 2009. Tous droits rservs.

12

http ://www.maths-france.fr

sur [0, +[ (et puisque 1 + x 0), on a


1 + x2 1 + x 1 + x2 (1 + x)2 2x 0 x 0.

Donc, S = [1, +[[0, +[= [0, +[.

Pour conclure, signalons que lon doit normment se mfier des exposants fractionnaires quand les nombres considrs
sont ngatifs. Il sagit dviter des paradoxes du genre :

(1)1/3

1 = (1)1/3 = (1)2/6 = ((1)2 )1/6 = 11/6 = 1.

a un sens. Cest la racine cubique de 1 : 3 1 = 1. Mais bizarrement, (1)2/6 nest pas ((1)2 )1/6 .

Les fonctions circulaires

Les fonctions sinus, cosinus, tangente et cotangente sont appelles fonctions circulaires, car ce sont les fonctions de
la trigonomtrie circulaire.

5.1

Les fonctions sinus et cosinus

La fonction sinus est la fonction de rfrence en trigonomtrie circulaire. Les proprits de la fonction sinus sont
simples, naturelles et faciles apprendre contrairement celles de la fonction cosinus. Par exemple, sin(0) = 0 (alors que
cos(0) = 1) ou bien la fonction sinus est strictement croissante sur [0, 2 ], alors que la fonction cosinus est dcroissante.
Nous rappelons maintenant dans une proposition, les proprits de la fonction sinus tablies au lyce.
Thorme 8 (proprits de la fonction sinus).
La fonction sinus est dfinie sur R et est impaire.
La fonction sinus est 2-priodique.
La fonction sinus est continue et drivable sur R et, pour tout rel x, sin (x) = cos(x) = sin x +

.
2

La fonction sinus est strictement croissante sur [ 2 , 2 ].


Revenons un instant sur le rsultat sin = cos et rappelons-en une dmonstration.
Des considrations gomtriques nous permettent dtablir que
x 0,

sin(x)
sin(x)

, sin(x) x tan(x) =
, cos(x)
et donc x 0,
1.
2
cos(x)
2
x

tan(x)

En effet, x est la longueur de larc de cercle joignant le point A(1, 0) au point


M(cos(x), sin(x)) et comme le plus court chemin dun point un autre est la
ligne droite, on a dj x AM. sin(x) est la distance de M laxe des abscisses
et donc la plus courte distance de M un point de laxe des abscisses. Finalement

sin(x) AM x.
Dautre part, si B est le point de coordonnes (1, tan(x)), laire du triangle
OAB est suprieure ou gale laire du secteur angulaire OAM. Ceci fournit

sin(x)

c Jean-Louis Rouget, 2009. Tous droits rservs.

1x
1 tan(x)

et donc tan(x) x.
2
2

13

http ://www.maths-france.fr

Lencadrement ci-dessus et le thorme des gendarmes permettent alors daffirmer que lim

x 0
x>0

sin(x)
= 1. Comme la fonction
x

sin(x)
sin(x)
est paire, on a aussi lim
= 1. On obtient ainsi une limite de rfrence connatre :
x 0
x
x
x<0

sin(x)
= 1.
x 0
x
lim

sin(x) sin(0)
= 1. La fonction sinus est donc drivable en 0 et sin (0) = 1. Plus
x 0
x0
gnralement, donnons nous un rel x0 . Pour x = x0 , on a
Ce dernier rsultat scrit encore lim

2 sin
sin(x) sin(x0 )
=
x x0

xx0
2

cos
x x0

x+x0
2

= cos

x+x0
2

sin

xx0
2
xx0
2

sin((x x0 )/2)
tend vers 1 et si on admet que la fonction cosinus est continue en x0 ce
(x x0 )/2
qui est gomtriquement vident, cos((x + x0 )/2) tend vers cos(x0 ). Finalement

Quand x tend vers x0 , le rapport

lim

x x0

sin(x) sin(x0 )
= cos(x0 ),
x x0

ce qui dmontre la drivabilit de la fonction sinus en x0 et le fait que sin (x0 ) = cos(x0 ).

posons f(x) = x sin(x),. . . f (x) = 1 cos(x) 0, f est croissante sur [0, ] et donc x [0, ], f(x) 0. Vous obtiendriez ainsi
2
2
lingalit () comme une consquence de lgalit sin = cos alors quelle en est la cause.

Commentaire . Si vous devez un jour montrer que x [0, ], sin(x) x (), il serait absurde dcrire :

On peut sy prendre autrement pour tudier la drivabilit de la fonction sinus en crivant pour h = 0 :
sin(x0 + h) sin(x0 )
sin(x0 ) cos(h) + cos(x0 ) sin(h) sin(x0 )
sin(h)
cos(h) 1
=
= cos(x0 )
+ sin(x0 )
().
h
h
h
h
On sait dj que lim

h 0

sin(h)
= 1. On a alors
h
2 sin2 (h/2)
sin2 (h/2)
h
cos(h) 1
=
=
=
h
h
h/2
2

Comme

sin(h/2)
h/2

h
sin(h/2)
tend vers 1 quand h tend vers 0 et que tend vers 0, on en dduit que
h/2
2
lim

h 0

cos(h) 1
= 0 ().
h

sin(x0 + h) sin(x0 )
= cos(x0 ). On a ainsi retrouv la drivabilit de la fonction sinus
h
et sa drive sans utiliser la continuit de la fonction cosinus sur R mais en utilisant () qui montre que la fonction cosinus
est drivable en 0 et que cos (0) = 0.
Lgalit () montre alors que lim

h 0

Rsumons le travail effectu. La fonction sinus est drivable sur R (et en particulier continue sur R) et
x R, sin (x) = cos(x) = sin x +

c Jean-Louis Rouget, 2009. Tous droits rservs.

14

.
2

http ://www.maths-france.fr

x)

Graphe de la fonction x sin(x).

/2
2

/2

3/2

3/2

sin
(

6 2

Ltude de la fonction cosinus se dduit de ltude de la fonction sinus partir de lgalit cos(x) = sin x +
valable
2
pour tout rel x. Cette galit signifie que le point dabscisse x de la courbe reprsentative de la fonction cosinus a mme

u le
ordonne que le point dabscisse x + de la courbe reprsentative de la fonction sinus. Plus prcisment, notons
2

vecteur de coordonnes
, 0 puis t
u la translation de vecteur u . Pour x rel, on a
2

t
u (x, cos(x)) = (x +

, cos(x)) = (x + , sin(x + )) = (x , sin(x )) o x = x + .


2
2
2
2

Ainsi, le translat de chaque point du graphe de la fonction cosinus est un point du graphe de la fonction sinus (t
u (x, cos(x)) =

(x + , sin(x + ))) et rciproquement tout point du graphe de la fonction sinus est le translat dun point du graphe
2
2

de la fonction cosinus (t
, cos(x )) = (x, sin(x))). Par suite, le graphe de la fonction sinus est le translat du
u (x
2
2

graphe de la fonction cosinus par la translation de vecteur ( , 0) ou encore


2

le graphe de la fonction cosinus est limage du graphe de la fonction sinus par la translation de vecteur ( , 0).
2

A partir de lgalit cos(x) = sin(x + ), on obtient aussi la drivabilit et la drive de la fonction cosinus. Le thorme de
2
drivation des fonctions composes montre en effet que la fonction cosinus est drivable sur R (et en particulier continue
sur R) et que pour tout rel x,
cos (x) = 1 sin x +

= cos x +
= sin(x).
2
2

Thorme 9 (proprits de la fonction cosinus).


La fonction cosinus est dfinie sur R et est paire.
La fonction cosinus est 2-priodique.
La fonction cosinus est continue et drivable sur R et, pour tout rel x, cos (x) = sin(x) = cos x +

.
2

La fonction cosinus est strictement dcroissante sur [0, ].


Graphe de la fonction x cos(x)
3/2

2
7

/2
2

/2

y = sin(x)

3/2

s( x
co

6 2

c Jean-Louis Rouget, 2009. Tous droits rservs.

15

http ://www.maths-france.fr

5.2

La fonction x eix

On rappelle que pour tout rel x, eix = cos(x) + i sin(x). La fonction f : x eix est le premier exemple de fonction
dfinie sur R valeurs dans C. Dire que f est drivable sur R quivaut dire que les fonctions partie relle de f et
partie imaginaire de f sont drivables sur R (voir chapitre drivation ). Les parties relles et imaginaires de f sont
alors les drives des parties relles et imaginaires de f. Ici

f (x) = sin(x) + i cos(x) = i(cos(x) + i sin(x)) = ieix = ei/2 eix = ei(x+ 2 ) .


Rappelons dautre part que pour tout rel x, on a ei(x+2) = eix . Cette galit signifie que la fonction x eix est
2-priodique.

Thorme 10 (proprits de la fonction x eix ).

La fonction x eix est dfinie sur R valeurs dans C.

La fonction x eix est 2-priodique.

La fonction x eix est continue et drivable sur R et, pour tout rel x, (eix ) (x) = ieix = ei(x+ 2 ) .

On a obtenu petit petit :

x R, sin(x) = sin x +

, cos (x) = cos x +


, (eix ) (x) = ei(x+ 2 ) .
2
2

Ainsi, driver les fonctions x sin(x), x cos(x) ou x eix revient effectuer un quart de tour direct et inversement
fournir une primitive de chacune de ces fonctions revient effectuer un quart de tour indirect.
drivation

intgration

5.3

Les fonctions tangente et cotangente

Thorme 11 (proprits de la fonction tangente).

+ Z et impaire.
La fonction tangente est dfinie sur R \
2
La fonction tangente est -priodique.

La fonction tangente est continue et drivable sur R \


+ Z et, pour tout rel x R \
+ Z ,
2
2
tan (x) = 1 + tan2 (x) =

1
.
cos2 (x)

lim tan(x) = +.

x /2
x</2


La fonction tangente est strictement croissante sur , .
2 2
tan(x)
= 1.
lim
x 0
x
Dmonstration .

Soit x R. tan(x) existe cos(x) = 0 x


/ + Z.
2
Ensuite, tan est le quotient dune fonction impaire et dune fonction paire et donc tan est une fonction impaire.

/ + Z et
Soit x R. x
/ + Z x +
2
2
tan(x + ) =

c Jean-Louis Rouget, 2009. Tous droits rservs.

sin(x + )
sin(x)
sin(x)
=
=
= tan(x).
cos(x + )
cos(x)
cos(x)

16

http ://www.maths-france.fr

La fonction tan est drivable sur R\


+ Z en tant que quotient de fonctions drivables sur R\
+ Z dont le dnominateur
2
2

ne sannule pas sur R \


+ Z . De plus, pour x R \
+ Z ,
2
2

1 + tan2 (x)

2
2

cos
(x)
+
sin
(x)
sin
(x)
cos(x)

cos
(x)
sin(x)
ou aussi
.
tan (x) =
=
=
1

cos2 x
cos2 (x)

2
cos (x)

lim sin(x) =

x /2
x</2

lim

x 0

et
2

lim cos(x) = 0+ . Par suite,

x /2
x</2

lim tan(x) = +.

x /2
x</2

tan(x) tan(0)
tan(x)
= lim
= tan (0) = 1 + tan2 (0) = 1.
x 0
x
x0

y = tan(x)

Graphe de la fonction x tan(x).

3
2
1
3/2

2
7

/2

/2

3/2

6 2

1
2
3
4

Thorme 12 (proprits de la fonction cotangente).


La fonction cotangente est dfinie sur R \ Z et impaire.
La fonction cotangente est -priodique.
La fonction cotangente est continue et drivable sur R \ Z et, pour tout rel x R \ Z,
cotan (x) = 1 cotan2 (x) =

1
.
sin (x)
2

lim cotan(x) = + et x
lim cotan(x) =
x 0
x>0

x<

La fonction cotangente est strictement dcroissante sur ]0, [.


Nous vous laissons le soin de dmontrer ce thorme.

c Jean-Louis Rouget, 2009. Tous droits rservs.

17

http ://www.maths-france.fr

y = cotan(x)

Graphe de la fonction x cotan(x).


4
3
2
1
3/2

2
7

/2
2

/2

3/2

6 2

1
2
3
4

Exercice 4. Etude complte des fonctions : 1) f1 : x

2 cos(x) 1
sin(x)
, 2) f2 : x
.
2 sin(x) 1
2 cos(x)

Solution.
1) Priodicit. Soit x dans R. x Df1 x + 2 Df1 et pour x Df1 , f1 (x + 2) = f1 (x).
Donc f1 est 2-priodique. On tudie dornavant f1 sur [, ].
Domaine de dfinition. Soit x [, ].
2 sin(x) 1 = 0 sin(x) =

1
x
2

5
.
,
6 6

5
}.
Donc, Df1 [, ] = [, ] \ { ,
6 6

Etude en . lim 2 cos(x) 1 = 3 1 > 0 puis lim 2 sin(x) 1 = 0 et lim 2 sin(x) 1 = 0+ . Donc,
x 6
x 6
6 x 3
x<
6

x>
6

lim f1 (x) = et lim f1 (x) = +.

x
6
x<
6

Etude en

x 6
x>
6

5
. lim 2 cos(x) 1 = 3 1 < 0 puis lim 2 sin(x) 1 = 0+ et lim 2 sin(x) 1 = 0 . Donc,
6 x 5
x 5
x 5
6
6
6
x< 5
6

x> 5
6

lim f1 (x) = et lim f1 (x) = +.

x 5
6
x< 5
6

Drive. f1 est drivable sur [, ] \

x 5
6
x> 5
6

5
,
6 6

dont le dnominateur ne sannule pas sur [, ] \

c Jean-Louis Rouget, 2009. Tous droits rservs.

en tant que quotient de fonctions drivables sur [, ] \


5
. De plus, pour x [, ] \
,
6 6

18

5
,
6 6

5
,
,
6 6

http ://www.maths-france.fr

4 + 2 sin(x) + 2 cos(x)
2 sin(x)(2 sin(x) 1) 2 cos(x)(2 cos(x) 1)
=
2
(2 sin(x) 1)
(2 sin(x) 1)2

1
1

2 2 cos(x) + sin(x) 2
2 2 cos x
2
2
2
4
=
=
.
(2 sin(x) 1)2
(2 sin(x) 1)2

f1 (x) =

2 < 0 et donc f1 (x) < 0. On en dduit que f1 est


4
5
, .
6

y = f1 (x)

5
, on a cos x
,
6 6
5

et sur
,
strictement dcroissante sur , , sur
6
6 6
Graphe.

Variations. Pour x [, ] \

5
4
3
2
1
11
6
7

7
6
5

5
6

13
6

1
2
3
4
5
2) Priodicit, parit. Soit x R. x Df2 x + 2 Df2 et pour x Df2 ,
f2 (x + 2) =

sin(x)
sin(x + 2)
=
= f2 (x).
2 cos(x + 2)
2 cos(x)

Soit x R. x Df2 x Df2 et pour x Df2 ,


f2 (x) =

sin(x)
sin(x)
=
= f2 (x).
2 cos(x)
2 cos(x)

f2 est 2-priodique et impaire. On tudie dornavant f2 sur [0, ].


Domaine de dfinition. Soit x [0, ]. On a 2 cos(x) > 0 et donc f2 (x) existe. Par suite, Df2 [0, ] = [0, ].
Drive. f2 est drivable sur [0, ] (et mme sur R) en tant que quotient de fonctions drivables sur [0, ] dont
le dnominateur ne sannule pas sur [0, ] et pour x [0, ]
f (x) =

cos(x)(2 cos(x)) sin(x)(sin(x))


2 cos(x) 1
=
.
(2 cos(x))2
(2 cos(x))2

Variations. Soit x [0, ].


2 cos(x) 1 > 0 cos(x) >

c Jean-Louis Rouget, 2009. Tous droits rservs.

19

x 0, ,
2
3

http ://www.maths-france.fr

et 2 cos(x) 1 = 0 x = . Ainsi, f2 est strictement positive sur 0, , strictement ngative sur


, et sannule
3
3
3

en . f2 est donc strictement croissante sur 0,


et strictement dcroissante sur
, .
3
3
3
Graphe.
1

y=f

2 (x)

) comme nous avons


4
appris le faire de manire gnrale dans le chapitre trigonomtrie (transformation de a cos(x) + b sin(x)). Lide sous-jacente
est toujours la mme : on veut que la variable x napparaisse quune seule fois.

Commentaire . Pour tudier le signe de f1 , on a transform lexpression cos(x) + sin(x) en

2 cos(x

Les fonctions circulaires rciproques

2
Au collge, on a su rapidement fournir un rel positif x tel que x2 = 4 ou x
= 9 mais il a
fallu attendre le symbole
2
pour fournir une criture de lunique rel positif x tel que x = 2 savoir 2. Le nombre 2 se rvla par la suite
quelque peu mystrieux. On sait que le carr de ce nombre vaut 2 mais il faut prendre la machine pour en obtenir quelques
dcimales. Nanmoins, on sait que ce nombre existe puisquil est gal la longueur de la diagonale dun carr de ct 1.
1


lquation sin(x) = : cette quation admet lunique solution x = .
De mme aujourdhui, on sait rsoudre dans ,
2 2
2
6
1

de lquation sin(x) = et tout
Mais on ne dispose pas encore de notation permettant de fournir la solution dans ,
2 2
3
ce que lon peut faire est de donner une valeur approche de sa solution en degrs ou en radians. On dfinit aujourdhui
les notations manquantes.

6.1
6.1.1

Les fonction Arcsin et Arccos


La fonction Arcsin



La fonction x sin(x) est continue et strictement croissante sur , . Elle ralise donc une bijection de ,
sur
2 2
2 2

= [1, 1]. Donc


sin , sin
2
2

Dfinition 2. La fonction arcsinus, note Arcsin, est la rciproque de la fonction ,
[1, 1] .
2 2
x
sin(x)
A partir des proprits usuelles de la rciproque dune bijection, on peut noncer
Thorme 13.


La fonction Arcsin est une bijection de [1, 1] sur , .
2 2

(x, y) ,
[1, 1], sin(x) = y x = Arcsin(y).
2 2

, Arcsin(sin(x)) = x.
x [1, 1], sin(Arcsin(x)) = x et x ,
2 2

Larcsinus dun rel lment de 0,


est, comme son nom lindique, la longueur dun arc dont on connat le sinus.
2

dont le sinus vaut a.
Larcsinus de a [1, 1] est le rel lment de ,
2 2

c Jean-Louis Rouget, 2009. Tous droits rservs.

20

http ://www.maths-france.fr

a [1, 1],

x [ , ],
2 2

sin(x)
1

x sin(x) = a x = Arcsin(a)

Arcsin a

a
1

Exercice 5. Rsoudre dans R les quations suivantes : 1) sin(x) =

1
3
, 2) sin(x) =
3
4

3) sin(x) = a, a R.

Solution.
1) Soit x R.
sin(x) =

1
sin(x) = sin Arcsin
3
k Z/ x = Arcsin

2) Soit x R.
sin(x) =

1
3
1
+ 2k ou k Z/ x = Arcsin
3

3
sin(x) = sin Arcsin
4
k Z/ x = Arcsin

1
3

3
4
3
+ 2k ou k Z/ x = + Arcsin
4

+ 2k.

3
4

+ 2k.

3) Soit a R.
Si |a| > 1, lquation sin(x) = a na pas de solution dans R.

Si a = 1, x R, (sin(x) = 1 k Z/ x = + 2k).
2

Si a = 1, x R, (sin(x) = 1 k Z/ x = + 2k).
2
Si a = 0, x R, (sin(x) = 0 k Z/ x = k).
Si a ] 1, 0[]0, 1[, pour x R
sin(x) = a sin(x) = sin(Arcsin(a))

k Z/ x = Arcsin(a) + 2k ou k Z/ x = Arcsin(a) + 2k.



2 2

Commentaire . Quand a ] 1, 1[, = Arcsin(a) est la solution de lquation sin(x) = a qui appartient [ , ].
Poursuivons ltude de la fonction arcsinus.
Thorme 14. La fonction Arcsin est impaire.

Dmonstration .
Soient x [1, 1] puis y = Arcsin(x). Alors y [ , ] et x = sin(y). Comme x [1, 1] et que la
2 2
fonction sinus est impaire, on a
Arcsin(x) = Arcsin( sin(y)) = Arcsin(sin(y)) = y = Arcsin(x).

(Arcsin(sin(y)) = y car y [ , ]).
2 2

Commentaire . Cette dmonstration se gnralise toute bijection impaire : la rciproque dune bijection impaire est impaire.

c Jean-Louis Rouget, 2009. Tous droits rservs.

21

http ://www.maths-france.fr

Valeurs usuelles de la fonction arcsinus.


x

1
2

Arcsin(x)

3
2


On fournit maintenant une identit usuelle. Il sagit de donner le cosinus dun rel lment de [ , ] quand on en connat
2 2
le sinus.
Thorme 15.
x [1, 1], cos(Arcsin(x)) =
Dmonstration .

1 x2 .

Soit x [1, 1]. On a


p
p

| cos(Arcsin(x)| = cos2 (Arcsin(x)) = 1 sin2 (Arcsin(x)) = 1 x2

().


De plus, Arcsin(x) [ , ] et donc cos(Arcsin(x)) 0. Lgalit () permet alors daffirmer que cos(Arcsin(x)) = 1 x2 .
2 2


Ensuite, comme la fonction sinus est continue et strictement croissante sur , , on sait que
2 2
Thorme 16. La fonction Arcsin est continue et strictement croissante sur [1, 1].
Thorme 17.
La fonction Arcsin est drivable sur ] 1, 1[ et
1
x ] 1, 1[, (Arcsin) (x) =
.
1 x2
La fonction Arcsin nest pas drivable en 1 et en 1 mais sa courbe reprsentative admet aux points dabscisses 1 et
1 une demi-tangente parallle (Oy).
Arcsin x
= 1.
lim
x 0
x


Dmonstration .
Pour x [ , ], posons f(x) = sin(x). f est drivable sur ] , [ et la fonction drive f = cos ne
2 2
2 2


sannule pas sur ] , [. On en dduit que f1 = Arcsin est drivable sur f(] , [) =] 1, 1[ et pour x ] 1, 1[,
2 2
2 2
1
1
1
1
=
=
=
.
f (f1 (x))
sin (Arcsin(x))
cos(Arcsin(x))
1 x2

Soit x [1, 1[. Posons y = Arcsin(x) de sorte que y [ , [ et x = sin(y).
2 2

y
Arcsin(x) Arcsin(1)
1
2
=
=
.
x1
sin(y) sin( )
sin(y) sin( )
2
2

y
2
Arcsin (x) = (f1 ) (x) =

sin(y) sin( )

2
Maintenant, quand x tend vers 1 par valeurs infrieures, y = Arcsin(x) tend vers
par valeurs infrieures puis

2
y
2

tend vers sin ( ) = cos( ) = 0 par valeurs suprieures. Finalement,


2
2
lim

x 1
x<1

Arcsin(x) Arcsin(1)
= +.
x1

Donc, la fonction Arcsin nest pas drivable en 1 mais sa courbe reprsentative admet au point dabscisse 1 une demi-tangente
parallle (Oy). La fonction Arcsin tant impaire, le rsultat est identique en 1.
Arcsin x
Arcsin x Arcsin 0
Arcsin x
1
Pour x = 0,
=
et donc lim
= (Arcsin) (0) =
= 1.

x 0
x
x0
x
1 02

On donne le graphe de la fonction x Arcsin(x) la page suivante. On rappelle que celui-ci sobtient partir du graphe
de la fonction x sin(x) par rflexion daxe la droite dquation y = x.
c Jean-Louis Rouget, 2009. Tous droits rservs.

22

http ://www.maths-france.fr

Graphe de la fonction Arcsin.

y=

Arc
sin(
x)

y=s

in(x)

2
1

6.1.2

La fonction Arccos

La fonction x cos(x) est continue et strictement dcroissante sur [0, ]. Elle ralise donc une bijection de [0, ] sur
[cos , cos 0] = [1, 1]. Donc
Dfinition 3. La fonction arccosinus, note Arccos, est la rciproque de la fonction [0, ] [1, 1] .
x
cos(x)
Thorme 18.
La fonction Arccos est une bijection de [1, 1] sur [0, ].
(x, y) [0, ] [1, 1], cos(x) = y x = Arccos(y).

x [1, 1], cos(Arccos(x)) = x et x [0, ], Arccos(cos(x)) = x.

Larccosinus dun rel lment de [1, 1] est la longueur dun arc dont on connat le cosinus. Il y a donc bien deux lettres
c conscutives dans le mot arccosinus.
Larccosinus de a [1, 1] est le rel lment de [0, ] dont le cosinus vaut a.
1

x [0, ],

x
cos(x)

a [1, 1],

cos(x) = a x = Arccos(a)

c Jean-Louis Rouget, 2009. Tous droits rservs.

Arccos a
a

23

http ://www.maths-france.fr

Exercice 6. Rsoudre dans R les quations suivantes : 1) cos(x) =

2
1
, 2) cos(x) =
3
4

3) cos(x) = a, a R.

Solution.
1) Soit x R.
cos(x) =

2
cos(x) = cos Arccos
3
k Z/ x = Arccos

2) Soit x R.
cos(x) =

2
3
2
3

+ 2k ou k Z/ x = Arccos

2
3

+ 2k.

1
1
cos(x) = cos Arccos
4
4
1
1
k Z/ x = Arccos
+ 2k ou k Z/ x = Arccos
4
4

+ 2k.

3) Soit a R.
Si |a| > 1, lquation cos(x) = a na pas de solution dans R.
Si a = 1, x R, (cos(x) = 1 k Z/ x = 2k).
Si a = 1, x R, (cos(x) = 1 k Z/ x = + 2k).

Si a = 0, x R, (cos(x) = 0 k Z/ x = + k).
2
Si a ] 1, 0[]0, 1[, pour x R

cos(x) = a cos(x) = cos(Arccos(a)))


k Z/ x = Arccos(a) + 2k ou k Z/ x = Arccos(a) + 2k.
Valeurs usuelles de la fonction arccosinus.
x

1
2

Arccos(x)

3
2

Comme semble le suggrer le tableau ci-dessus et le tableau correspondant pour la fonction Arcsin, il existe un lien entre
larcsinus et larccosinus dun rel lment de [1, 1].
Thorme 19.
x [1, 1], Arcsin(x) + Arccos(x) =
Dmonstration .

.
2


Soient x [1, 1] puis = Arcsin(x). On a alors [ , ] et sin() = x. Par suite,
2 2

Arccos(x) = Arccos(sin ) = Arccos cos( )


2

= (car 0 0 )
2
2
2
2

= Arcsin(x).
2

Commentaire .

est la symtrie s/4 par rapport au rel . Pour crire lencadrement 0 , nous navons pas
2
4
2

pens deux tapes (. . . . . . puis . . . . . .) mais une seule ( s/4 ( ) s/4 (/2)).
2
2
2
2
Lapplication

c Jean-Louis Rouget, 2009. Tous droits rservs.

24

http ://www.maths-france.fr

La relation Arcsin(x) + Arccos(x) =

nest rien dautre que la relation sin() = cos( ). Elle se visualise sur le dessin suivant
2
2
1

Arccos(x)

Arcsin(x)

1
Pour se convaincre que larc color en bleu est bien Arccos(x), il faut lire diffremment le cercle trigonomtrique : penchez la tte
vers la droite, prenez lorigine des arcs au point (0, 1) et non plus au point (1, 0) et parcourez le cercle en sens contraire. Le cosinus
de larc bleu est alors lisible sur laxe (0y) et il est bien gal x.
Une autre dmonstration de ce thorme est fournie un peu plus loin.

On peut donner le sinus dun rel lment de [0, ] quand on en connat le cosinus.
Thorme 20.
x [1, 1], sin(Arccos(x)) =
Dmonstration .

1 x2 .

Soit x [1, 1]. On a


p
p

| sin(Arccos(x)| = sin2 (Arccos(x)) = 1 cos2 (Arccos(x)) = 1 x2

().

De plus, Arccos(x) [0, ] et donc sin(Arccos(x)) 0. Lgalit () permet alors daffirmer que sin(Arccos(x)) =

1 x2 .

Ensuite, comme la fonction cosinus est continue et strictement dcroissante sur [0, ], on sait que
Thorme 21. La fonction Arccos est continue et strictement dcroissante sur [1, 1].
Thorme 22.
La fonction Arccos est drivable sur ] 1, 1[ et
1
x ] 1, 1[, (Arccos) (x) =
.
1 x2
La fonction Arccos nest pas drivable en 1 et en 1 mais sa courbe reprsentative admet aux points dabscisses 1 et
1 une demi-tangente parallle (Oy).
Dmonstration . La fonction cos est drivable sur ]0, [ et sa drive sin ne sannule pas sur ]0, [. On en dduit que la
fonction Arccos est drivable sur cos(]0, [) =] 1, 1[ et pour x ] 1, 1[,
Arccos (x) =

1
1
1
=
=
.
cos (Arccos(x))
sin(Arccos(x))
1 x2

Pour , nous vous laissons adapter la dmonstration correspondante pour larcsinus.

.
2
Pour x [1, 1], posons f(x) = Arcsin(x) + Arccos(x). f est continue sur [1, 1], drivable sur ] 1, 1[ et pour x ] 1, 1[
On peut alors donner une nouvelle dmonstration du thorme 19 : x [1, 1], Arcsin(x) + Arccos(x) =
f (x) =

1
1

x2

1
1 x2

= 0.

Par suite, f est constante sur [1, 1] et pour tout rel x de [1, 1], on a
f(x) = f(0) = Arcsin(0) + Arccos(0) = 0 +

= .
2
2

Commentaire . Dans la dmonstration ci-dessus, il faut bien prendre garde la nature des diffrents intervalles crits, tantt
[1, 1] et tantt ] 1, 1[.

c Jean-Louis Rouget, 2009. Tous droits rservs.

25

http ://www.maths-france.fr

Graphe de la fonction Arccos.

y
=
c
Ar

co
)
s(x

2
y

co

s(x

Exercice 7. Donner
1) f1 :
3) f3 :
5) f5 :
7) f7 :

le domaine de dfinition puis simplifier :


x sin(Arcsin(x)), 2) f2 : x cos(Arccos(x))
x Arcsin(sin(x)), 4) f4 : x Arccos(cos(x)),
x sin(Arccos(x)), 6) f6 : x cos(Arcsin(x))
x Arcsin(cos(x)), 8) f8 : x Arccos(sin(x))

Solution.
1) et 2) f1 et f2 sont dfinies sur [1, 1] et x [1, 1], f1 (x) = f2 (x) = x.
3) f3 est dfinie sur R. Soit alors x R.

et
1 er cas. Sil existe k Z tel que + 2k x + 2k, alors x 2k ,
2
2
2 2
Arcsin(sin(x)) = Arcsin(sin(x 2k)) = x 2k.
2 me cas. Sil existe k Z tel que


3
3

puis (x 2k) ,
+ 2k < x <
+ 2k, alors x 2k
,
2
2
2 2
2 2

et donc
Arcsin(sin(x)) = Arcsin(sin( (x 2k))) = x + + 2k.
4) f4 est dfinie sur R. Soit alors x R.
1 er cas. Sil existe k Z tel que 2k x + 2k, alors x 2k [0, ] et
Arccos(cos(x)) = Arccos(cos(x 2k)) = x 2k.
2 me cas. Sil existe k Z tel que + 2k < x < 2 + 2k, alors x 2k


3
puis (x 2k) ,
,
2 2
2 2

et donc
c Jean-Louis Rouget, 2009. Tous droits rservs.

26

http ://www.maths-france.fr

Arcsin(sin(x)) = Arcsin(sin( (x 2k))) = x + + 2k.


5) et 6) f5 et f6 sont dfinies sur [1, 1] et on a vu que pour tout rel x de [1, 1], on a

sin(Arccos x) = cos(Arcsin x) = 1 x2 .
7) f7 est dfinie sur R, 2-priodique. De plus, f7 est paire et pour x [0, ],

Arccos(cos x) = x.
2
2

Par parit, pour x [, 0], Arcsin(cos x) = Arccos(cos(x)) = (x) et donc pour x [, ],


2

Arcsin(cos x) = |x|. Enfin, pour x R, il existe un unique entier relatif k tel que + 2k x < + 2k.
2

On a alors x 2k [, [ et donc f7 (x) = f(x 2k) = |x 2k|.


2

8) f8 sont dfinies sur R, 2-priodique. Pour x , ,
2 2

Arccos(sin x) = Arcsin(sin x) = x,
2
2
Arcsin(cos x) =

et pour x

3

, on a x ,
et donc
,
2 2
2 2
Arccos(sin x) =

Arcsin(sin x) = + Arcsin(sin(x )) = + (x ) = x .
2
2
2
2

3
, Arccos(sin x) = x . Enfin, pour x R, il existe un unique entier relatif k tel que
En rsum, pour x ,
2 2
2

+ 2k x <
+ 2k et on a Arccos(sin x) = x 2k + .
2
2
2

Exercice 8. Rsoudre dans R lquation Arcsin(2x) = Arcsin(x) + Arcsin(x 2).


Solution.

1) Soit x R. Si x est solution de lquation propose, on a ncessairement 2x [1, 1], x [1, 1] et x 2 [1, 1]
1 1
ce qui quivaut x [ , ].
2 2
1 1
Soit donc x [ , ].
2 2

Arcsin(2x) = Arcsin(x) + Arcsin(x 2) sin(Arcsin(2x)) = sin(Arcsin(x) + Arcsin(x 2)) ()

2x = sin(Arcsin(x)) cos(Arcsin(x 2)) + cos(Arcsin(x)) sin(Arcsin(x 2))

2x = x 1 2x2 + x 2 1 x2 x = 0 ou 2 = 1 2x2 + 2 2x2 .

Ensuite,

1 2x2 +

2 2x2 = 2 (1 2x2 ) + 2 (1 2x2 )(2 2x2 ) + (2 2x2 ) = 4

2 (1 2x2 )(2 2x2 ) = 1 + 4x2 4(1 2x2 )(2 2x2 ) = (1 + 4x2 )2


32x2 7 = 0 x =

7
ou x =
32

7
.
32

1 1
7
14
14
=
et
sont lments de , . Il reste alors se demander
Rciproquement, les nombres 0,
32
8
8
2 2
si la seule implication crite () est une quivalence.
1 1

1 1
1
1
Pour x , , on a Arcsin(2x) , . Dautre part, puisque ,
, ,
2 2
2 2
2 2
2
2


1

1
on a Arcsin x ,
et de mme x 2 , et donc Arcsin(x 2) , . On en dduit
4 4
4 4
2
2
c Jean-Louis Rouget, 2009. Tous droits rservs.

27

http ://www.maths-france.fr



que Arcsin x + Arcsin(x 2) , .
2 2

1 1

En rsum, pour x , , Arcsin(2x) et Arcsin x + Arcsin(x 2) sont deux rels lments de , . Par suite,
2 2
2 2
si ces deux rels ont mme sinus, ils sont gaux ce qui montre que () est une quivalence. Finalement,
S =

6.2

0,

7
,
32

7
.
32

La fonction Arctan



La fonction x tan(x) est continue et strictement croissante sur , . Elle ralise donc une bijection de ,
2 2
2 2
+

sur tan
, tan
=] , [= R. Donc
2
2

Dfinition 4. La fonction arctangente, note Arctan, est la rciproque de la fonction ,

R
.
2 2
x
tan(x)
Thorme 23.

La fonction Arctan est une bijection de R sur , .
2 2

(x, y) ,
R, tan(x) = y x = Arctan(y).
2 2

, Arctan(tan(x)) = x.
x R, tan(Arctan(x)) = x et x ,
2 2
Larctangente dun rel lment de [0, +[ est la longueur dun arc dont on connat la tangente.

dont la tangente vaut a.
Larctangente du rel a est le rel lment de ,
2 2
Thorme 24. La fonction Arctan est impaire.
La dmonstration de ce thorme est identique la dmonstration du thorme 14 page 21.
Valeurs usuelles de la fonction arctangente.
x

Arctan(x)

Thorme 25. La fonction Arctan est drivable sur R et


x ] 1, 1[, (Arctan) (x) =

1
.
1 + x2

i h
i h
i h
, posons f(x) = tan x. f est drivable sur ,
et pour x ,
, f (x) = 1 + tan2 x.
Pour x ,
2 2
2 2
2 2
i h
, on en dduit que la fonction Arctan = f1 est drivable sur R et que pour tout rel x,
Comme f ne sannule pas sur ,
2 2
Dmonstration .

Arctan (x) = (f1 ) (x) =

1
1
1
=
.
=
f (f1 (x))
1 + x2
1 + tan2 (Arctan x)

Thorme 26. La fonction Arctan est strictement croissante sur R. De plus lim Arctan x =
x +

c Jean-Louis Rouget, 2009. Tous droits rservs.

28

et lim Arctan x = .
x
2
2

http ://www.maths-france.fr

Thorme 27.
lim

x 0

Dmonstration .

Thorme 28.

lim

x 0

Arctan x
= 1.
x

Arctan x
Arctan x Arctan 0
1
= lim
= Arctan (0) =
= 1.
x 0
x
x0
1 + 02

x R , Arctan(x) + Arctan

1
x

si x > 0

2
= sgn(x), o sgn(x) dsigne le signe du rel non nul x.
=
si x < 0
2
2

Dmonstration .
i h
et x = tan(). On a
1re dmonstration. Soient x ]0, +[ puis = Arctan x. Alors 0,
2

1
1
Arctan
.
= Arctan
= Arctan tan
x
tan
2

i h

i h

1
Maintenant, 0,
et donc 0,
. On en dduit que Arctan tan( ) = et finalement que Arctan
=
2
2
2
2
2
x

Arctan x.
2
Soit maintenant x ] , 0[.

1
= Arctan(x) + Arctan
= .
Arctan x + Arctan
x
x
2

2me dmonstration. Pour x R , posons f(x) = Arctan x + Arctan


]0, +[ et pour tout rel non nul x,
f (x) =

1
1

1 + x2
x2

1
1
1+ 2
x


1
. f est dfinie sur R et impaire. f est drivable sur
x

1
1

= 0.
1 + x2
1 + x2

f est donc constante sur ]0, +[ et pour x > 0, f(x) = f (1) = 2 Arctan(1) =

puis, f tant impaire, pour x < 0, f(x) = .


2
2

Commentaire .
Dans la deuxime dmonstration, la drive de f est nulle sur R et pourtant la fonction f nest pas constante sur R . Le thorme
si la drive de f est nulle, alors f est constante est faux. Le thorme exact est Soit f une fonction drivable sur un intervalle
I. Si la drive de f est nulle sur I, f est constante sur I .
De mme, le thorme si la drive de f est ngative, f est dcroissante est faux. Le thorme exact est Soit f une fonction
1
drivable sur un intervalle I. Si la drive de f est ngative sur I, f est dcroissante sur I . Par exemple, la fonction f : x
x
1
est drivable sur R et sa drive f : x 2 est ngative sur R . Pourtant, f nest pas dcroissante sur R car par exemple
x
f(1) = 1 < 1 = f(1) mais bien sr, f est dcroissante sur ] , 0[ et aussi sur ]0, +[.
On doit encore noter que les phrases f est constante (resp. dcroissante) sur ] , 0[]0, +[ et f est constante (resp.
dcroissante) sur ] , 0[ et sur ]0, +[ ne sont pas les mmes phrases.



1
1
1
1
1
1
Pour driver Arctan
, on utilise (gf) = f g f. Cela donne Arctan
= 2
=
Arctan
.
1
x
x
x
x
x
1+ 2
x

c Jean-Louis Rouget, 2009. Tous droits rservs.

29

http ://www.maths-france.fr

y = tan(x)

Graphe de la fonction Arctan.

3
2

/2

y = Arctan(x)

1
/2
7

/2

1
2

/2

3
4

Exercice 9. Rsoudre dans R lquation tan x = 2.


Solution. Soit x R. tan x = 2 tan x = tan(Arctan 2) k Z/ x = Arctan 2 + k.
S = Arctan 2 + Z.

i h
i h
dont la tangente vaut 2 ou encore la solution dans ,
de
2 2
2 2

Commentaire . Arctan 2 est le rel lment de ,


lquation tan x = 2. Mais il y a dautres solutions.

Exercice 10. Ensemble de dfinition et expression simplifie de tan(Arctan x) et Arctan(tan x).


Solution. On sait daprs le cours que tan(Arctan x) existe pour tout rel x et vaut x.
x R, tan(Arctan x) = x.

+ Z .
Lexpression Arctan(tan x) est dfinie sur R \
2


Soit x R \
et donc
+ Z . Il existe k Z tel que + k < x < + k. Mais alors x k ,
2
2
2
2 2
Arctan(tan x) = Arctan(tan(x k)) = x k.

i h
. De manire gnrale, = Arctan(tan x) est le rel lment de
2 2

Commentaire . Arctan(tan x) ne vaut x que si x ,

i h
,
qui a mme tangente que le rel x.
2 2

Exercice 11. Calculer Arctan

1
2

+ Arctan

1
5

+ Arctan

1
.
8

1
1
1
< Arctan 1 = . De mme, 0 Arctan
< . On en dduit que
< 1 et donc 0 Arctan
2
2
4
5
4
1

1
1
1
+Arctan
< . Par suite on peut calculer la tangente de Arctan
+Arctan
et on obtient
2
5
2
2
5

Solution. 0
0 Arctan

c Jean-Louis Rouget, 2009. Tous droits rservs.

30

http ://www.maths-france.fr

tan Arctan

1
2

+ Arctan

1
2

tan Arctan

1
5

1 tan Arctan

1
5
1
tan Arctan
5

1
2


1
1
+ Arctan
,
et tan Arctan
2
5
2 2
1
1
7
Arctan
+ Arctan
= Arctan
.
2
5
9

1
7
+ Arctan
,
et
De mme, Arctan
9
8
2 2
En rsum, Arctan

tan Arctan

et donc Arctan

7
9

+ Arctan

1
8

7
9

+ Arctan

= Arctan 1 =

Arctan

1
2

1 1
+
7
= 2 5 = .
1 1
9
1
2 5

+ tan Arctan

1
2

+ Arctan

1
5

7
. On en dduit que
9

7 1
+
56 + 9
= 1,
= 9 8 =
7 1
72 7
1
9 8

1
8

.
4

+ Arctan

1
5

+ Arctan

1
8

.
4

Exercice 12. Ensemble de dfinition et valeurs de cos(Arctan x) et sin(Arctan x).



Solution. Soit x R. Arctan x ,
et on peut crire
2 2
cos2 (Arctan x) =

1
1
.
=
1 + x2
1 + tan (Arctan x)
2


1
De plus, puisque Arctan x , , on a cos(Arctan x) > 0 et donc cos(Arctan x) = +
. Dautre part,
2 2
1 + x2
x
.
sin(Arctan x) = tan(Arctan x) cos(Arctan x) =
1 + x2
x R, cos(Arctan x) =

x
1
et sin(Arctan x) =
.
2
1+x
1 + x2

Commentaire .

Calculer cos(Arctan x) consiste calculer le cosinus dun nombre quand on en connat sa tangente. On
1
.
cherche donc une formule de trigonomtrie donnant le but, le cosinus en fonction de la donne, la tangente : cos2 =
1 + tan2
Mais alors, calculer sin(Arctan x) consiste calculer le sinus dun nombre quand on en connat le cosinus et la tangente et non pas
uniquement le cosinus. La solution propose est bien meilleure quun dmarrage du genre sin2 (Arctan x) = 1 cos2 (Arctan x)...

Exercice 13. Soient a et b deux rels tels que ab = 1. Calculer Arctan a + Arctan b.
Solution. Soient a et b deux rels tels que ab = 1. Puisque

< Arctan a < et < Arctan b < , on a


2
2
2
2

< Arctan a + Arctan b < .



. Daprs lexercice no 12, on a
Vrifions tout dabord que Arctan a + Arctan b
/ ,
2 2
1 ab

cos(Arctan a + arctan b) = cos(Arctan a) cos(Arctan b) sin(Arctan a) sin(Arctan b) =


().
1 + a 2 1 + b2

c Jean-Louis Rouget, 2009. Tous droits rservs.

31

http ://www.maths-france.fr


Par suite, cos(Arctan a + arctan b) = 0 et Arctan a + Arctan b
/ ,
. On peut alors calculer la tangente
2 2
de Arctan a + Arctan b.
tan(Arctan a + Arctan b) =

tan(Arctan a) + tan(Arctan b)
a+b
=
().
1 tan(Arctan a) tan(Arctan b)
1 ab


En rsum, Arctan a + Arctan b ] , [\ ,
2 2

et tan(Arctan a + Arctan b) =

a+b
.
1 ab


,
1er cas. Si ab < 1, daprs (), on a cos(Arctan a + Arctan b) > 0 et puisque Arctan a + Arctan b ] , [\ ,
2 2

a+b
on a plus prcisment Arctan a+Arctan b , . On dduit alors de () que Arctan a+Arctan b = Arctan
.
2 2
1 ab

2me cas. Si ab > 1, daprs (), on a cos(Arctan a + Arctan b) < 0 et donc Arctan a + Arctan b , , .
2
2
Plus prcisment,

si a < 0 et donc b < 0 puisque ab > 1, on a Arctan a + Arctan b < 0 et donc Arctan a + Arctan b , .
2

a+b
.
Dans ce cas, Arctan a+Arctan b+ est dans ,
et a mme tangente que Arctan a+Arctan b savoir
2 2
1 ab
a+b
a+b
On en dduit que Arctan a+Arctan b+ = Arctan
et donc Arctan a+Arctan b = Arctan
.
1 ab
1 ab

, .
si a > 0, on a Arctan a + Arctan b > 0 et donc Arctan a + Arctan b
2
a+b
+ .
Dans ce cas, Arctan a + Arctan b = Arctan
1 ab

Arctan a + b
si ab < 1

1 ab

a+b
Arctan
+ si ab > 1 et a > 0 .
(a, b) R2 , ab = 1 Arctan a + Arctan b =

1
ab

a+b

si ab > 1 et a < 0
Arctan
1 ab
Commentaire . Le cas o ab = 1 est le thorme 28, page 29 : Arctan a + Arctan

= sgn(a).
a
2

1 x2
aprs avoir prcis les valeurs de x pour lesquelles
1 + x2
cette expression existe. Trouver une solution utilisant la trigonomtrie et une solution o lon commence
par driver.

Exercice 14. Simplifier le plus possible Arccos

1 x2
. Pour x R
1 + x2

Solution. Pour x R, posons f(x) = Arccos

x Df 1

Or, pour tout rel x, on a


1 =

1 x2
1.
1 + x2

1 x2
1 + x2
1 x2

= 1.
1 + x2
1 + x2
1 + x2

Donc, f est dfinie sur R. De plus, f est paire.


1re solution. Soient x R+ puis = 2 Arctan x. Alors [0, [ et x = tan
2

Arccos

1x
1 + x2

puis

2
= Arccos
= Arccos(cos )

1 + tan2
2
= (car [0, [)

1 tan2

= 2 Arctan x.

c Jean-Louis Rouget, 2009. Tous droits rservs.

32

http ://www.maths-france.fr

1 x2
= 2 Arctan |x|.
1 + x2
En effet, si x [1, 0], f(x) = f(x) = 2 Arctan(x) = 2 Arctan |x|.
Par parit, pour tout rel x, Arccos

x R, Arccos

1 x2
1 + x2

= 2 Arctan |x|.

1 x2
1 x2
1 x2

1.
Plus
prcisment,
>
= 1 et
1 + x2
1 + x2
1 + x2
2
1x
1 x2
2
2
dautre part,
=
1

x
=
1
+
x

x
=
0.
Ainsi,
pour
tout
rel
x
de
]

1,
0[]0,
1[,
on
a
1
<
< 1.
1 + x2
1 + x2
f est donc drivable sur ]0, 1] (on rappelle que f est paire) et pour x ]0, 1]
2me solution. On sait dj que pour tout rel x, 1

f (x) =

2x(1 + x2 ) 2x(1 x2 )

(1 + x2 )2

1x
1 + x2

4x
2

=
= (2 Arctan) (x).
1 + x2
(1 + x2 ) 4x2

On en dduit quil existe un rel C tel que x ]0, 1], f(x) = 2 Arctan x + C. Quand x tend vers 0, on obtient
Arccos 1 = 0 + C et donc C = 0. Donc, x ]0, 1[, f(x) = 2 Arctan x. Par continuit en 0 puis parit, on robtient :
x [1, 1], f(x) = 2 Arctan |x|.

1
1 x2
1
1 x2
Arccos
voire
Arctan
x
=

Arcsin
. Ce
2
1 + x2
2 2
1 + x2
genre didentit exprimant Arctan en fonction de Arcsin peut par exemple servir quelquun qui utilise un logiciel de calcul formel
pas trs performant ne possdant que la fonction Arcsin et pas la fonction Arctan.

Commentaire . Ainsi, pour x 0, on a Arctan x =

7
7.1

Les fonctions logarithmes et exponentielles


Un peu dhistoire

Nous ne ferons quesquisser ici linvention des logarithmes autour de lanne 1600, mais nous vous engageons fortement
aller lire des livres dhistoire des mathmatiques sur le sujet. Leur dcouverte fut une vraie rvolution. Pour tmoin,
citons cet crit de Kepler en 1624 : . . . Je rsous la question par le bienfait des logarithmes, je ne pense pas que quelque
chose soit suprieur la thorie de Neper. . . .
Cest en effet, John Neper (ou Napier, baron de Merchiston) (1550-1617) qui a invent le mot logarithme du grec
logos rapport et arithmos nombre (les logarithmes ne sont au dbut, que des nombres entiers ou fractionnaires). Son
ami Henry Briggs (1561-1630) et lui, crent en 1615 les logarithmes dcimaux et en publient une table. En schmatisant
beaucoup, ils se sont demand comment complter le tableau suivant (la deuxime ligne contient les logarithmes dcimaux
des nombres de la premire)
100
0

101
1

47 = 10?
?

102
2

103
3

1203 = 10?
?

104
4

105
5

de manire ce que persiste la rgle 10n 10p = 10n+p (ces rgles sur les exposants entiers tant quant elles connues
depuis longtemps : Archimde avait dj conscience que pour multiplier deux lments dune suite gomtrique, il
suffisait dadditionner les exposants). Ils systmatisent ainsi une ide qui avait dj plus ou moins surgi avant eux, celle
de rendre continues les deux suites en acceptant des exposants non entiers.
Le premier ouvrage de Neper, intitul Mirifici logarithmorum canonis descriptio, date de 1614. On y dcouvre des
tables de logarithmes de sinus dangles, le but initial de Neper tant de simplifier un certain nombre de calculs trigonomtriques envisags en astronomie, en optique. . .
Ce quil y a de remarquable, cest qu lpoque, le calcul infinitsimal (drive, tangente une courbe, quations diffrentielles, intgrales, . . . ) ainsi que la notion de fonction elle-mme, nexistent pas encore, mme si nombre de scientifiques
du moment, comme par exemple Kepler ou Descartes, essaient de rsoudre des problmes contenant en germes ces
notions. Neper ne sest donc absolument pas demand quelle tait la fonction dont la drive valait 1/x.
Son invention (les logarithmes) est certainement une des bases de la dcouverte du calcul diffrentiel des annes plus
tard (Leibniz, Newton,. . . ) et la donc prcde. Il faudra attendre encore avant de parler de fonction logarithme, de
a
1
driver cette fonction pour trouver (ou plus gnralement ) ou de savoir calculer laire sous une hyperbole (dquation
x
x
a
y = ).
x
c Jean-Louis Rouget, 2009. Tous droits rservs.

33

http ://www.maths-france.fr

7.2

La fonction logarithme nprien

7.2.1

Exercices dintroduction

Exercice 15. Dterminer les fonctions dfinies sur R valeurs dans R transformant les produits en sommes.
Solution. Soit f une fonction de R dans R vrifiant
(x, y) R2 , f(xy) = f(x) + f(y).
En particulier, pour x rel quelconque et y = 0, on obtient f(x) + f(0) = f(0) et donc f(x) = 0. Ainsi, si f est une
fonction de R dans R transformant les produits en sommes, f est ncessairement la fonction nulle. Rciproquement,
la fonction nulle convient clairement.
Il existe une et une seule fonction relle, dfinie sur R, transformant les produits en sommes
savoir la fonction nulle.

Donc, si lon cherche une fonction non triviale, dfinie sur un intervalle, transformant les produits en sommes, il faut
se placer sur un intervalle ne contenant pas 0, intervalle que lon choisira le plus simple et le plus grand possible.
Exercice 16. Soit f une fonction dfinie et drivable sur ]0, +[ valeurs dans R transformant les produits
en sommes. Dterminer f(1) et la drive de f.
Solution. Soit f une fonction dfinie et drivable sur ]0, +[ valeurs dans R vrifiant
(x, y) ]0, +[2 , f(xy) = f(x) + f(y).
Pour x = y = 1, on obtient en particulier 2f(1) = f(1) et donc f(1) = 0.
Soit alors x un rel strictement positif fix. Par hypothse, les fonctions y f(xy) et y f(x) + f(y) sont drivables
sur ]0, +[ et en drivant, on obtient :
(x, y) ]0, +[2 , xf (xy) = f (y).

Pour y = 1 et x ]0, +[ donn, on obtient en notant a le rel f (1) :


x ]0, +[, f (x) =

a
.
x

Si f est une fonction dfinie et drivable sur ]0, +[ transformant les produits en sommes,
a
f(1) = 0 et il existe un rel a tel que : x ]0 + [, f (x) = .
x
Nous allons maintenant nous intresser plus particulirement la fonction f dfinie et drivable sur ]0, +[ telle que
1
1
1) f(1) = 0, 2) x ]0, +[, f (x) = , ou encore la primitive de la fonction x qui sannule en 1.
x
x
7.2.2

Dfinition de la fonction ln

Nous verrons dans le chapitre Intgration sur un segment que, si f est une fonction continue sur un intervalle I,
alors, pour tout choix dun lment x0 de I, il existe une et une seule primitive de f sur I sannulant en x0 . On peut donc
poser la dfinition suivante :
1
Dfnition 5. La fonction logarithme nprien, note ln, est la primitive sur ]0, +[ de la fonction x , qui sannule
x
en 1.
Ainsi,
Dln =]0, +[, ln(1) = 0,
1
ln est drivable sur ]0, +[ et x ]0, +[, (ln) (x) = , x ]0, +[, ln(x) =
x

c Jean-Louis Rouget, 2009. Tous droits rservs.

34

x
1

1
dt.
t

http ://www.maths-france.fr

1
,
x
exprime en units daire et on peut en calculer des valeurs approches par exemple en appliquant la mthode des rectangles
2
1

dt (ce que nous ferons dans le chapitre Approximations ).


1 t

Le logarithme nprien de 2 ( savoir 0, 693...) est donc laire du domaine D =

(x, y) ]0, +[R/ 1 x 2 et 0 y

3
aire = ln 2 = 0, 693 . . .
2
1
y = 1/x
1
2
3
4
Plus gnralement, si X [1, +[, ln(X) est laire du domaine D = {(x, y) ]0, +[R/ 1 x X et 0 y x1 },
exprime en units daire. Pour mmoire, citons quelques valeurs approches usuelles de la fonction logarithme nprien,
elles sont connatre.
ln 1 = 0

7.2.3

ln 2 = 0, 693 . . .

ln 3 = 1, 09 . . .

ln 5 = 1, 6 . . .

ln 10 = 2, 3 . . .

ln(0, 5) = 0, 693.

Proprits algbriques de ln

Thorme 29.
(x, y) (]0, +[)2 , ln(xy) = ln(x) + ln(y).
Commentaire . Nous verrons plus loin que la fonction ln ralise une bijection de ]0, +[ sur R. Le rsultat prcdent permet
alors daffirmer que ln est un isomorphisme du groupe (]0, +[, ) sur le groupe (R, +).
Soit a ]0, +[ fix. Pour x ]0, +[, posons f(x) = ln(ax) ln(x) ln(a). f est drivable sur ]0, +[ en
a
1
vertu de thormes gnraux et pour x ]0, +[, f (x) =
= 0. f est donc constante sur ]0, +[. Par suite, pour x ]0, +[,
ax x
f(x) = f(1) = ln(a) ln(a) ln(1) = 0. On a montr que :
Dmonstration .

(a, x) (]0, +[)2 , ln(ax) = ln(a) + ln(x).

Corollaire.
x ]0, +[, ln

1
x

= ln(x),

(x, y) (]0, +[)2 , ln

x
y

= ln(x) ln(y),

r Q, ln(xr ) = r ln(x).
Dmonstration .


1
1
1
Soit x ]0, +[. Puisque ln(x) + ln
= ln x
= ln(1) = 0, on a bien ln
= ln(x).
x
x
x


x
1
1
Soit (x, y) (]0, +[)2 . ln
= ln x
= ln(x) + ln
= ln(x) ln(y).
y
y
y
Soient x ]0, +[ et n Z.
Si n > 0 ln(xn ) = ln(x x ... x) = ln(x) + ln(x) + ... + ln(x) = n ln(x) (une rcurrence serait le plus propre).
Si n = 0, ln(xn ) = ln(1) = 0 = 0 ln(x).
Si n < 0, ln(xn ) = ln((xn )1 ) = ln(xn ) = (n) ln(x) = n ln(x). On a ainsi montr que : n Z, ln(xn ) = n ln(x).
1
Soit ensuite n N . n ln(x1/n ) = ln((x1/n )n ) = ln(x). On a ainsi montr que : n N , ln(x1/n ) = ln(x).
n
Soit finalement (p, q) Z N .
ln(xp/q ) = ln((xp )1/q ) =

1
p
1
ln(xp ) = p ln(x) = ln(x).
q
q
q

On a montr que : r Q, ln(xr ) = r ln(x).

c Jean-Louis Rouget, 2009. Tous droits rservs.

35

http ://www.maths-france.fr

7.2.4

Etude de la fonction ln

Nous avons regroup en une seule proposition lensemble des proprits de la fonction ln.
Thorme 30 (proprits analytiques de la fonction ln).
La fonction ln est strictement croissante sur ]0, +[.
limx + ln(x) = + et lim ln(x) = .
x 0
x>0

ln ralise une bijection de ]0, +[ sur R.


ln(x)
= 0 (par suite, le graphe de ln admet en + une branche parabolique de direction (Ox)) et
limx +
x
limx 0 x ln(x) = 0.
x>0

limh 0

ln(1 + h)
ln(x)
= 1 ou encore lim
= 1.
x 1 x 1
h

Dmonstration .
ln est drivable sur ]0, +[, drive strictement positive et donc strictement croissante sur cet intervalle.
Puisque la fonction ln est strictement croissante sur ]0, +[, ln a une limite quand x tend vers + qui est soit un rel , soit
+. Mais si cette limite tait un rel , lgalit ln(2x) = ln(2) + ln(x), valable pour tout rel strictement positif x, fournirait
par passage la limite quand x tend vers + : = ln(2) + , ce qui est impossible.

1
1
tend vers .
Dautre part, quand x tend vers 0 par valeurs suprieures, tend vers + et donc ln(x) = ln
x
x
Puisque ln est continue et strictement croissante sur ]0, +[, ln ralise une bijection de ]0, +[ sur ln(]0, +[) avec
ln(]0, +[) =] lim+ ln(x), lim ln(x)[=] , +[= R.
x +
x 0

Comparons dabord
2 x et ln(x) (la fonction x 2 x a une drive plus simple que la fonction x x). Pour cela, posons
pour x > 0, f(x) = 2 x ln(x). f est drivable sur ]0, +[ et, pour x > 0 donn :

x1
x1
1
1

=
f (x) = =
.
x
x
x
x( x + 1)
Pour x 1, on a f (x) 0. Par suite, f est croissante sur [1, +[ et pour x 1, f(x) f(1) = 2 > 0. On a montr que :

x [1, +[, ln(x) 2 x.


Mais alors, pour x 1,
0

ln(x)
2 x
2

= .
x
x
x

ln(x)
2
Quand x tend vers +, tend vers 0, et, daprs le thorme des gendarmes , limx +
= 0.
x
x
Ensuite, pour x > 0,

ln(1/x)
1
=
.
x ln(x) = x ln
x
1/x
1
Or, quand x tend vers 0 par valeurs suprieures, tend vers +, et ce qui prcde montre que lim+ x ln(x) = 0.
x
x 0
ln(1 + h)
1

La fonction ln est drivable en 1 et lim


= (ln) (1) = = 1.
h 0
h
1

Graphe de ln.
y = ln(x)

2
1

1
2

c Jean-Louis Rouget, 2009. Tous droits rservs.

36

http ://www.maths-france.fr

Citons encore :
Thorme 31. Soit u une fonction dfinie et drivable sur un intervalle I de R, valeurs dans R, ne sannulant pas
u
.
sur I. Alors, la fonction ln |u| (cest--dire la fonction x ln(|u(x)|)) est drivable sur I et, (ln |u|) =
u

Dmonstration . La fonction u est drivable et est donc continue sur I. Puisque de plus u ne sannule pas sur I, u garde un
signe constant sur I (par labsurde, si u changeait de signe, u devrait sannuler au moins une fois daprs le thorme des valeurs
intermdiaires). Donc, ou bien u est strictement positive sur I, ou bien u est strictement ngative sur I.
Si u est strictement positive sur I, le thorme de drivation des fonctions composes permet daffirmer que ln |u| = ln u est
u
.
drivable sur I et que (ln |u|) =
u
Si u est strictement ngative sur I, le thorme de drivation des fonctions composes permet daffirmer que ln |u| = ln (u)
u
u
=
.

est drivable sur I et que (ln |u|) =


u
u

Drive logarithmique.
La formule prcdente permet de driver facilement des expressions contenant de nombreux produits (quotients, exf
posants. . . ). En effet, partir de la formule (ln |f|)) = , on peut crire f = (ln |f|)) f, formule qui transforme
f
le problme du calcul de f en celui de (ln |f|)) . La nuance rside dans le fait que si f contient de nombreux produits,
ln transforme tous ces produits en sommes, ce qui facilite normment la drivation. Cest la notion de linarisation qui
refait surface sous une autre forme :
On prfre driver ou intgrer des sommes ou des diffrences que des produits ou des quotients.
Exercice 17. Calculer les drives de f : x

Solution.

Pour x R \ {1, 1}, |f(x)| > 0 et ln |f(x)| =

(x + 2)3
(x 1)2 (x + 1)4

1
(4 ln |x 1| + ln |x + 1|) :
3

f (x) = (ln |f|) (x) f(x) =


=

(x 1)4 (x + 1) et g : x

1
3

4
1
+
x1 x+1

(x 1)4/3 (x + 1)1/3

1
5x + 3
(4(x + 1) + (x 1))(x 1)1/3 (x + 1)2/3 =
3
3

x1
.
(x + 1)2

Sur x R \ {2, 1, 1}, |f| est drivable et strictement positive. Donc,


f (x) =

2
4
3

x+2 x1 x+1

(x + 2)3
(x 1)2 (x + 1)4

= (3(x 1)(x + 1) 2(x + 2)(x + 1) 4(x + 2)(x 1))

7.2.5

(3x2 10x + 1)(x + 2)2


(x + 2)2
=
.
(x 1)3 (x + 1)5
(x 1)3 (x + 1)5

Le nombre de Nper : e

La fonction logarithme nprien est une bijection de ]0, +[ sur R. Par suite, il existe un et un seul rel x tel que
ln(x) = 1. Ce nombre est not e. Cest lunique rel X tel que laire du domaine {(x, y) ]0, +[R/ 1 x X et 0
x
y x1 } soit gale 1 ou encore lunique solution relle de lquation 1 1t dt = 1.
3

aire = 1

2
1
y = 1/x
e
1
2
3
4
Nous dtaillerons dans le chapitre Approximations diffrents calculs de valeurs approches de e. On doit savoir que
e=2,718. . .

c Jean-Louis Rouget, 2009. Tous droits rservs.

37

.
http ://www.maths-france.fr

7.3
7.3.1

La fonction exponentielle
Exercice dintroduction

On connait les rgles de calculs sur les exposants entiers :


a ]0, +[, (n, m) Z2 , an .am = an+m .
On cherche prolonger ces rgles de calculs des exposants rels. Donc :
Exercice 18. Que dire de la valeur en 0 et de la drive de toutes les fonctions dfinies et drivables sur R
valeurs dans R transformant les sommes en produits ?
Solution. Soit f une fonction dfinie et drivable sur R vrifiant :
(x, y) R2 , f(x + y) = f(x)f(y).
En particulier, pour x = y = 0, on obtient f(0)2 = f(0) et donc f(0) {0, 1}.
1er cas. Si f(0) = 0, pour x R donn, f(x) = f(x + 0) = f(x)f(0) = 0. Donc, si f(0) = 0, f est ncessairement la
fonction nulle. Rciproquement, la fonction nulle convient clairement.
2me cas. Si f(0) = 1, soit (x, y) R R .
f(x)f(y) f(x)
f(y) 1
f(y) f(0)
f(x + y) f(x)
=
= f(x)
= f(x)
.
y
y
y
y0
Quand y tend vers 0 x fix, on obtient, en posant f (0) = k :
x R, f (x) = kf(x).

Ainsi, si f est une fonction, dfinie et drivable sur R, non nulle et transformant les sommes en produits, ncessairement
f(0) = 1 (cet exercice est donc une motivation possible de la convention a0 = 1) et il existe un rel k tel que f = kf. Nous
allons maintenant nous interesser plus particulirement au cas o k = 1.
7.3.2

Dfinition et proprits de la fonction exponentielle

On rsume en trois thormes les diffrentes proprits de la fonction exponentielle.


Thorme 32 (dfinition de lexponentielle de base e).
La fonction x ln(x) est une bijection de ]0, +[ sur R. Sa rciproque, note exp, est une bijection de R sur ]0, +[.
Ces deux bijections sont rciproques lune de lautre.

x R, exp(x) > 0.

x ]0, +[, exp(ln(x)) = x et x R, ln(exp(x)) = x.


(x, y) ]0, +[R, (ln(x) = y x = exp(y)).

exp(0) = 0 et exp(1) = e.

Ces proprits sont la traduction usuelle des liens existant entre une bijection et sa rciproque.
Thorme 33 (proprits algbriques de lexponentielle de base e).
(x, y) R2 , exp(x) exp(y) = exp(x + y)
(x, y) R2 , exp(x)/ exp(y) = exp(x y)

x R, 1/ exp(x) = exp(x)

(x, r) R Q, (exp(x))r = exp(rx)

Commentaire . Ainsi, la fonction exponentielle est un isomorphisme du groupe (R, +) sur le groupe (]0, +[, ).
Dmonstration . Tous ces rsultats se prouvent partir des proprits de la fonction logarithme nprien. Par exemple, les
deux nombres exp(x + y) et exp(x) exp(y) ont mme logarithme savoir x + y. Puisque la fonction logarithme est une bijection
de ]0, +[ sur R, on en dduit que ces deux nombres sont gaux.

c Jean-Louis Rouget, 2009. Tous droits rservs.

38

http ://www.maths-france.fr

Thorme 34 (proprits analytiques de lexponentielle de base e).


La fonction x exp(x) est drivable sur R et x R, (exp) (x) = exp(x).

La fonction x exp(x) est strictement croissante sur R.

lim exp(x) = + et lim exp(x) = 0

x +

lim

x +

exp(x)
= + et lim x exp(x) = 0.
x
x

Dmonstration .

Pour x ]0, +[, posons f(x) = ln(x). f est drivable sur ]0, +[ et pour x > 0, f (x) =

sannule pas sur ]0, +[, la fonction exp = f1 est drivable sur f(]0, +[) = R et pour tout rel x
exp (x) = (f1 ) (x) =

1
. Puisque f ne
x

1
1
=
= exp(x).
f (f1 (x))
1/exp(x)

Les proprits et viennent du fait que exp est la rciproque de ln. Enfin,
lim

x +

et

exp(x)
=
x

lim xexp(x) =

lim

X +

exp(ln X)
=
ln X

lim (X)exp(X) =

X +

Graphe de la fonction exponentielle.

lim

X +

X
= +,
ln X

lim

X +

X
= 0.
exp(X)

y = exp(x)

5
y=x
4
3
e
y = ln(x)

2
1

1
2

7.3.3

Changement de notation : ex

On a vu que pour tout rationnel r et tout rel x, (exp(x))r = exp(rx). En prenant x = 1, on obtient donc pour tout
rationnel r, exp(r) = er (en tenant compte de exp(1) = e). On peut montrer (et nous le ferons en analyse) quun rel x
tant donn, on peut trouver une suite de rationnels (rn ), convergeant vers x (ou encore, aussi prs quon le dsire dun
rel x, il y a au moins un nombre rationnel). Ceci nous invite poser pour assurer la continuit de la notation :
x R, exp(x) = ex .

c Jean-Louis Rouget, 2009. Tous droits rservs.

39

http ://www.maths-france.fr

7.4

Les fonctions logarithmes et exponentielles de base a

On se donne un rel strictement positif a, distinct de 1. Pour x rel strictement positif, on dfinit le logarithme en
base a de x par
x > 0, loga (x) =

ln(x)
ln(a)

Si a = 10, cest le cas particulier du logarithme dcimal, not log :


x > 0, log(x) =

ln(x)
ln(10)

avec ln(10) = 2, 3 . . . et si a = e, le logarithme de base a nest autre que le logarithme nprien.


Pour x > 0 et y rel, rsolvons alors lquation loga (x) = y :
loga (x) = y

ln(x)
= y ln(x) = y ln(a) x = ey ln(a) .
ln(a)

On peut alors dfinir lexponentielle de base a. Si a est un rel strictement positif (ici, on accepte donc le cas a = 1), on
pose
x R, ax = ex ln(a)

Quand a = 10, on obtient lexponentielle de base 10 : pour x rel, 10x = ex ln(10) . Quand a = e, il sagit de la fonction
exponentielle usuelle.
On a rsum en un seul thorme lensemble des proprits des logarithmes et exponentielles de base a, proposition
que nous fournissons sans dmonstration.
Thorme 35 (dfinition et proprits des logarithmes et exponentielles de base a).
Soit a ]0, 1[]1, +[.
ln(x)
x ]0, +[, loga (x) =
et x R, ax = ex ln(a) .
ln(a)
x loga (x) est une bijection de ]0, +[ sur R et x ax est une bijection de R sur ]0, +[. Ces deux bijections sont
rciproques lune de lautre.
x R, ax > 0.
x ]0, +[, aloga (x) = x et x R, loga (ax ) = x.
(x, y) ]0, +[R, (loga (x) = y x = ay ).

loga (1) = 0 et loga (a) = 1


(x, y) ]0, +[2 , loga (xy) = loga (x) + loga (y)
(x, y) ]0, +[2 , loga (x/y) = loga (x) loga (y)
x ]0, +[, loga (1/x) = loga (x)
(x, y) ]0, +[R, loga (xy ) = y loga (x)

c Jean-Louis Rouget, 2009. Tous droits rservs.

40

a0 = 1 et a1 = a
(x, y) R2 , ax ay = ax+y
(x, y) R2 , ax /ay = axy
x R, 1/ax = ax
(x, y) R2 , (ax )y = axy .

http ://www.maths-france.fr


x ax est drivable sur R et

x loga (x) est drivable sur ]0, +[ et


1
x ]0, +[, (loga ) (x) =
x ln(a)
si a > 1
x loga (x) est strictement croissante sur ]0, +[
lim loga (x) = + et lim loga (x) =
x +

x 0

x +

x 0

x R, (ax ) (x) = ln(a)ax

x ax est strictement croissante sur R


lim ax = + et lim ax = 0
x +

loga (x)
ax
lim
lim
= 0 et lim x loga (x) = 0
= + et lim xax = 0
x +
x + x
x
x 0
x
si 0 < a < 1
x loga est strictement dcroissante sur ]0, +[ x ax est strictement dcroissante sur R
lim loga (x) = et lim loga (x) = +
lim ax = 0 et lim ax = +
x +

loga (x)
lim
= 0 et lim x loga (x) = 0
x +
x 0
x

lim xa = + et lim

x +

ax
=0
x

Commentaire . Une des rgles ci-dessus affirme que ax = y x = loga (y). Ainsi, lquation 102x1 = 13 ne doit pas

se rsoudre sous la forme 102x1 = 13 e(2x1) ln(10) = 13 (2x 1) ln(10) = ln(13) . . ., mais directement sous la forme
102x1 = 13 2x 1 = log 10 (13) . . .

Graphes.

y = ax , a > 1

y = loga (x), a > 1

y = 1x , (a = 1)

y = a , 0 < a < 1

a
a

a 1

y = loga (x), 0 < a < 1

Exercice 19. Rsoudre dans R les quations 9x 2x+ 2 = 2x+ 2 32x1 et 24 cos

x+1

+ 16 24 sin

x3

= 20.

Solution. 1) Soit x R.
1

9x 2x+ 2 = 2x+ 2 32x1 32x + 32x1 = 2x+ 2 + 2x+ 2 32x1 (3 + 1) = 2x+ 2 (1 + 23 ) 32x3 = 2x 2
3
3 ln 3 ln 2
3
3
2
ln 2 x =
x= .
(2x 3) ln 3 = x
2
2 ln 3 ln 2
2

2) Soit x R.
2

24 cos

x+1

+ 16 24 sin
2

(24 cos

x+1 2

4 cos2 x+1

24 cos

x3

) 20(24 cos

x+1

x+1

+ 16 214 cos

) + 64 = 0 (car 24 cos
2

solution de lquation X 20X + 64 = 0


2

= 4 = 22 ou 24 cos

= 20 24 cos

x+1

x+1

20 + 16 22 2(1+4 cos

x)

=0

= 0)

= 16 = 24 4 cos2 x + 1 = 2 ou 4 cos2 x + 1 = 4

1
3
3
1
2
2
cos x = ou cos x = cos x ,
4
4
2
2
x

x+1

= 20 24 cos

x+1

+ Z
+ Z
6
3

c Jean-Louis Rouget, 2009. Tous droits rservs.

2
+ Z
3

5
+ Z
6

41

http ://www.maths-france.fr

Exercice 20. Trouver la plus grande valeur de

n, n N .

ln(x)
n
n = n1/n = eln(n)/n . Pour x rel suprieur ou gal 1, posons alors f(x) =
.
x
f est drivable sur [1, +[ et pour x 1,
Solution. Pour n N ,

f (x) =

1 ln(x)
.
x2

Sur [1, +[, f (x) est du signe de 1 ln(x) et donc f croit sur [1, e] puis dcroit. En particulier, pour n entier suprieur
ou gal e = 2, 71..., on a f(n) f(3) et donc, par croissance de la fonction exponentielle sur R,

n
n = ef(n) ef(3) = 3 3 = 1, 44 . . ..

Comme dautre part, 1 1 = 1 et 2 = 1, 41 . . ., pour tout entier naturel non nul, on a : n n 3 3. 3 3 = 1, 44 . . .


est la valeur cherche.

Exercice 21. Trouver tous les couples (a, b) dentiers naturels suprieurs ou gaux 2 et a < b tels que ab = ba .
Solution. Soient a et b deux entiers naturels suprieurs ou gaux 2 tels que a < b.
ab = ba b ln(a) = a ln(b)

ln(b)
ln(a)
=
f(a) = f(b)
a
b

o f est la fonction tudie dans lexercice prcdent. f est strictement dcroissante sur [e, +[. Par suite, si a et b
sont tous deux dans [e, +[ ou encore dans [3, +[, f(a) = f(b) et le couple (a, b) nest pas solution. Ceci impose
donc a = 2 et b 3. Maintenant, f tant strictement dcroissante sur [3, +[, lquation f(b) = f(2) ou encore
lquation 2b = b2 a au plus une solution dans cet intervalle. Cherchons cette ventuelle solution. 23 = 8 = 9 = 32 ,
puis 24 = 16 = 42 . Donc, b = 2.
Il existe un et un seul couple solution, le couple (2, 4).

Fonctions du type u(x)v(x) .


En Maths Sup, on aura frquemment tudier des fonctions de la forme f : x u(x)v(x) . Cette expression est coup
sr dfinie quand (u(x) et v(x) existent et) u(x) > 0. Pour de tels x, on a alors
u(x)v(x) = ev(x) ln(u(x))

Si de plus les fonctions u et v sont drivables sur un intervalle I (et u est strictement positive sur I), alors f est drivable
sur I et
f = ((ln |f|) .f = (v ln u) uv =

v ln u +

vu
u

uv (drive logarithmique).

Thorme 36. Soient u et v deux fonctions drivables sur un intervalle I valeurs dans R, u tant strictement positive
v u ln u + u v v
u .
sur I. Alors la fonction uv est drivable sur I et (uv ) =
u
Commentaire . Il serait bien sr absurde de vouloir mmoriser la formule prcdente, mais on doit par contre absolument
noter quen drivant uv , on retrouve uv dans le rsultat final. Dautre part, il est tout fait possible que lexpression u(x)v(x) ait
un sens pour certains x tels que u(x) 0. Par exemple, quand x = 1, xx = (1)1 = 1. Dans la pratique, on ne se proccupe
pas de ces x anecdotiques, mais on en tient compte dans la rdaction du domaine de dfinition : on ne cherche pas, contrairement
dhabitude, le domaine tout entier laide dquivalences, mais simplement une partie du domaine laide dimplications (si
x. . . alors. . . , ou bien x Df . . .). Il est possible quun nonc nous dgage de ce genre de problmes en imposant un domaine
dtude.

Exercice 22. Etudier la fonction f : x xx .

Solution.
Soit x R. f(x) = xx existe si x > 0 et dans ce cas, f(x) = ex ln(x) . f est drivable sur ]0, +[ et pour x > 0,
1
f (x) = (ln(x) + x )xx = (ln(x) + 1)xx .
x
c Jean-Louis Rouget, 2009. Tous droits rservs.

42

http ://www.maths-france.fr

Puisque xx > 0, f (x) est, sur ]0, +[, du signe de ln(x) + 1. Par suite, f est strictement ngative sur 0,

1
e

1
1
et strictement croissante sur
, + . f est donc strictement dcroissante sur 0,
e
e
1
1
, + . f admet un minimum en gal (1/e)1/e = 0, 69 . . .
e
e
Quand x tend vers 0, x ln(x) tend vers 0 et donc, f(x) tend vers e0 = 1.
Quand x tend vers +, x ln(x) tend vers + et donc f(x) tend vers +.
et strictement positive sur

y = xx
3
2
1
e1/e
1
e

Fonctions puissances

Pour x > 0 rel strictement positif et R, on a x = e ln(x) . La fonction x x est une fonction puissance.
Quand est un rel quelconque, on la dfinit partir de la fonction exponentielle. Vous devez nanmoins la diffrencier
dune fonction exponentielle par le fait que lexposant ne varie pas.
Quand est rationnel, lcrire comme une exponentielle est souvent trs maladroit voire absurde : x2 est une expression
simple dfinie sur R, alors que e2 ln(x) est une expression complique dfinie uniquement sur ]0, +[.
Comme cela a t tabli dans le paragraphe prcdent, lexpression x obit aux rgles usuelles de calculs sur les
exposants. Pour x et et rels donns :
Pour x et y rels strictement positifs et et rels donns :
x0 = 1, 1 = 1

+
x x =x
, x /x = x , 1/x = x

(x ) = x et x y = (xy) .
Thorme 37 (drive dune fonction puissance). Soit R. La fonction f : x x est drivable sur ]0, +[
et, pour x > 0, f (x) = x1 .
Dmonstration .

La drivabilit est claire. Une drive logarithmique fournit f (x) = ( ln) (x)x =


x = x1 .
x

On vrifie aisment les rsultats suivants :


Le cas o = 0 est simple : f0 est la fonction constante x 1.
Le cas o = 1 est galement simple : x > 0, f1 (x) = x.

f est strictement dcroissante sur ]0, +[ si < 0, strictement croissante sur ]0, +[ si > 0.

lim x est + si > 0 et 0 si > 0. Dans ce deuxime cas, on peut prolonger f par continuit en 0 en posant de
x 0
x>0

plus f (0) = 0 ou encore 0 = 0.


Si ]0, 1[, f (prolonge) nest pas drivable en 0, mais son graphe admet au point (0, 0) laxe (0y) pour demi-tangente.
Si ]1, +[, f (prolonge) est drivable en 0, et son graphe admet au point (0, 0) laxe (0x) pour demi-tangente.

lim x est 0 si < 0 et + si > 0.

x +

c Jean-Louis Rouget, 2009. Tous droits rservs.

43

http ://www.maths-france.fr

x
= 0 et le graphe de f admet en + une branche parabolique de direction (Ox).
x + x

x
Si ]1, +[, lim
= + et le graphe de f admet en + une branche parabolique de direction (Oy).
x + x
Si ]0, 1[, lim

Graphe des fonctions puissances.


>1
=1

0<<1
=0

<0
1

Les thormes de croissances compares

Thorme 38 (thormes de croissances compares).


a > 1, > 0, R,
a > 1, R,

lim

x +

lim

x +
x

log
a (x)
= 0 et a > 1, > 0, R,
x

a
= + et a > 1, R,
x

lim x | loga (x)| = 0.

x +

lim |x| ax = 0.

Dmonstration .
Soient a > 1, > 0 et R. Le rsultat est clair si 0. Si > 0, on se ramne
log
a (x)
=
x

loga (x)
x/

ln(a)

ln(x/ )
x/

lim

X +

ln(X)
de la faon suivante :
X

ln(x/ )
Puisque / > 0, x/ tend vers + quand x tend vers +, et donc,
tend vers 0. Il en est de mme de
x/

/
ln(x
)

puisque > 0.
ln(a)
x/
1
| loga (1/X)|
| loga (X)|
Ensuite, quand x tend vers 0 par valeurs suprieures, X = tend vers +, et donc x | log a (x)| =
=
x
X
X
tend vers 0 quand x tend vers 0.
Soient a > 1 et R. Pour x > 0,
x

a
ln(x)
ln
=
x
ln(a)

ln(x)
=
x
ln(a)
1

.
x
ln(a) x

ax
ax
tend aussi vers + quand x
Cette dernire expression tend vers + quand x tend vers + et donc, = exp ln
x
x
tend vers +. La dernire limite studie de manire similaire.

Commentaire .

ln10
(1, 01)x
x
2 (x)

= 0, lim x ln(x) = 0, lim x10 ex = 0 ou encore lim


= +, lim
= +.
3
x +
x

0
ln(x)
x10000
x
100
Ce dernier rsultat, pourtant tout fait exact, peut surprendre car par exemple, pour x = 100, (1, 01)
= 2, 7 . . . alors que 10010000
est le nombre 1 0 . . . 0, mais 100 nest pas + !
Ainsi, par exemple,

lim

x +

20000

Dans la dmonstration prcdente, nous avons tabli que

lim ln

x +

ax
= +, et nous avons voulu en dduire que lim
=
x + x
x
x
a
a
en fonction de la donne (ln
en crivant =
x
x

ax
x

ax
+. Pour cela, nous avons exprim explicitement le but
x
x
a
. Vous devez systmatiquement avoir ce genre de dmarche dont la porte est gnrale.
exp ln
x
c Jean-Louis Rouget, 2009. Tous droits rservs.

44

http ://www.maths-france.fr

On a lhabitude de dire que les exponentielles lemportent sur les puissances (en + ou ). Il faut donner un sens prcis
cette phrase qui ne doit pas tre transforme en une exponentielle de nimporte quoi lemporte devant nimporte quoi dautre .
Par exemple, lexpression eln(x) nest pas du tout prpondrante devant x en +.

10

Trigonomtrie hyperbolique

10.1

Les fonctions hyperboliques

10.1.1

Exercice dintroduction

Exercice 23. Soit f une fonction dfinie sur R (ou plus gnralement sur un domaine D de R, symtrique par
rapport 0) valeurs dans R ou C.
Montrer quil existe un et un seul couple (g, h) de fonctions dfinies sur R tel que :
1) g est paire, 2) h est impaire, 3) f = g + h.
Solution.
Unicit. Soit f une fonction dfinie sur R. Si les fonctions g et h existent, on a ncessairement
x R,

f(x) = g(x) + h(x)


f(x) = g(x) + h(x)

ou encore x R,

f(x) = g(x) + h(x)


,
f(x) = g(x) h(x)

et donc, en additionnant et retranchant membre membre ces deux galits, on a ncessairement


x R, g(x) =

1
1
(f(x) + f(x)) et h(x) = (f(x) f(x)).
2
2

Ceci montre lunicit du couple (g, h).


Existence. Soit f une fonction dfinie sur R. Posons
x R, g(x) =

1
1
(f(x) + f(x)) et h(x) = (f(x) f(x)).
2
2

1
Pour tout rel x, g(x) + h(x) = (f(x) + f(x) + f(x) f(x)) = f(x), et donc f = g + h.
2
1
Pour tout rel x, g(x) = (f(x) + f(x)) = g(x), et g est paire.
2
1
Pour tout rel x, h(x) = (f(x) f(x)) = h(x), et h est impaire.
2
Donc, g et h ainsi dfinies conviennent.
On a montr que
Pour toute fonction f de R dans R (resp. C), il existe un et un seul couple (g, h) de fonctions de R
dans R (resp. C), tel que g est paire, h est impaire et f = g + h.

Commentaire .

La dmarche qui consiste montrer dabord lunicit puis vrifier ensuite lexistence peut surprendre.
Comment montrer lunicit dun objet si on ne sait mme pas que cet objet existe ? Cette dmarche se motive de la faon suivante :
Quand on dmontre lunicit dabord, on cherche au passage lexpression de g et de h avec un raisonnement du type, si g et h
existent,..., ncessairement, g et h ne peuvent tre que les fonctions... . On limine ainsi presque tous les couples (g, h) sauf un.
Il serait donc peu logique, avec cet ordre l, de dmontrer lunicit en crivant Soient (g1 , h1 ) et (g2 , h2 ) deux couples solutions.
Vrifions que g1 = g2 et h1 = h2 ...
On peut alors vrifier que le seul couple (g, h) encore candidat est effectivement solution du problme et on a ainsi dmontr
lexistence du couple (g, h).

c Jean-Louis Rouget, 2009. Tous droits rservs.

45

http ://www.maths-france.fr

Dfinition 6. Soit f une fonction dfinie R (respectivement sur un domaine D de R, symtrique par rapport 0) valeurs
dans R ou C. Soient g et h les fonctions dfinies sur R (respectivement sur D) par :
x R, g(x) =

1
1
(f(x) + f(x)) et h(x) = (f(x) f(x)).
2
2

g sappelle la partie paire de f et est note P(f) et h sappelle la partie impaire de f et est note I(f).
Exemples.
Si, pour tout rel x, f(x) = 2x7 x5 + x4 + x + 1, P(f)(x) = x4 + 1 et I(f)(x) = 2x7 x5 + x. De manire gnrale, si P
est un polynme non nul, sa partie paire (resp. impaire) est la somme des monmes dexposants pairs (resp. impairs).
x3 x2 + 1
Si, pour tout rel non nul x, f(x) = 3
,
x + x2 + x
P(f)(x) =
=

1
2

x3 x2 + 1 x3 x2 + 1
+
x3 + x2 + x x3 + x2 x

1 (x3 x2 + 1)(x2 x + 1) + (x3 + x2 1)(x2 + x + 1)


2
x(x2 + x + 1)(x2 x + 1)

x4 + 2x2 1
x5 + 2x3 x
=
.
x(x2 + x + 1)(x2 x + 1)
x4 + x2 + 1

1
Si, pour tout rel x, f(x) = eix , alors, P(f)(x) = cos x et I(f)(x) = i sin x alors que Re(f)(x) = (f(x) + f(x)) =
2
1
1 ix
1
(e + eix ) = cos x et Im(f)(x) = (f(x) f(x)) = (eix eix ) = sin x.
2
2i
2i
10.1.2

Dfinition des fonctions sinus hyperbolique et cosinus hyperbolique

Dfinition 7.La fonction cosinus hyperbolique, note ch est la partie paire de la fonction exponentielle et la fonction
sinus hyperbolique, note sh, est la partie impaire de la fonction exponentielle.
x R, ch x =
10.1.3

1
1 x
(e + ex ) et sh x = (ex ex ).
2
2

Etude conjointe de ch et sh

Par dfinition de ch et sh,


Thorme 39 (parit). ch est paire et sh est impaire.
sh tant impaire, on a en particulier sh(0) = 0. Par calcul, on a aussi ch(0) = 1. Ensuite,
Thorme 40 (drives).
ch et sh sont drivables sur R. De plus,
x R, ch (x) = sh(x) et sh (x) = ch(x).
En particulier, lim

x 0

ch(x) 1
sh(x)
= 1 et lim
= 0.
x 0
x
x

Le calcul des drives est immdiat. Mais alors, puisque la fonction sh est drivable en 0, quand x tend vers
sh(x)
ch(x) ch(0)
ch(x) 1
=
tend vers (sh) (0) = ch(0) = 1. De mme, quand x tend vers 0, le taux
=
0, le taux
x
x0
x
tend vers (ch) (0) = sh(0) = 0.

Dmonstration .
sh(x)sh(0)
x0

Gomtriquement, le graphe de sh admet au point dabscisse 0 une tangente dquation y = x et le graphe de ch admet
au point dabscisse 0 une tangente parallle (Ox).
1
Maintenant, pour tout rel x, ch x = (ex + ex ) > 0. Donc sh est strictement croissante sur R. Mais alors, pour x > 0,
2
sh x > sh 0 = 0. ch est donc strictement croissante sur [0, +[ et, par parit, strictement dcroissante sur ] , 0]. Le
thorme suivant est immdiat.
Thorme 41.

lim ch x = +, lim sh x = +, lim ch x = +, lim sh x = .

x +

x +

c Jean-Louis Rouget, 2009. Tous droits rservs.

46

http ://www.maths-france.fr

1
Position relative. Pour tout rel x, ch(x) sh(x) = (ex + ex ex + ex ) = ex > 0. Donc la courbe reprsentative
2
de ch est strictement au-dessus de la courbe reprsentative de sh.
Comportement asymptotique. Tout dabord, lim (ch(x) sh(x)) = 0. Par suite, les courbes reprsentatives de ch et
x +

sh sont asymptotes lune lautre en +. De plus, pour x ]0, +[,

ch(x)
1
=
x
2

ch(x)
ex ex
, et donc, lim
+
= +.
x
+
x
x
x

sh(x)
= +.
x +
x
Thorme 42 (croissances compares).
De mme, lim

lim

x +

ch(x)
sh(x)
= + et lim
= +
x
+
x
x

On en dduit que les graphes des fonctions ch et sh admettent en + des branches paraboliques de direction (Oy).
Graphes.
y = ch(x)
3
y = sh(x)
2
1

1
2

Nous montrerons que le graphe de la fonction cosinus hyperbolique est la courbe que dessine une chanette suspendue
deux clous. Pour cette raison, le graphe de ch est souvent appel la chanette, les lettres c et h ayant alors le bon got
dtre les initiales des mots cosinus et hyperbolique, mais aussi les deux premires lettres du mot chanette. Le graphe de
la fonction cosinus hyperbolique est encore la courbe que dessine le fil du tlphone netre deux poteaux ou le cable dun
tlphrique ....
10.1.4

Formulaire de trigonomtrie hyperbolique

A priori, la seule formule de trigonomtrie connatre dans le programme officiel de Maths Sup est
Thorme 43. Pour tout rel x, ch2 (x) sh2 (x) = 1.
Dmonstration .

Soit x un rel. ch2 (x) sh2 (x) = (ch(x) sh(x))(ch(x) + sh(x)) = ex ex = 1.

Ainsi, comme en trigonomtrie circulaire, connaissant sh(x), on peut fournir ch(x) (ch(x) =

sh2 (x) + 1) et connassant

ch(x), on peut fournir sh(x) (sh(x) = sgn(x) ch2 (x) 1). Par exemple, si on sait que sh(x) vaut 1, alors ch(x) vaut

12 + 1 = 2.
Dans la preuve ci-dessus, nous avons utilis au passage des formules immdiates qui doivent tre connues (on rappelle
en parallle les dfinitions de ch(x) et sh(x)).
Pour tout rel x, on a
1 x
1
ch(x) = (e + ex ) sh(x) = (ex ex )
2
2
ch(x) + sh(x) = ex
ch(x) sh(x) = ex .

c Jean-Louis Rouget, 2009. Tous droits rservs.

47

http ://www.maths-france.fr

Le thorme 43 permet de comprendre le mot hyperbolique. La trigonomtrie circulaire permet de paramtrer les
cercles et plus gnralement les ellipses qui ne sont que des cercles dforms. Le cercle dquation x2 + y2 = 1 (dans
un certain repre orthonorm) est lensemble des points (cos(), sin()) o dcrit R. Dans le chapitre Coniques ,
on verra plus gnralement quune ellipse tant donne, il existe un repre orthonorm dans lequel cette ellpise a pour
x2 y2
quation 2 + 2 = 1 o a et b sont des rels strictement positifs donns, puis que cette ellipse est lensemble des points
a
b
(a cos(), b sin()) o dcrit R. On verra de mme quune hyperbole tant donne, il existe un repre orthonorm dans
x2 y2
lequel cette hyperbole a pour quation 2 2 = 1, puis quune des deux branches de cette hyperbole est lensemble des
a
b
(a ch())2
(b sh())2
(a ch(), b sh()) o dcrit R (entre autre car

= ch2 () sh2 () = 1).


a2
b2
Si une seule formule est connatre, on doit nanmoins savoir que lon peut construire tout un formulaire de trigonomtrie
hyperbolique ressemblant trangement un formulaire usuel de trigonomtrie circulaire. Nous en tablirons certaines
travers un exercice.
Exercice 24. Etablir les formules daddition et de duplication pour les fonctions ch et sh.
Solution. Soient a et b deux rels.
ch(a) ch(b) =

1 a
1
1
(e + ea )(eb + eb ) = (ea+b + e(a+b) + eab + e(ab) ) = (ch(a + b) + ch(a b))
4
4
2

et de mme
sh(a) sh(b) =

1 a+b
1
(e
+ e(a+b) eab e(ab) ) = (ch(a + b) ch(a b)).
4
2

En additionnant ces deux galits et en retranchant ces deux galits, on obtient


ch(a) ch(b) + sh(a) sh(b) = ch(a + b) et ch(a) ch(b) sh(a) sh(b) = ch(a b).
De mme,
sh(a) ch(b) =

1 a
1
1
(e ea )(eb + eb ) = (ea+b e(a+b) + eab + e(ab) ) = (sh(a + b) + sh(a b))
4
4
2

et (en changeant les rles de a et b)


sh(b) ch(a) =

1
(sh(a + b) sh(a b))
2

(sh(a + b) = sh(a b) puisque sh est impaire). Par suite,


sh(a) ch(b) + sh(b) ch(a) = sh(a + b) et sh(a) ch(b) sh(b) ch(a) = sh(a b).
Pour tout couple (a, b) de rels, on a
ch(a + b) = ch(a) ch(b) + sh(a) sh(b), ch(a b) = ch(a) ch(b) sh(a) sh(b),
sh(a + b) = sh(a) ch(b) + sh(b) ch(a), sh(a b) = sh(a) ch(b) sh(b) ch(a).
En galant b a dans les formules prcdentes, on obtient
Pour tout rel a, on a
ch(2a) = ch (a) + sh2 (a) et sh(2a) = 2 sh(a) ch(a).
2

De manire gnrale, toute formule de trigonomtrie circulaire a son quivalent en trigonomtrie hyperbolique, soit
telle quelle ((sin) = cos et (sh) = ch, sin(2a) = 2 sin(a) cos(a) et sh(2a) = 2 sh(a) ch(a). . . ), soit en changeant un
signe ((cos) = sin et (ch) = sh, cos2 (x) + sin2 (x) = 1 et ch2 (x) sh2 (x) = 1, cos(2a) = cos2 (a) sin2 (a) et
ch(2a) = ch2 (a) + sh2 (a). . . ).

c Jean-Louis Rouget, 2009. Tous droits rservs.

48

http ://www.maths-france.fr

100

Exercice 25. Rsoudre dans R lquation

sh(2 + kx) = 0 ().


k=1

Solution. 0 nest pas solution de lquation propose. Pour x = 0,


100

k=1

1
sh(2 + kx) =
2
1
=
2
=

100

100
2+kx

e
k=1
2+x

e2kx

k=1

10.1.5

e2+x

100x
e100x 1
2x 1 e

e
ex 1
1 ex

(e100x 1) e2x e100x (e100x 1)

ex 1
ex (ex 1)

e2+x (e100x 1) e100x2 (e100x 1)


2(ex 1)

e100x2 (e100x 1)(e101x+4 1)


(e100x 1)(e2+x e100x2 )
=
2(ex 1)
2(ex 1)

Ainsi, x est solution de () si et seulement si x = 0 et


ou enfin x =

1
2

e101x2 (e100x 1)(e101x+4 1)


= 0, ou encore e101x+4 1 = 0,
2(ex 1)

4
.
101

La fonction tangente hyperbolique

1 x
(e + ex ) > 0. En particulier, la fonction ch ne sannule pas sur R. On peut donc poser
2
Dfinition 7. Pour tout rel x, la tangente hyperbolique du rel x, note th(x), est le rapport de son cosinus hyperbolique sur son sinus hyperbolique.
Pour tout rel x, ch(x) =

x R, th(x) =

sh(x)
ch(x)

En explicitant ch(x) et sh(x), on obtient diffrentes expressions de th(x).


Thorme 43. Pour tout rel x, th(x) =

ex ex
e2x 1
1 e2x
=
.
=
ex + ex
e2x + 1
1 + e2x

Dmonstration .
La deuxime expression est obtenue en mettant ex en facteur au numrateur et au dnominateur et la
x
troisime en mettant e en facteur au numrateur et au dnominateur (de la fraction initiale).

Thorme 44.
1
.
ch (x)
Pour tout rel x, th(x) ] 1, 1[.
Pour tout rel x, 1 th2 (x) =

Dmonstration .
Soit x un rel. 1 th2 (x) = 1

sh2 (x)
ch2 (x) sh2 (x)
1
=
= 2
.
ch2 (x)
ch2 (x)
ch (x)

1
Soit x un rel. 1 th2 (x) = 2
> 0 permet dcrire th2 (x) < 1. Par stricte croissance de la fonction X X sur [0, +[,
ch (x)
q

2
on a alors th (x) < 1 ou encore | th(x)| < 1 ou enfin 1 < th(x) < 1.

Thorme 45. La fonction th est drivable sur R et,


x R, (th) (x) = 1 th2 (x) =

1
ch (x)
2

Dmonstration .
Puisque la fonction ch ne sannule pas sur R, la fonction th est drivable sur R en tant que quotient de
fonctions drivables sur R dont le dnominateur ne sannule pas sur R, et pour x rel,

c Jean-Louis Rouget, 2009. Tous droits rservs.

49

http ://www.maths-france.fr

th (x) =

ch2 (x) sh2 (x)


1
(sh) (x) ch(x) sh(x)(ch) (x)
=
= 1 th2 (x) = 2
.
2
ch (x)
ch2 (x)
ch (x)

Ensuite, puisque la fonction sh est impaire et la fonction ch est paire,


Thorme 46. La fonction th est impaire. En particulier, th(0) = 0.
Les thormes 44 et 45 montrent que la fonction th est strictement croissante sur R. Pour achever ltude de la fonction
1 e2x
th et en tracer le graphe, il reste dterminer lim th(x). Or, pour x rel, th(x) =
. Comme e2x tend vers 0
x +
1 + e2x
quand x tend vers +, on en dduit que lim th(x) = 1. La fonction th tant impaire, on a aussi lim th(x) = 1.
x +

lim th(x) = 1 et lim th(x) = 1.

x +

th(x)
= 1.
x 0
x

Thorme 47. lim


Dmonstration .

La fonction th est drivable en 0. Donc, quand x tend vers 0, le taux

(th) (0) = 1 th2 (0) = 1.

th(x) th(0)
th(x)
=
tend vers
x0
x

On en dduit que le graphe de th admet au point dabscisse 0 une tangente dquation y = x. On peut maintenant
tracer le graphe de th. On prendra garde au fait que, si le graphe de tan est vertical , le graphe de th est horizontal .
Graphe.
1

y = th(x)
1

Exercice 26.
1) Montrer que pour tout rel x, on a th(2x) =
2
1

= th(x).
th(2x) th(x)

2 th(x)
, et en dduire que pour tout rel x non nul,
1 + th2 (x)
n

2k th(2k a).

2) a tant un rel strictement positif et n un entier naturel, calculer


k=0

Solution. 1) Soit x un rel. Puisque ch(x) nest pas nul, et daprs lexercice no 24, page 48, on a
th(2x) =

ch2 (x) 2 sh(x)/ ch(x)


2 th(x)
sh(2x)
2 sh(x) ch(x)
=
=
= 2
2
2
2
2
ch(2x)
ch (x) + sh (x)
ch (x) 1 + sh (x)/ ch (x)
1 + th2 (x)

2 th(x)
(si on ne veut pas faire appel lexercice no 48, le plus simple est de passer en ex ).
1 + th2 (x)
1 + th2 (x)
1
2
=
=
+ th(x) et donc,
Maintenant, th ne sannulant quen 0, pour x non nul, on a
th(2x)
th(x)
th(x)
1
2

= th(x).
th(2x) th(x)
2) Soient a un rel strictement positif et n un entier naturel. Pour tout entier naturel k, le rel x = 2k a nest pas nul
2
2k+1
1
2k
et daprs 1), 2k th(2k a) = 2k
=

. En sommant ces galits pour


k
k
k+1
th(2 2 a) th(2 a)
th(2
a) th(2k a)
k variant de 0 n, on obtient par tlescopage
et donc, th(2x) =

2k th(2k a) =
k=0

k=0

c Jean-Louis Rouget, 2009. Tous droits rservs.

2k
2k+1

th(2k+1 a) th(2k a)

50

2n+1
1

.
n+1
th(2
a) th(a)

http ://www.maths-france.fr

10.2

Les fonctions hyperboliques rciproques

10.2.1

La fonction argument sinus hyperbolique

Soit y un rel donn. Rsolvons dans R lquation sh(x) = y. Pour x rel,


1 x
(e ex ) = y ex 2y ex = 0 (ex )2 2y(ex ) 1 = 0 (),
2
(en multipliant les deux membres par le rel non nul ex ).
sh(x) = y

Le discriminant rduit de lquation X2 2yX 1 = 0 vaut = y2 + 1 > 0. Cette quation admet les deux solutions
X1 = y + y2 + 1 et X2 = y y2 + 1. Maintenant, y2 + 1 > y2 = |y|. En se rappelant que |y| est, parmi les deux
nombres y et y, celui qui est le plus grand, on obtient y2 + 1 > y ce qui fournit X1 > 0 et y2 + 1 > y ce qui
fournit X2 < 0. Revenons alors lquation ().
x solution de () ex = X1 ou ex = X2 ex = X1 x = ln(X1 ) = ln y +

y2 + 1 .

On vient de montrer que pour tout rel y, il existe un et un seul rel x tel
que sh(x) = y, savoir x = ln(y + y2 + 1).
Ainsi, par exemple, le rel x dont le sinus hyperbolique vaut 1 est ln(1 + 2). Ce calcul et les rsultats usuels sur la
rciproque dune bijection permettent dnoncer la proposition suivante qui, au passage, dfinit la fonction argument
sinus hyperbolique .
Thorme 48 (dfinition et proprits de largument sinus hyperbolique).
La fonction sh est une bijection de R sur R.
La rciproque de sh, appele argument sinus hyperbolique et note argsh, est une bijection de R sur R.
Pour tout rel x, on a argsh(sh(x)) = x et sh(argsh(x)) = x.
Pour tout couple de rels (x, y), on a sh(x) = y x = argsh(y).

x2 + 1).

Pour tout rel x, on a argsh(x) = ln(x +

Les calculs qui prcdent cette proposition doivent tre connus et matriss. Nanmoins, on peut refaire le mme
travail de manire nettement plus lgante. Tout dabord, puisque sh est continue et strictement croissante sur R et que
lim sh(x) = et lim sh(x) = +, sh est une bijection de R sur R. Ceci assure, avant tout calcul, le fait que
x

x +

lquation () a une et une seule solution. On trouve alors lexpression de la rciproque argsh par le calcul suivant valable
pour tout rel x (on rappelle que pour tout rel X, ch(X) + sh(X) = eX et que ch(X) =

argsh(x) = ln(eargsh(x) ) = ln(sh(argsh(x)) + ch(argsh(x))) = ln x +

sh2 (X) + 1) :

sh2 (argsh(x)) + 1

= ln x +

x2 + 1 .

Thorme 49 (parit de argsh). La fonction argsh est impaire.


Dmonstration .

Soit x un rel. Posons y = argsh(x) de sorte que x = sh(y). Alors, sh tant une fonction impaire,
argsh(x) = argsh( sh(y)) = argsh(sh(y)) = y = argsh(x).

On peut aussi
que ( x2 + 1 + x)( x2 + 1 x) = (x2 + 1) x2 = 1 et donc que
constater directement

argsh(x) = ln(x + x2 + 1) = ln
= ln(x + x2 + 1) = argsh(x). Nanmoins, il est plus naturel de dduire
x + x2 + 1
limparit de argsh de celle de sh, sa rciproque.

Commentaire .

Thorme 50 (drive de argsh). La fonction argsh est drivable sur R et, pour tout rel x, (argsh) (x) =

1
x2

+1

Dmonstration .
La fonction x x2 + 1 est drivable sur R, valeurs dans ]0, +[ et la fonction y y est drivable

2
sur ]0, +[. On en dduit que la fonction x x2 + 1 est drivable sur R. Il en est de mme de la fonction
x x + x + 1. De
plus, cette fonction est valeurs dans ]0, +[ (voir plus haut). On en dduit que la fonction x ln(x + x2 + 1) = argsh(x) est
drivable sur R. De plus, pour x rel,

1
1
x + x2 + 1
1
1

(argsh) (x) = 1 + 2x
=
=
.
x2 + 1 x + x2 + 1
x2 + 1
2 x2 + 1 x + x2 + 1

c Jean-Louis Rouget, 2009. Tous droits rservs.

51

http ://www.maths-france.fr

Commentaire .

Ltude de argsh semble diffrente de celle de arcsin. La nuance vient du fait que argsh nest pas une
vraie nouvelle fonction, mais une compose de fonctions usuelles dj connues. On a donc pu la driver directement. Mais
1
1
=
=
on aurait aussi pu driver argsh comme rciproque de sh, ce qui donnerait : (argsh) (x) =
(sh) (argsh(x))
ch(argsh(x))
1
1
q
.
=
2 +1
2
x
sh (argsh(x)) + 1

La fonction argsh est donc strictement croissante sur R (mais nous le savions lavance, argsh tant rciproque dune
bijection strictement croissante). Pour terminer ltude de argsh et en construire le graphe, il nous manque ltude en +
et , et une prcision sur la tangente au point dabscisse 0. Immdiatement, limx + argsh(x) = +. Pour la limite
en , argsh tant impaire, on a
lim argsh(x) = lim argsh(X) = lim argsh(X) = .

X +

X +

Il aurait t beaucoup plus maladroit de calculer directement cette limite. Nanmoins, il est intressant
de voir comment
on lve lindtermination grce lutilisation dune quantit conjugue. Pour tout rel x, puisque x2 + 1 x = 0, on a
2

x2 + 1 + x
x2 + 1 x
x2 + 1 x2
1

x2 + 1 + x =
=
=
.
x2 + 1 x
x2 + 1 x
x2 + 1 x

1
Quand x tend vers , x2 + 1 x tend vers + puis x2 + 1 + x =
tend vers 0, et enfin argsh(x) =
2
x +1x

ln( x2 + 1 + x) tend vers .

Comparonsmaintenant les croissances des fonctions x argsh(x) et x x quand x tend vers +. Pour x > 0 (pour
pouvoir crire x2 = x le moment venu), on a
argsh(x)
1
= ln x +
x
x

x2 + 1 =

1
ln x 1 +
x

1+

1
x2

ln(x) 1
+ ln 1 +
x
x

1+

1
x2

Cette dernire exepression tend vers 0 quand x tend vers +.


Thorme 51 (comportement de argsh en linfini).
lim argsh(x) = +.
x +

lim

x +

argsh(x)
= 0. Par suite, le graphe de argsh admet en + une branche parabolique de direction (Ox).
x

Enfin, comme cela a t constat de nombreuses fois maintenant, le taux

(argsh) (0) = 1 + 02 = 1 quand x tend vers 0.

argsh(x) argsh(0)
argsh(x)
=
tend vers
x
x0

Thorme 52.
argsh(x)
lim
= 1.
x 0
x
La courbe de argsh admet la droite dquation y = x pour tangente au point dabscisse 0.
Graphe.
3

y=x

y = sh(x)

y = argsh(x)

2
1

1
2
3

c Jean-Louis Rouget, 2009. Tous droits rservs.

52

http ://www.maths-france.fr

10.2.2

La fonction argument cosinus hyperbolique

La dmarche est la mme que pour argsh, avec cependant des complications : la fonction ch nest pas injective sur R
et les rels strictement infrieurs 1 nont pas dantcdents par ch (la fonction ch ayant un minimum gal 1).
On rsout dans R lquation ch(x) = y ou encore lquation (ex )2 2y(ex ) + 1 = 0 (), o y est un rel suprieur ou
gal 1 donn. Le discriminant rduit de lquation X2 2yX + 1 = 0 () vaut y2 1. () admet une et une seule solution
quand y = 1, savoir X = 1 et donc () admet une et une seule solution, savoir x = 0.
Quand y > 1, () admet deux solutions relles distinctes savoir X1 = y + y2 1 et X2 = y y2 1. Mais cette
fois-ci, les deux rels X1 et X2 sont strictement positifs (en effet, leur produit vaut 1 > 0 de sorte que X1 et X2 sont non
nuls et de mme signe, et on conclut par le signe de leur somme : X1 + X2 = 2y > 0). () admet donc les deux solutions
distinctes x1 = ln y +

y2 1 et x2 = ln y

y2 1 .

1
1
>
et donc, X21 > 1 ou enfin, X1 > 1. On
X2
X1
montre de mme que X2 < 1. Ceci montre que x1 > 0 et x2 < 0. Ainsi, () admet une et une seule solution dans [0, +[
savoir x1 = ln y + y2 1 (ce qui reste vrai quand y = 1).
On peut maintenant noncer la proposition suivante.
Maintenant, puisque 0 < X2 < X1 (car X1 X2 = 2 y2 1 > 0), X1 =

Thorme 53 (dfinition et proprits de largument cosinus hyperbolique).


La restriction de ch [0, +[ ralise une bijection de [0, +[ sur [1, +[.
La rciproque de cette bijection, appele argument cosinus hyperbolique et note argch, est une bijection de
[1, +[ sur [0, +[.
argch est dfinie et continue sur [1, +[.
Pour tout rel x de [0, +[, on a argch(ch(x)) = x et, pour tout rel x de [1, +[, on a ch(argch(x)) = x.
Pour tout couple de rels (x, y) [0, +[[1, +[, on a ch(x) = y x = argch(y).

Pour tout rel x [1, +[, on a argch(x) = ln x + x2 1 .


La fonction argch est drivable sur ]1, +[ et, pour x > 1, (argch) (x) =
lim

x 1
x>1

x2 1

argch(x)
= + et la fonction argch nest pas drivable en 1, mais la courbe reprsentative de argch admet au
x1

moint dabscisse 1 une demi-tangente parallle (Oy).


argch(x)
lim argch(x) = + et lim
= 0. Le graphe de argch admet en + une branche parabolique de direction
x +
x +
x
(0x).
Dmonstration . Le travail effectuer est analogue au travail effectu sur argsh. Seule ncessite un commentaire supplmentaire : la fonction ch est drivable en 0 et (ch) (0) = 0 et on sait alors que argch nest pas drivable en ch(0) = 1.

Graphe.
5

y=x

y = ch(x)

4
3

y = argch(x)

2
1

c Jean-Louis Rouget, 2009. Tous droits rservs.

53

http ://www.maths-france.fr

Exercice 27. Domaine de dfinition et expressions simplifies de ch(argch(x)), argch(ch(x)) et ch(ln(x

x2 1)).

Solution.
ch(argch(x)) existe si et seulement si x 1 et pour x 1, ch(argch(x)) = x.
argch(ch(x)) existe pour tout rel x. Si x 0, argch(ch(x)) = x. Si x < 0, argch(ch(x)) = argch(ch(x)) = x
(car x [0, +[). Ainsi,pour tout rel x, argch(ch(x)) = |x|.

2 1)) na pas de sens si 1 < x < 1 et si x 1 (car alors x


Lexpression
ch(ln(x

x
x2 1 < 0).

2
2
2
2
x 1 > 0.
Si x 1, x 1 < x = x et donc x
Par suite, ch(ln(x x 1)) existe si et seulement
si x 1. Pour un tel x, on a alors (x x2 1)(x + x2 1) = 1 et donc
ln(x

x2 1) = ln

x x2 1

= ln x +

x2 1 .

Par suite
ch(ln(x

x2 1)) =

1 ln(xx2 1)
1
2
e
+ e ln(x x 1) = (x
2
2

x2 1 + x +

x2 1) = x.

questions, cest exactement le mme problme avec les fonctions x x2 et x

Commentaire . Pour les deux premires

x.
( x) nexiste que pour x 0 et vaut x. x2 existe pour tout rel x mais ne vaut x que pour x 0.
Pour la dernire question, nous avons redcouvert que la fonction ch ralise une bijection de ] , 0] sur [1, +[ et que la rciproque
de cette bijection est la fonction [1, +[
]
, 0]
.
x
ln(x x2 1)
2

Exercice 28. Rsoudre dans R lquation argch(x) = argsh(2 x).

Solution. Un rel x < 1 nest pas solution de lquation.


Soit x 1. On note tout dabord que argch(x) 0 et donc, sh(argch(x)) 0. Par suite,
sh(argch(x)) = + ch2 (argch(x)) 1 =

x2 1.

Puisque sh est une bijection de R sur R, on a alors


argch(x) = argsh(2 x) sh(argch(x)) = sh(argsh(2 x))
Comme

10.2.3

5
1, S =
4

5
.
4

x2 1 = 2 x

x2 1 = (2 x)2 et 2 x 0 4x 5 = 0 et 2 x 0 x =

5
.
4

La fonction argument tangente hyperbolique

Soit y un rel donn. Rsolvons dans R lquation th(x) = y. Dj, on sait que pour tout rel x, 1 < th(x) < 1. Donc,
cette quation na pas de solution quand |y| 1. Soit alors y un rel lment de ] 1, 1[. Pour x rel,
e2x 1
1+y
= y e2x 1 = y(e2x + 1) e2x (1 y) = 1 + y e2x =
(car y = 1)
e2x + 1
1y
1+y
1+y
1
(car, pour y ] 1, 1[,
> 0).
x = ln
2
1y
1y

th(x) = y

Ainsi, pour tout rel y ] 1, 1[, il existe un et un seul rel x tel que th(x) = y, savoir x =

1
ln
2

1+y
. On peut
1y

donc noncer le thorme suivant :


Thorme 54 (dfinition et expression de largument tangente hyperbolique).
La fonction th est une bijection de R sur ] 1, 1[.
La rciproque de cette bijection, appele argument tangente hyperbolique et note argth, est une bijection de
] 1, 1[ sur R.
c Jean-Louis Rouget, 2009. Tous droits rservs.

54

http ://www.maths-france.fr

Pour tout rel x, on a argth(th(x)) = x et, pour tout rel x ] 1, 1[, th(argth(x)) = x.

Pour tout couple de rels (x, y) R] 1, 1[, on a th(x) = y x = argth(y).


1
1+x
Pour tout rel x ] 1, 1[, on a argth(x) = ln
.
2
1x
Nous vous laissons le soin de dmontrer les rsultats qui suivent.
Thorme 55 (proprits de largument tangente hyperbolique).
La fonction argth est impaire.
La fonction argth est drivable sur ] 1, 1[ et pour x ] 1, 1[, (argth) (x) =

1
.
1 x2

La fonction argth est strictement croissante sur ] 1, 1[.


lim argth(x) = +.
x 1
x<1

lim

x 0

argth(x)
= 1.
x

Graphe.
y = argth(x)

2
1

y = th x

1
2

11
11.1

Fonction valeur absolue


Dfinition et proprits de la valeur absolue

Dfinition 8. Soit x un rel. La valeur absolue de x est x si x est positif et x si x est ngatif. Elle est note |x|.
x R, |x| =

x si x 0
.
x si x 0

Donc, | 2, 3| = 2, 3 et |4| = 4. Dans tous les cas, il sagissait dobtenir le nombre sans son signe.
On peut exprimer la valeur absolue dun nombre laide des fonctions usuelles : x R, |x| =
bonne fois pour toutes que
x R,

x2 . On notera une

x2 = |x| et x R+ , ( x)2 = x.

La fonction valeur absolue est continue sur R, drivable sur R et non drivable en 0. Si on pose : x R, f(x) = |x|,
alors, pour x < 0, f (x) = 1 et pour x > 0, f (x) = 1. Voici le graphe de cette fonction :
y = |x|

3
2
1

c Jean-Louis Rouget, 2009. Tous droits rservs.

55

http ://www.maths-france.fr

Une consquence du graphique prcdent est le thorme 56 qui peut aussi se montrer numriquement.
Thorme 56. x R, |x| x et x R, |x| x.
Rappelons linterprtation gomtrique de la valeur absolue dun nombre. Sur laxe rel, pour tout rel x, |x| est la
distance usuelle de x 0 et plus gnralement, pour tous rels x et y, |y x| est la distance usuelle de x y.
|y x|

Numriquement, on a
Thorme 57. (x, y) R2 , |y x| =

y x si y x
.
x y si x y

|y x| est gal au plus grand des deux nombres x ou y moins le plus petit.
La vision gomtrique de la valeur absolue fournit rapidement les rsultats qui suivent.
Thorme 58.
1) (A, B) R2 , |A| = |B| B = A ou B = A.
2) (A, B) R R+ , |A| = B A = B ou A = B.
3) (A, B) R R+ , |A| B B A B.
4) (A, B) R R+ , |A| B A B ou A B.

On doit aussi connatre le lien avec les intervalles. Soient x0 un rel et r un rel strictement positif. Pour tout rel x, on a :
|x x0 | = r x = x0 r ou x = x0 + r
|x x0 | r x [x0 r, x0 + r]
|x x0 | < r x ]x0 r, x0 + r[
|x x0 | r x ] , x0 r] [x0 + r, +[
|x x0 | > r x ] , x0 r[]x0 + r, +[.

Ces rsultats sont gomtriquement vidents.

Exercice 29. Rsoudre dans R les quations ou inquations suivantes :


1) |x + 3| = 5, |x + 3| 5 et |x + 3| > 5.
2) |2x 5| = |x2 4|.
3) |x + 12| |x2 8|.
Solution.
1) Soit x R. |x + 3| = 5 x = 3 5 ou x = 3 + 5 x = 8 ou x = 2.
|x + 3| 5 3 5 x 3 + 5 8 x 2 et |x + 3| > 5 x < 8 ou x > 2.
2) Soit x un rel.
|2x 5| = |x2 4| x2 4 = 2x 5 ou x2 4 = 2x + 5 x2 2x + 1 = 0 ou x2 + 2x 9 = 0

x 1, 1 10, 1 + 10 .

3) Plutt que dtudier de nombreux cas de figures, il est plus judicieux dlver au carr les deux membres (positifs)
de linquation en remarquant que la carr dun rel est encore le carr de sa valeur absolue.
|x + 12| |x2 8| (x + 12)2 (x2 8)2 ((x2 8) (x + 12))((x2 8) + (x + 12)) 0

(x2 x 20)(x2 + x + 4) 0 x2 x 20 0 x ] , 4] [5, +[.

Analysons maintenant le comportement de la valeur absolue avec les deux oprations + et . La valeur absolue se
comporte bien avec la multiplication et mal avec laddition, comme le montre le thorme suivant :
c Jean-Louis Rouget, 2009. Tous droits rservs.

56

http ://www.maths-france.fr

Thorme 59 (proprits algbriques de la valeur absolue).


(valeur absolue et produit)
a) (x, y) R2 , |xy| = |x| |y|.
1
1
= .
b) x R ,
x
|x|
|x|
x
=
.
c) (x, y) R R ,
y
|y|

n
d) x R, n N , |x | = |x|n .
e) x R , n Z, |xn | = |x|n .

(valeur absolue et somme)


a) (x, y) R2 , |x + y| |x| + |y|.
De plus, (x, y) R2 , (|x + y| = |x| + |y| x = 0 ou y = 0 ou (x = 0 et y = 0 et x et y ont mme signe)).
b) (x, y) R2 , |x y| ||x| |y||.

Dmonstration .
membres :

Les rsultats du 1) sont immdiats. Pour lingalit triangulaire, il suffit de comparer les carrs des deux
|x + y|2 = (x + y)2 = x2 + 2xy + y2 x2 + 2|xy| + y2 = (|x| + |y|)2 .

De plus, lingalit crite est une galit si et seulement si xy = |xy| ce qui quivaut xy 0 ou encore x = 0 ou y = 0 ou x = 0
et y = 0 et x et y de mmes signes.
Pour lingalit du b), on crit, pour x et y rels donns : |x| = |(x y) + y| |x y| + |y| et donc |x| |y| |x y|. Mais alors,
en changeant les rles de x et y, on a aussi |y| |x| |x y| = |y x|. Maintenant, lun des deux nombres |x| |y| ou |y| |x| est
||x| |y|| et finalement ||x| |y|| |x y|.

Lingalit |x + y| |x| + |y| sappelle lingalit triangulaire. Elle est plus gnralement valable dans C o elle
sinterprte effectivement dans un triangle.
La matrise de la valeur absolue est vitale pour lanalyse et on sera frquemment amen majorer ou minorer des valeurs
absolues. Les seules rgles pratiques disposition sont les suivantes :
(x, y) R2 , ||x| |y|| |x y| |x| + |y|.
cest dire que la valeur absolue dune somme ou dune diffrence est dans tous les cas plus petite que la somme des
valeurs absolues et plus grande que la diffrence de ces valeurs absolues.
Dans lactivit qui consiste majorer une valeur absolue, une erreur est frquemment commise. En voici un exemple :
1
1
1
1

1

sin
= . Ceci est faux. Par exemple, pour x = , sin x
= |1 | =
pour x , , sin x
2 2
2
2 2
2
2
2
2
3
1
> . Lerreur de manipulation vient du rsultat suivant.
2
2
La fonction valeur absolue nest pas croissante sur R.
Donc, on ne majore pas l intrieur dune valeur absolue.

11.2

Tableau de valeurs absolues. Fonctions affines par morceaux et continues

On se contentera de ltude dun exemple. On veut construire le graphe de la fonction f : x |x+3|2|x+1|+|1x|3.


Pour cela, on a besoin dune expression simplifie de f, cest dire sans valeurs absolues. Par exemple, si 3 x 1,
alors x + 3 0, x + 1 0 et 1 x 0, ce qui permet dcrire |x + 3| = x + 3, |x + 1| = x 1 et |1 x| = 1 x. On peut
reprsenter les diffrents cas de figure dans un tableau de valeurs absolues :
x
|x + 3|
|x + 1|
|1 x|
f(x)

x 3
x 1
x + 1
3

c Jean-Louis Rouget, 2009. Tous droits rservs.

1
x+3
x 1
x + 1
2x + 3

1
x+3
x+1
x + 1
2x 1

57

x+3
x+1
x1
3

http ://www.maths-france.fr

On est alors en mesure de construire le graphe de cette fonction.


2
1

1
2
y = f(x)
3
On peut noter que lutilisation dun tableau nest absolument pas obligatoire. Il est en fait bien plus efficace dcrire
en lignes. Par exemple, pour 3 x 1, |x + 3| 2|x + 1| + |1 x| 3 = (x + 3) 2(x 1) + (1 x) 3 = 2x + 3.
n

Une telle fonction est appele fonction affine par morceaux. Les fonctions du type x

k |x ak | (), 1 ,..., n
k=1

rels, a1 ,...,an rels deux deux distincts, ont ce type de graphe. Inversement, on peut montrer que si f est une fonction
continue sur un segment [a, b] et affine par morceaux sur ce segment alors f peut scrire sous la forme ().

11.3

Minimum et maximum dun couple de rels

Dfinition 9.Soient x et y deux rels. Le plus grand de ces deux rels est appel le maximum de lensemble des deux
rels x et y et est not max{x, y}. Le plus petit de ces deux rels est appel le minimum de lensemble des deux rels x
et y et est not min{x, y}.
On a immdiatement :
Thorme 60.
x R, |x| = max{x, x}.

x R, x |x| et x |x|.
Le maximum et le minimum de deux rels peut sexprimer partir de la valeur absolue.
Thorme 61. (x, y) R2 , max(x, y) =

1
1
(x + y + |x y|) et min(x, y) = (x + y |x y|).
2
2

Dmonstration . Soient x et y deux rels. |y x| est le plus grand de ces deux nombres moins le plus petit. En ajoutant x + y
cette diffrence, on fait disparatre le plus petit des deux et on obtient deux fois le plus grand. Pour lautre galit, lexpression
|x y| peut tre pense comme le plus petit des deux nombres moins le plus grand, et le raisonnement est identique.

11.4

La fonction signe

Dfinition 10. Soit x un rel.


x
Si x est non nul, le signe de x, not sgn(x), est le nombre
et si x est nul le signe de x est 0.
|x|
On obtient immdiatement partir de la

1
0
Thorme 62. x R, sgn(x) =

dfinition
si x < 0
si x = 0 .
si x > 0

Le graphe de la fonction signe est le suivant :

c Jean-Louis Rouget, 2009. Tous droits rservs.

58

http ://www.maths-france.fr

2
y = sgn(x)
1

1
2
Thorme 63. x R, x = sgn(x) |x|.
Ce rsultat signifie quun rel est compos de son signe et de sa valeur absolue qui, elle, ne comporte plus de signe.
La fonction signe est volontiers utilise pour diminuer la quantit de calcul. Par exemple, pour simplifier ou driver
|x|
lexpression
, plutt que de faire deux calculs, un si x > 0 et un si x < 0, on peut nen faire quun seul :
x
soient x un rel non nul et le signe de x. Alors,

|x|
x
x
1 1
=
= = =
x
x
x
x x

|x|

Si maintenant on doit driver cette expression, on peut de nouveau neffectuer quun seul calcul sans sparer les cas x < 0
et x > 0.
|x|
x

= .(x)1/2

1
2

(x)3/2 =

1
.
2|x|3/2

Le signe dun rel non nul obeit aux rgles de calcul videntes suivantes :
Soient x un rel non nul et le signe de x.
1
1) x = |x|, 2) |x| = x, 3) 2 = 1, 4) = .

12
12.1

Fonction partie entire


Dfinition et proprits de la partie entire

Dfinition 11. Soit x un rel.


La partie entire de x, note E(x) (ou aussi [x]), est le plus grand entier relatif infrieur ou gal x.
Par exemple, E(2, 7) = 2, E(3) = 3, E(1, 2) = 2. A partir de la dfinition prcdente, on a immdiatement :
Thorme 64. Soit x un rel et k un entier relatif.
k = E(x) k x < k + 1 x 1 < k x

On a ainsi deux encadrements classiques connatre :

x R, E(x) x < E(x) + 1 et x 1 < E(x) x

Thorme 65. La fonction partie entire est croissante sur R.


Dmonstration . Soient x et y deux rels tels que x y. E(x) est un entier relatif infrieur ou gal x et donc y. Comme
E(y) est le plus grand des entiers relatifs infrieurs ou gaux y, on a bien E(x) E(y).

Thorme 66. x R, E(x + 1) = E(x) + 1.


Dmonstration .
E(x + 1) = E(x) + 1.

Soit x R. Alors, E(x) x < E(x) + 1, puis E(x) + 1 x + 1 < (E(x) + 1) + 1. Comme E(x) + 1 Z,

c Jean-Louis Rouget, 2009. Tous droits rservs.

59

http ://www.maths-france.fr

Voici le graphe de la fonction partie entire .


3
y = E(x)
2
1

1
2
Le petit arc de cercle la fin de chaque trait horizontal droite signifie que le dernier point nest pas compris, comme
le [ droite dans [2, 3[ signifie que 3 nest pas compris. La fonction partie entire nest pas continue sur R. Elle est
continue en tout rel non entier, continue droite mais pas gauche en tout entier.
Attention, en gnral E(x+y) = E(x)+E(y). Par exemple, E(2, 7+3, 6) = E(6, 3) = 6 alors que E(2, 7)+E(3, 6) = 2+3 = 5.
Exercice 30. Montrer que (x, y) R2 , E(x + y) E(x) + E(y).
Solution. Soit (x, y) R2 . E(x) + E(y) est un entier relatif infrieur ou gal x + y et comme E(x + y) est le plus
grand entier relatif infrieur ou gal x + y, on a E(x) + E(y) E(x + y).
Plus prcisment, E(x) x < E(x) + 1 et E(y) y < y + 1. Donc, E(x) + E(y) x + y < E(x) + E(y) + 2.
Par suite, puisque E(x) + E(y) Z, E(x + y) = E(x) + E(y) ou E(x + y) = E(x) + E(y) + 1 suivant que x + y soit dans
lintervalle [E(x) + E(y), E(x) + E(y) + 1[ ou dans lintervalle [E(x) + E(y) + 1, E(x) + E(y) + 2[).

Exercice 31. Soit x un rel. Dterminer lunique entier relatif k tel que x 2k ] , ]
et lunique entier k tel que x 2k [0, 2[.
Solution.
1
x
1
x
k<
+ .
1) Soient x R et k Z. < x 2k x 2k < x +
2 2
2 2
1 x
1
x
,
+ , il y a un et un seul entier.
Dans lintervalle
2 2 2 2
x
x
1
1
1
x
Si
+1=E
qui est lentier k cherch.

/ Z, cet entier est E

+
2 2
2 2
2 2
x
1
1
1
x
x
. (On note que
Z, k = E

Z si et seulement si x est congru modulo 2).


Si
2 2
2 2
2 2
2) Soient x R et k Z.
x
x
x
x
1 < k

1 < k et k
2
2
2
2
x
x

<k +1k =E
k
.
2
2

0 x 2k < 2

Exercice 32. n tant un entier naturel non nul donn, combien y-a-t-il dentiers pairs entre 0 et n, 0 et n
compris ? Combien y-a-t-il dentiers impairs ?
Solution. Un entier pair est un entier de la forme 2p, o p est un entier. Or,
0 2p n 0 p

n
n
.
0pE
2
2

n
Le nombre dentiers pairs est donc le nombre dentiers de la forme 2p o p est un entier vrifiant 0 p E
. Il y
2
a donc
n
n
+ 1 ou encore E
+ 1 entiers pairs compris au sens large entre 0 et n. De mme,
E
2
2
c Jean-Louis Rouget, 2009. Tous droits rservs.

60

http ://www.maths-france.fr

n1
2

Il y a donc E

0 2p + 1 n

+ 1 ou encore E

n+1
2

1
n1
p
0pE
2
2

n1
2

entiers impairs compris au sens large entre 0 et n.

Exercice 33. Trouver lexposant de 2 et de 5 dans la dcomposition en facteurs premiers de 1000!.


Par combien de zros finit lcriture dcimale 1000! ?
Solution.
1000! est le produit 1 2 3 4 5 6 7 8 9... 998 999 1000. Dans la dcomposition en facteurs premiers
des nombres 2, 6, 10, 14..., cest dire des nombres pairs non divisibles par 4, le facteur premier 2 apparat une et une
seule fois. Dans la dcomposition en facteurs premiers des nombres 4, 12, 20,..., cest dire des nombres divisibles
par 4 mais non divisibles par 8, le facteur premier 2 apparat exactement deux fois. Dans la dcomposition en facteurs
premiers des nombres 8, 24, 40..., cest dire des nombres divisibles par 8 mais non divisibles par 16, le facteur premier
2 apparat exactement trois fois.
Pour obtenir, lexposant de 2 dans la dcomposition en facteurs premiers de 1000!, nous allons compter 1 pour chaque
multiple de 2 infrieur 1000, puis rajouter 1 pour chaque multiple de 4 infrieur 1000, puis rajouter encore 1 pour
chaque multiple de 8 infrieur 1000, et encore 1 par multiple de 16,... et encore 1 par multiple de 512. Ainsi, par
exemple, pour lentier 24, nous laurons compt une fois en tant que multiple de 2, une fois en tant que multiple
de 4 et une fois en tant que multiple de 8, soit au total 3 fois, 3 tant lexposant de 2 dans la dcomposition en facteurs
premiers de 24.
Il y a E

1000
2

= 500 nombres pairs compris au sens large entre 1 et 1000 (1 2p 1000 1 p 500), puis

1000
1000
= 250 multiple de 4, puis E
= 125, multiple de 8,... et un multiple de 512 compris au sens large
4
8
entre 1 et 1000. Lexposant de 2 cherch est donc

1000
2

+E

1000
4

+ ...E

1000
512

E
k=1

1000
2k

= 500 + 250 + 125 + 62 + 31 + 15 + 7 + 3 + 1 = 994.

De mme, lesposant de 5 dans la dcomposition en facteurs premiers de 1000! est


4

E
k=1

1000
5k

= 200 + 40 + 8 + 1 = 249.

Lentier 1000! peut donc scrire 2994 3 5249 7 .... ou encore (2 5)249 2745 3 50 7 ... en enfin 10249 K
o K est un entier non divisible par 10 car non divisible par 5. Finalement,
lcriture dcimale de 1000! se termine par 249 zros.

12.2

La fonction partie dcimale

Dfinition 12. La partie dcimale dun rel x, note d(x), est la diffrence entre ce rel et sa partie entire.
x R, d(x) = x E(x).
Par exemple, d(3, 7) = 0, 7 et d(3, 7) = 0, 3 car 3, 7 = 4 + 0, 3.
Thorme 67. La fonction d est 1-priodique ou encore x R, d(x + 1) = d(x).
Dmonstration .

Soit x R. Daprs le thorme 66, page 59,


d(x + 1) = (x + 1) E(x + 1) = x + 1 E(x) 1 = x E(x) = d(x).

c Jean-Louis Rouget, 2009. Tous droits rservs.

61

http ://www.maths-france.fr

c Jean-Louis Rouget, 2009. Tous droits rservs.

62

Voici le graphe de la fonction partie dcimale .

http ://www.maths-france.fr

Vous aimerez peut-être aussi