1A, 1B - Logarithms as exponents

1A, 1B - Logarithms as exponents

What power of 22 gives 88, and what power gives 18\frac18? A logarithm answers this kind of question by reversing exponentiation. In 1A you will connect logarithms to exponential graphs; in 1B you will find exact logarithms from known powers.

Reversing exponentiation

A logarithm tells you the exponent when the base and the result of a power are known.

Since 23=82^3=8, the power of 22 needed to make 88 is 33. We write this as log⁡28=3\log_2 8=3, read “logarithm of eight to base two equals three”. The small 22 is the base, 88 is the argument, and the value of the logarithm is the exponent 33.

Logarithm

For the graphs in this lesson, bb is a natural number greater than 11. For x>0x>0,

log⁡bx=y⟺by=x.\log_b x=y\quad\Longleftrightarrow\quad b^y=x.

A logarithm is the exponent to which its base must be raised to obtain its argument.

The two statements contain exactly the same information. Keep the base fixed when changing form: the logarithm's value becomes the exponent, and its argument becomes the result of the power.

Worked example 1: from logarithmic to exponential form

Question. Write log⁡5125=3\log_5 125=3 in exponential form.

Plan. Identify the base, exponent and result.

log⁡5125=3⟹53=125.\log_5 125=3\quad\Longrightarrow\quad 5^3=125.

The base is 55; the logarithm says its exponent is 33.

Answer. 53=1255^3=125.

Check. 5×5×5=1255\times5\times5=125, so the exponential statement is true.

Now reverse the direction and use a negative exponent. A negative logarithm is possible even though a negative argument is not.

Worked example 2: from exponential to logarithmic form

Question. Write 5−2=1255^{-2}=\frac1{25} in logarithmic form.

Plan. Keep 55 as the base and make the exponent the logarithm's value.

5−2=125⟹log⁡5 ⁣(125)=−2.5^{-2}=\frac1{25}\quad\Longrightarrow\quad \log_5\!\left(\frac1{25}\right)=-2.

Answer. log⁡5 ⁣(125)=−2\log_5\!\left(\frac1{25}\right)=-2.

Check. An exponent of −2-2 means the reciprocal of 525^2, which is indeed 125\frac1{25}.

Every real power of a positive base is positive. Therefore no real exponent of 55 produces 00 or −25-25: log⁡50\log_5 0 and log⁡5(−25)\log_5(-25) have no real values. The restriction is on the argument, not on the logarithm's answer.

Exact logarithms

To evaluate a logarithm exactly, ask which exponent gives its argument.

The zero and first powers immediately give two useful values.

Special logarithm values

For b>1b>1,

b0=1⟹log⁡b1=0,b1=b⟹log⁡bb=1.b^0=1\quad\Longrightarrow\quad\log_b1=0, \qquad b^1=b\quad\Longrightarrow\quad\log_b b=1.

These values must be learnt; they are not on the examination formulae sheet.

The logarithm of 11 is therefore 00, not 11. A logarithm whose argument equals its base has value 11.

Worked example 3: an argument above the base

Question. Find the exact value of log⁡464\log_4 64.

Plan. Express 6464 as a power of 44.

42=16,43=64,∴log⁡464=3.4^2=16,\qquad4^3=64, \qquad\therefore\quad\log_4 64=3.

Answer. 33.

Check. Raising 44 to the proposed answer gives 43=644^3=64.

Keep the base 44, but change the argument to a number between 00 and 11. Fractional and negative indices now work together.

Worked example 4: a fractional negative logarithm

Question. Find the exact value of log⁡4 ⁣(12)\log_4\!\left(\frac12\right).

Plan. Use 41/2=24^{1/2}=2, then take its reciprocal.

4−1/2=141/2=12,∴log⁡4 ⁣(12)=−12.4^{-1/2}=\frac1{4^{1/2}}=\frac12, \qquad\therefore\quad\log_4\!\left(\frac12\right)=-\frac12.

Answer. −12-\frac12.

Check. Squaring 12\frac12 gives 14=4−1\frac14=4^{-1}, consistent with doubling the exponent −12-\frac12.

For any base greater than 11, arguments above 11 have positive logarithms, and arguments between 00 and 11 have negative logarithms. For example, 22<6<232^2<6<2^3 tells us 2<log⁡26<32<\log_2 6<3, even without its decimal value. A logarithm need not be an integer or a simple fraction.

Logarithmic graphs

Reversing exponentiation swaps the input and output of an exponential graph.

The point (3,8)(3,8) lies on y=2xy=2^x because 23=82^3=8. The equivalent statement log⁡28=3\log_2 8=3 puts (8,3)(8,3) on y=log⁡2xy=\log_2 x. Swapping every pair of coordinates reflects the graph in the line y=xy=x.

[DIAGRAM: asset_name: Exponential and logarithmic graphs are reflections; asset_slug: logarithm-reflection; caption: Swapping coordinates reflects an exponential graph in the line y equals x to give its logarithmic graph; description: Left panel uses equal coordinate scales to show y equals 2 to the x in blue, y equals log base 2 of x in sage and the dashed reflection line y equals x. The points (1,2) and (2,1) are connected across the reflection line, and the intercepts (0,1) and (1,0) are marked. Right panel shows y equals log base 3 of x with points (1/3,-1), (1,0), (3,1) and (9,2), approaching the vertical asymptote x equals 0 from the right.]
Swapping coordinates reflects an exponential graph in the line y equals x to give its logarithmic graph

Domain, range and asymptote

The domain is the set of allowed inputs; the range is the set of outputs. An asymptote is a line whose distance from a point on an unbounded branch of a curve tends to zero as the point moves along that branch.

For y=log⁡bxy=\log_b x, with natural-number b>1b>1:

  • the domain is x>0x>0, because the exponential's outputs are positive;
  • the range is all real numbers, because the exponential accepts every real exponent;
  • the curve crosses the horizontal axis at (1,0)(1,0) and passes through (b,1)(b,1);
  • it has no vertical-axis intercept and has vertical asymptote x=0x=0;
  • it increases throughout its domain, becoming less steep as xx increases.

As xx approaches 00 from the right, the logarithm decreases without bound. As xx increases without bound, the logarithm increases without bound, however slowly. These are shape statements; no gradient formula is needed.

Worked example 5: transferring exponential points

Question. The points (−2,14)(-2,\frac14), (0,1)(0,1) and (2,4)(2,4) lie on y=2xy=2^x. Find the corresponding points on y=log⁡2xy=\log_2 x.

Plan. Reflect in y=xy=x by swapping each input and output.

(−2,14)↦(14,−2),(0,1)↦(1,0),(2,4)↦(4,2).\left(-2,\frac14\right)\mapsto\left(\frac14,-2\right), \quad(0,1)\mapsto(1,0), \quad(2,4)\mapsto(4,2).

Answer. (14,−2)(\frac14,-2), (1,0)(1,0) and (4,2)(4,2).

Check. 2−2=142^{-2}=\frac14, 20=12^0=1 and 22=42^2=4 verify the three logarithmic outputs independently.

Now change the base to 33. The standard shape and intercept remain, but the point with output 11 moves.

Worked example 6: describing a logarithmic sketch

Question. Describe a sketch of y=log⁡3xy=\log_3 x, stating its asymptote and three exact points.

Plan. Use powers with exponents −1-1, 00 and 11, then apply the logarithmic shape.

3−1=13,30=1,31=3⟹(13,−1), (1,0), (3,1).3^{-1}=\frac13,\quad3^0=1,\quad3^1=3 \quad\Longrightarrow\quad \left(\frac13,-1\right),\ (1,0),\ (3,1).

Answer. Draw an increasing smooth curve through these points, entirely to the right of the vertical asymptote x=0x=0, with the left end decreasing without bound.

Check. Each point satisfies 3y=x3^y=x. In particular, (0,1)(0,1) is absent: a logarithm cannot accept zero.

Use exact points to position the curve, then draw its smooth shape; joining the points with straight segments would misrepresent the function.

Quick Recap

The opening answers are log⁡28=3\log_2 8=3 and log⁡2(1/8)=−3\log_2(1/8)=-3, because 23=82^3=8 and 2−3=1/82^{-3}=1/8. A logarithm gives an exponent, accepts a positive argument and can have a negative value. Its graph swaps the coordinates of the exponential graph and has vertical asymptote x=0x=0.