216. An alternative method of development of the theory of the exponential and logarithmic functions

We shall now give an outline of a method of investigation of the properties of $e^x$ and $\log x$ entirely different in logical order from that followed in the preceding pages. This method starts from the exponential series $1+x+{\displaystyle \frac{x^2}{2!}}+\dots$. We know that this series is convergent for all values of $x$, and we may therefore define the function $\exp x$ by the equation $$\begin{array}{}\text{(1)}& \exp x=1+x+\frac{x^2}{2!}+\dots .\end{array}$$

We then prove, as in Ex. LXXXI. 7, that $$\begin{array}{}\text{(2)}& \exp x\times \exp y=\exp (x+y).\end{array}$$

Again $$\frac{\exp h–1}{h}=1+\frac{h}{2!}+\frac{h^2}{3!}+\cdots =1+\rho (h),$$ where $\rho (h)$ is numerically less than $$|\frac{1}{2}h|+|\frac{1}{2}h{|}^2+|\frac{1}{2}h{|}^3+\cdots =|\frac{1}{2}h|/(1–|\frac{1}{2}h|),$$ so that $\rho (h)\to 0$ as $h\to 0$. And so $$\frac{\exp (x+h)–\exp x}{h}=\exp x\left(\frac{\exp h–1}{h}\right)\to \exp x$$ as $h\to 0$, or $$\begin{array}{}\text{(3)}& D_x\exp x=\exp x.\end{array}$$ Incidentally we have proved that $\exp x$ is a continuous function.

We have now a choice of procedure. Writing $y=\exp x$ and observing that $\exp 0=1$, we have $$\frac{dy}{dx}=y,x={\int }_1^y\frac{dt}{t},$$ and, if we define the logarithmic function as the function inverse to the exponential function, we are brought back to the point of view adopted earlier in this chapter.

But we may proceed differently. From  it follows that if $n$ is a positive integer then $$(\exp x{)}^n=\exp nx,(\exp 1{)}^n=\exp n.$$ If $x$ is a positive rational fraction $m/n$, then $$\{\exp (m/n){\}}^n=\exp m=(\exp 1{)}^m,$$ and so $\exp (m/n)$ is equal to the positive value of $(\exp 1{)}^{m/n}$. This result may be extended to negative rational values of $x$ by means of the equation $$\exp x\exp (-x)=1;$$ and so we have $$\exp x=(\exp 1{)}^x=e^x,$$ say, where $$e=\exp 1=1+1+\frac{1}{2!}+\frac{1}{3!}+\dots ,$$ for all rational values of $x$. Finally we define $e^x$, when $x$ is irrational, as being equal to $\exp x$. The logarithm is then defined as the function inverse to $\exp x$ or $e^x$.

Example. Develop the theory of the binomial series $$1+(\genfrac{}{}{0ex}{}{m}{1})x+(\genfrac{}{}{0ex}{}{m}{2})x^2+\cdots =f(m,x),$$ where $-1<x<1$, in a similar manner, starting from the equation $$f(m,x)f(m^{\prime },x)=f(m+m^{\prime },x)$$ (Ex. LXXXI. 6).