Cours de mathématiques

M.P.S.I.

D'après les cours de M. De Granrut

Henriet Quentin
Ausseil Lucas
Perard Arsène
Philipp Maxime
 Fonctions usuelles

1. Quelques généralités
Dans tout ce chapitre, I désigne un inervalle de R non réduit à un point.
Les fonctions étudiées dans ce chapitre sont définies d'un intervalle I dans R : on note f : I  R .

Définition :
On note ℱ I , R ou R I l'ensemble des fonctions de I dans R .

1.1. Parité, période

Définition :
Un ensemble X⊂R est dit centré en 0 si ∀ x ∈X , −x ∈X .

Définition : Propriétés :
Soit f : I  R . On dit que f est : − Si f est impaire et 0∈ D f , alors f 0=0 .
− paire si ∀ x ∈ I , −x∈ I et f −x = f  x  − Si f est paire , C f possède un axe de symétrie : l'axe O y 
− impaire si ∀ x ∈I , −x ∈ I et f −x =− f  x . − Si f est impaire , C f possède un centre de symétrie : O .

Définition :
Soit f : I  R . On dit que la courbe C f possède pour axe de symétrie la droite d'équation x=a si :
∀ h ∈R tel que ah ∈I , a−h∈ I et f  ah= f a−h
On dit que la courbe C f admet le point A de coordonnées a , b pour centre de symétrie si :
f  ah f a−h 
∀ h ∈R tel que ah ∈I , a−h∈ I et =b
2

Définition :
Soient f : I  R , T ∈R∗ . On dit que T est une période de f ou que f est T - périodique si :
∀ x ∈ I tel que x T ∈ I , f  x T = f  x .
On obtient toute la courbe d'une fonction T - périodique, en traçant sur un intervalle de longueur T et en effectuant
des translations de vecteur T ×k× i , k ∈ Z.

1.2. Limite, continuité, dérivabilité

Définition :
Soient f : I  R , a ∈I . On dit que f est continue en a si lim f x = f a .
x a
On dit que f est continue sur I si f est continue en tout point de I .

Définition :
f  ah− f a 
Soient f : I  R , a ∈I . On dit que f est dérivable en a si a une limite finie quand h tend vers 0 .
h
df  x 
On dit que f est dérivable sur I si f est dérivable en tout point de I . La fonction dérivée est notée f ' x  ou .
dx

Propriétés :
Si f et g : I  R sont dérivables sur I , k ∈R , on a :

 f g'= f 'g ' k f ' =k f ' g f '= f ' g f g ' 1

f
f'
' =− 2
f f
g
'=
f ' g− f g '
g2
g ° f '= f '×g ' ° f

Propriété :
f est dérivable ⇒ f est continue.
Propriétés :
Si f est continue et dérivable sur I ,
− ∀ x ∈ I , f '  x =0 ⇔ f est une fonction constante.
− ∀ x ∈ I , f '  x 0 ⇔ f est croissante.
− ∀ x ∈ I , f '  x 0 ⇔ f est décroissante.

{
− ∀ x ∈ I , f ' x 0
f ' ne s'annule qu'en un nombre fini de points
⇒ f est strictement croissante.

{
− ∀ x ∈ I , f ' x 0
f ' ne s'annule qu'en un nombre fini de points
⇒ f est strictement décroissante.

1.3. Théorème de la bijection

Définition :
Soit f : I  R . On dit que f réalise une bijection de I sur J si ∀ y ∈J , ∃! x∈I tel que f  x =y .
−1
f est appelée la bijection réciproque.

Théorème de la bijection :
Soit f : I  ℝ continue et strictement monotone. On a alors :
1. f  I  est un intervalle du type de I et ses bornes sont les limites de f aux bornes de I .
2. f réalise une bijection de I sur f  I 
3. f −1 est continue sur f I  et strictement monotone de même sens que f .
4. C f et C f ' sont symétriques par rapport à la première bissectrice.
1
5. Si de plus f est dérivable et si f ' ne s'annule pas, alors f −1 est dérivable et  f −1 ' = −1
f '° f

Remarque :
Ce théorème sera utilisé dans la suite du chapitre pour prouver la définition, la continuité, le sens de variation
et la dérivabilité des fonctions réciproques étudiées. Il permet également d'exprimer leur dérivée.

1.4. Plan d'étude d'une fonction

1. Déterminer le domaine de définition D f de la fonction étudiée.

2. Réduction du domaine d'étude : parité, période, centre ou axe de symétrie.
3. Continuité et dérivabilité de f sur I .
4. Calcul et factorisation de f ' pour déterminer son signe et résoudre f '  x =0
5. Limites aux bornes.
6. Tableau de variations.
7. Étude des branches infinies et des asymptotes.
8. Étude des points d'inflexion (extrema de la dérivée)
9. Tracé de la fonction.
Branches infinies :
1. lim f  x =±∞ , avec x0 ∈ℝ : asymptote verticale x=x 0
x  x0

2. lim f  x =l avec l ∈ℝ : asymptote horizontale y=l

x ±∞
f x 
3. lim f x =±∞ : calcul de lim =0 , ∞ , a ∈ℝ , ou pas de limite.
x ±∞ x ±∞ x
Si 0 ou ∞ : branche parabolique horizontale ou verticale.
Si a∈ℝ : Calcul de lim f x −a x=b∈ℝ , ∞
x ±∞
Si b ∈ℝ : asymptote y=a xb
Si ∞ : branche parabolique de direction asymptotique y=a x
Le signe de f x −a x−b donne la position courbe-asymptote.
2. Fonctions usuelles

2.1. Fonctions trigonométriques

2.1.1. Définition géométrique

J

T
 i , 
OM=2 k 
M On définit sin =OB , cos=OA , tan =IT
B
 AM OA AM
Pour 0 : sin= , cos = , tan = .
2 OM OM AO
 2 2
O I Pythagore donne : 1=sin cos 
A
IT AM OB sin
Thalès donne : tan = = = =
OI OA OA cos

OI =i , ∥i ∥=1

2.1.2. Sinus et cosinus

Proposition : Proposition :
− Sinus es définie, continue, dérivable sur R. − Cosinus est définie, continue, dérivable sur R.
− Sinus est impaire, 2 - périodique, − Cosinus est paire, 2  - périodique,
et admet O comme centre de symétrie. et admet O y  comme axe de symétrie.
− ∀ x ∈R , sin −x =sin x  ,

et admet x = comme axe de symétrie.
   

− ∀ x ∈R , cos x cos −x =0 .
2

2
2 1−cos  x  1
− cos' =−sin . − lim =
sin x  x
2
2
− sin ' =cos. − lim =1 . x 0
x 0 x
   
x 0
6 4 3 2
1 y=cos x 
3 y=sin  x 
2 2
sin  x 1
2 − O 
2
0  2
1 2
3
2
cos  x  2 1
2
2
0

2.1.3. Formules

cos ab =cos a cos b −sin asin b cos a−b =cos acos bsin asin b 
sin  ab =sin acos bsinb cosa  sin a−b=sin a cos b −sin bcos a 
sin  2 x=2 sin x cos  x  cos 2 x =cos x −sin 2  x =2 cos 2 x −1=1−2 sin 2 x 
2

2
cos x =
1cos 2 x 
2
2
sin  x =
1−cos 2 x 
2
1cos x=2 cos 2 x

2
1−cos x =2 sin 
2 x

cos  p cos q =2 cos    

pq
2
cos
p−q
2
cos  p−cosq =−2 sin   pq
2
sin
p−q
2

sin  p sin q=2 sin    

pq
2
cos
p−q
2
sin  p−sin q =2 sin    
p−q
2
cos
pq
2
 1 1
 cosabcos a−b=cos a cos b  cos a−b−cosab=sin  a sin b 
2 2
1
2
 sin absin a−b =sin a  cos b 
 
sin x cos  x =  2 cos x−

4
=  2 sin x 
 

4

2.1.4. Tangente et cotangente

Définition :
sin x  cos  x
tan x = , cotan x =
cos x  sin x 

Proposition :
y =cotan  x 
]
− Tangente est définie, continue et dérivable sur − k  , k  .
2

2 [
− Cotangente est définie, continue et dérivable sur ] k  ,k 1[ .
− Tangente et cotangente sont impaires et - périodique. y =tan x
1
] 
2

2 [
− ∀ x ∈ − k  , k  , tan '  x = 2
cos  x 
=1tan 2  x

1

1 −
− ∀ x ∈ ] k  ,k 1 [ , cotan ' x =− 2 =−1−cotan2 x  2 2
sin x   
tan x  4
− lim =1 et lim x cotan  x=1
x 0 x x 0

   
x 0 6 4 3 2
∞
3
tan  x 1
1
0 3
∞
3
1
cotan  x  1
3 0

2.1.5. Divers

Remarque :
cos a=cos b ⇔ a=b2 k  ou a=−b2 k  , k ∈ℤ.
sin a=sin b  ⇔ a=b2 k  ou a=−b2 k  , k ∈ℤ.
tana =tanb ⇔ a=bk  , k ∈ℤ.

Proposition :
Soit a≠0 .
2 1
f : x ↦ cosa x  est - périodique, admet x ↦−a sin a x  pour dérivée et x↦ sina x  pour primitive.
a a
2 1
f : x ↦ sin a x  est - périodique, admet x ↦ a cos a x  pour dérivée et x ↦− cos a x  pour primitive.
a a

f : x ↦ tan a x  est - périodique.
a
 2.2. Exponentielle, logarithme et puissance

2.2.1. Exponentielle

Définition :

On appelle exponentielle et on note exp l'unique fonction dérivable sur R telle que :
{ ∀ x ∈ R , f ' x = f x
f 0=1

Proposition :
− La fonction exponentielle est définie, continue et dérivable sur ℝ , et exp '=exp .
y =exp x 
− ∀ x ∈ℝ , exp x 0 , exp est strictement croissante.
exp x 
− lim exp x =∞ , lim exp x =0 , lim =∞ , lim x exp x =0 .
x ∞ x −∞ x ∞ x x −∞

2.2.2. Logarithme

Définition :
exp est continue et strictement croissante sur ℝ, donc réalise une bijection de ℝ sur ℝ∗+ .
On appelle logarithme népérien et on note ln la bijection réciproque de exp .

Proposition : y=ln  x
∗
− ∀ x ∈ℝ , ∀ y ∈ℝ , y=exp x  ⇔ x =ln  y

∗ 1 1
− ln est définie, continue et dérivable sur ℝ+ , ln '  x =
x
− ln est strictement croissante.
ln  x
− lim ln  x =∞ , lim ln x =−∞ , lim =0 , lim x ln  x =0 .
x ∞ x 0 x ∞ x x 0

2.2.3. Équations fonctionnelles

Proposition :
1. Équation fonctionnelle de ln : ∀ x , y0 , ln x y=ln  xln  y
2. ∀ x 0 , ln  =−ln  x 
1
x
3. ∀ x0 , ∀ r ∈Q , ln  x r =r ln  x 

Preuve :
1. On fixe y 0 . On pose f  x =ln x y −ln x
y 1
f est définie, continue et dérivable sur ℝ∗+ , f '  x = − =0 , donc f est constante sur ℝ∗+ .
xy x
f 1=ln y −ln 1=ln  y , donc ∀ x , y0 , ln  x y =ln  x ln y .
1
2. ∀ x 0 , x × =1 , donc ln x ln
x
1
x    1
=ln x× =ln 1=0 .
x
3. ⋅ Posons r=n∈ℕ , par récurrence sur n :
0 0
⋅ Pour n=0 : ∀ x 0 , x =1 donc ln  x =ln 1=0=0×ln  x  : proposition vérifiée au rang 0 .
⋅ Supposons n ∈ℕ , et la formule vraie au rang n :
∀ x 0 , ln x n1 =ln x n x =ln  xn ln  x =n ln x ln  x =n1ln x  : vérifié au rang n1.
Par récurrence, la proposition est vraie pour tout n∈ℕ .
⋅ Posons r= p ∈ℤ∗− : Posons n=−p . ∀ x0 , ln  x p =ln  x −n =ln
  1
x n
=−ln  xn =−n ln x = p ln  x 

    
p q
p
p ∗ p r p
⋅ Posons r= , p∈ℤ , q ∈ℕ . ∀ x 0 , q ln x q =ln x q =ln x =p ln x  ⇔ ln x = ln x =r ln x  .
q q
Proposition :
1. Équation fonctionnelle de exp : ∀ x , y ∈R , exp xy =exp x exp y 
1
2. ∀ x ∈R , exp−x =
exp x 
3. ∀ x ∈R , ∀ r∈Q , expr x =exp x r .

Preuve (1) :
∀ x , y ∈R , ∃! x ' , y ' ∈R∗+ tels que x =ln  x'  et y=ln  y ' 
ln  x ' y ' =ln x ' ln  y '  ⇔ x ' y ' =exp xy ⇔ exp  xexp y =exp  xy .

2.2.4. Puissances

Si r ∈ℕ∗ , ∀ x ∈ℝ , x r =x ××x (r fois)

∗ 0
Si r=0 , ∀ x ∈ℝ , x =1
∗ ∗ r 1
Si r ∈ℤ− , ∀ x ∈ℝ , x = −r
x
1
1 ∗ p ième
Si r= , p∈ ℕ , x ⟼ x p est la bijection réciproque de x ⟼ x : il s'agit de la racine p .
p
Elle est définie sur ℝ + si p est pair, et sur ℝ si p est impair.
1 q
q
Si r= , q∈ℤ∗ , p∈ℕ∗ , x r = x p
p
  ∀ x ∈ℝ+ si p est pair, ∀ x ∈ℝ si p est impair.

Propriétés : y= x 2 y= x
r s r s r s rs r r r
x =x x ,  x  =x ,  x y  =x y
( x , y ,r ,s convenables). 1

y= x 2
Il reste à définir x r pour r ∈ℝ ∖ℚ :
r
∀ x 0 , x =exp r ln x  1

y= x 3
Ainsi, ∀ r ∈ℝ , ∀ x ∈ ℝ∗+ , ln x r =r ln x 

Remarque :
y= x −2
exp x =exp x ln e=e x
y=x 3
Propriétés :
y= x −1
ln x 1 e x −1
lim =1 , lim =1.
x 0 x x 0 x

2.2.5. Logarithme et exponentielle en base a

Définition : Propriétés :
ln x  ∀ x , y ∈ℝ∗+ , log[a ] x y =log[a] x log[ a]  y.
Pour a∈ℝ∗+ ∖{1}, x ∈ ℝ∗+ , on définit log[a] x = .
ln a ∀ x , y ∈ℝ , a x  y=a x a y .
Pour a∈ℝ∗+ ∖{1}, x ∈ ℝ , on définit exp[ a]  x =expx ln  a=a x .  x ⟼ xr  ' =x ⟼ r xr− 1 et  x ⟼ a x  '=x ⟼ lna  ax .
Propriété :
Soient u : I  ℝ∗ dérivable et v : I  ℝ dérivable.

f : x ⟼ u x 
v x 
[
est dérivable sur I et f '  x = v'  x ln u x v x 
u' x
u x ]exp v x ln u x .
 2.3. Fonctions hyperboliques

2.3.1. Cosinus hyperbolique et sinus hyperbolique

Définition :
x −x
e e
On appelle cosinus hyperbolique et on note ch : ch  x =
2
x −x
e −e
On appelle sinus hyperbolique et on note sh : sh x = y =ch x 
2

Proposition :
sh est définie, continue et dérivable sur ℝ , sh est impaire.
∀ x ∈ℝ , sh '  x =ch x , lim sh x =∞
x ∞
ch est définie, continue et dérivable sur ℝ , ch est paire.
∀ x ∈ℝ , ch '  x =sh  x , lim ch x =∞
x ∞
y =sh  x 
Propriétés :
∀ x ∈ℝ , ch 2  x −sh 2 x =1 , ch xsh x=ex , ch x −sh x =e− x .
x
e
∀ x ∈ℝ , sh x  ch x 
2
lim ch x −sh x =0 : Les courbes représentatives de ch et de sh sont asyptotes l'une de l'autre.
x ∞
ch x  sh x 
lim =∞ , lim =∞
x ∞ x x ∞ x

2.3.2. Tangente hyperbolique

Définition :
sh x  ex −e− x e2 x −1 1−e−2 x
On appelle tangente hyperbolique et on note th : th  x= = = =
ch x  ex e− x e2 x1 1e−2 x

Proposition :
th est définie, continue et dérivable sur ℝ, comme quotient de deux fonctions définies,
continues et dérivables sur ℝ, dont le dénominateur ne s'annule pas. th est impaire. y =th  x 
2 1
∀ x ∈ℝ , th '  x=1−th  x = 2
ch  x
sh x  th x 
lim th x =1 , lim =1 , lim =1 .
x ∞ x 0 x x 0 x

2.4. Fonctions hyperboliques réciproques

2.4.1. Argument sinus hyperbolique

y=sh x y =x

Définition :
sh est continue et strictement croissante sur ℝ, donc réalise une bijection de ℝ dans ℝ.
On appelle argument sinus hyperbolique et on note argsh la bijection réciproque de sh . y=argsh  x

Proposition :
argsh est définie, continue, et strictement croissante sur ℝ . argsh est impaire.
1
argsh est dérivable sur ℝ et ∀ x ∈ℝ , argsh '  x =
 1 x 2
∀ x ∈ℝ , argsh x =ln  x  1 x2 
Lemme :
La bijection d'une fonction impaire bijective est impaire.

Preuve du lemme :
Soit f : I  ℝ impaire et bijective. I est centre en O.
−1
f : J  ℝ , avec J = f  I  , et ∀ x ∈J , ∃! y∈ I tel que x= f  y
−y ∈I , et f −y =− f y =−x , donc −x ∈ J et f −1 −x =−y donc f −1 est impaire.

Preuve de la proposition :
argsh est impaire d'après le lemme.
1
{sh est dérivable sur ℝ ⇒ argsh est dérivable sur ℝ et ∀ x ∈ℝ , argsh '  x =
sh '=ch ne s'annule pas ch argsh x
Soit y=argsh x∈ℝ . sh y=x et ch 2  y−sh 2 y =1 , donc ch y = 1sh 2 y (car ∀ x ∈ℝ , ch x 0 )
1 1 1
Donc argsh '  x = = =
ch argsh x   1sh argsh x  1x 2
2

∀ x ∈ℝ , ∃! y ∈ℝ tel que x=sh y , Notons Y =ey 0

y
e −e−y 1
y=argsh x  ⇔ x =sh y  ⇔ x = ⇔ 2 x=Y − ⇔ Y 2 −2 x Y −1=0
2 Y
2 x2  x 1 2 x−2  x 1
2 2
2
=4 x 10 , Y 1 =
2
, Y 2=
2
2
 2
0 (impossible) , donc Y =x 1x et y =ln x  1x . 

2.4.2. Argument cosinus hyperbolique

Définition :
ch est continue et strictement croissante sur ℝ+ , donc réalise une bijection de ℝ+ sur [ 1 ,∞ [
On appelle argument cosinus hyperbolique et on note argch la bijection réciproque de ch restreinte à ℝ + .
y =ch x  y=x
Proposition :
argch est définie, continue et strictement croissante sur [ 1 ,∞[
1
argch est dérivable sur ] 1 ,∞[ et ∀ x ∈]1 ,∞[ , argch '  x=
 x 2−1
∀ x ∈]1 ,∞[ , argch  x =ln  x  x 2−1  y =argch x 

Preuve :
∀ x ∈[1 ,∞[ , ∃! y∈ℝ + tel que x=ch y ⇔ y=argch x 

{ch est dérivable en y

ch' x =sh x ≠0 ⇔ x ≠1
⇒ argch est dérivable sur ]1 ,∞[

1 1
argch '  x = , et ch 2  x −sh2  x =1 , donc sh  y=  ch2 x −1 (car y0 ) , donc argch '  x =
sh argch  x   x 2−1
∀ x ∈[1 ,∞[ , ∃! y∈ℝ + tel que x=ch y , notons Y =e y1
ey e− y 1
y=argch x  ⇔ x =ch y  ⇔ x= ⇔ 2 x=Y  ⇔ Y 2 −2 x Y 1=0
2 Y
2 2 x2  x 2 −1 2 x −2  x2 −1
=4 x −10 , Y 1 = , Y 2= : Y 1 1 , Y 2 1 car Y 1 Y 2 =1 et Y 1 Y 2 =2 x 2 :
2 2
Donc l'un est supérieur à 1, l'autre inférieur à 1 , donc argch  x =ln  x  x −1 
2
 2.4.3. Argument tangente hyperbolique y=x
y=argth x

Définition :
th est continue et strictement croissante sur ℝ donc réalise une bijection de ℝ sur ]−1 , 1[ .
On appelle argument tangente hyperbolique et on note argth la bijection réciproque de th .

Proposition : y =th x 

argth est définie, continue, et strictement croissante sur ]−1 ,1 [ , argth est impaire.
1
argth est dérivable et ∀ x ∈]−1 ,1[ , argth ' x = 2.
1− x

∀ x ∈]−1 ,1[ , argth  x = ln

1
2  .
x1
x−1

Preuve : f' f Ensemble de définition

{ th est dérivable sur ℝ ⇒ argth est dérivable sur ]−1 ,1 [

th ' ne s'annule pas
1
 x 21
1
argsh  x 
ln  x  x 1
2

argch x 
ℝ
ℝ
1 1 ] 1 ,∞[
∀ x ∈]−1 ,1[ , argth ' x = = ln  x  x2 −1
2
1− th argth  x 1− x
2
 x −1
2
]−∞ ,−1 [ , ]1 ,∞[
∀ x ∈]−1 ,1[ , ∃! y∈ℝ tel que x =th y  1 argth x  ]−1 ,1 [
1 1x
e −1
x = 2y
2y
⇔ x e2 yx=e2 y −1 ⇔ e 2 y=
1x 1
⇔ y= ln
1 x
  1−x 2 ln
2 1−x∣ ∣ ]−∞ ,−1[ ,]−1 , 1[ , ] 1 ,∞ [
e 1 1−x 2 1− x

2.5. Fonctions circulaires réciproques

2.5.1. Arcsinus

Définition :
 
sin est définie, continue et strictement croissante sur − ,
2 2 [ ]  
donc réalise une bijection de − ,
2 2 [
sur [−1 ,1 ]. ]
[
On appelle arcsinus et on note arcsin la bijection réciproque de sinus restreinte à −  ,  .
2 2 ]
Proposition :
arcsin est définie, continue et strictement croissante sur ]−1 ,1 [ , impaire , dérivable sur ]−1 ,1 [
1
∀ x ∈]−1 ,1[ , arcsin ' x = .
1−x 2 y= x

Preuve :
y=sin  x 
[
∀ x ∈[−1 ,1] , ∃! y∈ − ,
 
2 2 ]
tel que x =sin  y  ⇔ y=arcsin x

{ sin est dérivable en y ⇒ arcsin est dérivable sur ]−1 , 1[

sin ' y ≠0 ⇔ x ≠±1
1
∀ x ∈]−1, 1[ , arcsin ' x =
cos arcsin  x
y=arcsin x 
] [
cos 2 y sin2  y=1 ⇔ cos y= 1−x 2 car y ∈ −  ,  , donc cos  y0
2 2

2.5.2. Arccosinus

Définition :
sin est définie, continue et strictement décroissante sur [ 0 ,] donc réalise une bijection de [0 ,] sur [−1 ,1].
On appelle arccosinus et on note arccos la bijection réciproque de cosinus restreinte à [ 0 ,].
Proposition :
arccos est définie, continue et strictement décroissante sur [−1 , 1].
−1 y=x
arccos est dérivable sur ]−1 ,1 [ , ∀ x ∈]−1 ,1 [ , arccos '  x= .
 1− x 2

y =arccos x
Preuve :
∀ x ∈[−1 ,1] , ∃! y∈[ 0 ,] tel que x =cos y  ⇔ y=arccos  x 

{cos est dérivable en y ⇒ arccos est dérivable sur ]−1 ,1[

cos'  y≠0 ⇔ x≠±1
y=cos  x 

1
∀ x ∈]−1, 1[ , arcsin ' x =
−sin arccos  x
cos 2 y sin2  y=1 ⇔ sin y= 1−x 2 car y ∈] 0 ,[ , donc sin  y0

Remarque :
∀ x ∈]−1 ,1[ , arcsin '  x arccos '  x =0 : la fonction arcsin x arccos x  définie, continue et
dérivable sur ]−1 ,1[ est donc constante. ∀ x ∈]−1 ,1[ , arcsin x arccos  x =arcsin 0arccos 0 = 
2
Si on note M  x ,arcsin x  et N  x , arccos x  : le point P , milieu de [ MN ] a pour coordonnées : P x ,    4
On obtient un axe de symétrie entre arcsin et arccos : y=
4

2.5.3. Arctangente

Définition :
 
tan est définie, continue et strictement croissante sur − ,
2 2 ] [
donc réalise une bijection de − ,
 
2 2
sur ℝ. ] [
On appelle arctangente et on note arctan la bijection réciproque de tangente restreinte à −  ,  .
2 2 ] [
y=tan  x 
Proposition : y= x
arctan est définie, continue et strictement croissante sur ℝ.
1
arctan est impaire , dérivable sur ℝ , et ∀ x ∈ℝ , arctan '  x = 2
.
1x y=arctan  x

Preuve :

{ tan ' ne s'annule pas

1
]
tan est dérivable sur −  , 
2 2 [ ⇒ arctan est dérivable sur ℝ

1
arctan '  x = 2 = 2
1tan arctan  x 1 x

Proposition :

∀ x ∈ℝ∗ , arctan  x arctan  =signe x × 2 , où signe x=1 si x0 , =−1 si x 0 , =0 si x=0 .

1
x

Preuve :

Soit f x =arctan xarctan  1

x
f est définie, continue et dérivable sur ℝ∗− et ℝ∗+ . f est impaire.
∗ 1 1 1 1 1
∀ x ∈ℝ + , f ' x= 2 − 2× 1
= 2− 2 =0
1 x x 1 1 x x 1
x2
Donc ∃c1 ∈ℝ tel que ∀ x ∈ℝ , f  x =c 1 et ∃c2 ∈ℝ tel que ∀ x ∈ℝ∗− , f  x =c 2
∗
+

c 1 = f 1=arctan1arctan1=  Par parité, c 2 =−  .

2 2

*****
Mis à jour le 05.08.10