If you're seeing this message, it means we're having trouble loading external resources on our website.

If you're behind a web filter, please make sure that the domains *.kastatic.org and *.kasandbox.org are unblocked.

Main content

Justifying the logarithm properties

Study the proofs of the logarithm properties: the product rule, the quotient rule, and the power rule.
In this lesson, we will prove three logarithm properties: the product rule, the quotient rule, and the power rule. Before we begin, let's recall a useful fact that will help us along the way.
logb(bc)=c
In other words, a logarithm in base b reverses the effect of a base b power!
Keep this in mind as you read through the proofs that follow.

Product Rule: logb(MN)=logb(M)+logb(N)

Let's start by proving a specific case of the rule — the case when M=4, N=8, and b=2.
Substituting these values into logb(MN), we see:
log2(48)=log2(2223)22=4 and 23=8=log2(22+3)aman=am+n=2+3logb(bc)=c=log2(4)+log2(8)Since 2=log2(4) and 3=log2(8)
And so we have that log2(48)=log2(4)+log2(8).
While this only verifies one case, we can follow this logic to prove the product rule in general.
Notice, that writing 4 and 8 as powers of 2 was key to the proof. So in general, we'd like M and N to be powers of the base b. To do this, we can let M=bx and N=by for some real numbers x and y.
Then by definition, it is also true that logb(M)=x and logb(N)=y.
Now we have:
logb(MN)=logb(bxby)Substitution=logb(bx+y)Properties of exponents=x+ylogb(bc)=c=logb(M)+logb(N)Substitution

Quotient Rule: logb(MN)=logb(M)logb(N)

The proof of this property follows a method similar to the one used above.
Again, if we let M=bx and N=by, then it follows that logb(M)=x and logb(N)=y.
We can now prove the quotient rule as follows:
logb(MN)=logb(bxby)Substitution=logb(bxy)Properties of exponents=xylogb(bc)=c=logb(M)logb(N)Substitution

Power Rule: logb(Mp)=plogb(M)

This time, only M is involved in the property and so it is sufficient to let M=bx, which gives us that logb(M)=x.
The proof of the power rule is shown below.
logb(Mp)=logb((bx)p)Substitution=logb(bxp)Properties of exponents=xplogb(bc)=c=logb(M)pSubstitution=plogb(M)Multiplication is commutative
Alternatively, we can justify this property by using the product rule.
For example, we know that logb(Mp)=logb(MMM), where M is multiplied by itself p times.
We can now use the product rule along with the definition of multiplication as repeated addition to complete the proof. This is shown below.
logb(Mp)=logb(MMM)Definition of exponents=logb(M)+logb(M)++logb(M)Product rule=plogb(M)Repeated addition is multiplication
And so you have it! We have just proven the three logarithm properties!