11/14 11. Logarithmic Functions and Equations

A structured guide to interpreting, rewriting, graphing, transforming, and solving logarithmic functions and equations while respecting domain restrictions.

Meaning and Evaluation

A answers the question: “To what exponent must the base be raised to produce the argument?” The fundamental equivalence is

log⁡b(x)=y⟺by=x.\log_b(x)=y \quad\Longleftrightarrow\quad b^y=x.

Here, bb is the base, yy is the exponent, and xx is the argument. The base must satisfy b>0b>0 and b≠1b\neq 1, while the argument must satisfy x>0x>0.

For example,

log⁡2(8)=3\log_2(8)=3

because

23=8.2^3=8.

To convert logarithmic form to exponential form, keep the base, move the 's result to the exponent, and set it equal to the argument. Thus,

log⁡3(19)=−2\log_3\left(\frac{1}{9}\right)=-2

becomes

3−2=19.3^{-2}=\frac{1}{9}.

The inverse relationships are

log⁡b(bx)=x\log_b(b^x)=x

and

blog⁡b(x)=x,b^{\log_b(x)}=x,

when the expressions are defined.

Takeaway: A is an exponent, and converting between logarithmic and exponential forms is the central tool for evaluating and solving logarithmic expressions.

Special Logarithms and Change of Base

Two important special cases are the and the .

  • A has base 1010: log⁡(x)=log⁡10(x)\log(x)=\log_{10}(x).

  • A has base ee: ln⁡(x)=log⁡e(x)\ln(x)=\log_e(x), where e≈2.71828e\approx 2.71828.

Examples include

log⁡(1000)=3\log(1000)=3

because 103=100010^3=1000, and

ln⁡(e4)=4\ln(e^4)=4

because the and the exponential function with base ee are inverses.

When a calculator does not provide a key for a particular base, use the :

log⁡b(x)=log⁡(x)log⁡(b)=ln⁡(x)ln⁡(b).\log_b(x)=\frac{\log(x)}{\log(b)}=\frac{\ln(x)}{\ln(b)}.

For example,

log⁡5(17)=ln⁡(17)ln⁡(5).\log_5(17)=\frac{\ln(17)}{\ln(5)}.

Takeaway: Common and natural logarithms are standard bases, and the makes any valid calculable.

Properties and Rewriting

For positive numbers MM and NN, logarithms follow rules that translate multiplication, division, and powers into addition, subtraction, and multiplication.

  • Product property:

    log⁡b(MN)=log⁡b(M)+log⁡b(N).\log_b(MN)=\log_b(M)+\log_b(N).
  • Quotient property:

    log⁡b(MN)=log⁡b(M)−log⁡b(N).\log_b\left(\frac{M}{N}\right)=\log_b(M)-\log_b(N).
  • Power property:

    log⁡b(Mp)=plog⁡b(M).\log_b(M^p)=p\log_b(M).

These properties support expansion and condensation. For example, expand

log⁡b(x3yz2)=3log⁡b(x)+log⁡b(y)−2log⁡b(z).\log_b\left(\frac{x^3y}{z^2}\right)=3\log_b(x)+\log_b(y)-2\log_b(z).

In the reverse direction,

2ln⁡(x)+ln⁡(y)−ln⁡(z)=ln⁡(x2yz).2\ln(x)+\ln(y)-\ln(z)=\ln\left(\frac{x^2y}{z}\right).

Every argument must be positive. A of a sum cannot be separated using these rules:

log⁡b(x+y)≠log⁡b(x)+log⁡b(y).\log_b(x+y)\neq \log_b(x)+\log_b(y).

Likewise,

log⁡b(x−y)≠log⁡b(x)−log⁡b(y).\log_b(x-y)\neq \log_b(x)-\log_b(y).

Takeaway: Use properties only for products, quotients, and powers—not for sums or differences inside a single .

Graphs and Transformations

The parent logarithmic function is

f(x)=log⁡b(x),f(x)=\log_b(x),

where b>0b>0 and b≠1b\neq 1. Its domain is (0,∞)(0,\infty), its range is all real numbers, and its is x=0x=0. It crosses the xx-axis at (1,0)(1,0), has no yy-intercept, and includes the key points (b,1)(b,1) and (1b,−1)\left(\frac{1}{b},-1\right).

  • If b>1b>1, the graph is increasing.

  • If 0<b<10<b<1, the graph is decreasing.

  • The graph is the reflection of y=bxy=b^x across y=xy=x, because logarithmic and exponential functions are inverses.

For y=log⁡2(x)y=\log_2(x), convenient points come from writing x=2yx=2^y:

(14,−2), (12,−1), (1,0), (2,1), (4,2).\left(\frac{1}{4},-2\right),\ \left(\frac{1}{2},-1\right),\ (1,0),\ (2,1),\ (4,2).

A transformed function has the form

f(x)=alog⁡b(x−h)+k.f(x)=a\log_b(x-h)+k.

The parameter hh shifts the graph horizontally and moves the to x=hx=h; kk shifts it vertically; aa stretches or compresses it vertically and reflects it across the xx-axis when a<0a<0. The domain comes from the argument condition:

x−h>0⟹x>h.x-h>0\quad\Longrightarrow\quad x>h.

For example, f(x)=log⁡3(x−2)+1f(x)=\log_3(x-2)+1 has domain (2,∞)(2,\infty), range all real numbers, x=2x=2, and an increasing graph.

Solving Logarithmic Equations

Choose a solution method based on the equation's structure.

One equals a constant

Convert directly to exponential form:

log⁡b(S)=c⟺S=bc.\log_b(S)=c\quad\Longleftrightarrow\quad S=b^c.

For

log⁡3(2x−1)=4,\log_3(2x-1)=4,

rewrite the equation as

2x−1=34=81.2x-1=3^4=81.

Therefore,

x=41.x=41.

The argument is 8181, which is positive, so the solution is valid.

Equal logarithms with the same base

Apply the :

log⁡b(S)=log⁡b(T)⟺S=T.\log_b(S)=\log_b(T)\quad\Longleftrightarrow\quad S=T.

For

log⁡5(x+1)=log⁡5(3x−7),\log_5(x+1)=\log_5(3x-7),

set the arguments equal:

x+1=3x−7.x+1=3x-7.

This gives x=4x=4, and both original arguments equal 55, so the result is valid.

Several logarithms with the same base

First state the domain, then combine the logarithms. Consider

log⁡2(x)+log⁡2(x−2)=3.\log_2(x)+\log_2(x-2)=3.

The restrictions are x>0x>0 and x−2>0x-2>0, so x>2x>2. Using the product property gives

log⁡2(x(x−2))=3.\log_2\bigl(x(x-2)\bigr)=3.

Convert to exponential form:

x(x−2)=23=8.x(x-2)=2^3=8.

Thus,

x2−2x−8=0=(x−4)(x+2),x^2-2x-8=0=(x-4)(x+2),

so the candidates are x=4x=4 and x=−2x=-2. The domain condition rejects x=−2x=-2, leaving x=4x=4.

The same process applies to natural logarithms. For example,

ln⁡(x−3)=2\ln(x-3)=2

becomes

x−3=e2,x-3=e^2,

so x=e2+3x=e^2+3.

Domain Checks and Valid Solutions

The is essential throughout every solution. Each argument in the original equation must be positive. A candidate that makes an argument equal to zero or less than zero is invalid, even if it solves an intermediate polynomial equation.

Use this checking procedure:

  1. Write the positivity condition for every argument.

  2. Solve the equation using conversion, properties, or the .

  3. Test every candidate in the original equation.

  4. Reject any that violates an original positivity condition.

For example, in an equation containing log⁡b(x−2)\log_b(x-2), the restriction is

x−2>0⟹x>2.x-2>0\quad\Longrightarrow\quad x>2.

Therefore, any algebraic candidate with x≤2x\leq 2 must be discarded. This check is particularly important when combining logarithms produces a quadratic, because the quadratic may have roots outside the original logarithmic domain.

Final checklist:

  • Is every base positive and different from 11?

  • Is every original argument positive?

  • Were properties applied only to valid expressions?

  • Were all candidates checked in the original equation?

Takeaway: Domain restrictions are not an afterthought; they determine which algebraic candidates are genuine solutions.