I want to prove that all of the graph of $y=e^x$ lies above the tangent of $y=e^x$ at the point $x=a$, for all real $a$. (The graph of $y=e^x$ lies above its tangent except at $x=a$, where the graph touches the tangent).
By differentiating, I get that the equation of the tangent of $y=e^x$ at $x=a$ is $y=e^ax+e^a-ae^a$.
If I can show that $e^a(x+1-a)$ $\leq$ $e^x$, for all $a$, with equality only when $x=a$, then I'm done.
How can I prove this inequality? Or, is there a better way to go about proving this?
Best Answer
Astonishingly much about the exponential function (cf. most of my answers to questions about the exponential function) can be shown using virtually only its multiplicativity $$\tag1 e^{x+y}=e^xe^y $$ and the lower bound $$\tag2 e^x\ge 1+x\qquad\text{with equality iff }x=0.$$ Same here: Extract a (positive) factor $e^a$ to arrive at the desired claim: $$ e^x=e^{x-a}e^a\ge (1+x-a)e^a\qquad\text{with equality iff }x=a.$$
Of course this is cheating as $(2)$ is in fact the special case of the claim for $a=0$, so we better actually prove it this time before using it.
Recall that the exponential is always positive, hence has positive derivative, hence is strictly increasing. First consider $x>0$. By the MWT, there is some $\xi\in(0,x)$ with $$\frac{e^x-e^0}{x-0}=e^\xi>e^0,$$ so $$ e^x>x+1$$ as desired. Next consider $x<0$. This time, there is some $\xi\in(x,0)$ with $$\frac{e^x-e^0}{x-0}=e^\xi<e^0,$$ so again (careful with the sign!) $$ e^x>x+1$$ as desired.