Proofs

The laws of logarithms

For a base aa with a>0a > 0 and a≠1a \neq 1, and for positive numbers xx and yy,

log⁡a(xy)=log⁡ax+log⁡ay,\log_a(xy) = \log_a x + \log_a y, log⁡a(xy)=log⁡ax−log⁡ay,\log_a\left(\frac{x}{y}\right) = \log_a x - \log_a y, log⁡a(xk)=klog⁡ax.\log_a\left(x^k\right) = k\log_a x.

There is also the change-of-base rule, which turns a logarithm in one base into a quotient of logarithms in another:

log⁡ax=log⁡bxlog⁡ba.\log_a x = \frac{\log_b x}{\log_b a}.

Before you start

You need three things:

Predict first

The first law says

log⁡a(xy)=log⁡ax+log⁡ay.\log_a(xy) = \log_a x + \log_a y.

The left-hand side multiplies the two inputs. The right-hand side adds the two logarithms.

Before you read on, predict: a logarithm is an index, the power you raise the base to. Multiplying two powers of the same base adds their indices, so why should multiplying xx and yy add their logarithms? Write your answer in one sentence. Then read the proof and compare.

The proof

One idea runs through all three laws: a logarithm is an index. So each law is an index law read backwards.

Write the two logarithms as letters:

u=log⁡ax,v=log⁡ay.u = \log_a x, \qquad v = \log_a y.

By the definition of a logarithm, that means

au=x,av=y.a^u = x, \qquad a^v = y.

Now take the three index laws in turn.

The product law. Multiply xx and yy:

xy=au×av=au+v.xy = a^u \times a^v = a^{u+v}.

The first index law added the indices. Read the result as a logarithm: the power of aa that gives xyxy is u+vu + v. So

log⁡a(xy)=u+v=log⁡ax+log⁡ay.\log_a(xy) = u + v = \log_a x + \log_a y.

The quotient law. Divide xx by yy instead:

xy=auav=au−v.\frac{x}{y} = \frac{a^u}{a^v} = a^{u-v}.

The second index law subtracted the indices, so

log⁡a(xy)=u−v=log⁡ax−log⁡ay.\log_a\left(\frac{x}{y}\right) = u - v = \log_a x - \log_a y.

The power law. Raise xx to the power kk:

xk=(au)k=auk.x^k = (a^u)^k = a^{uk}.

The third index law multiplied the indices, so the power that gives xkx^k is ukuk:

log⁡a(xk)=uk=klog⁡ax.\log_a\left(x^k\right) = uk = k\log_a x.

That is all three laws. Each one is an index law, with the logarithm read off at the end, and none of them is a new fact about logarithms.

Two values worth keeping. Because a1=aa^1 = a, we have log⁡aa=1\log_a a = 1. Because a0=1a^0 = 1, we have log⁡a1=0\log_a 1 = 0. The second is why log⁡ba\log_b a is zero only when a=1a = 1.

The change-of-base rule. This rule lets you work in a base of your choosing, so it is worth deriving rather than quoting. Let

c=log⁡ax,soac=x.c = \log_a x, \qquad\text{so}\qquad a^c = x.

Take log⁡b\log_b of both sides:

log⁡b(ac)=log⁡bx.\log_b\left(a^c\right) = \log_b x.

The power law, already proved, brings the cc down:

clog⁡ba=log⁡bx.c\log_b a = \log_b x.

Now divide both sides by log⁡ba\log_b a. This is allowed because log⁡ba\log_b a is not zero: if log⁡ba=0\log_b a = 0 then a=1a = 1, and the base aa is not 11. So

c=log⁡bxlog⁡ba,that is,log⁡ax=log⁡bxlog⁡ba.c = \frac{\log_b x}{\log_b a}, \qquad\text{that is,}\qquad \log_a x = \frac{\log_b x}{\log_b a}.

What is assumed, and why

Each rule on the base and the inputs is doing a job. The proof would break without it.

Check your understanding

  1. Write log⁡35+log⁡37\log_3 5 + \log_3 7 as a single logarithm.
  2. Use the power law to show that log⁡a(1x)=−log⁡ax\log_a\left(\dfrac{1}{x}\right) = -\log_a x.
  3. Explain why log⁡2(xy)\log_2(xy) is defined for x=−2x = -2 and y=−3y = -3 when you multiply first, but the law log⁡2x+log⁡2y\log_2 x + \log_2 y is not defined for those inputs.
Answers
  1. By the product law, log⁡35+log⁡37=log⁡335\log_3 5 + \log_3 7 = \log_3 35.
  2. 1x=x−1\dfrac{1}{x} = x^{-1}, so by the power law with k=−1k = -1, log⁡a(x−1)=−1×log⁡ax=−log⁡ax\log_a\left(x^{-1}\right) = -1 \times \log_a x = -\log_a x.
  3. The product xy=(−2)(−3)=6xy = (-2)(-3) = 6 is positive, so log⁡2(xy)=log⁡26\log_2(xy) = \log_2 6 exists. But log⁡2(−2)\log_2(-2) and log⁡2(−3)\log_2(-3) each ask for a power of 22 that gives a negative number, and there is none. The law is stated for positive inputs because every logarithm in it must exist on its own, not only in combination.

One more thing

The change-of-base rule is why a calculator needs only two logarithm buttons, one for base 1010 and one for base ee. To work out log⁡210\log_2 10, write

log⁡210=ln⁡10ln⁡2≈2.30260.6931≈3.322.\log_2 10 = \frac{\ln 10}{\ln 2} \approx \frac{2.3026}{0.6931} \approx 3.322.

You may use any base for the quotient. The two logarithms change together as the base changes, so the ratio stays the same.

Settings

Colour scheme

Applies to every book you read here.

Reading theme

Applies to every book you read here.