Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

6.1: Introduction to Exponential and Logarithmic Functions

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

In this section we will develop techniques for solving equations involving exponential functions. Suppose, for instance, we wanted to solve the equation 2x=128. After a moment's calculation, we find 128=27, so we have 2x=27. The one-to-one property of exponential functions, detailed in Theorem ???, tells us that 2x=27 if and only if x=7. This means that not only is x=7 a solution to 2x=27, it is the \textit{only} solution. Now suppose we change the problem ever so slightly to 2x=129. We could use one of the inverse properties of exponentials and logarithms listed in Theorem ??? to write 129=2log2(129). We'd then have 2x=2log2(129), which means our solution is x=log2(129). This makes sense because, after all, the definition of log2(129) is `the exponent we put on 2 to get 129.' Indeed we could have obtained this solution directly by rewriting the equation 2x=129 in its logarithmic form log2(129)=x. Either way, in order to get a reasonable decimal approximation to this number, we'd use the change of base formula, Theorem ???, to give us something more calculator friendly,\footnote{You can use natural logs or common logs. We choose natural logs. (In Calculus, you'll learn these are the most `mathy' of the logarithms.)} say log2(129)=ln(129)ln(2). Another way to arrive at this answer is as follows

2x=129ln(2x)=ln(129)Take the natural log of both sides.xln(2)=ln(129)Power Rulex=ln(129)ln(2)

`Taking the natural log' of both sides is akin to squaring both sides: since f(x)=ln(x) is a \textit{function}, as long as two quantities are equal, their natural logs are equal.\footnote{This is also the `if' part of the statement logb(u)=logb(w) if and only if u=w in Theorem ???.} Also note that we treat ln(2) as any other non-zero real number and divide it through\footnote{Please resist the temptation to divide both sides by `ln' instead of ln(2). Just like it wouldn't make sense to divide both sides by the square root symbol `2' when solving x2=5, it makes no sense to divide by `ln'.} to isolate the variable x. We summarize below the two common ways to solve exponential equations, motivated by our examples.

Steps for Solving an Equation involving Exponential Functions

  1. Isolate the exponential function.
  2. If convenient, express both sides with a common base and equate the exponents.
  3. Otherwise, take the natural log of both sides of the equation and use the Power Rule.

Example 6.1.1:

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

  1. 23x=161x
  2. 2000=100030.1t
  3. 93x=72x
  4. 75=1001+3e2t
  5. 25x=5x+6
  6. exex2=5

Solution

  1. Since 16 is a power of 2, we can rewrite 23x=161x as 23x=(24)1x. Using properties of exponents, we get 23x=24(1x). Using the one-to-one property of exponential functions, we get 3x=4(1x) which gives x=47. To check graphically, we set f(x)=23x and g(x)=161x and see that they intersect at x=470.5714.
  2. We begin solving 2000=100030.1t by dividing both sides by 1000 to isolate the exponential which yields 30.1t=2. Since it is inconvenient to write 2 as a power of 3, we use the natural log to get ln(30.1t)=ln(2). Using the Power Rule, we get 0.1tln(3)=ln(2), so we divide both sides by 0.1ln(3) to get t=ln(2)0.1ln(3)=10ln(2)ln(3). On the calculator, we graph f(x)=2000 and g(x)=100030.1x and find that they intersect at x=10ln(2)ln(3)6.3093.
  1. \item We first note that we can rewrite the equation 93x=72x as 323x=72x to obtain 3x+2=72x. Since it is not convenient to express both sides as a power of 3 (or 7 for that matter) we use the natural log: ln(3x+2)=ln(72x). The power rule gives (x+2)ln(3)=2xln(7). Even though this equation appears very complicated, keep in mind that ln(3) and ln(7) are just constants. The equation (x+2)ln(3)=2xln(7) is actually a linear equation and as such we gather all of the terms with x on one side, and the constants on the other. We then divide both sides by the coefficient of x, which we obtain by factoring.

(x+2)ln(3)=2xln(7)xln(3)+2ln(3)=2xln(7)2ln(3)=2xln(7)xln(3)2ln(3)=x(2ln(7)ln(3))Factor.x=2ln(3)2ln(7)ln(3)

Graphing f(x)=93x and g(x)=72x on the calculator, we see that these two graphs intersect at x=2ln(3)2ln(7)ln(3)0.7866.

\item Our objective in solving 75=1001+3e2t is to first isolate the exponential. To that end, we clear denominators and get 75(1+3e2t)=100. From this we get 75+225e2t=100, which leads to 225e2t=25, and finally, e2t=19. Taking the natural log of both sides gives ln(e2t)=ln(19). Since natural log is log base e, ln(e2t)=2t. We can also use the Power Rule to write ln(19)=ln(9). Putting these two steps together, we simplify ln(e2t)=ln(19) to 2t=ln(9). We arrive at our solution, t=ln(9)2 which simplifies to t=ln(3). (Can you explain why?) The calculator confirms the graphs of f(x)=75 and g(x)=1001+3e2x intersect at x=ln(3)1.099.

  1. We start solving 25x=5x+6 by rewriting 25=52 so that we have (52)x=5x+6, or 52x=5x+6. Even though we have a common base, having two terms on the right hand side of the equation foils our plan of equating exponents or taking logs. If we stare at this long enough, we notice that we have three terms with the exponent on one term exactly twice that of another. To our surprise and delight, we have a `quadratic in disguise'. Letting u=5x, we have u2=(5x)2=52x so the equation 52x=5x+6 becomes u2=u+6. Solving this as u2u6=0 gives u=2 or u=3. Since u=5x, we have 5x=2 or 5x=3. Since 5x=2 has no real solution, (Why not?) we focus on 5x=3. Since it isn't convenient to express 3 as a power of 5, we take natural logs and get ln(5x)=ln(3) so that xln(5)=ln(3) or x=ln(3)ln(5). On the calculator, we see the graphs of f(x)=25x and g(x)=5x+6 intersect at x=ln(3)ln(5)0.6826.
  2. At first, it's unclear how to proceed with exex2=5, besides clearing the denominator to obtain exex=10. Of course, if we rewrite ex=1ex, we see we have another denominator lurking in the problem: ex1ex=10. Clearing this denominator gives us e2x1=10ex, and once again, we have an equation with three terms where the exponent on one term is exactly twice that of another - a `quadratic in disguise.' If we let u=ex, then u2=e2x so the equation e2x1=10ex can be viewed as u21=10u. Solving u210u1=0, we obtain by the quadratic formula u=5±26. From this, we have ex=5±26. Since 526<0, we get no real solution to ex=526, but for ex=5+26, we take natural logs to obtain x=ln(5+26). If we graph f(x)=exex2 and g(x)=5, we see that the graphs intersect at x=ln(5+26)2.312.

The authors would be remiss not to mention that Example ??? still holds great educational value. Much can be learned about logarithms and exponentials by verifying the solutions obtained in Example ??? analytically. For example, to verify our solution to 2000=100030.1t, we substitute t=10ln(2)ln(3) and obtain

2000?=100030.1(10ln(2)ln(3))2000?=10003ln(2)ln(3)2000?=10003log3(2)Change of Base2000?=10002Inverse Property2000=2000

The other solutions can be verified by using a combination of log and inverse properties. Some fall out quite quickly, while others are more involved. We leave them to the reader.

Since exponential functions are continuous on their domains, the Intermediate Value Theorem ??? applies. As with the algebraic functions in Section ???, this allows us to solve inequalities using sign diagrams as demonstrated below.

Example 6.1.2

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

  1. 2x23x160
  2. exex43
  3. xe2x<4x

Solution

  1. \item Since we already have 0 on one side of the inequality, we set r(x)=2x23x16. The domain of r is all real numbers, so in order to construct our sign diagram, we seed to find the zeros of r. Setting r(x)=0 gives 2x23x16=0 or 2x23x=16. Since 16=24 we have 2x23x=24, so by the one-to-one property of exponential functions, x23x=4. Solving x23x4=0 gives x=4 and x=1. From the sign diagram, we see r(x)0 on (,1][4,), which corresponds to where the graph of y=r(x)=2x23x16, is on or above the x-axis.
  2. \item The first step we need to take to solve exex43 is to get 0 on one side of the inequality. To that end, we subtract 3 from both sides and get a common denominator

We set r(x)=122exex4 and we note that r is undefined when its denominator ex4=0, or when ex=4. Solving this gives x=ln(4), so the domain of r is (,ln(4))(ln(4),). To find the zeros of r, we solve r(x)=0 and obtain 122ex=0. Solving for ex, we find ex=6, or x=ln(6). When we build our sign diagram, finding test values may be a little tricky since we need to check values around ln(4) and ln(6). Recall that the function ln(x) is increasing\footnote{This is because the base of ln(x) is e>1. If the base b were in the interval 0<b<1, then logb(x) would decreasing.} which means ln(3)<ln(4)<ln(5)<ln(6)<ln(7). While the prospect of determining the sign of r(ln(3)) may be very unsettling, remember that eln(3)=3, so r(ln(3))=122eln(3)eln(3)4=122(3)34=6 We determine the signs of r(ln(5)) and r(ln(7)) similarly.\footnote{We could, of course, use the calculator, but what fun would that be?} From the sign diagram, we find our answer to be (,ln(4))[ln(6),). Using the calculator, we see the graph of f(x)=exex4 is below the graph of g(x)=3 on (,ln(4))(ln(6),), and they intersect at x=ln(6)1.792.

  1. \item As before, we start solving xe2x<4x by getting 0 on one side of the inequality, xe2x4x<0. We set r(x)=xe2x4x and since there are no denominators, even-indexed radicals, or logs, the domain of r is all real numbers. Setting r(x)=0 produces xe2x4x=0. We factor to get x(e2x4)=0 which gives x=0 or e2x4=0. To solve the latter, we isolate the exponential and take logs to get 2x=ln(4), or x=ln(4)2=ln(2). (Can you explain the last equality using properties of logs?) As in the previous example, we need to be careful about choosing test values. Since ln(1)=0, we choose ln(12), ln(32) and ln(3). Evaluating,\footnote{A calculator can be used at this point. As usual, we proceed without apologies, with the analytical method.} we get

r(ln(12))=ln(12)e2ln(12)4ln(12)=ln(12)eln(12)24ln(12)Power Rule=ln(12)eln(14)4ln(12)=14ln(12)4ln(12)=154ln(12)

Since 12<1, ln(12)<0 and we get r(ln(12)) is (+), so r(x)<0 on (0,ln(2)). The calculator confirms that the graph of f(x)=xe2x is below the graph of g(x)=4x on these intervals.\footnote{Note: ln(2)0.693.}

& y=f(x)=xe2x and \boldmath y=g(x)=4x \\

Example 6.1.3:

Recall from Example ??? that the temperature of coffee T (in degrees Fahrenheit) t minutes after it is served can be modeled by T(t)=70+90e0.1t. When will the coffee be warmer than 100F?

Solution

We need to find when T(t)>100, or in other words, we need to solve the inequality 70+90e0.1t>100. Getting 0 on one side of the inequality, we have 90e0.1t30>0, and we set r(t)=90e0.1t30. The domain of r is artificially restricted due to the context of the problem to [0,), so we proceed to find the zeros of r. Solving 90e0.1t30=0 results in e0.1t=13 so that t=10ln(13) which, after a quick application of the Power Rule leaves us with t=10ln(3). If we wish to avoid using the calculator to choose test values, we note that since 1<3, 0=ln(1)<ln(3) so that 10ln(3)>0. So we choose t=0 as a test value in [0,10ln(3)). Since 3<4, 10ln(3)<10ln(4), so the latter is our choice of a test value for the interval (10ln(3),). Our sign diagram is below, and next to it is our graph of t=T(t) from Example ??? with the horizontal line y=100.

In order to interpret what this means in the context of the real world, we need a reasonable approximation of the number 10ln(3)10.986. This means it takes approximately 11 minutes for the coffee to cool to 100F. Until then, the coffee is warmer than that.\footnote{Critics may point out that since we needed to use the calculator to interpret our answer anyway, why not use it earlier to simplify the computations? It is a fair question which we answer unfairly: it's our book.}

We close this section by finding the inverse of a function which is a composition of a rational function with an exponential function.

Example 6.1.4:

The function f(x)=5exex+1 is one-to-one. Find a formula for f1(x) and check your answer graphically using your calculator.

Solution

We start by writing y=f(x), and interchange the roles of x and y. To solve for y, we first clear denominators and then isolate the exponential function.

\boldsymbol{\begin{array}{rclr} y & = & \dfrac{5e^{x}}{e^{x}+1} & \\ x & = & \dfrac{5e^{y}}{e^{y}+1} & \mbox{Switch \(x\) and \(y$} \\ x \left(e^{y}+1\right) & = & 5e^{y} & \\ x e^{y}+x & = & 5e^{y} & \\ x & = & 5e^{y} - x e^{y} & \\ x & = & e^{y}(5 - x) & \\ e^{y}& = & \dfrac{x}{5-x} & \\ \ln\left(e^{y}\right) & = & \ln\left(\dfrac{x}{5-x}\right) & \\ y & = & \ln\left(\dfrac{x}{5-x}\right) & \\ \end{array}}

We claim f1(x)=ln(x5x). To verify this analytically, we would need to verify the compositions (f1f)(x)=x for all x in the domain of f and that (ff1)(x)=x for all x in the domain of f1. We leave this to the reader. To verify our solution graphically, we graph y=f(x)=5exex+1 and y=g(x)=ln(x5x) on the same set of axes and observe the symmetry about the line y=x. Note the domain of f is the range of g and vice-versa.


6.1: Introduction to Exponential and Logarithmic Functions is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by LibreTexts.

Support Center

How can we help?