Étude de fonction

Domaine, limites, branches infinies, dérivée, tableau de variations, tangente, fonction réciproque et courbe. Calcul exact, gratuit.

x + 1 - ln(e^x - x) (x-2)e^x + x x - 1 + 2ln(x) (x^2-1)/(x-2) x^3 - 3x + 2 sqrt(x+1)
Solution
\( f(x) = x + \left(x - 2\right) e^{x} \)

Domaine de définition

\( D_f = \mathbb{R} \)

Parité

On a :
\( \left(\forall x \in D_f\right)\quad f(-x) = \left(- x e^{x} - x - 2\right) e^{- x} \)
Donc la fonction f n'est ni paire ni impaire.

Limites aux bornes

On a :
\( \displaystyle\lim_{x \to -\infty} f(x) = -\infty \)
\( \displaystyle\lim_{x \to +\infty} f(x) = +\infty \)

Branches infinies

On a :
\( \displaystyle\lim_{x \to -\infty} f(x) = -\infty \)
\( \displaystyle\lim_{x \to -\infty} \dfrac{f(x)}{x} = 1 \)
\( \displaystyle\lim_{x \to -\infty} \left(f(x) - x\right) = 0 \)
Donc la droite d'équation \( y = x \) est une asymptote oblique à la courbe \( (C_f) \) au voisinage de \( -\infty \).
On a :
\( \displaystyle\lim_{x \to +\infty} f(x) = +\infty \)
\( \displaystyle\lim_{x \to +\infty} \dfrac{f(x)}{x} = +\infty \)
Donc la courbe \( (C_f) \) admet une branche parabolique dirigée vers l'axe des ordonnées au voisinage de \( +\infty \).

Dérivée

\( \left(\forall x \in D_f\right)\quad f'(x) = x e^{x} - e^{x} + 1 \)

Signe de f′

On a :
\( \left(\forall x \in D_f\right)\quad f'(x) = g(x) \)
Soit \( g \) la fonction définie sur \( \mathbb{R} \) par :
\( g(x) = x e^{x} - e^{x} + 1 \)
On a :
\( g'(x) = x e^{x} \)
\( g'(x) = 0 \iff x = 0 \)
\[ \begin{array}{c|ccccc} x & -\infty & & 0 & & +\infty \\ \hline g'(x) & & - & 0 & + & \\ \hline \vphantom{\dfrac{\dfrac{1}{1}}{1}} g(x) & 1 & \Large\searrow & 0 & \Large\nearrow & +\infty \end{array} \]
\( g\left(0\right) = 0 \)
D'où :
\( \left(\forall x \in \mathbb{R}\right)\quad g(x) \geq 0 \)
Donc :
\( f'(x) = 0 \iff x = 0 \)
\[ \begin{array}{c|ccccc} x & -\infty & & 0 & & +\infty \\ \hline f'(x) & & + & 0 & + & \end{array} \]
D'où :
\( f \) est croissante sur \( \mathbb{R} \)

Tableau de variations

\[ \begin{array}{c|ccccc} x & -\infty & & 0 & & +\infty \\ \hline f'(x) & & + & 0 & + & \\ \hline \vphantom{\dfrac{\dfrac{1}{1}}{1}} f(x) & -\infty & \Large\nearrow & -2 & \Large\nearrow & +\infty \end{array} \]

Concavité et points d'inflexion

\( \left(\forall x \in D_f\right)\quad f''(x) = x e^{x} \)
\[ \begin{array}{c|ccccc} x & -\infty & & 0 & & +\infty \\ \hline f''(x) & & - & 0 & + & \\ \hline (C_f) & & \cap & I & \cup & \end{array} \]
D'où :
\( (C_f) \) est concave sur \( \left]-\infty\,;\,0\right] \)
\( (C_f) \) est convexe sur \( \left[0\,;\,+\infty\right[ \)
Le point \( I\left(0\,;\,-2\right) \) est un point d'inflexion de \( (C_f) \).

Position de la courbe par rapport à ses asymptotes

Soit \( (D) \) la droite d'équation \( y = x \). On étudie le signe de \( f(x) - \left(x\right) \) :
\( f(x) - \left(x\right) = \left(x - 2\right) e^{x} \)
\[ \begin{array}{c|ccccc} x & -\infty & & 2 & & +\infty \\ \hline f(x) - \left(x\right) & & - & 0 & + & \end{array} \]
D'où :
\( (C_f) \) est en dessous de \( (D) \) sur \( \left]-\infty\,;\,2\right[ \)
\( (C_f) \) est au-dessus de \( (D) \) sur \( \left]2\,;\,+\infty\right[ \)
\( (C_f) \) coupe \( (D) \) au point d'abscisse \( x = 2 \)

Points d'intersection avec les axes

L'équation \( f(x) = 0 \) ne se résout pas par le calcul : on lit le tableau de variations.
\( f \) est continue et strictement croissante sur \( \left]0\,;\,+\infty\right[ \), et \( f\left(\left]0\,;\,+\infty\right[\right) = \left]-2\,;\,+\infty\right[ \), qui contient \( 0 \).
Donc l'équation \( f(x) = 0 \) admet une unique solution \( \alpha \) dans \( \left]0\,;\,+\infty\right[ \).
De plus \( f(1{,}68) < 0 \text{ et } f(1{,}69) > 0 \), donc \( 1{,}68 < \alpha < 1{,}69 \).
Alors la courbe \( (C_f) \) coupe l'axe des abscisses en un point : \( A\left(\alpha\,;\,0\right) \).
On calcule \( f(0) \) :
\( f(0) = -2 \)
Alors la courbe \( (C_f) \) coupe l'axe des ordonnées en \( B\left(0\,;\,-2\right) \).

Signe de f(x)

\[ \begin{array}{c|ccccc} x & -\infty & & \alpha & & +\infty \\ \hline f(x) & & - & 0 & + & \end{array} \]
D'où :
\( \left(\forall x \in \left]-\infty\,;\,\alpha\right]\right)\quad f(x) \leq 0 \)
\( \left(\forall x \in \left[\alpha\,;\,+\infty\right[\right)\quad f(x) \geq 0 \)

Courbe représentative

−112510IA
La tangente au point d'abscisse \( x = 0 \) est horizontale, d'équation \( y = -2 \).

Fonction réciproque

\( f \) est continue et strictement croissante sur \( \mathbb{R} \).
Donc \( f \) admet une fonction réciproque \( f^{-1} \), définie sur l'intervalle \( J = f\left(\mathbb{R}\right) = \mathbb{R} \).
Dans un repère orthonormé, les courbes d'une fonction et de sa réciproque sont symétriques par rapport à la droite \( (\Delta) : y = x \).

Tangente en un point

L'équation de la tangente au point de votre choix : 0, 1, e, 1/2…