Reply to comment

The making of the logarithm

Remember the natural logarithm? It’s intimately related to one of the most beautiful constants of mathematics, the number

  \[ e = 2.71828182845904523536028747135266249775724709369995... . \]    

The logarithm $\ln {x}$ of a real number $x$ is the number to whose power you must raise $e$ to get $x:$

  \[ e^{\ln {x}} = x. \]    

Today we use a calculator or computer to find logarithms, but traditionally people looked them up in tables that for a long list of numbers $x$ gave you the corresponding value of $\ln {x}$.

John Napier

Portrait of John Napier (1550-1617), dated 1616.

Tables of numbers related in a very similar way were first published in 1614 by the mathematician, physicist and astronomer John Napier in a paper called The construction of the wonderful canon of logarithms. Surprisingly, though, Napier had never even heard of the number e, nobody had at the time, and he wasn't really thinking about exponentiation either. When he inadvertently defined something very similar to the logarithm to base e, he did so by imagining points moving along lines!

One problem that was plaguing people at the time, especially astronomers, was arithmetic. Astronomical calculations required the multiplication and division of very large numbers, something that’s pretty hard to do without a calculator. One way of making things easier is to think in terms of powers. As the rules of exponentiation tell us, to multiply two powers of 2, say $2^ a \times 2^ b$, you only need to add their exponents. To divide them, you simply subtract their exponents:

$2^ a \times 2^ b = 2^{a+b}$

$\frac{2^ a}{2^ b} = 2^{a-b}.$

So a table telling you how to express large numbers as powers of 2, or of any other number, would help you simplify your calculations considerably. Given a number $N$ you would be looking for the number $L$ so that

  \[ N=2^ L. \]    

In other words, what you'd want are tables of logarithms to the base 2, or some other number.

In Napier's time, however, people were not used to thinking in terms of exponentiation. They didn't have the concept of a base and they didn't have our handy way of writing powers, using a little number at the top.

What they were aware of, though, since the time of Archimedes, was an interesting link between the sequence you get by starting with 2 and successive doubling (which we today recognise as the sequence of powers of 2):

2, 4, 8, 16, 32, 64, 128, … .

and the sequence of natural numbers

1, 2, 3, 4, 5, 6, 7, … .

The first sequence is called a geometric progression because successive numbers have the same ratio; 2. The latter is called an arithmetic progression because successive numbers have the same difference; 1.

People noticed that multiplying (or dividing) two numbers in the geometric progression corresponds to adding (or subtracting) the corresponding numbers in the arithmetic progression. (To us, these are just the laws of exponentiation again, as numbers in the geometric progression are powers of 2, and the numbers in the arithmetic progression are the corresponding exponents.) This seemed to offer a way of making calculations easier, as you could replace the harder operations in the geometric progression with easier ones in the arithmetic progression.

Napier wanted to produce a table that related numbers in a useful geometric progression to numbers in a corresponding arithmetic progression so that, as he wrote, "All multiplications, divisions and [...] extraction of roots are avoided," and replaced by "most easy additions, subtractions and divisions by 2."

It’s the way he found the two sequences that is so intriguing. Imagine a point, call it $P$, moving along a finite line segment from a point $A$ to a point $B.$ It doesn’t move at uniform speed, however, but slows down continually: its speed at any given moment is proportional to the distance still left to travel to the point $B$. The closer to $B$ the point gets, the slower it gets, so it will never actually reach $B$. If you measured the distance still left to travel to $B$ at regular time intervals, say every second, then the numbers you’d get would form a decreasing geometric progression: ratios between successive numbers would be equal, but unlike on our example above, they’d be smaller than 1.

Point P

How do you link that to an arithmetic progression? Intuitively, imagine marking the locations of $P$ at each time interval on the line: $x_1$ is the location of $P$ after one second, $x_2$ the location after 2 seconds, and so on. Then since $P$ is continually slowing down, the intervals $[x_ i, x_{i+1}]$ become smaller as $i$ gets larger. And since $P$ never reaches its destination, there are infinitely many such intervals. Now imagine stretching these intervals out so they all have equal length, but also imagine that $P$ still takes a second to traverse each of them. This would move the point $B$ all the way out to infinity (there are infinitely many intervals of equal length), the average speed of $P$ in an interval would be the same for all intervals (all intervals have equal length, which $P$ traverses in one second), and the sequence of distances travelled after one second, two seconds, three seconds, and so on, would form an arithmetic progression.

Using, presumably, this sort of intuitive reasoning, Napier imagined a second point $Q$, which starts out at point $A$ at the same time as $P$ and with the same speed, but travelling at uniform speed towards and beyond $B$ and to infinity. At a given point in time, he defined the distance already travelled by $Q$ to be the logarithm of the distance yet to travel by $P$. This links every number in the geometric progression defined by $P$’s journey to a number in the arithmetic progression defined by $Q$’s journey.

Point P

Napier took the length of the line segment from $A$ to $B$ to be very large: $10,000,000 = 10^7$ units. He did this to ensure accuracy and presumably also because he had astronomical calculations in mind, so you’d want to find a logarithm for large numbers. He also assumed that the initial speed of $P$ is $10^7$.

Today we would use calculus to work out Napier's logarithm. If you do this (see here to find out how), you will find that

  \[ \frac{x}{10^7} = \frac{1}{e}^{\left(\frac{y}{10^7}\right)}, \]    

where $x$ is the distance still to travel by $P$ and $y$ is the distance already travelled by $Q.$

This means that $\frac{y}{10^7}$ is the logarithm to base $1/e$ of $\frac{x}{10^7}$ — essentially that’s what Napier’s construction defines. But since calculus had not been invented in Napier’s time, his table gave an approximation of this logarithm, relating $x$ and $y$ by the relationship

  \[ \frac{x}{10^7} =\left(1-\frac{1}{10^7}\right)^ y. \]    

To see that this really is a good approximation, rewrite the expression as

  \[ \frac{x}{10^7} = \left(1-\frac{1}{10^7}\right)^{10^7\left(\frac{y}{10^7}\right)}. \]    

If you are familiar with the many beautiful properties of the number $e$, then you will know that for any real number $x$, $e^{x}$ is the limit as $n$ goes to infinity of

  \[ \left(1+\frac{x}{n}\right)^{n}. \]    

Taking $x=-1$ gives

  \[ \lim _{n \rightarrow \infty }{\left(\left(1-\frac{1}{n}\right)^{n}\right)} = e^{-1}=\frac{1}{e}. \]    

And since $10^7$ is a very large number, the number

  \[ \left(1-\frac{1}{10^7}\right)^{10^7} \]    

that appears as the base in Napier’s logarithms is very close to the limit $\frac{1}{e}$. Therefore, since

  \[ \frac{x}{10^7} = \left(1-\frac{1}{10^7}\right)^{10^7\left(\frac{y}{10^7}\right)}, \]    

$\frac{y}{10^7}$ is very close to the logarithm to base $\frac{1}{e}$ of $\frac{x}{10^7}$. That’s why Napier’s work is often counted as the first, albeit implicit, appearance of the number $e$ in mathematical history. And Napier is today credited with inventing the natural logarithm — without ever having heard of $e!$


About the author

Marianne Freiberger is Editor of Plus.

Reply

  • Web page addresses and e-mail addresses turn into links automatically.
  • Allowed HTML tags: <a> <em> <strong> <cite> <code> <ul> <ol> <li> <dl> <dt> <dd>
  • Lines and paragraphs break automatically.

More information about formatting options

By submitting this form, you accept the Mollom privacy policy.