Démontrer que pour tout réel x > 0, x + 1x ≥ 2. Dans quel cas y a-t-il égalité ?
Voir la correction
on étudie la fonction h(x) = x + 1x − 2 sur ]0 ; +∞[ : l'inégalité demandée équivaut à h(x) ≥ 0.
h'(x) = 1 − 1x2 = x2 − 1x2 = (x − 1)x + 1x2. Sur ]0 ; +∞[, x2 > 0 et x + 1 > 0, donc h'(x) est du signe de x − 1 : négative sur ]0 ; 1[, nulle en 1, positive sur ]1 ; +∞[.
h est donc décroissante sur ]0 ; 1] puis croissante sur [1 ; +∞[ : elle admet en 1 son minimum, h(1) = 1 + 1 − 2 = 0. Ainsi h(x) ≥ 0 pour tout x > 0, c'est-à-dire x + 1x ≥ 2, avec égalité si et seulement si x = 1.
Autre preuve, algébrique : x + 1x − 2 = x2 − 2x + 1x = (x − 1)2/x ≥ 0 pour x > 0. La méthode par la dérivée est plus générale : elle s'applique quand aucune factorisation n'est visible.