Math III · F-LE.4.1

Proving Simple Logarithm Laws

Logarithm laws are not arbitrary shortcuts; they come from exponent rules and let students transform growth and scale relationships intelligently.

Concept Functions
Domain Linear, Quadratic, and Exponential Models
Read time 5 minutes

What this learning objective is really asking you to learn

This objective asks students to prove simple logarithm laws. Students often learn logarithm properties as rules to memorize:

\[log_{b}(MN)=log_{b}(M)+log_{b}(N)\]
\[log_{b}(M/N)=log_{b}(M)-log_{b}(N)\]
\[log_{b}(M^p)=p log_{b}(M)\]

But this objective asks for more than memorization. It asks students to understand why these laws are true. The reason is that logarithms are exponents, and exponent rules control their behavior.

If \(log_{b}(M)=x\), then \(b^x=M\). If \(log_{b}(N)=y\), then \(b^y=N\). Multiply:

\[MN=b^x b^y=b^(x+y)\].

So the exponent needed on \(b\) to get \(MN\) is \(x+y\). Therefore

\[log_{b}(MN)=x+y=log_{b}(M)+log_{b}(N)\].

That proves the product law.

The quotient law works similarly. If \(M=b^x\) and \(N=b^y\), then

\[M/N=b^x/b^y=b^(x-y)\].

So

\[log_{b}(M/N)=x-y=log_{b}(M)-log_{b}(N)\].

The power law comes from

\[M^p=(b^x)^p=b^(px)\],

so

\[log_{b}(M^p)=px=p log_{b}(M)\].

The key idea is that logarithm laws are exponent laws translated through the inverse relationship between logs and exponentials. Students should see logarithm laws as structural facts, not calculator tricks.

Why students should learn this math

Students should learn logarithm laws because they make exponential and logarithmic expressions usable. Without these laws, solving and simplifying logarithmic equations becomes clumsy. With them, products become sums, quotients become differences, and powers become multipliers. These transformations are powerful in algebra, science, finance, and technology.

The power law is especially important for solving exponential equations. In Objective 161, students solved equations like \((1.05)^t=3\) by taking logs and bringing down the exponent:

\[t log(1.05)=log(3)\].

That step uses the power law. If students do not understand it, logarithmic solving feels like magic. This objective repairs that by proving the law from exponent rules.

Logarithm laws also explain logarithmic scales. Many real scales compress huge ranges: pH, decibels, earthquake magnitude, information measures, and scientific plots. On log scales, multiplicative changes become additive differences. That is why logarithms are so useful for data spanning many orders of magnitude.

For example, if one intensity is 10 times another, a base-10 logarithm increases by 1. If it is 100 times another, the log increases by 2. The product and power laws explain this compression.

The “why” is that logarithm laws let students transform multiplicative structure into additive structure. That is one of the central powers of logarithms.

The historical machinery: logs turn hard multiplication into easier addition

Historically, logarithms were prized because they turned multiplication into addition. Before electronic calculators, this was a massive advantage. Large products, quotients, and powers could be computed using logarithm tables. The product law, quotient law, and power law made this possible.

If multiplication becomes addition, then complicated numerical work becomes more manageable. Astronomers, navigators, engineers, and scientists used logarithms to perform calculations that would otherwise be tedious. Slide rules depended on logarithmic scales for the same reason.

Today, students may not need logarithm tables for arithmetic, but the structural value remains. Data scientists use log transformations. Scientists use log scales. Algebra uses log laws to solve equations. The laws are still central because they reveal how multiplicative relationships can be represented additively.

The historical lesson is clear: logarithm laws were not invented for school worksheets. They were invented because they made real computation and modeling possible.

Where this fits in the big map of mathematics

This objective follows logarithmic solving. Objective 161 used logarithms to solve exponential equations. Objective 162 proves the laws that made that solving valid.

It connects to exponent laws. Logarithm laws are exponent laws in inverse form.

It connects to inverse functions. Since logarithms undo exponentials, their properties come from exponential properties.

It connects to algebraic proof. Students are asked to prove properties, not only use them.

It connects to logarithmic equations. Future objectives use these properties to translate, simplify, and estimate logarithmic expressions.

It connects to scientific modeling. Log scales depend on these laws.

The big-map role is structural justification. Students learn why logarithm manipulation works.

How to execute the proof technically

To prove a log law, translate logarithmic statements into exponential statements.

Product law proof:

Let

\(log_{b}(M)=x\) and \(log_{b}(N)=y\).

Then

\(M=b^x\) and \(N=b^y\).

Multiply:

\[MN=b^x b^y=b^(x+y)\].

So

\[log_{b}(MN)=x+y\].

Substitute back:

\[log_{b}(MN)=log_{b}(M)+log_{b}(N)\].

Quotient law proof:

Let \(log_{b}(M)=x\) and \(log_{b}(N)=y\).

Then \(M=b^x\) and \(N=b^y\).

Divide:

\[M/N=b^(x-y)\].

So

\[log_{b}(M/N)=x-y\].

Therefore

\[log_{b}(M/N)=log_{b}(M)-log_{b}(N)\].

Power law proof:

Let \(log_{b}(M)=x\), so \(M=b^x\).

Then

\[M^p=(b^x)^p=b^(px)\].

Therefore

\[log_{b}(M^p)=px=p log_{b}(M)\].

These proofs assume valid log inputs: \(b>0\), \(b \ne 1\), and \(M,N>0\).

Worked example: explaining a law numerically

Use base 10.

\(log(1000)=3\) because \(10^3=1000\).

\(log(100)=2\) because \(10^2=100\).

The product is \(1000 \cdot 100=100000\), and

\[log(100000)=5\].

The product law says

\[log(1000 \cdot 100)=log(1000)+log(100)=3+2=5\].

The exponents add because multiplying powers of 10 adds exponents:

\[10^3 \cdot 10^2 = 10^5\].

This numerical example reinforces the proof.

Why log laws have restrictions

Students must know that logarithms require positive inputs and valid bases. \(log_{b}(M)\) is defined in real numbers only when \(M>0\), \(b>0\), and \(b \ne 1\). These restrictions matter when applying laws.

For example, \(log(x^2)\) is defined for \(x \ne 0\), but \(2log(x)\) is defined only for \(x>0\). They are not equivalent over all real x unless restrictions are handled carefully. This is a subtle but important point: log laws are powerful, but domains matter.

Another proof style: use the definition directly

The definition says \(log_{b}(A)\) is the exponent on \(b\) that gives \(A\). If \(log_{b}(M)=x\) and \(log_{b}(N)=y\), then \(M=b^x\) and \(N=b^y\).

The product \(MN\) is

\[b^x b^y\].

Exponent rules say this is

\[b^(x+y)\].

Therefore, the exponent on \(b\) that gives \(MN\) is \(x+y\). But \(x\) is \(log_{b}(M)\) and \(y\) is \(log_{b}(N)\). So

\[log_{b}(MN)=log_{b}(M)+log_{b}(N)\].

This proof should be shown slowly because it is the template for all log laws. Students are not proving a mysterious logarithm fact. They are translating an exponent fact.

Why there is no sum law

There is no rule

\[log_{b}(M+N)=log_{b}(M)+log_{b}(N)\].

Use a quick counterexample:

\[log_{10}(100+100)=log_{10}(200)\].

But

\[log_{10}(100)+log_{10}(100)=2+2=4\].

\(log_{10}(200)\) is a little more than 2, not 4. So the fake rule fails.

The reason is structural: exponent rules say \(b^x b^y=b^(x+y)\), but they do not say anything like \(b^x + b^y=b^(x+y)\). Logs convert multiplication into addition because exponent multiplication rules create addition in exponents. Addition inside the argument has no corresponding simple log split.

Change of base as a consequence of log structure

Although this objective says simple logarithm laws, students benefit from seeing where change of base comes from. If

\[y=log_{b}(x)\],

then

\[b^y=x\].

Take log base 10 or natural log of both sides:

\[log(b^y)=log(x)\].

Use the power law:

\[y log(b)=log(x)\].

So

\[y=log(x)/log(b)\].

Therefore

\[log_{b}(x)=log(x)/log(b)\].

This shows why calculators with only \(log\) and \(ln\) buttons can evaluate logs in any base. It also strengthens the power law.

Problem Library

Problems in the App From This Objective

162 problems across 12 archetypes in the app.

convert logs to exponents and multiply powers.
15 problems Warmup Practice Mixed Review Assessment
Problem 1

Prove the product law for logarithms in base general base b>0,b!=1.

Problem 2

Prove the product law for logarithms in base base 10 numeric example.

Problem 3

Prove the product law for logarithms in base base 2 variables.

Problem 4

Prove the product law for logarithms in base positive arguments only.

Problem 5

Prove the product law for logarithms in base any valid base b.

Problem 6

Prove the product law for logarithms in base natural base e.

Problem 7

Prove the product law for logarithms in base base 3 variables.

Problem 8

Prove the product law for logarithms in base base 2 numeric example.

Problem 9

Prove the product law for logarithms in base conversion to exponential form.

Problem 10

Prove the product law for logarithms in base multiplication of powers step.

Problem 11

Prove the product law for logarithms in base conversion back to logarithmic form.

Problem 12

Prove the product law for logarithms in base arguments X and Y.

Problem 13

Prove the product law for logarithms in base base 10 different numeric example.

Problem 14

Prove the product law for logarithms in base general proof with substitution.

Problem 15

Prove the product law for logarithms in base arguments as powers of base.

Open in simulator
convert logs to exponents and divide powers.
15 problems Warmup Practice Mixed Review Assessment
Problem 16

Prove the quotient law for logarithms in base general base b>0,b!=1.

Problem 17

Prove the quotient law for logarithms in base base 10 numeric example.

Problem 18

Prove the quotient law for logarithms in base base 3 variables.

Problem 19

Prove the quotient law for logarithms in base positive quotient arguments.

Problem 20

Prove the quotient law for logarithms in base any valid base `x`.

Problem 21

Prove the quotient law for logarithms in base base 2 with variables X and Y.

Problem 22

Prove the quotient law for logarithms in base natural logarithm (ln).

Problem 23

Prove the quotient law for logarithms in base base 2 numeric example.

Problem 24

Prove the quotient law for logarithms in base base 5 numeric example.

Problem 25

Prove the quotient law for logarithms in base general base `b` focusing on exponent subtraction.

Problem 26

Prove the quotient law for logarithms in base general base `k` focusing on final log conversion.

Problem 27

Prove the quotient law for logarithms in base base restrictions for the logarithm.

Problem 28

Prove the quotient law for logarithms in base base `a` where `a` is a positive real number not equal to 1.

Problem 29

Prove the quotient law for logarithms in base general base `B` with explicit 'let' statements.

Problem 30

Prove the quotient law for logarithms in base the property name for division.

Open in simulator
use exponent power rule.
15 problems Warmup Practice Mixed Review Assessment
Problem 31

Prove the power law for logarithms for expression log_b(M^r).

Problem 32

Prove the power law for logarithms for expression log_2(8^3).

Problem 33

Prove the power law for logarithms for expression log_b(sqrt(M)).

Problem 34

Prove the power law for logarithms for expression log_b(1/M).

Problem 35

Prove the power law for logarithms for expression log_3(9^4).

Problem 36

Prove the power law for logarithms for expression log_4(16^(1/2)).

Problem 37

Prove the power law for logarithms for expression log_5(25^(-2)).

Problem 38

Prove the power law for logarithms for expression log_b(M^(1/3)).

Problem 39

Prove the power law for logarithms for expression log_b(M^(2/3)).

Open in simulator
Problem 40

Prove the power law for logarithms for expression log_b(M^(-2)).

Problem 41

Prove the power law for logarithms for expression log_b(M^x).

Problem 42

Prove the power law for logarithms for expression log_9(81^2).

Problem 43

Prove the power law for logarithms for expression log_8(4^3).

Problem 44

Prove the power law for logarithms for expression log_2(16^(-1/2)).

Problem 45

Prove the power law for logarithms for expression log_a(X^k).

rewrite log of product as sum.
12 problems Warmup Practice Mixed Review Assessment
Problem 46

Expand logarithm using product law: log_b(6x).

Problem 47

Expand logarithm using product law: ln(3xy).

Problem 48

Expand logarithm using product law: log(5(x+2)).

Problem 49

Expand logarithm using product law: log_b(abc).

Problem 50

Expand logarithm using product law: log_2(8y).

Open in simulator
Problem 51

Expand logarithm using product law: ln(7uv).

Problem 52

Expand logarithm using product law: log(10(y-3)).

Problem 53

Expand logarithm using product law: log_b(4xy).

Problem 54

Expand logarithm using product law: log_b(x(y+z)).

Problem 55

Expand logarithm using product law: ln(pqr).

Problem 56

Expand logarithm using product law: log(25ab).

Problem 57

Expand logarithm using product law: log_b(x(y^2+1)).

rewrite log of quotient as difference.
15 problems Warmup Practice Mixed Review Assessment
Problem 58

Expand logarithm using quotient law: log_b(x/7).

Problem 59

Expand logarithm using quotient law: ln((x+1)/(x-2)).

Problem 60

Expand logarithm using quotient law: log(12/y).

Problem 61

Expand logarithm using quotient law: log_b(a/(bc)).

Problem 62

Expand logarithm using quotient law: log_2(x/y).

Problem 63

Expand logarithm using quotient law: ln(a/b).

Open in simulator
Problem 64

Expand logarithm using quotient law: log_5(p/q).

Problem 65

Expand logarithm using quotient law: log((x+y)/z).

Problem 66

Expand logarithm using quotient law: ln(m/(n+1)).

Problem 67

Expand logarithm using quotient law: log_b(5x/y).

Problem 68

Expand logarithm using quotient law: log_b(x/(yz)).

Problem 69

Expand logarithm using quotient law: log(10/(xy)).

Problem 70

Expand logarithm using quotient law: ln((2a)/(3b)).

Problem 71

Expand logarithm using quotient law: log_7(uv/w).

Problem 72

Expand logarithm using quotient law: log_x(y/z^2).

move exponent as coefficient.
15 problems Warmup Practice Mixed Review Assessment
Problem 73

Expand logarithm using power law: log_b(x^5).

Problem 74

Expand logarithm using power law: ln((x+1)^3).

Problem 75

Expand logarithm using power law: log(sqrt(x)).

Problem 76

Expand logarithm using power law: log_b(1/x^2).

Problem 77

Expand logarithm using power law: log_2(y^7).

Problem 78

Expand logarithm using power law: log_3((2x)^4).

Problem 79

Expand logarithm using power law: log_5(root(3, z)).

Problem 80

Expand logarithm using power law: log_a(1/y).

Problem 81

Expand logarithm using power law: log(1/sqrt(x+y)).

Problem 82

Expand logarithm using power law: ln(x^(2/3)).

Open in simulator
Problem 83

Expand logarithm using power law: log_b(x^(-3/4)).

Problem 84

Expand logarithm using power law: log_7((x^2+5)^6).

Problem 85

Expand logarithm using power law: log_c(root(4, (xy))).

Problem 86

Expand logarithm using power law: log_10(1/(x-2)^3).

Problem 87

Expand logarithm using power law: log_k((a/b)^m).

reverse product/quotient/power laws.
12 problems Warmup Practice Mixed Review Assessment
Problem 88

Condense logarithmic expression log_b(x)+log_b(5).

Problem 89

Condense logarithmic expression ln(x)-ln(3).

Problem 90

Condense logarithmic expression 2log(x)+log(y).

Open in simulator
Problem 91

Condense logarithmic expression 3ln(a)-2ln(b)+ln(c).

Problem 92

Condense logarithmic expression log_2(x) + log_2(y) + log_2(z).

Problem 93

Condense logarithmic expression ln(a) - ln(b) + ln(c).

Problem 94

Condense logarithmic expression 5log(x).

Problem 95

Condense logarithmic expression log_b(x) + 3log_b(y).

Problem 96

Condense logarithmic expression 2ln(m) - 4ln(n).

Problem 97

Condense logarithmic expression log(x+2) + log(x-2).

Problem 98

Condense logarithmic expression (1/2)log_3(a) - log_3(b).

Problem 99

Condense logarithmic expression log_7(p) + log_7(q) - 2log_7(r).

require positive arguments before and after rewrite.
12 problems Warmup Practice Mixed Review Assessment
Problem 100

Identify domain restrictions when applying log laws to ln(x)+ln(x-3).

Problem 101

Identify domain restrictions when applying log laws to log(x^2-4) expanded as log(x-2)+log(x+2).

Problem 102

Identify domain restrictions when applying log laws to ln((x+1)/(x-5)).

Problem 103

Identify domain restrictions when applying log laws to 2log(x-4).

Problem 104

Identify domain restrictions when applying log laws to log(x^2) rewritten as 2log(x).

Open in simulator
Problem 105

Identify domain restrictions when applying log laws to log_2((x+5)/(x-1)).

Problem 106

Identify domain restrictions when applying log laws to log_3(x^3) rewritten as 3log_3(x).

Problem 107

Identify domain restrictions when applying log laws to ln(x^2+1) + ln(x).

Problem 108

Identify domain restrictions when applying log laws to log_5(x-2) + log_5(x+3).

Problem 109

Identify domain restrictions when applying log laws to ln(sqrt(x)).

Problem 110

Identify domain restrictions when applying log laws to log_10(1/x).

Problem 111

Identify domain restrictions when applying log laws to log_b(x^4) rewritten as 4log_b(x).

reject false laws such as log of sum.
12 problems Warmup Practice Mixed Review Assessment
Problem 112

Determine whether logarithm-law rewrite log(xy)=log(x)+log(y) is valid.

Problem 113

Determine whether logarithm-law rewrite log(x+y)=log(x)+log(y) is valid.

Problem 114

Determine whether logarithm-law rewrite log(x^3)=3log(x) is valid.

Problem 115

Determine whether logarithm-law rewrite log(x/y)=log(x)-log(y) is valid.

Problem 116

Determine whether logarithm-law rewrite log(1/x) = -log(x) is valid.

Problem 117

Determine whether logarithm-law rewrite log(x-y) = log(x)-log(y) is valid.

Open in simulator
Problem 118

Determine whether logarithm-law rewrite log_b(b^x) = x is valid.

Problem 119

Determine whether logarithm-law rewrite log(x^2) = 2log(x) is valid.

Problem 120

Determine whether logarithm-law rewrite log(x)/log(y) = log(x/y) is valid.

Problem 121

Determine whether logarithm-law rewrite log(1) = 0 is valid.

Problem 122

Determine whether logarithm-law rewrite ln(e^x) = x is valid.

Problem 123

Determine whether logarithm-law rewrite log(sqrt(x)) = (1/2)log(x) is valid.

condense logs and convert to exponential form.
15 problems Warmup Practice Mixed Review Assessment
Problem 124

Use log laws to solve logarithmic equation ln(x)+ln(x-3)=ln(10).

Problem 125

Use log laws to solve logarithmic equation log(x)-log(2)=1.

Problem 126

Use log laws to solve logarithmic equation 2log_3(x)=4.

Problem 127

Use log laws to solve logarithmic equation ln(x+1)-ln(x-2)=ln(3).

Problem 128

Use log laws to solve logarithmic equation log_2(x) + log_2(x-1) = 1.

Problem 129

Use log laws to solve logarithmic equation log_5(x+3) - log_5(x-1) = 1.

Problem 130

Use log laws to solve logarithmic equation 3log(x) = 6.

Problem 131

Use log laws to solve logarithmic equation log_4(x+2) + log_4(3) = log_4(15).

Problem 132

Use log laws to solve logarithmic equation ln(x+4) + ln(x) = ln(5).

Problem 133

Use log laws to solve logarithmic equation 2log_2(x) - log_2(x-1) = 2.

Problem 134

Use log laws to solve logarithmic equation ln(x^2) = 4.

Problem 135

Use log laws to solve logarithmic equation log(x+5) = 2.

Open in simulator
Problem 136

Use log laws to solve logarithmic equation log_3(x+1) + log_3(x-1) = log_3(8).

Problem 137

Use log laws to solve logarithmic equation log_2(x+6) - log_2(x-2) = log_2(3).

Problem 138

Use log laws to solve logarithmic equation log_4(x^2) = 3.

state base positive and not 1.
12 problems Warmup Practice Mixed Review Assessment
Problem 139

Explain why logarithm base restrictions are needed for b>0.

Open in simulator
Problem 140

Explain why logarithm base restrictions are needed for b!=1.

Problem 141

Explain why logarithm base restrictions are needed for b<0.

Problem 142

Explain why logarithm base restrictions are needed for argument positive.

Problem 143

Explain why logarithm base restrictions are needed for b=0.

Problem 144

Explain why logarithm base restrictions are needed for negative base.

Problem 145

Explain why logarithm base restrictions are needed for base equal to 1.

Problem 146

Explain why logarithm base restrictions are needed for base must be positive.

Problem 147

Explain why logarithm base restrictions are needed for logarithm of negative base.

Problem 148

Explain why logarithm base restrictions are needed for log_1(x).

Problem 149

Explain why logarithm base restrictions are needed for domain of b^x.

Problem 150

Explain why logarithm base restrictions are needed for range of log_b(x).

catch false distribution, missing domain, base, and coefficient mistakes.
12 problems Warmup Practice Mixed Review Assessment
Problem 151

Correct the logarithm-law error in log(x+4)=log(x)+log(4).

Problem 152

Correct the logarithm-law error in 2log(x)=log(2x).

Problem 153

Correct the logarithm-law error in ln(x^2-1)=ln(x-1)+ln(x+1) for all x outside +/-1.

Problem 154

Correct the logarithm-law error in log base 1 is allowed.

Problem 155

Correct the logarithm-law error in log(x-y) = log(x) - log(y).

Problem 156

Correct the logarithm-law error in log(x) + log(y) = log(x+y).

Problem 157

Correct the logarithm-law error in (log x)^2 = log(x^2).

Open in simulator
Problem 158

Correct the logarithm-law error in log(x)/log(y) = log(x-y).

Problem 159

Correct the logarithm-law error in log_5(-25) = 2.

Problem 160

Correct the logarithm-law error in log(5x) = 5log(x).

Problem 161

Correct the logarithm-law error in log_7(1) = 7.

Problem 162

Correct the logarithm-law error in ln(0) is defined.