TD de remise à niveau en mathématiques

Thème de la semaine 6

Exercice 1 : L'équation diophantienne ab = ba

ln(x)
Soit f : x 7→ .
x
1 − ln(x)
1. En utilisant le fait que pour tout x > 0 on a f 0 (x) = , montrer que
x2
f est injective sur ]0; e[ et sur ]e; +∞[.
Pour tout x ∈]0; e[ on a f 0 (x) > 0 et pour tout x ∈]e; +∞[ on a f 0 (x) < 0 donc
f est strictement croissante ]0; e[ et strictement décroissante sur ]e; +∞[. En
particulier elle est injective sur chaque intervalle.
2. Quel est l'ensemble des solutions de l'équation f (x) = f (1) ?
L'ensemble de dénition de f est R∗+ . Pour tout x ∈ R∗+ on a f (x) = f (1) =
0 ⇔ ln(x) = 0 ⇔ x = 1. Donc l'ensemble des solutions est le singleton {1}.
3. Montrer que l'ensemble des solutions de l'équation f (x) = f (2) est {2, 4}.
ln(22 ) 2 ln(2) ln(2)
On a f (4) = = = = f (2). D'après 1. il ne peut y avoir
22 2·2 2
d'autre solution que 2 sur ]0; e[ et il ne peut y avoir d'autre solution que 4
sur ]e; +∞[. L'ensemble des solutions est donc bien {2, 4}.
4. Soit a ∈ N. Si a > 3 existe-t-il un b ∈ N \ {a} tel que f (b) = f (a) ?
D'après 1. si a ∈]e; +∞[ et s'il existe b ∈ N \ {a} tel que f (b) = f (a) alors
on a b ∈]0; e[ donc b ∈ {1, 2}. D'après 2. le cas b = 1 est impossible, donc la
seule possibilité est a = 4, b = 2.
5. Déduire de ce qui précède l'ensemble des couples (a, b) ∈ (N∗ )2 qui vérient
ab = ba avec a < b.
Pour tout (a, b) ∈ (N∗ )2 on a
ln(a) ln(b)
ab = ba ⇔ b ln(a) = a ln(b) ⇔ = ⇔ f (b) = f (a).
a b
D'après les questions précédentes, avec a < b il n'y a donc que le couple
(a, b) = (2, 4).

Exercice 2 : Irrationalité de log10 (6)

Démontrer par l'absurde que log10 (6) ∈
/ Q.
p
Supposons que log10 (6) = avec (p, q) ∈ Z2 . Comme log10 (6) > 0, p et q sont
q
du même signe et on peut donc supposer que (p, q) ∈ (N∗ )2 . On a donc
ln(6) p
= ⇔ 6q = 10p ⇔ 2q 3q = 2p 5p ⇔ 2q−p 3q = 5p .
ln(10) q

1
Comme 6 < 10 on a nécessairement q > p, c'est à dire q − p > 0. On voit que 2q−p
divise 5p donc 5p est pair, ce qui est absurde.
Ceci démontre par l'absurde que log10 (6) ne pas être rationnel.

Exercice 3 : Equations et inéquations

Résoudre les équations et inéquations suivantes :

1. ln(y + 3) + ln(y + 4) = ln(2).
L'équation n'a de sens que si y + 3 > 0 et y + 4 > 0, c'est à dire si y > −3.
Pour tout y > −3 on a

ln(y + 3) + ln(y + 4) = ln(2) ⇔ ln ((y + 3)(y + 4)) = ln(2)

En prenant l'exponentielle des deux côtés ceci équivaut à
y 2 + 7 y + 12 = 2 ⇔ y 2 + 7 y + 10 = 0 ⇔ y ∈ {−2, −5}.

L'ensemble des solutions est donc S = {−2} (car −5 6 −3).

2. ln(t)2 = ln(t2 ) − 1.
L'équation n'a de sens que pour t > 0. Pour tout t > 0 on a
ln(t)2 = ln(t2 ) − 1 ⇔ ln(t)2 − 2 ln(t) + 1 = 0 ⇔ (ln(t) − 1)2 = 0 ⇔ ln(t) = 1.

L'ensemble des solutions est donc {e}.

3. 6ex + e−x = 5.
Pour tout x ∈ R on a
6ex + e−x = 5 ⇔ 6e2x − 5 ex + 1 = 0

En posant z = ex cela équivaut à

  
 6 z2 − 5 z + 1 = 0  (2 z − 1)(3 z − 1) = 0  z ∈ {1, 1}
2 2
⇔ ⇔
 z = ex  z = ex  x = ln(z)

L'ensemble des solutions est donc {− ln(2), − ln(3)}.

4. ln(y 2 + 1) + ln(y + 2) > ln(2).
L'inéquation n'a de sens que si y 2 + 1 > 0 et y + 2 > 0 c'est à dire si y > −2.
Pour tout y ∈] − 2; +∞[ on a

ln(y 2 + 1) + ln(y + 2) > ln(2) ⇔ ln(y 3 + 2 y 2 + y + 2) > ln(2)

D'où, en prenant l'exponentielle
y 3 + 2 y 2 + y + 2 > 2 ⇔ y 3 + 2 y 2 + y > 0.

Or y 3 + 2 y 2 + y = y(y + 1)2 , et comme (y + 1)2 > 0 tout ça est équivalent à

y > 0. L'ensemble des solutions est donc ] − 2; +∞[ ∩ R+ = R+ .

2
5. ln(y 2 − 9) + ln(y − 4) < ln(10).
L'équation n'a de sens que si y 2 − 9 > 0 et y − 4 > 0, c'est à dire si y > 4.
Pour tout y ∈]4; +∞[ on a

ln(y 2 − 9) + ln(y − 4) < ln(10) ⇔ ln(y 3 − 4 y 2 − 9 y + 36) < ln(10)

D'où, en prenant l'exponentielle
y 3 − 4 y 2 − 9 y + 36 < 10 ⇔ y 3 − 4 y 2 − 9 y + 26 < 0

Le polynôme P (Y ) = Y 3 − 4 Y 2 − 9 Y + 26 admet 2 comme racine évidente.

D'après le tableau de Horner suivant

1 −4 −9 26
2 0 2 −4 −26
1 −2 −13 0

on a P (Y√) = (Y − 2)(Y
√ − 2 Y − 13). Or les racines du trinôme
2
√ Y 2 − 2 Y√− 13
sont 1 + 14 et 1 − 14 donc P (Y ) = (Y − 2)(Y − 1 − 14)(Y − 1 + 14).
Et d'après le tableau des signes suivant
√ √
y 1− 14 2 1+ 14
y−2 − − − 0 + + +
√
y − 1 − 14 − − − − − 0 +
√
y − 1 + 14 − 0 + + + + +
P (y) − 0 + 0 − 0 +
√ √
on a P (y) < 0 ⇔ y ∈] − ∞; 1 − 14[∪]2; 1 + 14[.
Donc l'ensemble des solutions est
 √ √  √
]4; +∞[ ∩ ] − ∞; 1 − 14[∪]2; 1 + 14[ =]4; 1 + 14[.

6. 72x − 30 · 7−x < 19.

Pour tout x ∈ R on a
72x − 30 · 7−x < 19 ⇔ 73x − 19 · 7x − 30 < 0

 P (z) < 0
En posant z = 7 cela équivaut à
x
avec P (Z) = Z 3 − 19 Z − 30.
 z = 7x
Comme -2 est racine évidente de P (Z) on factorise à l'aide du tableau de
Horner suivant :
1 0 −19 −30
−2 0 −2 4 30
1 −2 −15 0

3
On obtient P (Z) = (Z + 2)(Z 2 − 2 Z − 15) = (Z + 2)(Z + 3)(Z − 5). On a
le tableau des signes

z −3 −2 5
z+2 − − − 0 + + +
z+3 − 0 + + + + +
z−5 − − − − − 0 +
P (z) − 0 + 0 − 0 +

D'où P (z) < 0 ⇔ z ∈ ] − ∞; −3[∪] − 2; 5[.

Finalement on obtient

72x − 30 · 7−x < 19 ⇔ 7x ∈ ] − ∞; −3[ ∪ ] − 2; 5[ .

Comme pour tout x ∈ R on a 7x > 0, c'est équivalent à 7x ∈ ]0; 5[.

L'ensemble des solutions est donc ] − ∞; log7 (5) [.