Lesson Explainer: Laws of Logarithms | Nagwa Lesson Explainer: Laws of Logarithms | Nagwa

Lesson Explainer: Laws of Logarithms Mathematics

In this explainer, we will learn how to use the laws of logarithms to simplify logarithmic expressions and prove logarithmic statements.

First, let’s recall what a logarithm is. A logarithmic function is the inverse function of an exponential function. We can use logarithms to find unknown exponents in exponential equations and to rewrite an exponential equation so that the exponent is the subject of the equation. We do this by using the following definition.

Definition: Logarithms

If an exponential equation is in the form π‘Ž=𝑛, where π‘Ž>0, then it can be written as the logarithmic equation logοŒΊπ‘›=π‘₯, where π‘Ž is the base of the logarithm, 𝑛 is the argument, and π‘₯ is the exponent.

Therefore, π‘Ž=𝑛⇔𝑛=π‘₯ο—οŒΊlog.

Just like with exponents, we have laws for logarithms. Since logarithmic functions are the inverse of exponential functions, the laws of logarithms are the opposite of the laws of exponents. We can also use the laws of exponents to help us derive the laws of logarithms, which we will do throughout this explainer. Let’s first recall the laws of exponents.

Rule: Laws of Exponents

  • π‘ŽΓ—π‘Ž=π‘Žο‰οŠο‰οŠ°οŠ
  • π‘ŽΓ·π‘Ž=π‘Žο‰οŠο‰οŠ±οŠ, π‘Žβ‰ 0
  • (π‘Ž)=π‘Žο‰οŠο‰οŠ
  • π‘Ž=βˆšπ‘ŽοŽ ο‘ƒο‘ƒ, 𝑛≠0
  • π‘Ž=1π‘ŽοŠ±οŠοŠ, π‘Žβ‰ 0
  • π‘Ž=π‘ŽοŠ§, π‘Žβ‰ 0
  • π‘Ž=1, π‘Žβ‰ 0

We will start by deriving two special cases of logarithms using the definition of a logarithm and two of the laws of exponents as follows.

Since π‘Ž=𝑛⇔𝑛=π‘₯ο—οŒΊlog, then setting π‘₯=1, we can say π‘Ž=π‘ŽβŸΊπ‘Ž=1,log where π‘Žβ‰ 0.

Similarly, by setting π‘₯=0, we can say π‘Ž=1⟺1=0, where π‘Žβ‰ 0.

This leads us to the properties below.

Property: Special Values of Logarithms

For a logarithm with base π‘Ž, where π‘Ž>0,

  • logοŒΊπ‘Ž=1,
  • log1=0.

Due to the fact that logarithms are defined to be the inverse of exponential functions and that 𝑓𝑓(π‘₯)=π‘₯ and 𝑓(𝑓(π‘₯))=π‘₯, the following properties hold.

Property: Composition of Exponential and Logarithmic Functions

For π‘Ž>0, we have

  • π‘Ž=π‘₯log,
  • logοŒΊο—π‘Ž=π‘₯.

Also, note that π‘₯>0 is a requirement for the first property since we cannot take the logarithm of a negative number.

We will now derive each of the laws of logarithms for like bases in turn.

First, we will derive the multiplication law of logarithms, which links to the multiplication law for exponents.

Let’s say we have two logarithmic equations π‘š=π‘₯log and 𝑛=𝑦log, both of which have base π‘Ž, where π‘Ž>0, and arguments π‘₯, 𝑦>0. By rewriting these as exponents, we get π‘š=π‘₯βŸΊπ‘Ž=π‘₯logοŒΊο‰ and 𝑛=π‘¦βŸΊπ‘Ž=𝑦.log

Multiplying these two exponential equations together and using the multiplication law for exponents, we get π‘₯×𝑦=π‘ŽΓ—π‘Žπ‘₯𝑦=π‘Ž.ο‰οŠο‰οŠ°οŠ

If we rewrite this as a logarithmic equation with base π‘Ž and argument π‘₯𝑦, we get logπ‘₯𝑦=π‘š+𝑛.

Then, substituting π‘š=π‘₯log and 𝑛=𝑦log, we get logloglogπ‘₯𝑦=π‘š+𝑛=π‘₯+𝑦.

Therefore, logloglogπ‘₯𝑦=π‘₯+𝑦.

Next, we will derive the division law of logarithms that links to the division law for exponents.

Let’s say we have two logarithmic equations π‘š=π‘₯log and 𝑛=𝑦log, which have base π‘Ž, where π‘Ž>0, and arguments π‘₯, 𝑦>0. By rewriting these as exponents, we get π‘š=π‘₯βŸΊπ‘Ž=π‘₯logοŒΊο‰ and 𝑛=π‘¦βŸΊπ‘Ž=𝑦.log

Dividing the first exponential equation by the second and using the division law for exponents, we get π‘₯𝑦=π‘Žπ‘Žπ‘₯𝑦=π‘Ž.ο‰οŠο‰οŠ±οŠ

If we rewrite this as a logarithmic equation with base π‘Ž and argument π‘₯𝑦, we get logπ‘₯𝑦=π‘šβˆ’π‘›.

Then, substituting π‘š=π‘₯log and 𝑛=𝑦log, we get logloglogπ‘₯𝑦=π‘šβˆ’π‘›=π‘₯βˆ’π‘¦.

Therefore, logloglogπ‘₯𝑦=π‘₯βˆ’π‘¦.

Lastly, we will derive the power law of logarithms, which links to the power law for exponents.

Let’s say we have the logarithmic equation π‘š=π‘₯log that has base π‘Ž, where π‘Ž>0, and argument π‘₯>0. By rewriting this as an exponent, we get π‘šπ‘₯βŸΊπ‘Ž=π‘₯.logοŒΊο‰

If we then raise both sides to the power of 𝑛 and use the power law for exponents, we get (π‘Ž)=π‘₯π‘Ž=π‘₯.ο‰οŠοŠο‰οŠοŠ

If we rewrite this as a logarithmic equation with base π‘Ž and argument π‘₯, we get π‘Ž=π‘₯⟺π‘₯=π‘šπ‘›.ο‰οŠοŠοŒΊοŠlog

Then, substituting π‘š=π‘₯log in the logarithmic equation, we get logloglogπ‘₯=π‘šπ‘›=ο€Ίπ‘₯𝑛=𝑛π‘₯.

Therefore, loglogπ‘₯=𝑛π‘₯.

Having derived the three logarithm laws for like bases, we summarize them in the following properties.

Property: Laws of Logarithms for Like Bases

For logarithms with the same base π‘Ž, where π‘Ž>0, the following rules of logarithms apply:

  • Multiplication law: logloglogπ‘₯𝑦=π‘₯+𝑦, where π‘₯>0 and 𝑦>0.
  • Division law: logloglogπ‘₯𝑦=π‘₯βˆ’π‘¦, where π‘₯>0 and 𝑦>0.
  • Power law: loglogπ‘₯=𝑛π‘₯, where π‘₯>0.

In the first example, we will determine whether a statement about logarithms is true or false using laws of logarithms with the same base.

Example 1: Using Laws of Logarithms to Verify Equality Statements

Is it true that logloglog(π‘₯+𝑦)=π‘₯+𝑦 ?

Answer

We know from the multiplication law of logarithms that logloglogπ‘₯𝑦=π‘₯+𝑦,

where π‘Ž>0, π‘₯>0, and 𝑦>0.

Since loglogπ‘₯+𝑦 is the right-hand side of the equation, we can say loglogloglog(π‘₯+𝑦)=π‘₯+𝑦=π‘₯𝑦.

Therefore, for both sides to be equal, the arguments must be equal, meaning π‘₯+𝑦=π‘₯𝑦.

Since this is not true for all values of π‘₯ and 𝑦, the statement is false.

In the next example, we will use the laws of logarithms with the same base to compute a logarithm that would be difficult to compute without a calculator or logarithm tables.

Example 2: Computing Logarithmic Expressions Using Laws of Logarithms

Find the value of logloglogοŠͺοŠͺοŠͺ1280βˆ’22βˆ’5 without using a calculator.

Answer

To calculate logloglogοŠͺοŠͺοŠͺ1280βˆ’22βˆ’5, we can use the laws of logarithms with the same base, since both terms have the same base. We have two operations in this expression, a multiplication and two subtractions. We will start by simplifying the term with the multiplication since this is a priority in the order of operations.

To simplify 22logοŠͺ, we use the power law of logarithms, which states that loglogπ‘₯=𝑛π‘₯, where π‘₯>0. Applying this to 22logοŠͺ, we get 22=2=4.logloglogοŠͺοŠͺοŠͺ

Substituting this back into the original expression, we then get loglogloglogloglogοŠͺοŠͺοŠͺοŠͺοŠͺοŠͺ1280βˆ’22βˆ’5=1280βˆ’4βˆ’5.

Next, we can simplify the subtractions by using the division law of logarithms, which states that logloglogπ‘₯𝑦=π‘₯βˆ’π‘¦, where π‘Ž>0, π‘₯>0, and 𝑦>0.

We will start by applying this law to the first two terms, giving us loglogloglogοŠͺοŠͺοŠͺοŠͺ1280βˆ’4=12804=320.

Substituting back into the expression, we get logloglogloglogοŠͺοŠͺοŠͺοŠͺοŠͺ1280βˆ’4βˆ’5=320βˆ’5.

Next, we can apply the division law again to the remaining two terms to give us loglogloglogοŠͺοŠͺοŠͺοŠͺ320βˆ’5=3205=64.

Since the base is 4, then writing the argument 64 as a power of 4, we can use the power law again.

So, this then gives us logloglogοŠͺοŠͺοŠͺ64=4=34.

As we know logοŠͺ4=1, we get 34=3.logοŠͺ

Therefore, logloglogοŠͺοŠͺοŠͺ1280βˆ’22βˆ’5=3.

When finding unknowns in logarithms, it is helpful to use the following properties for when one logarithm is equal to another.

Property: Equating Logarithms

  • If two logarithms with the same base are equal, then their arguments must be equal; that is, loglogπ‘₯=𝑦⇔π‘₯=𝑦, π‘Ž>0.
  • If two logarithms with the same arguments are equal, then their bases must be equal; that is, loglogπ‘₯=π‘₯β‡”π‘Ž=𝑏, π‘Ž, 𝑏>0.

In the next example, we will consider how to find unknowns in the argument of multiple logarithms by using the laws of logarithms and properties for equating logarithms.

Example 3: Finding an Unknown in a Logarithmic Equation

Find the solution set of logloglogπ‘₯+(π‘₯βˆ’8)=9 in ℝ.

Answer

To find the solution set of logloglogπ‘₯+(π‘₯βˆ’8)=9, we can use the laws of logarithms since all the terms have the same base.

First, we will simplify the left-hand side of the equation by using the multiplication law of logarithms. This states that logloglogπ‘₯𝑦=π‘₯+𝑦, where π‘Ž>0, π‘₯>0, and 𝑦>0.

Therefore, applying this to the left-hand side, we get logloglogloglogloglogπ‘₯+(π‘₯βˆ’8)=9π‘₯Γ—(π‘₯βˆ’8)=9π‘₯(π‘₯βˆ’8)=9.

As both sides of the equation are a single logarithm with the same base, we use the property loglogπ‘₯=𝑦⇔π‘₯=𝑦 to solve for π‘₯.

Therefore, we get loglogπ‘₯(π‘₯βˆ’8)=9⟺π‘₯(π‘₯βˆ’8)=9.

Simplifying and solving for π‘₯(π‘₯βˆ’8)=9, we get π‘₯(π‘₯βˆ’8)=9π‘₯βˆ’8π‘₯=9π‘₯βˆ’8π‘₯βˆ’9=0(π‘₯βˆ’9)(π‘₯+1)=0π‘₯=βˆ’1π‘₯=9.or

Now, since we have logloglogπ‘₯+(π‘₯βˆ’8)=9 as the original equation and the argument of a logarithm can only be positive, then the only valid solution is π‘₯=9.

Therefore, the solution set of logloglogπ‘₯+(π‘₯βˆ’8)=9 is π‘₯=9.

In the next example, we will use the laws of logarithms to find an unknown in the argument, where one term is not written as a logarithm.

Example 4: Finding an Unknown in a Logarithmic Equation

Determine the solution set of the equation loglogπ‘₯=4βˆ’(π‘₯+6) in ℝ.

Answer

To find the solution set of the equation loglogπ‘₯=4βˆ’(π‘₯+6), we can use laws of logarithms to simplify this.

To use the laws of logarithms, we will start by moving all the terms with logarithms to the left-hand side of the equation by rearranging. This gives us loglogloglogπ‘₯=4βˆ’(π‘₯+6)π‘₯+(π‘₯+6)=4.

Next, we will use the law of multiplication of logarithms to simplify the left-hand side. The law states that logloglogπ‘₯𝑦=π‘₯+𝑦, where π‘Ž>0, π‘₯>0, and 𝑦>0.

Applying it to the left-hand side gives us loglogloglogπ‘₯+(π‘₯+6)=4π‘₯Γ—(π‘₯+6)=4π‘₯(π‘₯+6)=4.

Next, to find the unknown, we can rewrite the logarithm in its exponent form, which gives us logοŠͺπ‘₯(π‘₯+6)=4⟺2=π‘₯(π‘₯+6).

We can now simplify and solve 2=π‘₯(π‘₯+4)οŠͺ, which gives us 2=π‘₯(π‘₯+6)16=π‘₯+6π‘₯π‘₯+6π‘₯βˆ’16=0(π‘₯βˆ’8)(π‘₯+2)=0π‘₯=βˆ’2π‘₯=8.οŠͺor

Now, since we have loglogπ‘₯=4βˆ’(π‘₯+6) as the original equation and the argument must be positive, then π‘₯=8 is the only valid solution to the equation.

Therefore, the solution set of loglogπ‘₯=4βˆ’(π‘₯+6) is π‘₯=8.

As well as using laws of logarithms to simplify and evaluate expressions with multiple terms, we can use them to expand a single logarithm. In the next example, we will use the laws of logarithms with the same base to do this, but before we do, we will recall some notation about special bases.

Definition: Notation for Logarithms with Base 10

  • For a logarithm with base 10, we omit the base and only write log. That is, loglogπ‘₯=π‘₯, which is called the β€œcommon logarithm.”

We will use logπ‘₯ for a logarithm of base 10 in the next example.

Example 5: Expanding Logarithms

Expand logο€Ύπ‘Žπ‘π‘οŠοŠ¨οŠ©οŠ« using log properties.

Answer

As we are being asked to expand a logarithm using log properties, we will need to use the laws of logarithms with the same base, which are as follows: multiplicationlaw:logloglogdivisionlaw:logloglogpowerlaw:loglogπ‘₯𝑦=π‘₯+𝑦,π‘₯𝑦=π‘₯βˆ’π‘¦,π‘₯=𝑛π‘₯,

where π‘Ž>0, π‘₯>0, and 𝑦>0.

In order to expand, we apply the rules in the reverse order of operations included. Since multiplication and division are of the same order, then it is usually advisable to apply the division law first as it is less likely to result in a careless error (especially if the multiplication operation is used in both the numerator and the denominator). This gives us logloglogο€Ύπ‘Žπ‘π‘οŠ=π‘Žπ‘βˆ’π‘.

Next, we will apply the multiplication law to the first logarithm, giving us logloglogloglogπ‘Žπ‘βˆ’π‘=π‘Ž+π‘βˆ’π‘.

Lastly, we will apply the power law to all of the terms, giving us loglogloglogloglogπ‘Ž+π‘βˆ’π‘=2π‘Ž+3π‘βˆ’5𝑐.

Therefore, loglogloglogο€Ύπ‘Žπ‘π‘οŠ=2π‘Ž+3π‘βˆ’5π‘οŠ¨οŠ©οŠ«.

Extension

In addition to the laws of logarithms with the same base, we have laws for changing the base of a logarithm. This is particularly helpful when there are different logarithms with different bases in an equation, as it allows us to make the bases the same throughout.

We derive the change of base rule in a similar way to the rules of logarithms with like bases, but instead of setting two logarithmic equations with the same base, we change the base and set them with the same argument. We do this as follows.

Let’s say we have two logarithmic equations π‘š=π‘₯log and 𝑛=π‘₯log that have bases 𝑦 and π‘Ž, where 𝑦, π‘Ž>0, and the same argument π‘₯, where π‘₯>0. By rewriting these as exponents, we get π‘š=π‘₯βŸΊπ‘¦=π‘₯logο˜ο‰ and 𝑛=π‘₯βŸΊπ‘Ž=π‘₯.log

Then, by substituting π‘₯=𝑦 into 𝑛=π‘₯log, we get 𝑛=𝑦.logοŒΊο‰

Using the law of powers of logarithms, we get 𝑛=π‘šπ‘¦.log

Substituting π‘š=π‘₯log, we get 𝑛=π‘₯𝑦.loglog

Therefore, since 𝑛=π‘₯log, we get logloglogπ‘₯=π‘₯𝑦, which when dividing through by logοŒΊπ‘¦ is logloglogπ‘₯=π‘₯𝑦, which is the change of base rule for logarithms, as given in the rule below.

Rule: Change of Base Rule for Logarithms

For logπ‘₯ with base 𝑦>0 and argument π‘₯>0, we write this with a chosen base π‘Ž>0 using the following rule: logloglogπ‘₯=π‘₯𝑦.

Note

Since we cannot divide by 0, then logοŒΊπ‘¦β‰ 0 and 𝑦≠1 (since log1=0).

Using the change of base rule, we can derive a further rule for logarithms, which is the law of multiplicative inverse.

Let’s say that for some logarithm logπ‘₯ with base 𝑦>0 and argument π‘₯>0, if we use the change of base rule to change the base to π‘₯, then this would give us logloglogο˜ο—ο—π‘₯=π‘₯𝑦.

We know from the special values of logarithms that logπ‘₯=1 (as the base and argument are equal); therefore, loglogο˜ο—π‘₯=1𝑦.

This is made explicit in the rule below.

Rule: Law of Multiplicative Inverse for Logarithms

For logπ‘₯ with base 𝑦>0 and argument π‘₯>0, we can swap the base and the argument using the law of multiplicative inverse, which states that loglogο˜ο—π‘₯=1𝑦.

Note

Since we cannot divide by 0, then log𝑦≠0 and 𝑦≠1 (since log1=0).

In the next example, we will use the change of base rule to identify which expression is equal to another.

Example 6: Using Laws of Logarithms to Match Expressions

Select the expression equal to loglogπ‘₯𝑦.

  1. loglogοŒΊοŒΊπ‘¦π‘₯
  2. loglogο—ο˜π‘Žπ‘Ž
  3. loglogπ‘₯𝑦
  4. loglogο—ο˜π‘π‘

Answer

To determine which of the expressions is equal to loglogπ‘₯𝑦, we will consider each expression in turn and apply the laws of logarithms where needed.

For option A, if loglogloglogπ‘₯𝑦=𝑦π‘₯, then since all the logarithms in both expressions have base π‘Ž, we can say that the arguments in the numerator are equal and the arguments in the denominator are also equal, giving us π‘₯=𝑦𝑦=π‘₯().andwhicharethesamething

Therefore, this is only true when π‘₯=𝑦 and so it is not true for all possible values of π‘₯ and 𝑦, meaning the answer is not option A.

For option B, if loglogloglogοŒΊοŒΊο—ο˜π‘₯𝑦=π‘Žπ‘Ž,

then we can see that the argument and base have been swapped for both logarithms in the numerator and denominator of the original expression to get the logarithms in the second expression. Therefore, to check if this is true, we can apply the law of multiplicative inverse for logarithms, which states that loglogο˜ο—π‘₯=1𝑦, where π‘₯>0, 𝑦>0, and 𝑦≠0.

Applying this to the numerator of the original expression, we get loglogοŒΊο—π‘₯=1π‘Ž, and applying it to the denominator, we get loglogοŒΊο˜π‘¦=1π‘Ž.

Therefore, when substituting back into the original expression, we have loglogloglogloglogοŒΊοŒΊοŠ§οŒΊοŠ§οŒΊο—ο˜ο˜ο—π‘₯𝑦==1π‘ŽΓ—π‘Ž1=π‘Žπ‘Ž.loglog

As this is not option B but rather its reciprocal, this cannot be equivalent for all values of π‘₯ and 𝑦. So, the answer is not option B.

For option C, if loglogloglogπ‘₯𝑦=π‘₯𝑦, then we can see that the arguments of the second expression are the same as the arguments of the first expression, but the base has changed. Therefore, we can see if the two expressions are equivalent by using the change of base rule, which is as follows: logloglogπ‘₯=π‘₯𝑦, where π‘Ž>0, π‘₯>0, 𝑦>0, and 𝑦≠0.

Applying the change of base rule to the left-hand side of the equation and changing to base 𝑦, we get logloglogπ‘₯𝑦=π‘₯.

Therefore, since the left-hand side is the same as the right-hand side, then loglogloglogπ‘₯𝑦=π‘₯𝑦.

So, option C is the correct answer.

Note that although we have found that option C is correct, we will briefly discuss why option D is not correct. Since option D is very similar to option B (but with a different argument), then by applying the same method as that used for option B, we can show that option D is false.

In the last example, we will use laws of logarithms to solve a problem in a real-life context.

Example 7: Using Laws of Logarithms to Find the Perimeter of a Given Figure

Find the perimeter of the figure below.

Answer

First, we will find an expression for the perimeter in terms of logarithms by adding the lengths of the rectangle together. This gives us the following: perimeterofrectanglelengthwidthloglog=2(+)=2ο€Ί9+81.

To simplify this, we can use the laws of logarithms with the same base. We will start with the multiplication law, which states that logloglogπ‘₯𝑦=π‘₯+𝑦, where π‘Ž>0, π‘₯>0, and 𝑦>0.

This then gives us 2ο€Ί9+81=2ο€Ί9Γ—81=2ο€Ί729.loglogloglog

Since 729 is 27, we can simplify the expression and evaluate it using the power law, which states that loglogπ‘₯=𝑛π‘₯, where π‘Ž>0 and π‘₯>0.

Therefore, 2ο€Ί729=2ο€Ί27=2ο€Ί227=427.loglogloglog

As log27=1, the perimeter of the rectangle is 4 m.

In this explainer, we have derived the laws of logarithms with the same base, the change of base rule, and the law of multiplicative inverse. We have used these rules to simplify and expand logarithms and solve problems involving logarithms. Let’s recap the key points.

Key Points

  • For logarithms with the same base π‘Ž>0, we have the following laws:
    • Multiplication law: logloglogπ‘₯𝑦=π‘₯+𝑦, where π‘₯>0 and 𝑦>0.
    • Division law: logloglogπ‘₯𝑦=π‘₯βˆ’π‘¦, where π‘₯>0 and 𝑦>0.
    • Power law: loglogπ‘₯=𝑛π‘₯, where π‘₯>0.
  • We have two special cases of logarithms, which are
    • logοŒΊπ‘Ž=1, π‘Ž>0;
    • log1=0, π‘Ž>0.
  • For solving logarithms that are equal, we can use the following properties:
    • loglogπ‘₯=𝑦⇔π‘₯=𝑦, π‘Ž>0;
    • loglogπ‘₯=π‘₯β‡”π‘Ž=𝑏, π‘Ž, 𝑏>0.
  • Extension: We can change the base of a logarithm using the following laws:
    • Change of base rule: logloglogπ‘₯=π‘₯𝑦, where π‘Ž>0, π‘₯>0, 𝑦>0, and 𝑦≠0.
    • Multiplicative inverse: loglogο˜ο—π‘₯=1𝑦, where π‘₯>0, 𝑦>0, and 𝑦≠0.

Join Nagwa Classes

Attend live sessions on Nagwa Classes to boost your learning with guidance and advice from an expert teacher!

  • Interactive Sessions
  • Chat & Messaging
  • Realistic Exam Questions

Nagwa uses cookies to ensure you get the best experience on our website. Learn more about our Privacy Policy