Apr 16, 2025 · updated Apr 17, 2025 · by Po-Shen Loh

A Cute ProofThat Makes ee

An explanation in Pre-Calculus language, connecting the two most important properties of ee.

For the full article covering many properties of ee, including history and comparison with existing methods of teaching: PDF from arXiv. A video explanation will be posted here shortly.

Key conceptual starting point

Geometrically, there really is only one exponential function curve shape, because all exponential function curves y=axy = a^x (with positive real bases aa) are just horizontal stretches of each other. This is exactly like how all ellipses are just stretches of each other (and for the same reason).

For example, y=8xy = 8^x, stretched horizontally by a factor of 66, is y=8x/6=(2)xy = 8^{x/6} = (\sqrt{2})^x.

All exponentials are stretches of each other

Geometrically, since stretching is a continuous process, exactly one of these horizontally stretched exponential curves has the property that its tangent line at its yy-intercept has the particularly nice and natural slope of 11.

DefinitionWe define e\boldsymbol e to be the unique positive real base corresponding to that curve.
Definition of e

Easy ee approximation

Let’s find a number whose exponential curve has tangent slope 11 at the yy-axis. For this, we take the curve y=3xy = 3^x and estimate what factor to horizontally stretch it. To start, we must estimate the slope of the tangent line to y=3xy = 3^x at its yy-intercept A(0,30)A(0, 3^0). But how? Does that need Calculus? No! Algebra is enough!

Consider a very-nearby point on the curve: B(h,3h)B(h, 3^h), where hh is tiny but not zero. The slope of line ABAB is

3h30h0 \frac{3^h - 3^0}{h - 0}

Use h=0.0001h = 0.0001 to approximate that tangent slope:

30.000110.000101.09867 \frac{3^{0.0001} - 1}{0.0001 - 0} \approx 1.09867

Thus a horizontal stretch by a factor of 1.09867\approx 1.09867 will make the tangent slope 1\approx 1. So 3x/1.09867=(31/1.09867)x3^{x/1.09867} = (3^{1/1.09867})^x has a tangent slope of 1\approx 1.

Therefore, 31/1.098672.718143^{1/1.09867} \approx 2.71814 is close to ee. This is pretty good, because actually e2.718281828459045e \approx 2.718281828459045.

Beautiful tangent slopes everywhere

The same method derives the slope of the tangent line to y=exy = e^x at any point P(x,ex)P(x, e^x). Consider a very-nearby point on the curve: Q(x+h,ex+h)Q(x+h, e^{x+h}), where hh is tiny but not zero. The slope of line PQPQ is

ex+hex(x+h)x=ex(ehe0h0). \frac{e^{x+h} - e^x}{(x+h) - x} = e^x \cdot \left( \frac{e^h - e^0}{h - 0} \right).

The bracket is the slope of the line through (0,e0)(0, e^0) and (h,eh)(h, e^h), so as hh shrinks, the bracket becomes the slope of the tangent to y=exy = e^x at the yy-intercept. That miraculously cleans up to just 11 by our definition of ee. (And that is precisely why we built the definition this way.)

Property 1So, the slope of the tangent at P(x,ex)P(x, e^x) is just exe^x.

Rephrased in Calculus language: exe^x is its own derivative. This is perhaps the single most important property of ee, because all of the Calculus facts stemming from ee can be deduced from this fact.

Compound interest limit

Pre-Calculus usually teaches a different definition of ee, as the limit of the expression (1+1n)n\big(1 + \frac 1 n \big)^n which arises from continuously compounded interest. To reconcile the approaches, we now visually prove that (1+1n)n\big(1 + \frac 1 n \big)^n approaches the same number we defined.

Since logbx\log_b x is the inverse function of bxb^x for any base bb, using our base ee we get

(1+1n)n=(eloge(1+1n))n=enloge(1+1n)\begin{align*} \left(1 + \frac 1 n\right)^n &= \left(e^{\log_e \left(1 + \frac 1 n\right)}\right)^n \\ &= e^{n \log_e \left(1 + \frac 1 n\right)} \end{align*}

We used base b=eb = e (instead of, say, 1010) because it now conveniently suffices to show that the expression in the exponent tends to 11 as nn grows. That expression rearranges into a slope calculation!

nloge(1+1n)=loge(1+1n)1n n \log_e \left(1 + \frac 1 n\right) = \frac{\log_e \left(1 + \frac 1 n\right)}{\frac{1}{n}}
=loge(1+1n)loge(1)(1+1n)(1) = \frac{\log_e \left(1 + \frac 1 n\right) - \log_e (1)}{\left(1 + \frac 1 n\right) - (1)}

That’s the slope of the line through the point (1,0)(1, 0) on the curve y=logexy = \log_e x and another point very nearby on the curve. As nn grows, that tends to the slope of the tangent line at (1,0)(1, 0). We are done as soon as we prove that slope is 11 (which is also a natural objective to seek).

To that end, since logex\log_e x is the inverse function of exe^x, their graphs are reflections over the line y=xy = x.

Log is reflection of Exp

Both of the following lines have slope 11:

  • the tangent line to y=exy = e^x through (0,1)(0, 1) by definition of ee; and
  • the line y=xy = x.

So, they are parallel, making this nice reflection:

Derivative of Log
Property 2Therefore, the slope of the tangent line to y=logexy = \log_e x at (1,0)(1, 0) is indeed 11, completing the proof!
thoughtfull
The missionNewsletter