Skip to main content
Mathematics LibreTexts

6.3: Exponential Equations and Inequalities

  • Page ID
    4005
  • \( \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}}\)

    In Section \ref{ExpEquations} we solved equations and inequalities involving exponential functions using one of two basic strategies. We now turn our attention to equations and inequalities involving logarithmic functions, and not surprisingly, there are two basic strategies to choose from. For example, suppose we wish to solve \(\log_{2}(x) = \log_{2}(5)\). Theorem \ref{explogsonetoone} tells us that the \textit{only} solution to this equation is \(x=5\). Now suppose we wish to solve \(\log_{2}(x) = 3\). If we want to use Theorem \ref{explogsonetoone}, we need to rewrite \(3\) as a logarithm base \(2\). We can use Theorem \ref{invpropslogs} to do just that: \(3 = \log_{2}\left(2^{3}\right) = \log_{2}(8)\). Our equation then becomes \(\log_{2}(x) = \log_{2}(8)\) so that \(x = 8\). However, we could have arrived at the same answer, in fewer steps, by using Theorem \ref{invpropslogs} to rewrite the equation \(\log_{2}(x) = 3\) as \(2^{3} = x\), or \(x=8\). We summarize the two common ways to solve log equations below.

    Steps for Solving an Equation involving Logarithmic Functions

    1. Isolate the logarithmic function.
    2. If convenient, express both sides as logs with the same base and equate the arguments of the log functions.
    3. Otherwise, rewrite the log equation as an exponential equation.

    Example \(\PageIndex{1}\):

    Solve the following equations. Check your solutions graphically using a calculator.

    1. \(\log_{117}(1-3x) = \log_{117}\left(x^2-3\right)\)
    2. \(2 - \ln(x-3) = 1\)
    3. \(\log_{6}(x+4) + \log_{6}(3-x) = 1\)
    4. \(\log_{7}(1-2x) = 1 - \log_{7}(3-x)\)
    5. \(\log_{2}(x+3) = \log_{2}(6-x)+3\)
    6. \(1 + 2 \log_{4}(x+1) = 2 \log_{2}(x)\)

    Solution

    1. Since we have the same base on both sides of the equation \(\log_{117}(1-3x) = \log_{117}\left(x^2-3\right)\), we equate what's inside the logs to get \(1-3x = x^2-3\). Solving \(x^2+3x-4 = 0\) gives \(x=-4\) and \(x=1\). To check these answers using the calculator, we make use of the change of base formula and graph \(f(x) = \frac{\ln(1-3x)}{\ln(117)}\) and \(g(x) = \frac{\ln\left(x^2-3\right)}{\ln(117)}\) and we see they intersect only at \(x=-4\). To see what happened to the solution \(x=1\), we substitute it into our original equation to obtain \(\log_{117}(-2) = \log_{117}(-2)\). While these expressions look identical, neither is a real number,\footnote{They do, however, represent the same \textbf{family} of complex numbers. We stop ourselves at this point and refer the reader to a good course in Complex Variables.} which means \(x=1\) is not in the domain of the original equation, and is not a solution.

    \item Our first objective in solving \(2 - \ln(x-3) = 1\) is to isolate the logarithm. We get \(\ln(x-3)=1\), which, as an exponential equation, is \(e^{1} = x-3\). We get our solution \(x=e+3\). On the calculator, we see the graph of \(f(x) = 2 - \ln(x-3)\) intersects the graph of \(g(x) = 1\) at \(x = e+3 \approx 5.718\).

    1. \item We can start solving \(\log_{6}(x+4) + \log_{6}(3-x) = 1\) by using the Product Rule for logarithms to rewrite the equation as \(\log_{6}\left[(x+4)(3-x)\right] = 1\). Rewriting this as an exponential equation, we get \(6^{1} = (x+4)(3-x)\). This reduces to \(x^2+x-6 = 0\), which gives \(x=-3\) and \(x=2\). Graphing \(y=f(x) = \frac{\ln(x+4)}{\ln(6)} + \frac{\ln(3-x)}{\ln(6)}\) and \(y=g(x) = 1\), we see they intersect twice, at \(x=-3\) and \(x=2\).
    1. \item Taking a cue from the previous problem, we begin solving \(\log_{7}(1-2x) = 1 - \log_{7}(3-x)\) by first collecting the logarithms on the same side, \(\log_{7}(1-2x) + \log_{7}(3-x) = 1\), and then using the Product Rule to get \(\log_{7}[(1-2x)(3-x)] = 1\). Rewriting this as an exponential equation gives \(7^{1} = (1-2x)(3-x)\) which gives the quadratic equation \(2x^2-7x-4=0\). Solving, we find \(x = -\frac{1}{2}\) and \(x=4\). Graphing, we find \(y = f(x) = \frac{\ln(1-2x)}{\ln(7)}\) and \(y=g(x) = 1 - \frac{\ln(3-x)}{\ln(7)}\) intersect only at \(x=-\frac{1}{2}\). Checking \(x=4\) in the original equation produces \(\log_{7}(-7) = 1 - \log_{7}(-1)\), which is a clear domain violation.
    2. \item Starting with \(\log_{2}(x+3) = \log_{2}(6-x)+3\), we gather the logarithms to one side and get \(\log_{2}(x+3) - \log_{2}(6-x) = 3\). We then use the Quotient Rule and convert to an exponential equation \[\log_{2}\left(\frac{x+3}{6-x}\right) = 3 \iff 2^{3} = \frac{x+3}{6-x} \] This reduces to the linear equation \(8(6-x) = x+3\), which gives us \(x = 5\). When we graph \(f(x) = \frac{\ln(x+3)}{\ln(2)}\) and \(g(x) = \frac{\ln(6-x)}{\ln(2)} + 3\), we find they intersect at \(x=5\).
    1. \item Starting with \(1 + 2 \log_{4}(x+1) = 2 \log_{2}(x)\), we gather the logs to one side to get the equation \(1 = 2 \log_{2}(x) - 2 \log_{4}(x+1)\). Before we can combine the logarithms, however, we need a common base. Since \(4\) is a power of \(2\), we use change of base to convert \[\log_{4}(x+1) = \frac{\log_{2}(x+1)}{\log_{2}(4)} = \frac{1}{2} \log_{2}(x+1)\] Hence, our original equation becomes

    \[ \begin{array}{rclr} 1 & = & 2 \log_{2}(x) - 2 \left(\frac{1}{2} \log_{2}(x+1)\right) & \\ 1 &= & 2\log_{2}(x) - \log_{2}(x+1) & \\ 1 & = & \log_{2}\left(x^2\right) - \log_{2}(x+1) & \text{Power Rule} \\ 1 & = & \log_{2}\left( \dfrac{x^{2}}{x+1}\right) & \text{Quotient Rule} \\ \end{array}\]

    Rewriting this in exponential form, we get \( \frac{x^{2}}{x+1} = 2\) or \(x^2 -2x-2 = 0\). Using the quadratic formula, we get \(x = 1 \pm \sqrt{3}\). Graphing \(f(x) = 1 + \frac{2\ln(x+1)}{\ln(4)}\) and \(g(x) = \frac{2 \ln(x)}{\ln(2)}\), we see the graphs intersect only at \(x = 1 + \sqrt{3} \approx 2.732\). The solution \(x = 1 - \sqrt{3} < 0\), which means if substituted into the original equation, the term \(2 \log_{2}\left(1 - \sqrt{3}\right)\) is undefined.

    If nothing else, Example \ref{LogEqnsEx1} demonstrates the importance of checking for extraneous solutions\footnote{Recall that an extraneous solution is an answer obtained analytically which does not satisfy the original equation.} when solving equations involving logarithms. Even though we checked our answers graphically, extraneous solutions are easy to spot - any supposed solution which causes a negative number inside a logarithm needs to be discarded. As with the equations in Example \ref{expeqnsex1}, much can be learned from checking all of the answers in Example \ref{LogEqnsEx1} analytically. We leave this to the reader and turn our attention to inequalities involving logarithmic functions. Since logarithmic functions are continuous on their domains, we can use sign diagrams.

    Example \(\PageIndex{2}\):

    Solve the following inequalities. Check your answer graphically using a calculator.

    1. \(\dfrac{1}{\ln(x)+1} \leq 1\)
    2. \(\left(\log_{2}(x)\right)^2 < 2 \log_{2}(x) + 3\)
    3. \(x \log(x+1) \geq x\)

    Solution

    \item We start solving \(\frac{1}{\ln(x)+1} \leq 1\) by getting \(0\) on one side of the inequality: \(\frac{1}{\ln(x)+1} - 1 \leq 0\). Getting a common denominator yields \(\frac{1}{\ln(x)+1} - \frac{\ln(x)+1}{\ln(x)+1} \leq 0\) which reduces to \(\frac{-\ln(x)}{\ln(x)+1} \leq 0\), or \( \frac{\ln(x)}{\ln(x)+1} \geq 0\). We define \(r(x) = \frac{\ln(x)}{\ln(x)+1}\) and set about finding the domain and the zeros of \(r\). Due to the appearance of the term \(\ln(x)\), we require \(x > 0\). In order to keep the denominator away from zero, we solve \(\ln(x)+1 = 0\) so \(\ln(x) = -1\), so \(x = e^{-1} = \frac{1}{e}\). Hence, the domain of \(r\) is \(\left(0, \frac{1}{e}\right) \cup \left(\frac{1}{e}, \infty\right)\). To find the zeros of \(r\), we set \(r(x) = \frac{\ln(x)}{\ln(x)+1} = 0\) so that \(\ln(x) = 0\), and we find \(x = e^{0} = 1\). In order to determine test values for \(r\) without resorting to the calculator, we need to find numbers between \(0\), \(\frac{1}{e}\), and \(1\) which have a base of \(e\). Since \(e \approx 2.718 > 1\), \(0 < \frac{1}{e^2} < \frac{1}{e} < \frac{1}{\sqrt{e}} < 1 < e\). To determine the sign of \(r\left( \frac{1}{e^2} \right)\), we use the fact that \(\ln\left(\frac{1}{e^2}\right) = \ln\left(e^{-2}\right) = -2\), and find \(r\left( \frac{1}{e^2} \right) = \frac{-2}{-2+1} = 2\), which is \((+)\). The rest of the test values are determined similarly. From our sign diagram, we find the solution to be \(\left(0, \frac{1}{e}\right) \cup [1, \infty)\). Graphing \(f(x) = \frac{1}{\ln(x)+1}\) and \(g(x) = 1\), we see the the graph of \(f\) is below the graph of \(g\) on the solution intervals, and that the graphs intersect at \(x=1\).

    1. \item Moving all of the nonzero terms of \(\left(\log_{2}(x)\right)^2 < 2 \log_{2}(x) + 3\) to one side of the inequality, we have \(\left(\log_{2}(x)\right)^2 - 2 \log_{2}(x) - 3 < 0\). Defining \(r(x) = \left(\log_{2}(x)\right)^2 - 2 \log_{2}(x) - 3\), we get the domain of \(r\) is \((0, \infty)\), due to the presence of the logarithm. To find the zeros of \(r\), we set \(r(x) =\left(\log_{2}(x)\right)^2 - 2 \log_{2}(x) - 3= 0\) which results in a `quadratic in disguise.' We set \(u = \log_{2}(x)\) so our equation becomes \(u^2-2u-3 = 0\) which gives us \(u=-1\) and \(u=3\). Since \(u = \log_{2}(x)\), we get \(\log_{2}(x) = -1\), which gives us \(x = 2^{-1} = \frac{1}{2}\), and \(\log_{2}(x) = 3\), which yields \(x = 2^{3} = 8\). We use test values which are powers of \(2\): \(0 < \frac{1}{4} < \frac{1}{2} < 1 < 8 < 16\), and from our sign diagram, we see \(r(x)< 0\) on \(\left(\frac{1}{2}, 8 \right)\). Geometrically, we see the graph of \(f(x)= \left(\frac{\ln(x)}{\ln(2)}\right)^2\) is below the graph of \(y = g(x) = \frac{2 \ln(x)}{\ln(2)} + 3\) on the solution interval.
    2. We begin to solve \(x \log(x+1) \geq x\) by subtracting \(x\) from both sides to get \(x \log(x+1) - x \geq 0\). We define \(r(x) = x \log(x+1) - x \( and due to the presence of the logarithm, we require \(x+1 > 0\), or \(x > -1\). To find the zeros of \(r\), we set \(r(x) = x \log(x+1) - x = 0\). Factoring, we get \(x \left(\log(x+1) - 1\right) = 0\), which gives \(x=0\) or \(\log(x+1) - 1=0\). The latter gives \(\log(x+1) = 1\), or \(x+1 = 10^{1}\), which admits \(x = 9\). We select test values \(x\) so that \(x+1\) is a power of \(10\), and we obtain \(-1 < -0.9 < 0 < \sqrt{10} -1 < 9 < 99\). Our sign diagram gives the solution to be \((-1,0] \cup [9, \infty)\). The calculator indicates the graph of \(y= f(x) = x \log(x+1)\) is above \(y=g(x) = x\) on the solution intervals, and the graphs intersect at \(x=0\) and \(x=9\).

    Our next example revisits the concept of pH as first introduced in the exercises in Section \ref{IntroExpLogs}.

    Example \(\PageIndex{1}\): Fish Talk pH

    In order to successfully breed Ippizuti fish the pH of a freshwater tank must be at least 7.8 but can be no more than 8.5. Determine the corresponding range of hydrogen ion concentration, and check your answer using a calculator.

    Solution

    Recall from Exercise \ref{pHexercise} in Section \ref{IntroExpLogs} that \(\mbox{pH} = -\log[\mbox{H}^{+}]\) where \([\mbox{H}^{+}]\) is the hydrogen ion concentration in moles per liter. We require \(7.8 \leq -\log[\mbox{H}^{+}] \leq 8.5\) or \(-7.8 \geq \log[\mbox{H}^{+}] \geq -8.5\). To solve this compound inequality we solve \(-7.8 \geq \log[\mbox{H}^{+}]\) and \( \log[\mbox{H}^{+}] \geq -8.5\) and take the intersection of the solution sets.\footnote{Refer to page \pageref{intersectionunion} for a discussion of what this means.} The former inequality yields \(0 < [\mbox{H}^{+}] \leq 10^{-7.8}\) and the latter yields \([\mbox{H}^{+}] \geq 10^{-8.5}\). Taking the intersection gives us our final answer \(10^{-8.5} \leq [\mbox{H}^{+}] \leq 10^{-7.8}\). (Your Chemistry professor may want the answer written as \(3.16 \times 10^{-9} \leq [\mbox{H}^{+}] \leq 1.58 \times 10^{-8}\).) After carefully adjusting the viewing window on the graphing calculator we see that the graph of \(f(x) = -\log(x)\) lies between the lines \(y = 7.8\) and \(y = 8.5\) on the interval \([3.16 \times 10^{-9}, 1.58 \times 10^{-8}]\).

    We close this section by finding an inverse of a one-to-one function which involves logarithms.

    Example \(\PageIndex{1}\):

    The function \(f(x) = \dfrac{\log(x)}{1-\log(x)}\) is one-to-one. Find a formula for \(f^{-1}(x)\) and check your answer graphically using your calculator.

    Solution

    We first write \(y=f(x)\) then interchange the \(x\) and \(y\) and solve for \(y\).

    \[ \begin{array}{rclr} y & = & f(x) & \\ y & = & \dfrac{\log(x)}{1-\log(x)} & \\ x & = & \dfrac{\log(y)}{1-\log(y)} & \mbox{Interchange \(x\) and \(y\).}\\ x\left(1-\log(y)\right) & = & \log(y) & \\ x - x\log(y) & = & \log(y) & \\ x & = & x \log(y) + \log(y) & \\ x & = & (x+1) \log(y) & \\ \dfrac{x}{x+1} & = & \log(y) & \\ y & = & 10^{\frac{x}{x+1}} & \mbox{Rewrite as an exponential equation.}\\ \end{array}\]

    We have \(f^{-1}(x) = 10^{\frac{x}{x+1}}\). Graphing \(f\) and \(f^{-1}\) on the same viewing window yields


    This page titled 6.3: Exponential Equations and Inequalities is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Carl Stitz & Jeff Zeager via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.