On veut résoudre l'inéquation
xy ≥ yx dans
(R∗+)2.
- Démontrer que pour tout (x, y) ∈ (R∗+)2 on a l'équivalence
xy ≥ yx
⇔
ln(x)/x
≥ ln(y)/y.
- Étudier les variations et les limites de la fonction f :
t ↦ ln(t)/t sur R∗+. Tracer une représentation graphique de la courbe de f.
- Montrer que la restriction de la fonction f à l'intervalle ]1 ; e] induit une bijection entre son domaine et son image.
On notera g la bijection réciproque, dont on précisera les variations.
- Montrer que pour tout x ≥ e, l'inéquation xy ≥ yx est vérifiée si et seulement si y ≥ x ou y ≤ g(f(x)).
(On pourra distinguer les cas y ≤ e
et y ≥ e.)
- Justifier que la fonction g est dérivable en e et calculer g′(e).
- Vérifier l'égalité f(2) = f(4) et en déduire la valeur de g(f(4)).
- En posant h = g ∘ f
sur [e ; +∞[, calculer h′(e)
et h′(4) puis en donner une valeur approchée sachant que ln(2) vaut environ 0,7 à 10−2 près.
- Représenter graphiquement la courbe de la fonction h,
ses tangentes en e et en 4 ainsi que son éventuelle asymptote en +∞.