Exponentials & logarithms

The inverse relationship of exponents and logarithms

For m>0m>0 and b>0,b1b>0, b\neq 1 we have the following relationship:

\huge\fbox{\blueD{ b^{\purpleD{{ q}}}}=\redD m \quad \underline{\text{if and only if} }\quad \log_{\blueD b }{\redD m}=\purpleD q}

Explanations

log(n100)=>Θ(logN)==100log(n) log(n^{100}) => \Theta(logN) == 100log(n) --> power becomes constant

log5(n)=>Θ(logN)==log(N)log5 log_5(n) => \Theta(log N) == \frac{log(N)}{log_5} --> log of 5 becomes denominator

log3(81)=x log_3(81) = x to which power do I have raise log to the base of 3 to get to 81 = 4

log100(1)=x==>100x=1==>x=0 log_{100}(1) = x ==> 100^x = 1 ==> x=0

logb(a)=c<==>bc=a log_b(a) = c <==> b^c=a

  • b is the base

  • c is the exponent

  • a is called the argument

When rewriting an exponential equation in log form or a log equation in exponential form, it is helpful to remember that the base of the logarithm is the same as the base of the exponent.

log2(64)=6<==>26=64 log_2(64) = 6 <==> 2^6 = 64

Let's start by setting that expression equal to x.

log4(64)=x log_4(64) = x

Writing this as an exponential equation gives us the following:

4x=64 4^x = 64

4 to what power is 64? Well, 43=64 4^3 = 64 and so log4(64)=3. log_4(64) = 3.

Just by asking, "4 to what power is 64?"

Restrictions on the variables

logb(a) log_b(a) is defined when the base b is positive—and not equal to 1—and the argument a is positive. These restrictions are a result of the connection between logarithms and exponents.

Restriction

Reasoning

b>0b>0

In an exponential function, the base b is always defined to be positive.

a>0a>0

logb(a)=clog_b(a)=c means that bc=ab^c=a. Because a positive number raised to any power is positive, meaning bc>0b^c>0, it follows that a>0a>0.

b1b\neq1

Suppose, for a moment, that b could be 1. Now consider the equation log1(3)=xlog_1(3)=x. The equivalent exponential form would be 1x=31^x=3. But this can never be true since 1 to any power is always 1. So, it follows that b1 b\neq1.

The common and natural logarithm

Name

Base

Regular notation

Special notation

Common logarithm

10

log10(x)log_10(x)

log(x)log(x)

Natural logarithm

e

loge(x)log_e(x)

ln(x)ln(x)

ee is a mathematical constant. It is an irrational number that is approximately equal to 2.718. It appears in many contexts that involve limits, which you will likely learn about as you study calculus. For now, just treat ee as you would any other number.

While the notation is different, the idea behind evaluating the logarithm is exactly the same!

Here are two examples with solutions.

Example 1

Evaluate log(100)log(100)

Solution 1

By definition, log(100)=log10(100)log(100) = log_{10}(100)

10 to what power is 100?

102=100 10^2=100, so log(100)=2log(100) = 2

Example 2

Evaluate ln(e3)ln(e^3)

Solution 2

By definition, ln(e3)=loge(e3)ln(e^3)=log_e(e^3).

eeto what power is e3e^3?

e3=e3 e^3=e^3, so ln(e3)=3ln(e^3)=3.

Exercise

log8(2)=x8x=2x=13813=2log_8(2) = x\newline 8^x=2\newline x=\frac{1}{3}\newline 8^{\frac{1}{3}}=2

log8(12)=x813=1813=12x=13log_8(\frac{1}{2})=x\newline 8^{-\frac{1}{3}}=\frac{1}{8^\frac{1}{3}}=\frac{1}{2}\newline x=-\frac{1}{3}

Evaluate log (adv)

log27(13)=x log_{27}(\frac{1}{3})=x

  1. The equation logb(y)=xlog_b(y)=x and bx=yb^x=ymean exactly the same thing according to the definition of logarithms. Therefore, we can rewrite our question as an exponential equation.

    Do remember that for the equations to be equivalent, we need yyand bb to be positive numbers, and b1b\neq1

    So if log27(13)=xlog_{27}(\frac{1}{3})=x, then 27x=1327^x=\frac{1}{3}

  2. 27 to what power is 13\frac{1}{3}

  3. Notice that the cube root of 27 is 3 and that 31=133^{-1}=\frac{1}{3}

    Since amn=(an)ma^{\frac{m}{n}}=(\sqrt[n]a)^m, it follows that (273)1=2713=13(\sqrt[3]{27})^{-1} = 27^{-\frac{1}{3}}=\frac{1}{3}

    So log27(13)=13log_{27}(\frac{1}{3})=-\frac{1}{3}

    Note: If answering the above question was difficult, you can solve the equation 27x=1327^x=\frac{1}{3}to get the answer.

    27x=13(33)x=3133x=313x=1x=1327^x=\frac{1}{3} \newline(3^3)^x=3^{-1} \newline3^{3x}=3^{-1} \newline3x=-1 \newline x=-\frac{1}{3}

Another test:

log13(81)=x13x=81(31)x=343x=34x=4x=4log_{\frac{1}{3}}(81)=x \newline {\frac{1}{3}}^x=81 \newline (3^{-1})^x=3^4 \newline 3^{-x}=3^4 \newline -x=4 \newline x=-4

Intro to logarithm properties

The product rule

logb(MN)=logb(M)+logb(N)\large\log_b(MN)=\log_b(M)+\log_b(N)

The quotient rule

logb(MN)=logb(M)logb(N)\large\log_b\left(\frac{M}{N}\right)=\log_b(M)-\log_b(N)

The power rule

logb(Mp)=plogb(M)\large\log_b(M^p)=p\log_b(M)

The base rule

\large{\log_\blueD{b}(\purpleC a)=\dfrac{\log_\greenE{x}(\purpleC a)}{\log_\greenE{x}(\blueD b)}}

(These properties apply for any values of MM, NN, and bb for which each logarithm is defined, which is MM, N>0N>0 and 0<b10<b\neq1.)

What you should be familiar with before taking this lesson

You should know what logarithms are. If you don't, please check out our intro to logarithms.

What you will learn in this lesson

Logarithms, like exponents, have many helpful properties that can be used to simplify logarithmic expressions and solve logarithmic equations. This article explores three of those properties.

Let's take a look at each property individually.

The product rule: logb(MN)=logb(M)+logb(N)\log_b(MN)=\log_b(M)+\log_b(N)

This property says that the logarithm of a product is the sum of the logs of its factors.

If M=4M=4, N=8N=8 and b=2b=2, then according to the property, log2(48)=log2(4)+log2(8)\log_2(4\cdot 8)=\log_2(4)+\log_2(8).

The work below shows that the property is indeed true in this case!

log2(48)=log2(4)+log2(8)log2(32)=log2(4)+log2(8)Since 48=325=2+3Evaluating the logs5=5\begin{aligned}\log_2({4\cdot 8})&=\log_2(4)+\log_2(8)\\ \\ \log_2(32)&=\log_2(4)+\log_2(8)&&\small{\gray{\text{Since $4\cdot8=32$}}}\\ \\ 5&=2+3&&\small{\gray{\text{Evaluating the logs}}}\\ \\ 5&=5\end{aligned}

This is by no means a proof! Rather, it may convince us that the property is plausible and perhaps give us some insight as to why this is true.

We can use the product rule to rewrite logarithmic expressions.

Example 1: Expanding logarithms

For our purposes, expanding a logarithm means writing it as the sum of two logarithms or more.

Let's expand log6(5y)\log_6(5y).

Notice that the two factors of the argument of the logarithm are 5\blueD 5 and y\greenD y. We can directly apply the product rule to expand the log.

log6(5y)=log6(5y)                =log6(5)+log6(y)​​Product rule​og_6​(5y)​=log_6​(5⋅y)\newline \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ =log_6​(5)+log_6​(y)​​ \Rightarrow \text{Product rule​}

Example 2: Condensing logarithms

For our purposes, compressing a sum of two or more logarithms means writing it as a single logarithm.

Let's condense log3(10)+log3(x)\log_3(10)+\log_3(x).

Since the two logarithms have the same base (base-3), we can apply the product rule in the reverse direction:

log3(10)+log3(x)=log3(10x)=log3(10x)log_3​(10)+log_3​(x)​=log_3​(10⋅x)=log_3​(10x)​

An important note

When we compress logarithmic expressions using the product rule, the bases of all the logarithms in the expression must be the same.

For example, we cannot use the product rule to simplify something like log2(8)+log3(y)\log_2(8)+\log_3(y).

The quotient rule: logb(MN)=logb(M)logb(N)\log_b\left(\dfrac{M}{N}\right)=\log_b(M)-\log_b(N)

This property says that the log of a quotient is the difference of the logs of the dividend and the divisor.

If M=81M=81, N=3N=3 and b=3b=3, then according to the property, log3(813)=log3(81)log3(3)\log_3\left(\dfrac{81}{3}\right)=\log_3(81)-\log_3(3).

The work below shows that the property is indeed true in this case!

log3(813)=log3(81)log3(3)log3(27)=log3(81)log3(3)Since 81÷3=273=41Evaluating the logs3=3\begin{aligned} \\\log_3\left({\dfrac{81}{3}}\right)&=\log_3(81)-\log_3(3)\\ \\ \log_3(27)&=\log_3(81)-\log_3(3)&&\small{\gray{\text{Since $81\div 3=27$}}}\\ \\ 3&=4-1&&\small{\gray{\text{Evaluating the logs}}}\\ \\ 3&=3\end{aligned}

This is by no means a proof! Rather, it may convince us that the property is plausible and perhaps give us some insight as to why this is true.

Now let's use the quotient rule to rewrite logarithmic expressions.

Example 1: Expanding logarithms

Let's expand log7(a2)\log_7\left(\dfrac{a}{2}\right), writing it as the difference of two logarithms by directly applying the quotient rule.

log7(a2)=log7(a)log7(2)Quotient rule\begin{aligned}\log_7\left(\dfrac{\purpleC a}{\goldD 2}\right)&=\log_7(\purpleC a)-\log_7(\goldD 2) &\small{\gray{\text{Quotient rule}}} \end{aligned}

Example 2: Condensing logarithms

Let's condense log4(x3)log4(y)\log_4(x^3)-\log_4(y).

Since the two logarithms have the same base (base-4), we can apply the quotient rule in the reverse direction:

log4(x3)log4(y)=log4(x3y)Quotient rule\begin{aligned}\log_4(\purpleC{x^3})-\log_4(\goldD{y})&=\log_4\left(\dfrac{\purpleC{x^3}}{\goldD{y}}\right)&&\small{\gray{\text{Quotient rule}}}\\ \\ \end{aligned}

An important note

When we compress logarithmic expressions using the quotient rule, the bases of all logarithms in the expression must be the same.

For example, we cannot use the quotient rule to simplify something like log2(8)log3(y)\log_2(8)-\log_3(y).

The power rule: logb(Mp)=plogb(M)\log_b(M^p)=p\log_b(M)

This property says that the log of a power is the exponent times the logarithm of the base of the power.

If M=4M=4, p=2p=2, and b=4b=4, then according to the property, log4(42)=2log4(4)\log_4\left(4^2\right)=2\log_4(4).

The work below shows that the property is indeed true in this case!

log4(42)=2log4(4)log4(16)=2log4(4)Since 42=162=21Evaluating the logs2=2\begin{aligned} \\\log_4\left({4^2}\right)&=2\log_4(4)\\ \\ \log_4(16)&=2\log_4(4)&&\small{\gray{\text{Since $4^2=16$}}}\\ \\ 2&=2\cdot 1&&\small{\gray{\text{Evaluating the logs}}}\\\\ \\ 2&=2 \end{aligned}

This is by no means a proof! Rather, it may convince us that the property is plausible and perhaps give us some insight as to why this is true.

Now let's use the power rule to rewrite log expressions.

Example 1: Expanding logarithms

For our purposes in this section, expanding a single logarithm means writing it as a multiple of another logarithm.

Let's use the power rule to expand log2(x3)\log_2\left(x^3\right).

\begin{aligned}\log_2\left(x^\maroonC3\right)&=\maroonC3\cdot \log_2(x)&&\small{\gray{\text{Power rule}}}\\ \\ &=3\log_2(x) \end{aligned}

Example 2: Condensing logarithms

For our purposes in this section, condensing a multiple of a logarithm means writing it as a another single logarithm.

Let's use the power rule to condense 4log5(2)4\log_5(2),

When we condense a logarithmic expression using the power rule, we make any multipliers into powers.

\begin{aligned}\maroonC4\log_5(2)&=\log_5\left(2^\maroonC 4\right)~~&&\small{\gray{\text{Power rule}}}\\ \\ &=\log_5(16)\\ \end{aligned}

Evaluating logarithms: change of base rule

logab=logxblogxa\large log_ab =\frac{log_xb}{log_xa}

log5100=log10100log105=2log1052.861log_5 100 = \frac{log_{10} 100}{log_{10} 5} = \frac{2}{log_{10}5} \approx 2.861

Suppose we wanted to find the value of the expression log2(50)\log_2(50). Since 50 is not a rational power of 2, it is difficult to evaluate this without a calculator.

However, most calculators only directly calculate logarithms in base-1010 and base-ee. So in order to find the value of log2(50)\log_2(50), we must change the base of the logarithm first.

The change of base rule

We can change the base of any logarithm by using the following rule:

\large{\log_\blueD{b}(\purpleC a)=\dfrac{\log_\greenE{x}(\purpleC a)}{\log_\greenE{x}(\blueD b)}}

Notes:

  • When using this property, you can choose to change the logarithm to any base x\greenE x.

  • As always, the arguments of the logarithms must be positive and the bases of the logarithms must be positive and not equal to 1 in order for this property to hold!

Justifying the change of base rule

At this point, you might be thinking, "Great, but why does this rule work?"

logb(a)=logx(a)logx(b)Change of base rule\log_b(a)=\dfrac{\log_x(a)}{\log_x(b)}\qquad\leftarrow\goldD{\text{Change of base rule}}

To examine this, let's return to the original expression log2(50)\log_2(50). If we let log2(50)=n\log_2(50)=n then it follows that 2n=502^n=50.

Because the two values are equal, we can take the log in any base of both sides. Now we have:

2n=50logx(2n)=logx(50)If Y=Z, then logx(Y)=logx(Z)nlogx(2)=logx(50)Power Rulen=logx(50)logx(2)Divide both sides by logx(2)\begin{aligned} 2^n &= 50 \\\\ \log_x(2^n) &= \log_x(50)&&\small{\gray{\text{If $Y=Z$, then $\log_x(Y)=\log_x(Z)$}}} \\\\ n\log_x(2)&=\log_x(50)&&\small{\gray{\text{Power Rule}}}\\\\ n &= \dfrac{\log_x(50)}{\log_x(2)} &&\small{\gray{\text{Divide both sides by $\log_x(2)$}}}\end{aligned}

Since n=log2(50)n=\log_2(50), we have that log2(50)=logx(50)logx(2)\log_2(50)=\dfrac{\log_x(50)}{\log_x(2)} as desired!

By the same logic, we can prove the change of base rule. Just change 22 to bb and 5050 to aa and you have your proof!

Which expression is equivalent to log(6)log6(a)\log(6)\cdot \log_6(a)?

Notice that the argument of the first logarithm is the same as the base of the second logarithm. If we apply the change of base rule, we will be able to cancel common factors.

Since the base of the first logarithm is 1010, let's change the base of the second logarithm to 1010 as well.

log(6)log6(a)=log(6)log(a)log(6)=log(6)log(a)log(6)=log(a)\begin{aligned}\log( \maroonD 6)\cdot\log_{ \maroonD 6}( a) &=\purpleC{\log(6)}\cdot \dfrac{ {\log(a)}}{\purpleC{\log(6)}}\\\\ &=\purpleC{\cancel{\log(6)}}\cdot \dfrac{ {\log(a)}}{\purpleC{\cancel{\log(6)}}}\\\\ &=\log(a) \end{aligned}

Quiz

Which of the following is equivalent to log9(m)log(m)\dfrac{\log_9(m)}{\log(m)}?

Notice that the argument of the logarithm in the numerator is the same as the argument of the logarithm in the denominator.

log9(m)log(m)\dfrac{\log_9(\blueD m)}{\log(\blueD m)}

Since the base of the logarithm in the denominator is 1010, let's change the base of log9(m)\log_9(m)

log9(m)log(m)=log9(m)÷log(m)=log(m)log(9)÷log(m)\begin{aligned}\dfrac{\log_9(m)}{\log(m)}&={\log_9(m)}\div \log(m)\\\\ &=\dfrac{\log(m)}{\log(9)}\div \log(m) \end{aligned}

Division is multiplication by the reciprocal, and so this becomes:

log(3)logn(3)=log(m)log(9)1log(m)\begin{aligned}\phantom{\dfrac{\log(3)}{\log_n(3)}}&=\dfrac{\greenD{\log(m)}}{\log(9)}\cdot \dfrac{1}{\greenD{\log(m)}} \\\\ \end{aligned}

Let's cancel common factors:

=log(m)log(9)1log(m)=1log(9)\large=\frac{\cancel{log(m)}}{log(9)}⋅\frac{1}{\cancel{log(m)}}=\frac{1}{log(9)}

In conclusion, log9(m)log(m)=1log(9)\dfrac{\log_9(m)}{\log(m)}=\dfrac{1}{\log(9)}.

Last updated