Defining the Number e
Now that we have the natural logarithm defined, we can use that function to define the number e.
the number e
The number e is defined to be the real number such that
To put it another way, the area under the curve y=1t between t=1 and t=e is 1 (Figure 3).

The proof that such a number exists and is unique is left to you. (Hint: Use the Intermediate Value Theorem to prove existence and the fact that lnx is increasing to prove uniqueness.)
The number e can be shown to be irrational, although we won’t do so here. Its approximate value is given by
The Exponential Function
We now turn our attention to the function ex. Note that the natural logarithm is one-to-one and therefore has an inverse function. For now, we denote this inverse function by exp x. Then,
The following figure shows the graphs of exp x and ln x.

We hypothesize that exp x=ex.
For rational values of x, this is easy to show. If x is rational, then we have ln (ex)=xln e=x. Thus, when x is rational, ex=exp x.
For irrational values of x, we simply define ex as the inverse function of ln x.
defining the exponential function
For any real number x, define y=ex to be the number for which
Then we have ex=exp(x) for all x, and thus
for all x.
Properties of the Exponential Function
Since the exponential function was defined in terms of an inverse function, and not in terms of a power of e, we must verify that the usual laws of exponents hold for the function ex.
properties of the exponential function
If p and q are any real numbers and r is a rational number, then
- epeq=ep+q
- epeq=ep−q
- (ep)r=epr
Proof
Note that if p and q are rational, the properties hold. However, if p or q are irrational, we must apply the inverse function definition of ex and verify the properties. Only the first property is verified here; the other two are left to you. We have
Since lnx is one-to-one, then
■
As with part iv. of the logarithm properties, we can extend property iii. to irrational values of r, and we do so by the end of the section.
We also want to verify the differentiation formula for the function y=ex.
To do this, we need to use implicit differentiation. Let y=ex. Then,
Thus, we see
as desired, which leads immediately to the integration formula
We apply these formulas in the following examples.
Evaluate the following derivatives:
- ddte3tet2
- ddxe3x2
Evaluate the following integral: ∫4e3xdx.