Sagot :
g' vaut -xe^x donc est du signe de -x : g croit de 1 (sa limite en -infini) à 2 (g(0) puis décroit vers -infini
g(x)>1 donne e^x(1-x)>0 soit 1-x>0 soit x<1
g(1) vaut 1 et g(2) vaut 1-e² <0 g monotone sur [1,2] donc d'après le TVI une racine de g(x)=0 existe entre 1 et 2
environ 1.278 (Geogebra) 1.27<alpha<1.28
on a e[tex]e^\alpha-\alpha*e^\alpha+1=0[/tex] donc [tex]e^\alpha(1-\alpha)=-1[/tex]
d'où [tex]e^\alpha=1/(1-\alpha)[/tex] CQFD
g(x) est donc positif pour x<[tex]\alpha[/tex] et <0 pour x>[tex]\alpha[/tex]
en calculant A' on treouve que A'(x)=4*g(x)/(e^x+1)² donc A' a bien le mêm signe que g(x)
l'aire de OPMQ est x*f(x) soit A(x)
elle est donc maximale en [tex]\alpha[/tex]
et A([tex]\alpha[/tex])=4[tex]\alpha[/tex]/([tex]e^\alpha + 1[/tex])
or [tex]e^\alpha[/tex]=1/([tex]\alpha[/tex]-1) donc ([tex]e^\alpha + 1[/tex]) vaut [tex]\alpha/(\alpha-1)[/tex] et A([tex]\alpha[/tex])=4/[tex]\alpha[/tex]
soit entre 3.125 et 3.149
Tangente en M a priori // à PQ (Geogebra, à vérifier par le calcul algébrique)