1. Domaine de définition
f(x) = x·e1/x est définie si x ≠ 0 (pour que 1/x existe).
Df = ℝ* = ]−∞, 0[ ∪ ]0, +∞[
2. Limites
En 0+ : x → 0+, 1/x → +∞, e1/x → +∞, x → 0+.
Posons u = 1/x → +∞ : x·e1/x = (1/u)·eu = eu/u → +∞.
limx→0+ f(x) = +∞
En 0− : x → 0−, 1/x → −∞, e1/x → 0+, mais x → 0−.
Posons u = 1/x → −∞ : x·e1/x = (1/u)·eu → 0 (car u·eu → 0 en −∞).
limx→0− f(x) = 0
En +∞ : 1/x → 0+, e1/x → 1, donc f(x) → +∞. Cherchons l'asymptote oblique.
f(x)/x = e1/x → e0 = 1 quand x → +∞. Donc pente a = 1.
f(x) − x = x(e1/x − 1). Posons u = 1/x → 0 : x(e1/x−1) = (eu−1)/u → 1.
limx→+∞ [f(x) − x] = 1. Donc la droite y = x + 1 est asymptote oblique en +∞.
En −∞ : De même, f(x)/x = e1/x → 1 et f(x) − x → 1. Droite y = x+1 est aussi asymptote en −∞.
3. Dérivée et variations
f(x) = x·e1/x. Par règle du produit :
f'(x) = 1·e1/x + x·(−1/x²)·e1/x = e1/x(1 − 1/x) = e1/x·(x−1)/x
Signe de f'(x) : e1/x > 0 toujours. Signe = signe de (x−1)/x.
f'(x) > 0 si x > 1 ou x < 0 ; f'(x) < 0 si 0 < x < 1 ; f'(1) = 0.
Minimum local en x = 1 : f(1) = 1·e1 = e.
4. Convexité
f''(x) = (e1/x·(x−1)/x)' = e1/x/x³ (calcul détaillé par produit/quotient).
Sur ]0, +∞[ : x³ > 0 et e1/x > 0, donc f''(x) > 0 : f convexe sur ]0, +∞[.
Sur ]−∞, 0[ : x³ < 0, donc f''(x) < 0 : f concave sur ]−∞, 0[.
5. Position par rapport à l'asymptote y = x+1
f(x) − (x+1) = x·e1/x − x − 1.
Posons u = 1/x : f(x)−(x+1) = (eu−1−u)/u. Or eu ≥ 1 + u (inégalité exp), donc eu−1−u ≥ 0.
Pour x > 0 : u > 0, donc f(x)−(x+1) ≥ 0 : la courbe est au-dessus de l'asymptote.
Pour x < 0 : u < 0, eu−1−u ≥ 0 mais divisé par u < 0, donc f(x)−(x+1) ≤ 0 : la courbe est en dessous de l'asymptote.