PCSI5 Lycée Saint Louis

DM2
Correction du Devoir Maison

Exercice 1
1. Les variations de la fonction ch ont été étudiées en cours : on sait que ch est une fonction
continue et strictement croissante sur [0, +∞[, telle que ch(0) = 1 et lim ch(x) = +∞. Donc
x→+∞
ch réalise une bijection de [0, +∞[ sur [1, +∞[. On note dans la suite argch.

2. Tout d’abord, on sait que la fonction ch est dérivable sur R, et donc en particulier sur [0, +∞[.
Pour déterminer le domaine de dérivabilité de la fonction argch, on résout l’équation ch0 (x) = 0
pour x ∈ [0, +∞[ :
ch0 (x) = 0 ⇔ sh(x) = 0 ⇔ x = 0.

La fonction argch est donc dérivable sur [1, +∞[\{ch(0)} =]1, +∞[. De plus, pour tout y ∈
]1, +∞[, on a :
1 1
argch0 (y) = 0 = .
ch (argch(y)) sh(argch(y))
Or on sait que ch2 (x) − sh2 (x) = 1 pour tout x ∈ R, donc sh2 (x) = ch2 (x) − 1. Ainsi :
q
|sh(x)| = ch2 (x) − 1

Notez que ch2 (x) − 1 est bien positif puisque ch(x) ≥ 1 pour tout x ∈ R. Et pour y ∈]1, +∞[,
on a argch(y) ∈]0, +∞[ et donc sh(argch(y)) > 0. D’où
q p
sh(argch(y)) = ch2 (argch(y)) − 1 = y 2 − 1.

On obtient finalement que pour tout y ∈]1, +∞[ :

1
argch0 (y) = p .
y2 − 1

3. On obtient donc le tableau de variation suivant, et la courbe représentative de argch à partir de

la courbe représentative de ch [0, +∞[ par symétrie par rapport à la droite y = x.

ch
x 1 +∞

argch0 (x) +

+∞
argch(x)
~j argch
0 O
a ~i

4. (a) On souhaite calculer argch(2). Pour cela on résout l’équation ch(x) = 2. On sait que cette
équation a deux solutions : 2 a deux antécédents par la fonction ch, l’un étant positif,
l’autre négatif. Puisque argch(2) > 0, on en déduite que argch(2) sera l’unique solution
strictement positive de cette équation.
Pour x ∈ R, on résout donc :

ch(x) = 2 ⇔ ex + e−x = 4 ⇔ e2x − 4ex + 1 = 0

1
PCSI5 Lycée Saint Louis

On pose X = ex . On obtient donc :

√
X 2 − 4X + 1 = 0 ⇔ X = 2 ± 3.
√ √ √
+ 3) ou x = ln(2 − 3). Puisque ln(2 − 3), on en déduit
D’où finalement x = ln(2 √
finalement que x = ln(2 + 3), et donc :
√
argch(2) = ln(2 + 3).

(b) Soit y ∈ [1, +∞[, on résout l’équation y = ch(x) pour x ∈ R. On a

y = ch(x) ⇔ 2y = ex + e−x ⇔ e2x − 2yex + 1 = 0

(
X = ex
⇔
X 2 − 2yX + 1 = 0

Or y ≥ 1, et donc le discriminant ∆ = 4y 2 − 4 de ce polynôme est positif. On a donc

(
X = ex
y = ch(x) ⇔ p
X = y ± y2 − 1
p p
⇔ x = ln(y + y 2 − 1) ou x = ln(y − y 2 − 1)
p p p
En effet on notera que y + y 2 − 1 ≥ y − y 2 − 1 > y − y 2 = 0. On peut donc bien
prendre le logarithme (qui est bijectif sur R∗+ ) dans la dernière équivalence.
p
Enfin puisque argch(y) ≥ 0 et que ln(y − y 2 − 1) ≤ 0 pour y ∈ [1, +∞[ (je vous laisse
vous en convaincre), on obtient finalement que pour tout y ∈ [1, +∞[ :
p
argch(y) = ln(y + y 2 − 1).

5. On sait que la fonction sh est continue et strictement croissante sur R, telle que lim sh(x) =
x→±∞
±∞. Donc sh réalise une bijection de R dans R. On la note dans la suite argsh.
Montrons que arsh est impaire : son domaine de définition est bien symétrique par rapport à 0.
De plus pour tout y ∈ R, il existe un unique x ∈ R (x = argsh(y)) tel que sh(x) = y, et on a :

argsh(−y) = argsh(−sh(x)) = argsh(sh(−x)) = −x = −argsh(y).

Donc argsh est impaire.

Puisque la fonction sh est dérivable sur R, et que pour tout x ∈ R, sh0 (x) = ch(x) 6= 0, on en
déduit que argsh est dérivable sur R et pour tout y ∈ R :
1
argsh0 (y) = .
ch(argsh(y))
q
Puisque ch2 (x) = 1+sh2 (x) et que la fonction ch est toujours positive, on a ch(x) = 1 + sh2 (x).
En remplaçant dans la formule de dérivation, on obtient :
1 1
argsh0 (y) = q =p .
1 + sh2 (argsh(y)) 1 + y2

On en déduit le tableau de variation de la fonction argsh et sa représentation graphique.

2
PCSI5 Lycée Saint Louis

x 0 +∞

argsh0 (x) + ~j

O
+∞ ~i

argsh(x)
0 argsh
sh

On cherche une écriture explicite de la fonction argsh. Pour cela, on résout pour tout y ∈ R
l’équation y = sh(x) pour x ∈ R. On a

y = sh(x) ⇔ 2y = ex − e−x ⇔ e2x − 2yex − 1 = 0

(
X = ex
⇔
X 2 − 2yX − 1 = 0

Le discriminant ∆ = 4y 2 + 4 de ce polynôme est strictement positif. On a donc

(
X = ex
y = sh(x) ⇔ p
X = y ± y2 + 1
p
⇔ x = ln(y + y 2 + 1).
p
En effet pon notera que la solution y − y 2 + 1 < 0 est impossible puisque ex > 0. Puisque de
plus y + y 2 + 1 > 0 pour tout y ∈ R, on peut donc bien prendre le logarithme (qui est bijectif
sur R∗+ ) dans la dernière équivalence.
On obtient finalement que pour tout y ∈ R :
p
argsh(y) = ln(y + y 2 + 1).

Exercice 2
On définit la fonction tangente hyperbolique, notée th, par :

sh(x)
∀x ∈ R, th(x) = .
ch(x)

1. La fonction th est définie et continue sur R comme quotient de fonctions définies et continues
sur R dont le dénominateur ne s’annule pas (rappelons que ch(x) ≥ 1 pour tout x ∈ R). Elle est
de plus dérivable sur cet intervalle, et on a pour tout x ∈ R :

ch2 (x) − sh2 (x) 1

th0 (x) = 2 = 2 = 1 − th2 (x).
ch (x) ch (x)

1
Puisque 2 > 0 pour tout x ∈ R, la fonction th est donc strictement croissante sur R
ch (x)
Notons que th est une fonction impaire puisque ch est paire et sh est impaire. On a donc
th(0) = 0. On calcule la limite en +∞ :

sh(x) ex − e−x 1 − e−2x

th(x) = = x −x
=
ch(x) e +e 1 + e−2x

D’où lim th(x) = 1.

x→+∞

3
PCSI5 Lycée Saint Louis

On obtient le tableau de variation suivant pour la fonction th, ainsi que sa courbe représentative.

x 0 +∞

th0 (x) + ~j
O
1 ~i
th
th(x)
0 argth

2. (a) La fonction th est strictement croissante sur R et continue sur cet intervalle. Elle réalise donc
une bijection de R sur ] lim tah(x), lim tah(x)[=] − 1, 1[. On note argth :] − 1, 1[→ R
x→−∞ x→+∞
sa réciproque.
On montre que argth est impaire de la même manière que pour argsh.
(b) On a vu que th est dérivable sur R et que pour tout x ∈ R, th0 (x) = 1 − th2 (x). On a de
plus th0 (x) > 0. En particulier sa dérivée ne s’annule pas. Donc argth est dérivable sur
] − 1, 1[ et on a pour tout y ∈] − 1, 1[ :
1 1 1
argth0 (y) = 0 = 2 = .
th (argth(y)) 1 − th (argth(y)) 1 − y2

x 0 1
On retrouve en particulier que argth est
strictement croissante sur ] − 1, 1[. On argth0 (x) +
a donc le tableau de variation ci-contre,
et sa courbe représentative est donnée ci- +∞
dessus. argth(x)
0
(c) On peut procédé de deux façon différentes.
ˆ Méthode 1 : On résout l’équation y = th(x) pour y ∈] − 1, 1[ et x ∈ R :
ex − e−x
y = th(x) ⇔ y = ⇔ y(e2x + 1) = (e2x − 1)
ex + e−x
⇔ e2x (y − 1) = −1 − y
−1 − y
⇔ e2x = car y 6= 1
y−1
 
1+y 1+y
⇔ 2x = ln car ln est bijectif et > 0 pour y ∈] − 1, 1[
1−y 1−y
 
1 1+y
⇔ x = ln
2 1−y
ˆ Méthode 2 : On intègre entre 0 et y ∈] − 1, 1[ la fonction argth0 :
Z y Z y Z y
1 1 (1 − t) + (1 + t)
argth0 (t)dt = dt = dt
0 0 (1 − t)(1 + t) 0 2 (1 − t)(1 + t)
1 y
Z
1 1 1
= + dt = [ln(|1 + t|) − ln(|1 − t|)]y0
2 0 (1 + t) (1 − t)(1 + t) 2
 
1 1 1+y
D’où argth(y) − argth(0) = ln(|1 + y|) − ln(|1 − y|), et donc argth(y) = ln
2 2 1−y
pour tout y ∈] − 1, 1[.