Skip to main content
Mathematics LibreTexts

5.2: Logarithmic Functions

  • Page ID
    67123
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    A population of 50 flies is expected to double every week, leading to a function of the form \(f(x)=50(2)^{x}\), where x represents the number of weeks that have passed. When will this population reach 500? Trying to solve this problem leads to:

    \[500=50(2)^{x}\nonumber\] Dividing both sides by 50 to isolate the exponential
    \[10=2^{x}\nonumber\]

    While we have set up exponential models and used them to make predictions, you may have noticed that solving exponential equations has not yet been mentioned. The reason is simple: none of the algebraic tools discussed so far are sufficient to solve exponential equations. Consider the equation \(2^{x} =10\) above. We know that \(2^{3} =8\) and \(2^{4} =16\), so it is clear that \(x\) must be some value between 3 and 4 since \(g(x)=2^{x}\) is increasing. We could use technology to create a table of values or graph to better estimate the solution.

    屏幕快照 2019-06-24 下午10.59.51.png

    From the graph, we could better estimate the solution to be around 3.3. This result is still fairly unsatisfactory, and since the exponential function is one-to-one, it would be great to have an inverse function. None of the functions we have already discussed would serve as an inverse function and so we must introduce a new function, named log as the inverse of an exponential function. Since exponential functions have different bases, we will define corresponding logarithms of different bases as well.

    Definition: logarithm

    The logarithm (base \(b\)) function, written \(\log _{b} \left(x\right)\), is the inverse of the exponential function (base \(b\)), \(b^{x}\).

    Since the logarithm and exponential “undo” each other (in technical terms, they are inverses), it follows that:

    properties of logs: inverse properties

    \[\log _{b} \left(b^{x} \right)=x\]

    \[b^{\log _{b} x} =x\]

    Since log is a function, it is most correctly written as \(\log _b}(c)\), using parentheses to denote function evaluation, just as we would with \(f(c)\).  However, when the input is a single variable or number, it is common to see the parentheses dropped and the expression written as \(\log _b c\).

    logarithm equivalent to an exponential

    The statement \(b^{a} =c\) is equivalent to the statement \(\log _{b} (c)=a\).

    Alternatively, we could show this by starting with the exponential function\(c=b^{a}\), then taking the log base \(b\) of both sides, giving \(\log _{b} (c)=\log _{b} b^{a}\). Using the inverse property of logs, we see that \(\log _{b} (c)=a\).

    Since log is a function, it is most correctly written as \(\log _{b} (c)\), using parentheses to denote function evaluation, just as we would with \(f(c)\). However, when the input is a single variable or number, it is common to see the parentheses dropped and the expression written as \(\log _{b} c\).

    Example \(\PageIndex{1}\)

    Write these exponential equations as logarithmic equations:

    1. \(2^{3} =8\)
    2. \(5^{2} =25\)
    3. \(10^{-4} =\dfrac{1}{10000}\)

    Solution

    a) \(2^{3} =8\) is equivalent to \(\log _{2} (8)=3\)

    b) \(5^{2} =25\) is equivalent to \(\log _{5} (25)=2\)

    c) \(10^{-4} =\dfrac{1}{10000}\) is equivalent to \(\log _{10} \left(\dfrac{1}{10000} \right)=-4\)

    Example \(\PageIndex{2}\)

    Write these logarithmic equations as exponential equations:

    a) \(\log _{6} \left(\sqrt{6} \right)=\dfrac{1}{2}\) b) \(\log _{3} \left(9\right)=2\)

    Solution

    a) \(\log _{6} \left(\sqrt{6} \right)=\dfrac{1}{2}\) is equivalent to \(6^{1/2} =\sqrt{6}\)

    b) \(\log _{3} \left(9\right)=2\) is equivalent to \(3^{2} =9\)

    Exercise \(\PageIndex{1}\)

    Write the exponential equation \(4^{2} =16\) as a logarithmic equation.

    Answer

    \[\log _{4} \left(16\right)=2=\log _{4} 4^{2} =2\log _{4} 4\nonumber\]

    By establishing the relationship between exponential and logarithmic functions, we can now solve basic logarithmic and exponential equations by rewriting.

    Example \(\PageIndex{3}\)

    Solve \(\log _{4} \left(x\right)=2\) for \(x\).

    Solution

    By rewriting this expression as an exponential, \(4^{2} =x\), so \(x = 16\).

    Example \(\PageIndex{4}\)

    Solve \(2^{x} =10\) for \(x\).

    Solution

    By rewriting this expression as a logarithm, we get \(x=\log _{2} (10)\).

    While this does define a solution, and an exact solution at that, you may find it somewhat unsatisfying since it is difficult to compare this expression to the decimal estimate we made earlier. Also, giving an exact expression for a solution is not always useful – often we really need a decimal approximation to the solution. Luckily, this is a task calculators and computers are quite adept at. Unluckily for us, most calculators and computers will only evaluate logarithms of two bases. Happily, this ends up not being a problem, as we will see briefly.

    Definition: common and natural logarithms

    The common log is the logarithm with base 10, and is typically written \(\log (x)\).

    The natural log is the logarithm with base \(e\), and is typically written \(\ln (x)\).

    Example \(\PageIndex{5}\)

    Evaluate \(\log (1000)\) using the definition of the common log.

    Values of the common log
    number number as exponential log(number)
    1000 \(10^3\) 3
    100 \(10^2\) 2
    10 \(10^1\) 1
    1 \(10^0\) 0
    0.1 \(10^{-1}\) -1
    0.01 \(10^{-2}\) -2
    0.001 \(10^{-3}\) -3

    Solution

    To evaluate \(\log (1000)\), we can let \(x=\log (1000)\), then rewrite into exponential form using the common log base of 10:

    \(10^{x} =1000.\)

    From this, we might recognize that 1000 is the cube of 10, so \(x\) = 3.

    We also can use the inverse property of logs to write \(\log _{10} \left(10^{3} \right)=3\).

    Exercise \(\PageIndex{2}\)

    Evaluate \(\log (1,000,000)\).

    Answer

    \[\log \left(1000000\right)=\log \left(10^{6} \right)=6\nonumber\]

    Example \(\PageIndex{6}\)

    Evaluate \(\ln \left(\sqrt{e} \right)\).

    Solution

    We can rewrite \(\ln \left(\sqrt{e} \right)\) as \(\ln \left(e^{1/2} \right)\). Since ln is a log base \(e\), we can use the inverse property for logs: \[\ln \left(e^{1/2} \right)=\log _{e} \left(e^{1/2} \right)=\dfrac{1}{2}\nonumber\].

    Example \(\PageIndex{7}\)

    Evaluate log(500) using your calculator or computer.

    Solution

    Using a computer, we can evaluate \(\log (500)\approx 2.69897\)

    Graphs of Logarithms

    Recall that the exponential function \(f(x) = 2^x\) produces this table of values

    \(x\)

    -3

    -2

    -1

    0

    1

    2

    3

    \(f(x)\)

    \(\frac{1}{8}\)

    \(\frac{1}{4}\)

    \(\frac{1}{2}\)

    1

    2

    4

    8

    Since the logarithmic function “undoes” the exponential, \(g(x) = \log _2 (x)\) produces the table of values

    \(x\)

    \(\frac{1}{8}\)

    \(\frac{1}{4}\)

    \(\frac{1}{2}\)

    1

    2

    4

    8

    \(g(x)\)

    -3

    -2

    -1

    0

    1

    2

    3

     

    In this second table, notice that

    1. As the input increases, the output increases.
    2. As input increases, the output increases more slowly.
    3. Since the exponential function only outputs positive values, the logarithm can only accept positive values as inputs, so the domain of the log function is \((0,\infty)\).
    4. Since the exponential function can accept all real numbers as inputs, the logarithm can output any real number, so the range is all real numbers or \(( - \infty ,\infty )\).

    clipboard_eae04ea6f50c4a958a5d2b423cb396c13.png

    Sketching the graph, notice that as the input approaches zero from the right, the output of the function grows very large in the negative direction, indicating a vertical asymptote at \(x=0\).

    In symbolic notation we write:

    as \(x \to 0^+, f(x) \to  -\infty\),  and as \(x \to \infty , f(x) \to \infty\).

    Graphical Features of the Logarithm

    Graphically, in the function \(g(x) = \log_b(x)\):

    The graph has a horizontal intercept at (1, 0);

    The graph has a vertical asymptote at \(x=0\);

    The graph is increasing and concave down;

    The domain of the function is \(x > 0\), or \((0,\infty)\);

    The range of the function is all real numbers, or \((- \infty ,\infty)\).

    When sketching a general logarithm with base \(b\), it can be helpful to remember that the graph will pass through the points \((1, 0)\) and \((b, 1)\).

    To get a feeling for how the base affects the shape of the graph, examine the graphs below.

    clipboard_e2ccf9d726abb9fbf13e47eb53dfd7a7f.png

     

    Notice that the larger the base, the slower the graph grows.  For example, the common log graph, while it grows without bound, it does so very slowly.  For example, to reach an output of 8, the input must be 100,000,000.

    Another important observation made was the domain of the logarithm.  Like the reciprocal and square root functions, the logarithm has a restricted domain which must be considered when finding the domain of a composition involving a log.

    Example \(\PageIndex{8}\)

    Find the domain of the function \(f(x) = \log (5 - 2x)\).

    Solution

    The logarithm is only defined with the input is positive, so this function will only be defined when \(5 - 2x > 0\).  Solving this inequality,

    \[\begin{align*} - 2x &>  - 5   \\  x &< \frac{5}{2} \end{align*} \]

    The domain of this function is \(x < \frac{5}{2}\), or in interval notation, \(\left( - \infty ,\frac{5}{2} \right)\).

    Logarithm Properties

    To utilize the common or natural logarithm functions to evaluate expressions like \(\log _{2} (10)\), we need to establish some additional properties.

    properties of logs: exponent property

    \[\log _{b} \left(A^{r} \right)=r\log _{b} \left(A\right)\]

    To show why this is true, we offer a proof:

    Since the logarithmic and exponential functions are inverses, \(b^{\log _{b} A} =A\).

    Raising both sides to the r power, we get \(A^{r} =\left(b^{\log _{b} A} \right)^{r}\).

    Utilizing the exponential rule that states\(\left(x^{p} \right)^{q} =x^{pq}\), \(A^{r} =\left(b^{\log _{b} A} \right)^{r} =b^{r\log _{b} A}\)

    Taking the log of both sides, \(\log _{b} \left(A^{r} \right)=\log _{b} \left(b^{r\log _{b} A} \right)\)

    Utilizing the inverse property on the right side yields the result: \(\log _{b} \left(A^{r} \right)=r\log _{b} A\)

    Example \(\PageIndex{9}\)

    Rewrite \(\log _{3} \left(25\right)\) using the exponent property for logs.

    Solution

    Since 25 = 5\({}^{2}\),

    \[\log _{3} \left(25\right)=\log _{3} \left(5^{2} \right)=2\log _{3} \left(5\right)\nonumber\]

    Example \(\PageIndex{10}\)

    Rewrite \(4\ln (x)\)using the exponent property for logs.

    Solution

    Using the property in reverse, \(4\ln (x)=\ln \left(x^{4} \right)\).

    Exercise \(\PageIndex{3}\)

    Rewrite using the exponent property for logs: \(\ln \left(\dfrac{1}{x^{2} } \right)\).

    Answer

    \[3. \ln \left(\dfrac{1}{x^{2} } \right)=\ln \left(x^{-2} \right)=-2\ln (x)\nonumber \]

    The exponent property allows us to find a method for changing the base of a logarithmic expression.

    properties of logs: change of base

    \[\log _{b} \left(A\right)=\dfrac{\log _{c} (A)}{\log _{c} (b)}\nonumber\]

    Proof

    Let \(\log _{b} \left(A\right)=x\).

    Rewriting as an exponential gives \(b^{x} =A\).

    Taking the log base c of both sides of this equation gives

    \[\log _{c} b^{x} =\log _{c} A \nonumber\]

    Now utilizing the exponent property for logs on the left side,

    \[x\log _{c} b=\log _{c} A \nonumber\]

    Dividing, we obtain \(x=\dfrac{\log _{c} A}{\log _{c} b}\). Replacing our original expression for \(x\),

    \[\log _{b} A=\dfrac{\log _{c} A}{\log _{c} b} \nonumber\]

    With this change of base formula, we can finally find a good decimal approximation to our question from the beginning of the section.

    Example \(\PageIndex{11}\)

    Evaluate \(\log _{2} (10)\) using the change of base formula.

    Solution

    According to the change of base formula, we can rewrite the log base 2 as a logarithm of any other base. Since our calculators can evaluate the natural log, we might choose to use the natural logarithm, which is the log base \(e\):

    \[\log _{2} 10=\dfrac{\log _{e} 10}{\log _{e} 2} =\dfrac{\ln 10}{\ln 2}\nonumber\]

    Using our calculators to evaluate this,

    \[\dfrac{\ln 10}{\ln 2} \approx \dfrac{2.30259}{0.69315} \approx 3.3219\nonumber\]

    This finally allows us to answer our original question – the population of flies we discussed at the beginning of the section will take 3.32 weeks to grow to 500.

    Example \(\PageIndex{12}\)

    Evaluate \(\log _{5} (100)\) using the change of base formula.

    Solution

    We can rewrite this expression using any other base. If our calculators are able to evaluate the common logarithm, we could rewrite using the common log, base 10.

    \[\log _{5} (100)=\dfrac{\log _{10} 100}{\log _{10} 5} \approx \dfrac{2}{0.69897} =2.861 \nonumber\]

    While we can solve the basic exponential equation \(2^{x} =10\) by rewriting in logarithmic form and then using the change of base formula to evaluate the logarithm, the proof of the change of base formula illuminates an alternative approach to solving exponential equations.

    Solving Exponential Equations

    1. Isolate the exponential expressions when possible
    2. Take the logarithm of both sides
    3. Utilize the exponent property for logarithms to pull the variable out of the exponent
    4. Use algebra to solve for the variable.

    Example \(\PageIndex{13}\)

    Solve \(2^{x} =10\) for \(x\).

    Solution

    Using this alternative approach, rather than rewrite this exponential into logarithmic form, we will take the logarithm of both sides of the equation. Since we often wish to evaluate the result to a decimal answer, we will usually utilize either the common log or natural log. For this example, we’ll use the natural log:

    \[\ln \left(2^{x} \right)=\ln (10)\nonumber\] Utilizing the exponent property for logs,
    \[x\ln \left(2\right)=\ln (10)\nonumber\] Now dividing by ln(2),
    \[x=\dfrac{\ln (10)}{\ln \left(2\right)} \approx 3.3219\nonumber\]

    Notice that this result matches the result we found using the change of base formula.

    Example \(\PageIndex{14}\)

    In the first section, we predicted the population (in billions) of India \(t\) years after 2008 by using the function \(f(t)=1.14(1+0.0134)^{t}\). If the population continues following this trend, when will the population reach 2 billion?

    Solution

    We need to solve for time \(t\) so that \(f(t) = 2\).

    \[2=1.14(1.0134)^{t}\nonumber\] Divide by 1.14 to isolate the exponential expression
    \[\dfrac{2}{1.14} =1.0134^{t}\nonumber\] Take the logarithm of both sides of the equation
    \[\ln \left(\dfrac{2}{1.14} \right)=\ln \left(1.0134^{t} \right)\nonumber\] Apply the exponent property on the right side
    \[\ln \left(\dfrac{2}{1.14} \right)=t\ln \left(1.0134\right)\nonumber\] Divide both sides by ln(1.0134)
    \[t=\dfrac{\ln \left(\dfrac{2}{1.14} \right)}{\ln \left(1.0134\right)} \approx 42.23\text{ years}\nonumber\]

    If this growth rate continues, the model predicts the population of India will reach 2 billion about 42 years after 2008, or approximately in the year 2050.

    Exercise \(\PageIndex{4}\)

    Solve \(5(0.93)^{x} =10\).

    Answer

    \[5(0.93)^{x} =10(0.93)^{x} =2\ln \left(0.93^{x} \right)=\ln \left(2\right)x\ln \left(0.93\right)=\ln \left(2\right)\dfrac{\ln (2)}{\ln (0.93)} \approx -9.5513\nonumber\]

    Example \(\PageIndex{14}\)

    Solve \(5(1.07)^{3t} =2\)

    Solution

    To start, we want to isolate the exponential part of the expression, the \((1.07)^{3t}\), so it is alone on one side of the equation. Then we can use the log to solve the equation. We can use any base log; this time we’ll use the common log.

    \[5(1.07)^{3t} =2\nonumber\] Divide both sides by 5 to isolate the exponential
    \[(1.07)^{3t} =\dfrac{2}{5}\nonumber\] Take the log of both sides.
    \[\log \left((1.07)^{3t} \right)=\log \left(\dfrac{2}{5} \right)\nonumber\] Use the exponent property for logs
    \[3t\log \left(1.07\right)=\log \left(\dfrac{2}{5} \right)\nonumber\] Divide by \(3\log \left(1.07\right)\) on both sides
    \[\dfrac{3t\log \left(1.07\right)}{3\log \left(1.07\right)} =\dfrac{\log \left(\dfrac{2}{5} \right)}{3\log \left(1.07\right)}\nonumber\] Simplify and evaluate
    \[t=\dfrac{\log \left(\dfrac{2}{5} \right)}{3\log \left(1.07\right)} \approx -4.5143\nonumber\]

    Note that when entering that expression on your calculator, be sure to put parentheses around the whole denominator to ensure the proper order of operations:

    log(2/5)/(3*log(1.07))

    Additional Properties of Logarithms

    Some situations cannot be addressed using the properties already discussed.  For these, we need some additional properties.

    properties of logs

    Sum of Logs Property:

    \[\log _{b} \left(A\right)+\log _{b} \left(C\right)=\log _{b} (AC)\]

    Difference of Logs Property:

    \[\log _{b} \left(A\right)-\log _{b} \left(C\right)=\log _{b} \left(\dfrac{A}{C} \right) \]

    It’s just as important to know what properties logarithms do not satisfy as to memorize the valid properties listed above. In particular, the logarithm is not a linear function, which means that it does not distribute:

    \[\log A + B \ne \log A + \log B. \label{distr1}\]

    With these properties, we can rewrite expressions involving multiple logs as a single log, or break an expression involving a single log into expressions involving multiple logs.

    Example \(\PageIndex{15}\)

    Write \(\log _{3} \left(5\right)+\log _{3} \left(8\right)-\log _{3} \left(2\right)\) as a single logarithm.

    Solution

    Using the sum of logs property on the first two terms,

    \[\log _{3} \left(5\right)+\log _{3} \left(8\right)=\log _{3} \left(5\cdot 8\right)=\log _{3} \left(40\right) \nonumber\]

    This reduces our original expression to

    \[\log _{3} \left(40\right)-\log _{3} \left(2\right) \nonumber\]

    Then using the difference of logs property,

    \[\log _{3} \left(40\right)-\log _{3} \left(2\right)=\log _{3} \left(\dfrac{40}{2} \right)=\log _{3} \left(20\right) \nonumber\]

    Example \(\PageIndex{16}\)

    Evaluate \(2\log \left(5\right)+\log \left(4\right)\) without a calculator by first rewriting as a single logarithm.

    Solution

    On the first term, we can use the exponent property of logs to write

    \[2\log \left(5\right)=\log \left(5^{2} \right)=\log \left(25\right) \nonumber\]

    With the expression reduced to a sum of two logs, \(\log \left(25\right)+\log \left(4\right)\), we can utilize the sum of logs property

    \[\log \left(25\right)+\log \left(4\right)=\log (4\cdot 25)=\log (100) \nonumber\]

    Since \(100 = 10^2\), we can evaluate this log without a calculator:

    \[\log (100)=\log \left(10^{2} \right)=2 \nonumber\]

    Example \(\PageIndex{17}\)

    Rewrite \(\ln \left(\dfrac{x^{4} y}{7} \right)\) as a sum or difference of logs

    Solution

    First, noticing we have a quotient of two expressions, we can utilize the difference property of logs to write

    \[\ln \left(\dfrac{x^{4} y}{7} \right)=\ln \left(x^{4} y\right)-\ln (7) \nonumber\]

    Then seeing the product in the first term, we use the sum property

    \[\ln \left(x^{4} y\right)-\ln (7)=\ln \left(x^{4} \right)+\ln (y)-\ln (7)\nonumber\]

    Finally, we could use the exponent property on the first term

    \[\ln \left(x^{4} \right)+\ln (y)-\ln (7)=4\ln (x)+\ln (y)-\ln (7) \nonumber\]

    Log properties in solving equations

    The logarithm properties often arise when solving problems involving logarithms.

    Example \(\PageIndex{18}\)

    Solve \(\log (50x+25)-\log (x)=2\).

    Solution

    In order to rewrite in exponential form, we need a single logarithmic expression on the left side of the equation. Using the difference property of logs, we can rewrite the left side:

    \[\log \left(\dfrac{50x+25}{x} \right)=2 \nonumber\]

    Rewriting in exponential form reduces this to an algebraic equation:

    \[\dfrac{50x+25}{x} =10^{2} =100\nonumber\] Multiply both sides by \(x\)
    \[50x+25=100x\nonumber\] Combine like terms
    \[25=50x\nonumber\] Divide by 50
    \[x=\dfrac{25}{50} =\dfrac{1}{2}\nonumber\]

    Checking this answer in the original equation, we can verify there are no domain issues, and this answer is correct.

    Exercise \(\PageIndex{6}\)

    Solve \(\log (x^2 - 4) = 1 + \log (x + 2)\).

    Answer

    \[12 \nonumber\]

    Important Topics of this Section

    • The Logarithmic function as the inverse of the exponential function
    • Writing logarithmic & exponential expressions
    • Properties of logs
    • Inverse properties
    • Exponential properties
    • Change of base
    • Sum and difference of logs properties
    • Common log
    • Natural log
    • Graph of the logarithmic function (domain and range)
    • Solving exponential equations
    • Solving equations using log rules

    This page titled 5.2: Logarithmic Functions is shared under a CC BY-SA license and was authored, remixed, and/or curated by David Lippman & Melonie Rasmussen (The OpenTextBookStore) .