Supongamos que x1 ≠ x2, f(x1) = f(x2), entonces x1e x1 = x2e x2.
Logaritmo de ambos lados: x1+e^x1 = x2+e^x2+e x2.
Porque e^x > x(x>0), entonces x 1+e x 1 >;x1 + x1 = 2x1, x2+e^x2 & gt;x2 + x2 = 2x2.
Para resumir: x1+E x1 > 2x1, x2+e^x2 & gt; 2x2, y f(x1) = f(x2), entonces 2x1 = 2x2, entonces x1 = x2, y x1 ≠ x2. Es una contradicción, demostrada.
Por lo tanto, se sabe que x1 ≠ x2 y f(x1) = f(x2), entonces x 1+x2 >;2.