2.6 Logarithmic Properties & Simplification

Key Takeaways

  • A logarithm is the inverse of an exponential function: log_b(x) = y if and only if b^y = x for b > 0, b != 1, and x > 0.
  • Special logarithms include Common Logarithms (log_10 x = log x) and Natural Logarithms (log_e x = ln x).
  • Core logarithmic rules include the Product Rule log_b(xy) = log_b x + log_b y, Quotient Rule log_b(x/y) = log_b x - log_b y, and Power Rule log_b(x^p) = p * log_b x.
  • The Change-of-Base Formula log_b x = (log_a x) / (log_a b) = (ln x) / (ln b) enables log evaluation across arbitrary bases.
Last updated: August 2026

2.6 Logarithmic Properties & Simplification

Logarithmic functions are the mathematical inverses of exponential functions. Logarithms are tested heavily on the CLEP College Algebra exam, requiring candidates to perform conversions between exponential and logarithmic forms, apply logarithmic laws to expand and condense complex expressions, and evaluate arbitrary base logarithms using change-of-base relationships.


Definition of Logarithm & Inverse Relationship

For any real base b>0,b1b > 0, b \neq 1, and positive argument x>0x > 0:

logb(x)=y    by=x\log_b(x) = y \iff b^y = x

In Plain Words: The logarithm logb(x)\log_b(x) asks: "To what exponent power yy must base bb be raised to produce the value xx?"

Structural Properties of Logarithmic Functions

  1. Domain: x(0,)x \in (0, \infty) (Arguments must strictly be positive real numbers; logb(0)\log_b(0) and logb(negative)\log_b(\text{negative}) are undefined in real algebra).
  2. Range: y(,)y \in (-\infty, \infty) (Output values span all real numbers).
  3. Base Identities:
    • logb(1)=0\log_b(1) = 0 because b0=1b^0 = 1.
    • logb(b)=1\log_b(b) = 1 because b1=bb^1 = b.
  4. Inverse Identities:
    • logb(bx)=x\log_b(b^x) = x for all xRx \in \mathbb{R}.
    • blogb(x)=xb^{\log_b(x)} = x for all x>0x > 0.

Special Logarithmic Functions

  • Common Logarithm: Base 1010, written without an explicit base subscript: log10(x)=log(x)\log_{10}(x) = \log(x).
  • Natural Logarithm: Base e2.718281828e \approx 2.718281828\dots, written as ln(x)\ln(x): loge(x)=ln(x)\log_e(x) = \ln(x).

Conversion Table: Exponential vs. Logarithmic Form

Exponential Form (by=xb^y = x)Logarithmic Form (logbx=y\log_b x = y)Numerical Evaluation
26=642^6 = 64log2(64)=6\log_2(64) = 6Base 2 log of 64 is 6
104=0.000110^{-4} = 0.0001log(0.0001)=4\log(0.0001) = -4Common log of 0.0001 is -4
ek=15e^k = 15ln(15)=k\ln(15) = kNatural log of 15 is k
93/2=279^{3/2} = 27log9(27)=32\log_9(27) = \frac{3}{2}Base 9 log of 27 is 1.5

Fundamental Laws of Logarithms

For any positive arguments M,N>0M, N > 0, base b>0,b1b > 0, b \neq 1, and real exponent power kRk \in \mathbb{R}:

Logarithmic LawMathematical FormulaVerbal Rule Description
Product Rulelogb(MN)=logbM+logbN\log_b(M \cdot N) = \log_b M + \log_b NThe log of a product is the sum of the individual logs
Quotient Rulelogb(MN)=logbMlogbN\log_b\left(\frac{M}{N}\right) = \log_b M - \log_b NThe log of a quotient is the difference of the individual logs
Power Rulelogb(Mk)=klogbM\log_b(M^k) = k \cdot \log_b MThe log of a power moves the exponent out front as a multiplier

Common CLEP Exam Traps & Misconceptions:

  1. logb(M+N)logbM+logbN\log_b(M + N) \neq \log_b M + \log_b N (Logarithms do NOT distribute across addition!)
  2. logbMlogbNlogb(MN)\frac{\log_b M}{\log_b N} \neq \log_b\left(\frac{M}{N}\right) (A quotient of two logarithms is not the logarithm of a quotient. The Quotient Rule applies to logb(MN)\log_b\left(\frac{M}{N}\right), which equals logbMlogbN\log_b M - \log_b N — a difference, not a ratio. Note that logbMlogbN\frac{\log_b M}{\log_b N} is really logNM\log_N M by change of base.)
  3. (logbM)kklogbM(\log_b M)^k \neq k \cdot \log_b M (Power rule applies to argument MkM^k, not the entire function!)

Expanding Complex Logarithmic Expressions

Expanding a logarithm breaks a single complex term into a linear combination of simple logarithmic components.

Worked Example: Multi-Step Logarithmic Expansion

Problem: Fully expand the expression log3(x5y3z4(w2)2)\log_3 \left( \frac{x^5 \sqrt[3]{y}}{z^4 (w - 2)^2} \right).

Step-by-Step Solution:

  1. Convert radicals to rational exponents: log3(x5y1/3z4(w2)2)\log_3 \left( \frac{x^5 y^{1/3}}{z^4 (w - 2)^2} \right)

  2. Apply Quotient Rule (Numerator minus Denominator): log3(x5y1/3)log3(z4(w2)2)\log_3 \left( x^5 y^{1/3} \right) - \log_3 \left( z^4 (w - 2)^2 \right)

  3. Apply Product Rule to separate factors: [log3(x5)+log3(y1/3)][log3(z4)+log3((w2)2)]\left[ \log_3(x^5) + \log_3(y^{1/3}) \right] - \left[ \log_3(z^4) + \log_3((w - 2)^2) \right]

  4. Distribute negative sign across denominator terms: log3(x5)+log3(y1/3)log3(z4)log3((w2)2)\log_3(x^5) + \log_3(y^{1/3}) - \log_3(z^4) - \log_3((w - 2)^2)

  5. Apply Power Rule to bring all exponents out front: 5log3x+13log3y4log3z2log3(w2)5 \log_3 x + \frac{1}{3} \log_3 y - 4 \log_3 z - 2 \log_3(w - 2)


Condensing Logarithmic Expressions

Condensing reverses expansion by combining multiple logarithmic terms into a single logarithm with a coefficient of 1.

Worked Example: Multi-Step Logarithmic Condensing

Problem: Condense 4lnx+12ln(y+3)3lnz2lnw4 \ln x + \frac{1}{2} \ln(y + 3) - 3 \ln z - 2 \ln w into a single natural logarithm.

Step-by-Step Solution:

  1. Apply Power Rule first to move external coefficients inside as exponents: ln(x4)+ln((y+3)1/2)ln(z3)ln(w2)\ln(x^4) + \ln\left((y + 3)^{1/2}\right) - \ln(z^3) - \ln(w^2)

  2. Convert rational exponent to radical form: ln(x4)+ln(y+3)[ln(z3)+ln(w2)]\ln(x^4) + \ln\left(\sqrt{y + 3}\right) - \left[ \ln(z^3) + \ln(w^2) \right]

  3. Apply Product Rule to combine positive numerator terms and negative denominator terms:

    • Numerator product: x4y+3x^4 \cdot \sqrt{y + 3}.
    • Denominator product: z3w2z^3 \cdot w^2.
  4. Apply Quotient Rule to write as single logarithm: ln(x4y+3z3w2)\ln \left( \frac{x^4 \sqrt{y + 3}}{z^3 w^2} \right)


The Change-of-Base Formula

To evaluate a logarithm with an arbitrary base bb using common or natural logarithms (or on the TI-30XS calculator):

logbx=logaxlogab=logxlogb=lnxlnb\log_b x = \frac{\log_a x}{\log_a b} = \frac{\log x}{\log b} = \frac{\ln x}{\ln b}

Worked Example: Exact Logarithmic Arithmetic

Problem: Calculate the exact numerical value of the expression: log4(64)log3(127)+ln(e6)log5(5)\log_4(64) - \log_3\left(\frac{1}{27}\right) + \ln(e^6) - \log_5(\sqrt{5})

Step-by-Step Solution:

  1. Evaluate log4(64)\log_4(64): Since 43=644^3 = 64, log4(64)=3\log_4(64) = 3.
  2. Evaluate log3(127)\log_3\left(\frac{1}{27}\right): Since 127=33\frac{1}{27} = 3^{-3}, log3(33)=3\log_3(3^{-3}) = -3.
  3. Evaluate ln(e6)\ln(e^6): By natural log inverse identity, ln(e6)=6\ln(e^6) = 6.
  4. Evaluate log5(5)\log_5(\sqrt{5}): Since 5=51/2\sqrt{5} = 5^{1/2}, log5(51/2)=12\log_5(5^{1/2}) = \frac{1}{2}.
  5. Combine evaluated values: 3(3)+612=3+3+60.5=120.5=11.5=2323 - (-3) + 6 - \frac{1}{2} = 3 + 3 + 6 - 0.5 = 12 - 0.5 = 11.5 = \frac{23}{2}
Loading diagram...
Logarithmic Rules & Equivalences Map
Test Your Knowledge

What is the exact value of the expression log_2(32) - log_5(1/25) + ln(e^4)?

A
B
C
D
Test Your Knowledge

Which of the following represents the fully expanded form of log_b( (x^4 * y^3) / sqrt[3]{z} )?

A
B
C
D
Test Your Knowledge

Which single logarithm is equivalent to 2*ln(x) + (1/2)ln(y - 1) - 3ln(z)?

A
B
C
D
Test Your Knowledge

Using the Change-of-Base Formula, which expression evaluates log_7(45) using natural logarithms?

A
B
C
D