Bonjour à tous !

J'ai une petite question sur la résolution d'une équation car la solution est évidente on la voit directement, mais je ne sais pas comment rédiger la solution de façon rigoureuse...

L'équation est la suivante:  ln(x) +1-(1/x))=0

Avec le corollaire du theoreme des valeurs intermédiaires j'ai prouvé l'unicité de ma solution après avoir réalisé une etude de la stricte monotonie, mais maintenant je vois bien que la solution est x=1 mais je n'arrive pas à le prouver....

J'ai essayé plusieurs choses comme appliquer la fonction exponentielle des deux côtés mais cela ne m'avance à rien car j'arrive à:
x*(1/exp(1/x))=1/e

L'année dernière j'aurais procédé par dichotomie à la calculatrice ou j'aurais tracé la courbe de la fonction puis la droite d'équation y=0 pour trouver ma solution mais cela ne mrouve rien et en plus cette année on n'a pas le droit à la calculatrice donc si quelqu'un voulait bien m'expliquer ca serait très gentil !

Merci pour votre attention et désolée pour le dérangement.

Respectueusement,