c Christophe Bertault - MPSI

Fonctions usuelles
Les rsultats de ce chapitre doivent tre connus sur le bout des doigts. Beaucoup dentre eux sont de simples rappels.

Fonction valeur absolue

Dfinition

(Fonction valeur absolue)

Soit x R. On appelle valeur absolue de x le rel :

|x| =

x2

x
x

si x > 0
.
si x < 0

La fonction valeur absolue sinterprte gomtriquement comme une distance : si x et y sont deux rels, |x y| est la
distance entre x et y sur la droite relle.

1
si x > 0
.
La fonction valeur absolue || est paire, continue sur R et drivable sur R , et : x R , ||0 (x) =
1 si x < 0
h
i
Positivit : Pour tout x R :
|x| > 0
et
|x| = 0 x = 0 .
Produit : Pour tous x, y R :
|xy| = |x|.|y|.
En particulier, | x| = |x|.




Ingalit triangulaire : |x| |y| 6 |x y| 6 |x| + |y|.

y = |x|

Pour tous x, y R et pour tout > 0 :

|x y| < x < y < x +

et

y ]x , x + [

|x y| 6 x 6 y 6 x +

y [x , x + ].

   En pratique La dernire proprit est tout fait essentielle. Comprenez bien ce quelle veut dire et sachez lutiliser :
nous en aurons besoin presque tous les jours dans quelques temps. Elle exprime lide que la distance entre x et y est infrieure
(largement ou strictement) .

x y
x
x+

|x y|

Fonctions puissances (entires), polynomiales

et rationnelles

2.1

Fonctions puissances (entires)

Dfinition

(Fonctions puissances (entires))

Soient x R et n N. On appelle x puissance n, not xn , le rel

xn = x x . . . x.
|
{z
}
n fois

Si n est un entier strictement ngatif, alors n N et on appelle x puissance n, note xn , le rel

xn =

1
.
xn

Proprits algbriques des puissances (entires) : Avec des notations videntes :

n
xm+n = xm xn ,
xmn = xm ,
 n
1
1
(xy)n = xn y n
et
xn = n =
.
x
x
Pour tout n Z, la fonction x 7 xn a la mme parit que n. Elle est dfinie et drivable (donc continue) sur son
ensemble de dfinition (R si n > 0, R si n < 0) et sa drive est la fonction x 7 nxn1 .

c Christophe Bertault - MPSI

Allure des courbes reprsentatives et positions relatives :

n=4
. n=3
n=2
n=1

n pair > 0

n impair > 3

n = 1
.
n = 2
n = 3

n = 2

&
n = 3
%
n = 1

n pair < 0

n=0

n impair < 0

Les positions relatives se lisent sur les courbes. Retenez bien la sparation des cas [0, 1] et [1, [.
x ]0, 1],
et

2.2

x [1, [,

0 6 . . . 6 x4 6 x3 6 x2 6 x 6 1 6
0 6 ... 6

1
1
1
6 2 6 3 6 ...
x
x
x

1
1
1
6 2 6 6 1 6 x 6 x2 6 x3 6 x4 6 . . .
x3
x
x

Fonctions polynomiales et rationnelles

Dfinition

(Fonctions polynomiales et rationnelles)

On appelle fonction polynomiale toute fonction de R dans R de la forme x 7 an xn + an1 xn1 + . . . + a2 x2 + a1 x + a0

o a0 , a1 , . . . , an R. Si an 6= 0, o n est la puissance la plus leve prsente dans lexpression de la fonction, alors on dit que
la fonction polynomiale en question est de degr n.
Toute fonction polynomiale est dfinie et drivable (donc continue) sur R et on a :


si an 6= 0.
lim an xn + an1 xn1 + . . . + a2 x2 + a1 x + a0 = lim an xn
x

On appelle fonction rationnelle toute fonction quotient de deux fonctions polynomiales dont le dnominateur nest pas
an xn + an1 xn1 + . . . + a2 x2 + a1 x + a0
la fonction constante gale 0, i.e. toute fonction de R dans R de la forme x 7
bm xm + bm1 xm1 + . . . + b2 x2 + b1 x + b0
o a0 , a1 , . . . , an , b0 , b1 , . . . , bm R avec bm 6= 0.
Toute fonction rationnelle est dfinie et drivable (donc continue) sur son ensemble de dfinition. Les points dune fonction
rationnelle en lesquels elle nest pas dfinie, qui sont les zros de son dnominateur, sont appels ses ples. On a :
lim

an xn + an1 xn1 + . . . + a2 x2 + a1 x + a0
an xn
an nm
= lim
x
= lim
m
m1
2
x
x bm
bm x + bm1 x
+ . . . + b2 x + b1 x + b0
bm x m

si an 6= 0 et bm 6= 0.

   En pratique
Il faut bien sr savoir calculer de tte les limites des fonctions polynomiales et rationnelles, mais
galement savoir justifier en cas de besoin. Rappelons donc la mthode. Si an 6= 0 :
tend vers 0 quand x tend vers

et donc :

z
}|
{
an1
a2
a1
a0 
1+
+ ... +
+
+
,
an x
an xn2
an xn1
an xn

an xn + an1 xn1 + . . . + a2 x2 + a1 x + a0 = an xn


lim an xn + an1 xn1 + . . . + a2 x2 + a1 x + a0 = lim an xn .
x

Dans le cas des fonctions rationnelles, on met en uvre cette mthode la fois au numrateur et au dnominateur.

c Christophe Bertault - MPSI

Fonctions exponentielle, logarithme

et puissances (quelconques)

3.1

Fonctions exponentielle et logarithme

Dfinition

(Fonctions exponentielle et logarithme)

La fonction exponentielle exp est dfinie et drivable (donc continue) sur R et :

Le nombre e1 est not e. Il vaut environ e 2, 718.

exp0 = exp.

La fonction logarithme (nprien) ln est dfinie et drivable (donc continue) sur R

+ et :

x R
+,

ln0 (x) =

1
.
x

La fonction exponentielle ralise une bijection (strictement croissante) de R sur R

+ ; sa rciproque est la fonction
logarithme, qui ralise donc une bijection (strictement croissante) de R
sur
R.
Par
consquent
:
+
y=x

ln ex = x

x R,

x R
+,

et

eln x = x.

Transformation somme/produit :
1

x, y R,
b

y = ex

et
1

En particulier :
x R,

y = ln x

x, y R
+,
ex =

1
ex

et

Limites usuelles :
ex
lim
= ,
lim xex = 0,
x x
x

ex+y = ex ey ,
ln(xy) = ln x + ln y.

x R
+,

lim

ln

ln x
=0
x

1
= ln x.
x

et

lim x ln x = 0.

x0

$ $ $ Attention
! ex , ce nest pas e multipli x fois par lui-mme , car en gnral x nest pas un entier. Que signifierait

e multipli 2 fois par lui-mme ? Tout a pour vous faire comprendre que la notation ex nest quune notation ; on utilise
la notation puissance par souci de commodit, avec en tte lide que la fonction exponentielle transforme les sommes en produits
comme le font les puissances classiques.
Mais alors quest ex si ce nest pas e la puissance x ? Peu importe pour le moment. Nous aurons loccasion den reparler
plus tard.

3.2

Fonctions puissances (quelconques)

Jusquici, nous avons seulement dfini xn pour n entier. Nous gnralisons prsent ce point de vue.
Dfinition (Puissances quelconques dun rel strictement positif ) Soient x R
+ et y R. On appelle x puissance y,
not xy , le rel xy = ey ln x .

$ $ $ Attention !

Cette nouvelle dfinition des puissances xy nest valable que pour des valeurs strictement positives de x cause du
logarithme.
Ici aussi, la notation puissances nest quune notation : xy nest pas le produit de x, y fois.
Il nexiste aucune autre dfinition de xy dans le cas o y est un rel quelconque. Par consquent, quand vous voyez xy
quelque part, lexponentielle et le logarithme doivent vous sauter aux yeux : xy = ey ln x .

c Christophe Bertault - MPSI

Le thorme suivant montre que notre nouvelle notion de puissance est bien une gnralisation de la notion classique.
Thorme

(Proprits algbriques des puissances)

(i) Pour tout x R

+ et pour tout n N :

xn = xn
%
- Nouvelle dfinition :
Dfinition classique :
n
x = x x ... x
xn = en ln x
{z
}
|
n fois

ln xy = y ln x.

(ii) Pour tout x R

+ et pour tout y R :

0
(iii) Pour tous x, x0 R
+ et pour tous y, y R :
0

xy+y = xy xy ,

xyy = xy

Dmonstration

y 0

(xx0 )y = xy x0y

et

xy =

1
=
xy

 y
1
.
x

n fois

z
}|
{




(i) Notons xn classique le nombre x x . . . x et xn nouveau le nombre en ln x . Les . . . dsignant n occurrences dans tous les cas :




xn nouveau = en ln x = eln x+ln x+...+ln x = eln x eln x . . . eln x = x x . . . x = xn classique .
(ii)

(iii)

Thorme

ln xy = ln ey ln x = y ln x.

y+y 0
0
0
0
0
x
= e(y+y ) ln x = ey ln x+y ln x = ey ln x ey ln x = xy xy .

y 0

0
0
0
y

xyy = eyy ln x (ii)

= ey ln(x ) = xy .
0
0
0
(xx0 )y = ey ln(xx ) = ey ln x+y ln x = ey ln x ey ln x = xy x0y .

 y

1
1
1

xy = ey ln x = y ln x = y et xy = ey ln x = ey ln( x ) =
.
e
x
x

(Etude des fonctions puissances) Soit R.

>1
=1

(i) La fonction x 7 x est dfinie et drivable (donc continue) sur R

+.
Sa drive est la fonction x 7 x1 .

(ii) Si 6= 0, la fonction x 7 x ralise une bijection de R

+ sur R+ . Sa
1
rciproque est la fonction x 7 x .

0<<1
=0
bc

(iii) Allure des courbes reprsentatives et positions relatives :

Les positions relatives se lisent sur les courbes. Retenez bien la sparation des
cas [0, 1] et [1, [.

<0
bc

Dmonstration

x ]0, 1],

, R,

= x 6 x

x [1, [,

, R,

= x 6 x .

Pour tout R, notons f la fonction x 7 x .

(i) Soit R fix. La fonction ln est dfinie et drivable sur R

+ ; la fonction m : x 7 x est dfinie et
drivable sur R ; la fonction exp est dfinie et drivable sur R. Par composition de ces trois fonctions, la
fonction f = exp m ln est dfinie et drivable sur R
+ . On a, via la formule de drivation des fonctions
ln x
0
1
,
f
(x)
=
e
=
x
x
=
x1 .
composes : x R

+
x

(ii) Soit R fix. Les fonctions f et f 1 sont dfinies sur R

+ valeurs dans R+ . Pour montrer que f

1
ralise une bijection de R
1 , il nous suffit de montrer que f f 1 = f 1 f = Id .
+ sur R+ et que f = f
R+

1

1

1
1

Or pour tout x R+ : f f 1 (x) = f x = x

= x = x = x = f 1 x = f 1 f (x).

c Christophe Bertault - MPSI

(iii) Soit R fix. Dterminons les limites de f en 0 et en . Par composition de limites,

fonctions exponentielle et logarithme tant bien connues :

si > 0

0
ln x
ln x
1
1
si = 0
et
lim f (x) = lim e
=
lim f (x) = lim e
=
x
x
x0
x0

0
si < 0

les limites des

si > 0
si = 0 .
si < 0

Pour les positions relatives, donnons-nous x R

+ et , R tels que 6 .

Si x ]0, 1],
alors ln x 6 0, donc ln x 6 ln x, et donc x = e ln x 6 e ln x = x .
Si x [1, [, alors ln x > 0, donc ln x 6 ln x, et donc x = e ln x 6 e ln x = x .
.

Remarque

>1
=1

1
Pour tout n N , la fonction x 7 x n est gnralement note n : x 7 n x et
appele fonction racine nme . En vertu du thorme prcdent, elle est la rciproque de
la fonction x 7 xn sur R
+.

0<<1

Les fonctions puissances (quelconques) sont dfinies sur R

+ . Cela dit, pour > 0, on a
lim x = 0, et donc en posant 0 = 0, on prolonge la fonction x 7 x en une fonction
x0

continue dfinie sur tout R+ .

Prolongement en 0
$ $ $ Attention !

3.3

Les fonctions

, 3 , 4 . . . ne sont pas drivables sur tout R+ , mais seulement sur R

+.

Croissances compares

Thorme

(Croissances compares des fonctions logarithme, exponentielle et puissances)

(i) Principe gnral : Lexponentielle est plus puissante que les puissances, qui sont elles-mmes plus puissantes que
le logarithme.
(ii) Comparaison exponentielle/puissances : Soit R
+.
(iii) Comparaison puissances/logarithme : Soient , R
+.
(iv) Comparaison exponentielle/logarithme : Soit R
+.

lim

ex
=
x

lim

lim

et

=

ln x
ex

=
ln x

lim x ex = 0.

et
et

lim x ln x

x0

lim

ln x

= 0.

ex = 0.

ex
ex
x 1 lnxx
x ln x
=
=
e
=
e
.
Dmontrons seulement (ii). Pour tout x R
:
+
x  e ln x



ln x
ln x
ln x
Or lim
= 0 donc lim 1
= 1. Ensuite lim x 1
= . Par composition avec la limite
x x
x
x
x
x
x
e
lim eu = , on obtient bien comme voulu :
lim
= .
u
x x
Dmonstration

Pour la deuxime limite, cest immdiat :

lim x ex = lim

1
x
= lim x = 0.
x e
ex
x

c Christophe Bertault - MPSI

Thorme de continuit/drivabilit
dune fonction rciproque

Les deux thormes suivants ne seront pas dmontrs dans ce chapitre, nous nen avons pas les moyens ; nous les prouverons
ultrieurement. Ils sont nanmoins essentiels dans ce qui suit.
Thorme

Soient I et J deux intervalles et f : I J une application bijective de I sur J on a donc J = f (I).

Thorme de continuit dune fonction rciproque : Si f est continue sur I, alors f 1 est continue sur J.
Thorme de drivabilit dune fonction rciproque : Si f est drivable sur I et si f 0 ne sannule pas sur I,

0
1
.
alors f 1 est drivable sur J et :
f 1 = 0
f f 1
Exemple
Supposons par exemple que nous connaissons tout sur lexponentielle, mais rien sur le logarithme. Puisque
ln = exp1 .
lexponentielle est bijective de R sur R
+ , nous dfinissons alors le logarithme (nprien) comme sa rciproque :
0
A prsent, lexponentielle tant drivable sur R, et sa drive exp = exp ne sannulant pas sur R, nous sommes en mesure
dappliquer le thorme de drivabilit dune fonction rciproque. Ainsi la fonction logarithme est drivable sur R
+ et on a :

0
1
1
1
ln0 (x) = exp1 (x) =
x R
=
= .
Cest bien ce que nous attendions.
+,
exp0 exp1 (x)
exp ln(x)
x

Fonctions trigonomtriques inverses

5
5.1

Fonctions arcsinus et arccosinus

Dfinition

(Fonctions arcsinus et arccosinus)

h i
La fonction sinus ralise une bijection strictement croissante de ,
sur [1, 1]. On appelle fonction arcsinus sa
2 2
fonction rciproque, note Arcsin. La fonction arcsinus est dfinie et continue sur [1, 1], impaire, mais elle nest drivable
que sur ] 1, 1[ et :
1
.
x ] 1, 1[, Arcsin0 (x) =
1 x2

La fonction cosinus ralise une bijection strictement dcroissante de [0, ] sur [1, 1]. On appelle fonction arccosinus
sa fonction rciproque, note Arccos. La fonction arccosinus est dfinie et continue sur [1, 1], mais elle nest drivable que
sur ] 1, 1[ et :
1
x ] 1, 1[, Arccos0 (x) =
.
1 x2

y = Arcsin x

y=x

y=x

y = sin x

y = Arccos x

2
b

y = cos x
Une identit trs utile :

x [1, 1],

cos Arcsin x = sin Arccos x =

1 x2 .

%
b

c Christophe Bertault - MPSI

$ $ $ Attention !

Il est faux de dire que la fonction arcsinus est la rciproque de la fonction sinus ; ce qui est vrai, cest quArcsin est la
rciproque de sin . Cest pourquoi il est faux que :
x R,
Arcsin(sin x) = x. Cette formule nest vraie que
[ 2 , 2 ]
h i
. Par exemple : Arcsin(sin ) = Arcsin 0 = 0 6= .
sur ,
2 2

De mme, il est faux de dire que la fonction arccosinus est la rciproque de la fonction cosinus ; ce qui est vrai, cest
quArccos est la rciproque de cos
. Cest pourquoi il est faux que :
x R,
Arccos(cos x) = x. Cette formule
[0,]


nest vraie que sur [0, ]. Par exemple : Arccos cos(2) = Arccos 1 = 0 6= 2.
Dmonstration

Contentons-nous de faire le travail pour Arccos dmonstration analogue pour Arcsin.

La fonction cosinus est drivable sur R et cos0 = sin. Du coup, le sinus tant strictement positif sur [0, ]
sauf en 0 et , cos est strictement dcroissante sur [0, ]. Mais cos est continue : le corollaire du thorme
des valeurs intermdiaires nous dit donc que cos ralise une bijection strictement dcroissante de [0, ] sur
[cos , cos 0] = [1, 1]. La fonction arccosinus, rciproque de la fonction cos
, est ainsi bien dfinie.
[0,]

Ce premier point et la continuit du cosinus, associs au thorme de continuit dune fonction rciproque,
montrent alors quArccos est continue sur [1, 1].

Montrons la relation : x [1, 1], sin Arccos x = 1 x2 .

Or pour tout x [1, 1], on a Arccos x [0, ], donc sin Arccos x > 0, et enfin :
p
p
sin Arccos x = 1 (cos Arccos x)2 = 1 x2 .

Cette discussion sur le signe de sin Arccos x tait ncessaire, car a priori on aurait pu avoir un signe
devant la racine carre.

Enfin, cos0 = sin ne sannule pas sur ]0, [, donc via le thorme de drivabilit dune fonction rciproque,
Arccos est drivable sur ] 1, 1[ et de plus, pour tout x ] 1, 1[ :
Arccos0 (x) =

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

Le thorme de drivabilit ne nous dit rien sur la drivabilit de Arccos en 1, car cos0 (0) = cos0 () = 0 ;
on peut montrer cependant quArccos nest pas drivable en 1.

Exemple

5.2

3
4
est lunique solution de lquation Arcsin x = Arccos dinconnue x [1, 1].
5
5
h i
: y = Arcsin x x = sin y,
En effet Nous savons que pour tout x [1, 1] et pour tout y ,
2 2 h
4
4
i
. Du coup, comme voulu, pour
par dfinition de la fonction arcsinus. Or puisque [0, 1], on a Arccos 0,
5
5
2
tout x [1, 1] :
s
 2
4
4
4
3
Arcsin x = Arccos

x = sin Arccos

x= 1
= .
5
5
5
5

Fonction arctangente

Dfinition

La ifonctionh tangente ralise une bijection strictement croissante

sur R. On appelle fonction arctangente sa fonction
de ,
2 2
rciproque, note Arctan. La fonction arctangente est dfinie et
drivable (donc continue) sur R, impaire, et :
x R,

Arctan0 (x) =

y=x

y = tan x

(Fonction arctangente)

1
.
1 + x2

(resp. y = ) est asymptote

2
2
la courbe reprsentative de la fonction arctangente en (resp.
).
La droite dquation y =

y = Arctan x
&

c Christophe Bertault - MPSI

$ $ $ Attention !
Il est faux de dire que la fonction arctangente est la rciproque de la fonction tangente ; ce qui est
vrai, cest quArctan est la rciproque de tan . Cest pourquoi il est faux que :
x R,
Arctan(tan x) = x. Cette
] 2 , 2 [
i h
. Par exemple : Arctan(tan ) = Arctan 0 = 0 6= .
formule nest vraie que sur ,
2 2

Dmonstration
i h
La fonction tangente est drivable sur ,
et tan0 = 1+tan2 > 0. Du coup, tan est strictement croissante
2 2
sur cet intervalle. Mais tan est continue : le corollaire du
des
dit donc
i valeurs intermdiaires nous
h
i thorme
h
sur
lim tan x, lim
tan x = R.
que tan ralise une bijection strictement croissante de ,

2 2
x 2 +
x 2
La fonction arctangente, rciproque de la fonction tan , est ainsi bien dfinie.
] 2 , 2 [
i h
Ensuite, tan0 = 1+tan2 > 0 ne sannule pas sur ,
, donc via le thorme de drivabilit dune fonction
2 2
rciproque, Arctan est drivable sur R et de plus, pour tout x R :
Arctan0 (x) =

1
1
1
=
=
.
tan0 Arctan(x)
1 + tan2 Arctan x
1 + x2

i h
, nous avons vu au chapitre Vocabulaire des applications
La fonction tangente tant impaire sur ,
2 2
que sa rciproque Arctan lest aussi.

Exemple

1
est lunique solution de lquation Arctan(2x) + Arctan(3x) =
dinconnue x R.
6
4
En effet

tan Arctan(2x) + Arctan(3x) = tan

i
h 4 .

Pour tout x R : Arctan (2x) + Arctan (3x) =

Arctan(2x) + Arctan(3x) ,
4
2 2
Limplication idirecte de
cette
quivalence
est
triviale
;
limplication
rciproque
repose
sur
linjectivit
de
h
0
0
tangente sur ,
. En effet, lgalit tan x = tan x implique que x = x condition que x et x0
2 2
i h
appartiennent un intervalle sur lequel tangente est injective. Nous avons choisi lintervalle ,
car il
2 2

contient .
4
Or pour tout x R :


tan Arctan(2x) + tan Arctan(3x)
2x + 3x
5x
tan Arctan(2x) + Arctan(3x) =
=
=
.
1 tan Arctan(2x). tan Arctan(3x)
1 2x.3x
1 6x2

Du coup :

Arctan (2x) + Arctan (3x) =

i h
Arctan(2x) + Arctan(3x) ,
2 2
i h
6x2 + 5x 1 = 0 et Arctan(2x) + Arctan(3x) ,
2 2


i h
1
.
et Arctan(2x) + Arctan(3x) ,
x = 1 ou x =
6
2 2
5x
=1
1 6x2

et

1
. Mais la solution candidate 1 ne convient
6

pas, car Arctan (2) + Arctan (3) est strictement ngatif et ne peut donc valoir .
4
i h
1
Au contraire convient. Pour le vrifier, il nous suffit de montrer que Arctan(2x) + Arctan(3x) ,
6
2 2
1
pour x = , conformment aux quivalences prcdentes. Or la fonction arctangente est strictement crois6
sante :





1
+ Arctan 3
< Arctan 1 + Arctan 1 = + = ,
0 = 0 + 0 < Arctan 2
6
6
4
4
2
i h
recherche et achve la dmonstration.
ce qui montre bien lappartenance ,
2 2

Notre quation possde donc au plus deux solutions, 1 et

   En pratique Quand on veut faire des calculs sur des quantits

de la forme Arctan
x + Arctan y , la mthode


de lexemple prcdent est de mise : on commence par calculer tan Arctan x + Arctan y , et on enlve la tangente aprs
calcul. Une telle rsolution dquation tant assez subtile, je vous conseille de bien travailler lexemple prcdent.

c Christophe Bertault - MPSI

5.3

Des coordonnes cartsiennes aux coordonnes polaires

   En pratique Soit M un point du plan euclidien. Nous savons passer dun couple de coordonnes polaires (r, ) au
couple des coordonnes cartsiennes (x, y) de M : x = r cos et y = r sin .
Nous pouvons maintenant effectuer
p lopration inverse. Supposons en effet connues les coordonnes cartsiennes (x, y) de M et
supposons M 6= O. Posons r = x2 + y 2 > 0. Quelle valeur de pouvons-nous alors choisir ? Napprenez pas par cur les
mthodes suivantes : apprenez les retrouver vite.

i h
y
Premire mthode : Si x 6= 0, alors tan = , donc comme tan est bijective de ,
sur R, on peut choisir
x
2 2
y
= Arctan .
x
x
Deuxime mthode : On sait que rend vraie lgalit cos = et que cos est bijective de [0, ] sur [1, 1]. Est-il vrai
r
y
x
cependant que = Arccos ? Pas forcment car soit aussi vrifier la relation sin = .
r
r
r
 x 2 r  y  2  y 
x
y
x
 
=
=   = , donc on peut choisir = Arccos .
1) Si y > 0 : sin Arccos = 1
r
r
r
r
r
r
y


x
x
y
x
 
= sin Arccos
=   = , donc on peut choisir = Arccos .
2) Si y < 0 : sin Arccos
r
r
r
r
r
i
h
y

Troisime mthode : On sait que rend vraie lgalit sin = et que sin est bijective de ,
sur [1, 1]. Est-il
r
2 2
x
y
vrai cependant que = Arcsin ? Pas forcment car soit aussi vrifier la relation cos = .
r
r
r
 y 2 r  x  2  x 
y
y
x
 
1) Si x > 0 : cos Arcsin = 1
=
=   = , donc on peut choisir = Arcsin .
r
r
r
r
r
r
 

y
y
y
x
x
= cos Arcsin =   = , donc on peut choisir = Arcsin .
2) Si x < 0 : cos Arcsin
r
r
r
r
r
Exemple

 
est un couple de coordonnes polaires du point de coordonnes cartsiennes (2, 2).
Le couple 2 2,
4
p

En effet Nous cherchons des coordonnes polaires du point (x, y) = (2, 2). Les valeurs r = x2 + y 2 = 2 2 et

y
conviennent.
= Arctan = Arctan 1 =
x
4

Fonctions hyperboliques et hyperboliques inverses

6.1

Fonctions sinus hyperbolique, cosinus hyperbolique

et tangente hyperbolique

Les dmonstrations requises dans les deux dfinitions suivantes sont de simples tudes de fonction sans difficult aucune.
Dfinition

(Fonctions sinus hyperbolique et cosinus hyperbolique)

Soit x R. On appelle sinus hyperbolique de x, not sh x, et cosinus hyperbolique de x, not ch x, les rels :
sh x =

ex ex
2

et

ch x =

ex + ex
.
2

Les fonctions sinus hyperbolique et cosinus hyperbolique sont dfinies et

drivables (donc continues) sur R ; sh est impaire et ch est paire. On a :
sh0 = ch

et

ch0 = sh.

La relation suivante sera interprte gomtriquement plus loin :

x R,

ch2 x sh2 x = 1.

y = ch x

%
b

y = sh x

c Christophe Bertault - MPSI

Dfinition

(Fonction tangente hyperbolique)

Soit x R. On appelle tangente hyperbolique de x, note th x, le rel

th x =

sh x
.
ch x

La fonction tangente hyperbolique est dfinie et drivable

(donc continue) et impaire sur R. On a :
th0 = 1 th2 =

1
.
ch2

La droite dquation y = 1 (resp. y = 1) est asymptote

la courbe reprsentative de la fonction tangente hyperbolique en
(resp. ).

y = th x

   Explication

Jespre que vous vous demandez tous pourquoi sh et ch sont qualifies d hyperboliques .
De mme que les fonctions circulaires sont lies au cercle dquation x2 + y 2 = 1 via la
paramtrisation :

x = cos
2
2
,
x +y =1

R/
y = sin
r

on peut montrer que les fonctions hyperboliques sont lies la portion de lhyperbole
dquation x2 y 2 = 1 sujette la relation x > 0 via la paramtrisation :

x = ch t
.
x2 y 2 = 1 et x > 0

t R/
y = sh t
Ce rsultat provient de la relation de trigonomtrie hyperbolique :

6.2

t = ln 3
t = ln 2
t=0
r

ch2 x sh2 x = 1.

x R,

t = ln 2
t = ln 3

Fonctions hyperboliques inverses

Dfinition

(Fonctions argument sinus hyperbolique et argument cosinus hyperbolique)

La fonction sinus hyperbolique ralise une bijection de R sur R. On appelle fonction argument sinus hyperbolique sa
rciproque, note Argsh. La fonction argsinus hyperbolique est dfinie et drivable (donc continue) sur R, impaire. Elle a pour
expression :


p
1
x R, Argsh x = ln x + x2 + 1 ,
et voici sa drive : x R, Argsh0 (x) =
.
x2 + 1
La fonction cosinus hyperbolique ralise une bijection de R+ sur [1, [. On appelle fonction argument cosinus hyperbolique sa rciproque, note Argch. La fonction argcosinus hyperbolique est dfinie et continue sur [1, [, mais elle nest
drivable que sur ]1, [. Elle a pour expression :


p
1
x [1, [, Argch x = ln x + x2 1 ,
et voici sa drive : x ]1, [, Argch0 (x) =
.
x2 1
y = sh x

&

y=x

y=x
y = chx

y = Argsh x

&

10

y = Argch x

c Christophe Bertault - MPSI

Dmonstration

Contentons-nous de travailler avec la fonction Argsh dmonstration analogue pour Argch.

Pour montrer que Argsh ralise une bijection de R sur R, nous pourrions imiter ici la dmonstration de
la bijectivit de Arccos faite prcdemment, base de TVI. Nous en dduirions lexistence de Argsh. Le
thorme de drivabilit dune fonction rciproque montrerait alors que Argsh est drivable sur R et nous
permettrait de calculer sa drive.
Nous allons procder ici autrement, comme au chapitre prcdent. Le calcul suivant marche bien parce
que nous sommes capables, comme cela va apparatre, de dterminer une expression explicite de Argsh. Les
calculs analogues nauraient pas abouti avec la fonction Arccos. Soient donc x, y R.
y = sh x

ex ex
2
e2x 2yex 1 = 0

y=

e2x 1
y=
2ex
x
2
e
2yex 1 = 0.

p
2
2
Or leppolynme X 2 p2yX 1, de
p discriminant rduit (y + 1),ppossde deux racines : y + y + 1 et
2
2
2
2
y y + 1. Or :
y + 1 > y = |y| > y, et donc y y + 1 6 0. Lexponentielle enfin tant
strictement positive :


p
p
y = sh x

ex = y + y 2 + 1

x = ln y + y 2 + 1 .
Ces calculs montrent que la fonction sinus hyperbolique ralise une bijection
de R sur

 R et que sa rciproque,

2
note Argsh, a pour expression explicite : x R, Argsh x = ln x + x + 1 , comme voulu.

La fonction sinus hyperbolique tant impaire, nous avons vu au chapitre Vocabulaire des applications
que sa rciproque Argsh lest aussi.
Enfin, Argsh est drivable sur R. Justifions-le proprement.

1) x 7 x2 + 1 est drivable sur R valeurs dans [1, [ et est drivable sur R

+ , donc sur [1, [.

Par consquent, par composition,x 7 x2 + 1 est drivable sur R.

2
2) Par somme, x 7
1 est drivable sur R. Cette fonction est par ailleurs strictement
x + x +
x2 + 1 > x2 = |x| > x.
positive car : x R,

3) x 7 x+ x2 + 1 est drivable
 dans R+ et ln est drivable sur R+ . Par consquent,
 surR valeurs
par composition, x 7 Argsh x = ln x + x2 + 1 est drivable sur R comme annonc.
On calcule aisment Argsh0 partir de son expression explicite.
Dfinition

(Fonction argument tangente hyperbolique)

y = Argth x &

y=x

La fonction tangente hyperbolique ralise une bijection de

R sur ] 1, 1[. On appelle fonction argument tangente hyperbolique sa rciproque, note Argth. La fonction argtangente hyperbolique est dfinie et drivable (donc continue)
sur ] 1, 1[, impaire. Elle a pour expression :
x ] 1, 1[,

Argth x =

1 1+x
ln
,
2 1x

et voici sa drive :
x ] 1, 1[,

Argth0 (x) =

Dmonstration

1
.
1 x2

y = th x &

Preuve analogue celle effectue dans le cas de la fonction argument sinus hyperbolique.

11