What is so natural about "natural logarithms"?
Scott E. Brodie
October 8, 2007
Now what so pleasing can there be as the speculation of these things, to read and examine such experiments, or, if a man be more mathematically given, to calculate, or peruse Napier's Logarithms, or those tables of artificial sines and tangents ... Robert Burton,
The Anatomy of Melancholy 
The Oxford English Dictionary defines "logarithm" thus:
One of a particular class of arithmetical functions, invented by John Napier of Merchiston (died 1617), and tabulated for use as a means of abridging calculation. The essential property of a system of logarithms is that the sum of the logarithms of any two or more numbers is the logarithm of their product. Hence the use of a table of logarithms enables a computer to substitute addition and subtraction for the more laborious operations of multiplication and division ... 
(Note the nowarchaic use of the word "computer" to mean a person who performs computations!)
We can quickly review the basic facts about logarithms as follows:
Start with the simple equation for raising a number to a power:
x ^{y} = z. 
If any two of x, y, z are known, we can determine the third:
If we know x and y, we can perform the operation of "exponentiation" and determine z.
If y and z are known, we can perform the operation of "extracting the root" to determine x:
If we know x and z, the number, y, (the exponent) which satisfies
x ^{y} = z is called the "logarithm of z to the base x", and denotedlog_{x} z. If the base, x, is clear from context, it need not be explicitly mentioned.
Thus, logarithms are simply exponents, and the "laws of exponents" can be paraphrased as the "laws of logarithms:"
x^{0} = 1 means log_{x} 1 = 0
x^{1} = x means log_{x} x = 1
(Hence log_{x} y = 1 implies x = y)
x^{u}·x^{v} = x^{u + v} means
log_{x} (a·b) = log_{x} a + log_{x} b (x^{u})^{v} = x^{u·v} means
log_{x} a^{b} = b·log_{x} a
In particular, suppose you have a table of logarithms to the base x, but need a logarithm to the base y, say,
c = x^{log x c} = y^{log y c} = (x^{log x y})^{log y c} 
Taking logarithms to the base x,
log _{x} c = log _{x} y · log _{y} c 
or,
log _{y} c = log _{x} c / log _{x} y. 
It is thus easy to switch from one base to another, as dictated by convenience. As was first pointed out by Briggs, logarithms to the base 10 are particularly convenient for use with computations with numbers written in base 10, as is our usual practice. Often, logarithms to base 10 are referred to as "common logarithms," and are often abbreviated simply as "log x".
Of course, our affinity for writing numbers in base 10 is essentially a biological accident, an echo of the ancient practice of counting on one’s fingers, of which the most common endowment is ten. (Presumably, if arithmetic had been invented by twotoed sloths, base 4 might be in more common use!)
Euler first noticed a more universal basis for a choice of base for logarithms. He was apparently the first to contemplate the logarithm as a "function" rather than simply a table for facilitating computations. A graph of two logarithm functions is shown below. The "flatter" curve is a plot of logarithms with base 10, the "steeper" curve is a plot of logarithms to the base 2. The formula for change of base implies that any two such curves are related by a proportionality constant.
In particular, (as one might observe from the plotted curves) Euler made
the simple observation, that, for values of x near x = 1, the logarithm (to any base) of x was always near zero  indeed, say, for
It is reassuring to note that this approximation preserves the fundamental law of logarithms:

since y·z << y + z when y and z are very small.
Of course, as Euler recognized, the constant K_{b} is something of a nuisance, and it is
reasonable to ask if there is a choice of base for the logarithms with which
log_{b} (1 + 1/n) ≈ 1/n. 
Multiplying through by n,
log_{b} (1 + 1/n)^{n} ≈ 1. 
Passing to the limit as n increases without bound, we obtain
log_{b} lim_{n→∞}(1 + 1/n)^{n} = 1, 
or,
b = lim_{n→∞}(1 + 1/n)^{n}, 
since the logarithm function is continuous.
Thus, lim_{n→∞}(1 + 1/n)^{n}, for which Euler introduced the abbreviation "e", is the unique base b for logarithms with the property that
One can also easily determine the proportionality constant, K_{b} for other bases:
From the formula for change of base,
log_{b}(1 + y) = ln(1 + y) / ln b = y / ln b. 
so
K_{b} = 1 / ln b. 
Contact Front page Contents Algebra
Copyright © 19962018 Alexander Bogomolny