$\dlim{x}{-\infty}f(x)=1$.
On en déduit que la droite d'équation $y=1$ est asymptote à la courbe $\mathscr{C}$ en $-\infty$.
$\dlim{x}{+\infty}f(x)=+\infty$.
Pour tout réel $x$, $f'(x)=(x+1)e^{x-1}$.
Une équation de $T_a$ est $y=(a+1)e^{a-1}x+1-a^2e^{a-1}$.
$O\in T_a\Leftrightarrow 1-a^2e^{a-1}=0$.
Montrons que $1$ est l'unique solution de $(E)$ sur $]0,+\infty[$.
Pour tout réel $x>0$, posons $g(x)=1-x^2e^{x-1}$. $g$ est dérivéble sur $]0,+\infty[$ et pour tout réel $x>0$,
$$g'(x)=-\left(2xe^{x-1}+x^2e^{x-1}\right)=-x(x+2)e^{x-1}.$$Pour tout réel $x>0$, on a $x>0$ et $x+2>0$ et $e^{x-1}>0$. Donc, pour tout réel $x>0$, $g'(x)< 0$. Ainsi, la fonction $g$ est strictement décroissante sur
$]0,+\infty[$. On en déduit que si $0
En particulier, pour tout réel $x$ de $]0,1[\cup]1,+\infty[$, $g(x)\neq0$. On en déduit que $1$ est donc l'unique solution de l'équation $1-x^2e^{x-1}=0$.
$1$ est l'unique solution de l'équation $1-x^2e^{x-1}=0$.
$O\in T_a\Leftrightarrow a=0$ et une équation de $T_0$ est $y=2x$.
Par suite,
\begin{align*} \text{pour tout réel}\;x,\;G'(x)=xe^{x-1}&\Leftrightarrow\text{ pour tout réel}\;x,\;(ax+a+b)e^{x-1}=xe^{x-1}\\ &\Leftrightarrow\text{ pour tout réel}\;x,\;ax+a+b=x\;(\text{car pour tout réel}\;x,\;e^{x-1}\neq0)\\ &\Leftarrow a=1\;\text{et}\;a+b=0\Leftarrow a=1\;\text{et}\;b=-1 \end{align*}Une primitive sur $\mathbb{R}$ de la fonction $x\mapsto xe^{x-1}$ est donc la fonction $x\mapsto(x-1)e^{x-1}$.
$I=\dfrac{1}{e}$.
L'aire, exprimée en unités d'aire, du domaine $\mathscr{D}$ est égale à $\dfrac{1}{e}$.