Mathematics · Book 2 · Grades 10–12

High School Mathematics

High School Mathematics · Grades 10–12

23Exponential and Logarithm

The exponential function is the unique function equal to its own derivative and taking the value 11 at 00. It converts sums into products; its inverse, the natural logarithm, converts products into sums. Together they describe every phenomenon whose rate of change is proportional to its size: radioactive decay, population growth, compound interest.

23.1 The exponential function

Theorem 23.1 (Existence and uniqueness)

There exists a unique differentiable function f ⁣:RRf \colon \R \to \R such that

f=fandf(0)=1.f' = f \qquad\text{and}\qquad f(0) = 1 .

It is called the exponential function and written exp\exp, or xexx \mapsto \eu^x.

Proof of uniqueness. First, such a function never vanishes. Indeed, let g(x)=f(x)f(x)g(x) = f(x)f(-x); then

g(x)=f(x)f(x)f(x)f(x)=f(x)f(x)f(x)f(x)=0,g'(x) = f'(x)f(-x) - f(x)f'(-x) = f(x)f(-x) - f(x)f(-x) = 0,

so gg is constant equal to g(0)=1g(0) = 1: for every xx, f(x)f(x)=1f(x)f(-x) = 1, and in particular f(x)0f(x) \neq 0.

Now let f1,f2f_1, f_2 be two solutions and h=f1f2h = \dfrac{f_1}{f_2} (legitimate since f2f_2 never vanishes). Then

h=f1f2f1f2f22=f1f2f1f2f22=0,h' = \frac{f_1' f_2 - f_1 f_2'}{f_2^2} = \frac{f_1 f_2 - f_1 f_2}{f_2^2} = 0,

so hh is constant equal to h(0)=1h(0) = 1, i.e. f1=f2f_1 = f_2.

Existence is admitted at this level (it can be obtained via the sequence of Exercise 20.10, or as the inverse of the logarithm constructed by integration in Chapter 25).

Proposition 23.2 (Functional equation)

For all x,yRx, y \in \R and nZn \in \Z:

ex+y=exey,ex=1ex,exy=exey,(ex)n=enx.\eu^{x+y} = \eu^x\,\eu^y, \qquad \eu^{-x} = \frac{1}{\eu^x}, \qquad \eu^{x-y} = \frac{\eu^x}{\eu^y}, \qquad \bigl(\eu^{x}\bigr)^n = \eu^{nx}.

Moreover ex>0\eu^x > 0 for all xx.

Proof. Fix yy and consider φ(x)=exp(x+y)exp(x)exp(y)\varphi(x) = \dfrac{\exp(x+y)}{\exp(x)\exp(y)}. Its numerator and denominator, as functions of xx, are both solutions of f=ff' = f up to the constant exp(y)\exp(y); differentiating φ\varphi directly (quotient rule) gives φ=0\varphi' = 0, so φφ(0)=1\varphi \equiv \varphi(0) = 1, proving the first identity. Taking y=xy = -x gives the second (with the value e0=1\eu^0 = 1), and the third follows. The fourth is an induction from the first for n0n \geq 0, extended to n<0n < 0 by the second.

Positivity: ex=(ex/2)20\eu^x = \left(\eu^{x/2}\right)^2 \geq 0 and ex0\eu^x \neq 0 (shown in Theorem 23.1), so ex>0\eu^x > 0.

Proposition 23.3 (Variations and limits)

The exponential is strictly increasing, convex, and

limxex=0,limx+ex=+.\lim_{x\to-\infty} \eu^x = 0, \qquad \lim_{x\to+\infty} \eu^x = +\infty .

Proof. (exp)=exp>0(\exp)' = \exp > 0 gives strict increase; (exp)=exp>0(\exp)'' = \exp > 0 gives convexity. By convexity, ex1+x\eu^x \geq 1 + x (tangent at 00, see Example 22.15), so ex+\eu^x \to +\infty as x+x \to +\infty by comparison. Then ex=1/ex0\eu^{x} = 1/\eu^{-x} \to 0 as xx \to -\infty.

The exponential: strictly increasing, convex, with _-∈fty x = 0. It lies above its tangent at 0: x ≥ 1 + x.
The exponential: strictly increasing, convex, with limex=0\lim_{-\infty} \eu^x = 0. It lies above its tangent at 00: ex1+x\eu^x \geq 1 + x.

Theorem 23.4 (Growth comparison)

For every integer n1n \geq 1,

limx+exxn=+,limxxnex=0.\lim_{x\to+\infty} \frac{\eu^x}{x^n} = +\infty, \qquad \lim_{x\to-\infty} x^n \eu^x = 0 .

In words: the exponential beats every power of xx.

Proof. For n=1n = 1: applying et1+tt\eu^t \geq 1 + t \geq t at t=x/2t = x/2,

exx=(ex/2)2x(x/2)2x=x4x++.\frac{\eu^x}{x} = \frac{\left(\eu^{x/2}\right)^2}{x} \geq \frac{(x/2)^2}{x} = \frac{x}{4} \xrightarrow[x\to+\infty]{} +\infty .

For general nn, write

exxn=1nn(ex/nx/n)nx++\frac{\eu^x}{x^n} = \frac{1}{n^n}\left(\frac{\eu^{x/n}}{x/n}\right)^{n} \xrightarrow[x\to+\infty]{} +\infty

by the case n=1n=1 and composition. The limit at -\infty follows by the substitution xxx \mapsto -x: xnex=xnex0\abs{x^n \eu^x} = \frac{\abs{x}^n}{\eu^{\abs x}} \to 0.

The exponential (blue) eventually beats every power: it overtakes x2 (red) early on and x3 (orange) at x 4.54.
The exponential (blue) eventually beats every power: it overtakes x2x^2 (red) early on and x3x^3 (orange) at x4.54x \approx 4.54.

23.2 The natural logarithm

Definition 23.5 (Natural logarithm)

The exponential is continuous and strictly increasing from R\R onto (0,+)\intoo{0}{+\infty}; by the bijection theorem (Theorem 21.15), for every y>0y > 0 the equation ex=y\eu^x = y has a unique solution. This solution is the natural logarithm of yy, written lny\ln y. Thus

for xR, y>0:y=ex    x=lny.\text{for } x \in \R,\ y > 0: \qquad y = \eu^x \iff x = \ln y .

In particular ln1=0\ln 1 = 0, lne=1\ln \eu = 1, and elny=y\eu^{\ln y} = y, ln(ex)=x\ln(\eu^x) = x.

The curves of  and  are mirror images of each other in the line y = x: the point (x, x) reflects to ( x, x).
The curves of exp\exp and ln\ln are mirror images of each other in the line y=xy = x: the point (x,ex)(x, \eu^x) reflects to (ex,x)(\eu^x, x).

Proposition 23.6 (Algebraic properties)

For all a,b>0a, b > 0 and nZn \in \Z:

ln(ab)=lna+lnb,ln1a=lna,lnab=lnalnb,ln(an)=nlna,lna=12lna.\ln(ab) = \ln a + \ln b, \quad \ln\frac{1}{a} = -\ln a, \quad \ln\frac{a}{b} = \ln a - \ln b, \quad \ln(a^n) = n \ln a, \quad \ln\sqrt{a} = \tfrac12 \ln a .

Proof. elna+lnb=elnaelnb=ab\eu^{\ln a + \ln b} = \eu^{\ln a}\eu^{\ln b} = ab, and taking ln\ln of both sides gives the first identity. The others follow by the same mechanism from the corresponding identities of Proposition 23.2.

Proposition 23.7 (Analytic properties)

The function ln\ln is differentiable on (0,+)\intoo{0}{+\infty} with

(lnx)=1x,(\ln x)' = \frac{1}{x},

strictly increasing, concave, and limx0+lnx=\lim\limits_{x\to0^+} \ln x = -\infty, limx+lnx=+\lim\limits_{x\to+\infty} \ln x = +\infty. Moreover, for every integer n1n \geq 1,

limx+lnxx1/n=0,limx0+xlnx=0.\lim_{x\to+\infty} \frac{\ln x}{x^{1/n}} = 0, \qquad \lim_{x\to0^+} x \ln x = 0 .

Proof. Differentiability of the inverse function is admitted at this level; granting it, differentiate the identity elnx=x\eu^{\ln x} = x by the chain rule: (lnx)elnx=1(\ln x)'\,\eu^{\ln x} = 1, so (lnx)=1x>0(\ln x)' = \frac{1}{x} > 0, whence strict increase, and (lnx)=1x2<0(\ln x)'' = -\frac1{x^2} < 0, whence concavity. The limits at 0+0^+ and ++\infty mirror those of exp\exp through the bijection. For the growth comparison, substitute x=etx = \eu^{t}: lnxx=tet0\frac{\ln x}{x} = \frac{t}{\eu^t} \to 0 as t+t \to +\infty by Theorem 23.4, and similarly for the other limits with x=etx = \eu^{-t}, giving xlnx=tet0x\ln x = -t\eu^{-t} \to 0.

Method 23.8 (Solving equations with exp\exp and ln\ln)

Both functions are strictly increasing, so they can be applied to (or removed from) both sides of an equation or inequality without changing its direction:

eu=ev    u=v,euev    uv,\eu^{u} = \eu^{v} \iff u = v, \qquad \eu^{u} \leq \eu^{v} \iff u \leq v,

and likewise for ln\ln on positive quantities. Always check domains first (ln\ln requires positive arguments). For equations like ax=ba^x = b with a>0a>0, a1a \neq 1, rewrite ax=exlnaa^x = \eu^{x\ln a} and solve x=lnblnax = \frac{\ln b}{\ln a}.

Example 23.9

A radioactive sample decays following N(t)=N0eλtN(t) = N_0\,\eu^{-\lambda t}. Its half-life TT satisfies N(T)=N0/2N(T) = N_0/2, i.e. eλT=12\eu^{-\lambda T} = \frac12, so T=ln2λT = \frac{\ln 2}{\lambda}: the half-life does not depend on the initial quantity.

23.3 Exercises

Exercise 23.1

Simplify e3xex+1ex\dfrac{\eu^{3x}\,\eu^{-x+1}}{\eu^{x}} and ln ⁣(e2ee3)\ln\!\left(\dfrac{\eu^2\sqrt{\eu}}{\eu^{-3}}\right).

Solution

Solution of Exercise 23.1.

e3xex+1ex=e3xx+1x=ex+1\dfrac{\eu^{3x}\,\eu^{-x+1}}{\eu^{x}} = \eu^{3x - x + 1 - x} = \eu^{x+1}.

ln ⁣(e2ee3)=2+12+3=112\ln\!\left(\dfrac{\eu^2\sqrt{\eu}}{\eu^{-3}}\right) = 2 + \tfrac12 + 3 = \tfrac{11}{2}.

Exercise 23.2

Solve in R\R:

(a) e2x3ex+2=0;(b) ln(x1)+ln(x+2)=ln4.\text{(a) } \eu^{2x} - 3\eu^{x} + 2 = 0; \qquad \text{(b) } \ln(x - 1) + \ln(x + 2) = \ln 4 .
Solution

Solution of Exercise 23.2.

(a) Set X=ex>0X = \eu^x > 0: X23X+2=0X^2 - 3X + 2 = 0 gives X=1X = 1 or X=2X = 2, both positive, so x=0x = 0 or x=ln2x = \ln 2.

(b) Domain: x1>0x - 1 > 0 and x+2>0x + 2 > 0, so x>1x > 1. The equation becomes ln((x1)(x+2))=ln4\ln\bigl((x-1)(x+2)\bigr) = \ln 4, hence (x1)(x+2)=4(x-1)(x+2) = 4, i.e. x2+x6=0x^2 + x - 6 = 0, so x=2x = 2 or x=3x = -3. Only x=2x = 2 is in the domain: S={2}S = \{2\}.

Exercise 23.3

Compute the limits:

limx+exx2ex+1,limx+lnxx,limx0+x2lnx,limx+(xlnx).\lim_{x\to+\infty} \frac{\eu^x - x^2}{\eu^x + 1}, \qquad \lim_{x\to+\infty} \frac{\ln x}{\sqrt x}, \qquad \lim_{x\to0^+} x^2 \ln x, \qquad \lim_{x\to+\infty} \bigl(x - \ln x\bigr).
Solution

Solution of Exercise 23.3.

Divide by ex\eu^x: 1x2ex1+ex101+0=1\dfrac{1 - x^2\eu^{-x}}{1 + \eu^{-x}} \to \dfrac{1-0}{1+0} = 1, using x2ex0x^2 \eu^{-x} \to 0 (Theorem 23.4).

lnxx0\dfrac{\ln x}{\sqrt x} \to 0 by Proposition 23.7 (case n=2n = 2).

x2lnx=x(xlnx)0×0=0x^2 \ln x = x \cdot (x \ln x) \to 0 \times 0 = 0.

xlnx=x(1lnxx)+x - \ln x = x\left(1 - \frac{\ln x}{x}\right) \to +\infty since lnxx0\frac{\ln x}{x} \to 0.

Exercise 23.4 ★★

Study the function f(x)=xexf(x) = x\,\eu^{-x} on R\R: variations, limits, extremum; show that its curve has an inflection point and give its coordinates.

Solution

Solution of Exercise 23.4.

f(x)=exxex=(1x)exf'(x) = \eu^{-x} - x\eu^{-x} = (1 - x)\eu^{-x}, of the sign of 1x1 - x: ff increases on (,1]\intoc{-\infty}{1}, decreases on [1,+)\intco{1}{+\infty}, with a global maximum f(1)=e1f(1) = \eu^{-1}.

Limits: as x+x \to +\infty, f(x)=xex0f(x) = \frac{x}{\eu^x} \to 0 (Theorem 23.4); as xx \to -\infty, xx \to -\infty and ex+\eu^{-x} \to +\infty, so f(x)f(x) \to -\infty.

f(x)=ex(1x)ex=(x2)exf''(x) = -\eu^{-x} - (1-x)\eu^{-x} = (x - 2)\eu^{-x}, which changes sign at x=2x = 2: inflection point at (2,2e2)\bigl(2,\, 2\eu^{-2}\bigr).

Exercise 23.5 ★★

Show that for all x>1x > -1, ln(1+x)x\ln(1 + x) \leq x, with equality only at x=0x = 0. Deduce that for all n1n \geq 1,

(1+1n)ne(11n+1)(n+1).\left(1 + \frac{1}{n}\right)^n \leq \eu \leq \left(1 - \frac{1}{n+1}\right)^{-(n+1)} .
Solution

Solution of Exercise 23.5.

Let g(x)=xln(1+x)g(x) = x - \ln(1+x) on (1,+)\intoo{-1}{+\infty}. Then g(x)=111+x=x1+xg'(x) = 1 - \frac{1}{1+x} = \frac{x}{1+x}, negative on (1,0)\intoo{-1}{0} and positive on (0,+)\intoo{0}{+\infty}: gg attains its minimum g(0)=0g(0) = 0, so g0g \geq 0 with equality only at 00. Hence ln(1+x)x\ln(1+x) \leq x.

Apply this with x=1nx = \frac1n: nln(1+1n)1n\ln\left(1 + \frac1n\right) \leq 1, so (1+1n)n=enln(1+1/n)e\left(1+\frac1n\right)^n = \eu^{\,n\ln(1+1/n)} \leq \eu. Apply it with x=1n+1>1x = -\frac{1}{n+1} > -1: ln(11n+1)1n+1\ln\left(1 - \frac{1}{n+1}\right) \leq -\frac{1}{n+1}, so (n+1)ln(11n+1)1-(n+1)\ln\left(1 - \frac{1}{n+1}\right) \geq 1 and (11n+1)(n+1)e\left(1 - \frac{1}{n+1}\right)^{-(n+1)} \geq \eu.

Exercise 23.6 ★★

A capital C0C_0 is invested at an annual rate of 3%3\%, interest compounded each year.

  1. Express the capital CnC_n after nn years.
  2. After how many years does the capital double? Give the exact answer using ln\ln, then a numerical value.
  3. Compare with the approximation7070 divided by the rate in percent” used by bankers.
Solution

Solution of Exercise 23.6.

1. Each year multiplies the capital by 1.031.03: Cn=C0(1.03)nC_n = C_0 (1.03)^n.

2. Cn2C0    (1.03)n2    nln1.03ln2    nln2ln1.0323.45C_n \geq 2C_0 \iff (1.03)^n \geq 2 \iff n \ln 1.03 \geq \ln 2 \iff n \geq \frac{\ln 2}{\ln 1.03} \approx 23.45: the capital doubles after 2424 years.

3. 70323.3\frac{70}{3} \approx 23.3, close to the exact ln2ln1.03\frac{\ln 2}{\ln 1.03}. The rule works because ln(1+r)r\ln(1 + r) \approx r for small rr, so ln2ln(1+r)0.693r70100r\frac{\ln 2}{\ln(1+r)} \approx \frac{0.693}{r} \approx \frac{70}{100r}.

Exercise 23.7 ★★

Solve the inequality e2xex+1>0\eu^{2x} - \eu^{x+1} > 0, then the inequality ln(x21)ln(x+5)\ln(x^2 - 1) \leq \ln(x + 5).

Solution

Solution of Exercise 23.7.

e2x>ex+1    2x>x+1    x>1\eu^{2x} > \eu^{x+1} \iff 2x > x + 1 \iff x > 1 (the exponential is strictly increasing): S=(1,+)S = \intoo{1}{+\infty}.

Domain of the second inequality: x21>0x^2 - 1 > 0 and x+5>0x + 5 > 0, i.e. x(5,1)(1,+)x \in \intoo{-5}{-1} \cup \intoo{1}{+\infty}. On this domain, ln\ln being strictly increasing,

ln(x21)ln(x+5)    x21x+5    x2x60    x[2,3].\ln(x^2-1) \leq \ln(x+5) \iff x^2 - 1 \leq x + 5 \iff x^2 - x - 6 \leq 0 \iff x \in \intcc{-2}{3}.

Intersecting with the domain: S=[2,1)(1,3]S = \intco{-2}{-1} \cup \intoc{1}{3}.

Exercise 23.8 ★★★

Let f(x)=exxf(x) = \dfrac{\eu^x}{x} for x>0x > 0.

  1. Study the variations of ff on (0,+)\intoo{0}{+\infty} and give its minimum.
  2. For which values of kk does the equation ex=kx\eu^x = kx have 00, 11 or 22 solutions in (0,+)\intoo{0}{+\infty}?
Solution

Solution of Exercise 23.8.

1. f(x)=exxexx2=(x1)exx2f'(x) = \dfrac{\eu^x x - \eu^x}{x^2} = \dfrac{(x-1)\eu^x}{x^2}, negative on (0,1)\intoo{0}{1}, positive on (1,+)\intoo{1}{+\infty}: minimum f(1)=ef(1) = \eu. Limits: f+f \to +\infty at 0+0^+ (numerator 1\to 1, denominator 0+\to 0^+) and at ++\infty (Theorem 23.4).

2. For x>0x > 0, ex=kx    f(x)=k\eu^x = kx \iff f(x) = k. From the variation table (+e++\infty \searrow \eu \nearrow +\infty, continuous and strictly monotonic on each side): no solution for k<ek < \eu; exactly one (x=1x = 1) for k=ek = \eu; exactly two for k>ek > \eu (one in (0,1)\intoo{0}{1}, one in (1,+)\intoo{1}{+\infty}, by the bijection theorem on each interval).

Exercise 23.9 ★★★

For n1n \geq 1, let un=(1+1n)nu_n = \left(1 + \frac1n\right)^n.

  1. Using Exercise 23.5, show that (un)(u_n) is bounded above by e\eu.
  2. Show that lnun=nln(1+1n)1\ln u_n = n \ln\left(1 + \frac1n\right) \to 1, and deduce that uneu_n \to \eu. (Hint: recognize a difference quotient of ln\ln at 11.)
Solution

Solution of Exercise 23.9.

1. Direct from the first inequality of Exercise 23.5: un=enln(1+1/n)e1=eu_n = \eu^{\,n\ln(1+1/n)} \leq \eu^1 = \eu.

2. Write

lnun=nln ⁣(1+1n)=ln ⁣(1+1n)ln11n,\ln u_n = n \ln\!\left(1 + \frac1n\right) = \frac{\ln\!\left(1 + \frac1n\right) - \ln 1}{\frac1n},

a difference quotient of ln\ln at the point 11 with increment h=1n0h = \frac1n \to 0. Since ln\ln is differentiable at 11 with derivative 11, lnun1\ln u_n \to 1. By continuity of exp\exp (Proposition 21.12), un=elnune1=eu_n = \eu^{\ln u_n} \to \eu^1 = \eu.

23.4 Problem: The logarithm tames the world

Problem 23.1

Weekend problem — doubling times and the rule of 72, the scales of earthquakes, acids and pianos, and the constant e\eu leaving fingerprints everywhere

Whatever grows by a fixed percentage grows exponentially — savings, bacteria, epidemics — and whatever spans too many powers of ten to grasp — earthquake energies, acidities, sound intensities — is tamed by a logarithm. This problem computes doubling times and unmasks the bankers’ rule of 72, reads the world’s logarithmic scales, and collects the fingerprints that the number e\eu leaves at every crime scene (Proposition 23.2, Theorem 23.4, Method 23.8).

Part I — Fluency.

  1. Solve: e2x=5\eu^{2x} = 5; ln(3x1)=2\ln(3x - 1) = 2; e2x3ex+2=0\eu^{2x} - 3\eu^x + 2 = 0 (a quadratic in disguise).
  2. Simplify: ln8ln2\dfrac{\ln 8}{\ln 2}; ln ⁣(e3e)\ln\!\left(\eu^3 \sqrt{\eu}\right); eln5ln2\eu^{\ln 5 - \ln 2}.
  3. Prove the mother inequality: ex1+x\eu^x \geq 1 + x for all real xx (study f(x)=ex1xf(x) = \eu^x - 1 - x), and deduce ln(1+u)u\ln(1 + u) \leq u for u>1u > -1.
  4. Compute limx+x2ex\lim_{x \to +\infty} x^2 \eu^{-x}, limx+lnxx\lim_{x \to +\infty} \frac{\ln x}{x} (Theorem 23.4), and limx0ex1x\lim_{x \to 0} \frac{\eu^x - 1}{x} (recognize a derivative).
  5. Study f(x)=xlnxf(x) = x \ln x on (0,+)\intoo{0}{+\infty}: variations, minimum, and the limit at 0+0^+ (admitted: xlnx0x \ln x \to 0). This little function measures information and entropy across the university volumes.

Part II — Doubling times and the rule of 72.

  1. Savings grow at 3%3\,\% per year. Solve 1.03n=21.03^n = 2: how long to double the capital?
  2. Bankers estimate doubling time as 72rate in %\frac{72}{\text{rate in }\%}. Test the rule at 3%3\,\%, 6%6\,\% and 9%9\,\% against the exact ln2ln(1+r)\frac{\ln 2}{\ln(1 + r)}, then explain it: for small rr, ln(1+r)r\ln(1 + r) \approx r (question 3’s inequality is half of the story), so the exact constant is 100ln269.3100 \ln 2 \approx 69.3 — why do bankers prefer 7272?
  3. A bacterium divides every 2020 minutes: p(t)=2t/20p(t) = 2^{t/20} (tt in minutes). Rewrite it as eλt\eu^{\lambda t}, then compute pp after 2424 hours. The answer (more than 102110^{21}) proves what about the model — and what stops real colonies?
  4. Caffeine leaves the body with a half-life of about 55 hours. After a 100100 mg coffee at 15:00, how much remains at 23:00? At what time does it drop below 1010 mg? (Insomnia has a logarithm.)
  5. One euro at 100%100\,\% annual interest: compute the year-end capital under yearly, monthly and daily compounding, and give the ceiling that Exercise 23.9 proved unbreakable. Which famous constant is the limit of pure greed?
  6. Why do scientists plot ln(cases)\ln(\text{cases}) against time during an epidemic’s early phase? What does a straight line on that plot reveal, and what does its slope measure?

Part III — The world’s logarithmic scales. (Write log10x=lnxln10\log_{10} x = \frac{\ln x}{\ln 10}.)

  1. Sound level in decibels: L=10log10(I/I0)L = 10 \log_{10}(I/I_0). A conversation measures 6060 dB, a rock concert 120120 dB: by what factor do the sound intensities differ?
  2. Earthquake magnitudes rise by 11 when the seismic amplitude is multiplied by 1010, and the released energy scales like amplitude3/2^{3/2}. Compare magnitude-55 and magnitude-77 quakes: amplitude ratio, then energy ratio.
  3. Chemistry: pH=log10[H+]\text{pH} = -\log_{10}[\mathrm{H^+}]. Lemon juice has pH 22, milk pH 6.56.5: what is the ratio of their acid concentrations?
  4. Music: each octave doubles the frequency. From the piano’s lowest A (27.527.5 Hz) to its highest C (41864\,186 Hz), how many octaves does the keyboard span? And why do our senses — hearing, sight, quake-feeling — prefer logarithmic scales? (One sentence.)
  5. The slide rule, the engineers’ calculator for 350350 years: two sticks graduated so that the length to the mark xx is proportional to lnx\ln x. Explain how sliding one stick along the other multiplies numbers, and name the identity of Proposition 23.6 doing the work.

Part IV — e\eu’s fingerprints.

  1. From Exercise 23.8: the equation ex=kx\eu^x = kx (x>0x > 0) has 00, 11 or 22 solutions according to the position of kk relative to a threshold. Restate the result — and verify the geometric fact behind it: the line y=exy = \eu x is exactly the tangent to the exponential through the origin.
  2. The near-miss constant: with nn lottery tickets of winning probability 1n\frac1n each, P(no win)=(11n)n\P(\text{no win}) = \left(1 - \frac1n\right)^n. Compute its limit via nln ⁣(11n)n \ln\!\left(1 - \frac1n\right) (use the standard limit ln(1+u)u1\frac{\ln(1 + u)}{u} \to 1), and reconcile with the mysterious 0.3680.368 of Problem 19.1.
  3. The 37%37\,\% rule: to choose the best of nn candidates interviewed in random order (no going back), the optimal strategy rejects the first ne37%\frac{n}{\eu} \approx 37\,\% and then takes the first candidate better than all so far — succeeding with probability about 1e\frac1\eu. Where do the two 1e\frac1\eu’s of questions 18 and 19 come from — state the common mechanism (many independent small-chance events), and compute 1e\frac1\eu to three decimals.
  4. Finale — e\eu’s portrait: the ceiling of compounding (question 10); the base whose tangent at 00 has slope exactly 11 (questions 3 and 4); the growth no polynomial catches (question 4); the constant of near-misses and of optimal stopping (questions 18–19); and its inverse ln\ln, which turns products into sums (question 16) and decades into inches (Part III). One sentence each.
Solution

Solution of Problem 23.1.

1. x=ln52x = \frac{\ln 5}{2}. 3x1=e23x - 1 = \eu^2: x=e2+13x = \frac{\eu^2 + 1}{3}. With u=exu = \eu^x: u23u+2=(u1)(u2)=0u^2 - 3u + 2 = (u - 1)(u - 2) = 0: x=0x = 0 or x=ln2x = \ln 2.

2. 3ln2ln2=3\frac{3\ln 2}{\ln 2} = 3; 3+12=723 + \frac12 = \frac72; 52\frac52.

3. f(x)=ex1f'(x) = \eu^x - 1: negative before 00, positive after: minimum f(0)=0f(0) = 0, so f0f \geq 0 everywhere: ex1+x\eu^x \geq 1 + x. Substituting x=ln(1+u)x = \ln(1 + u): 1+u1+ln(1+u)1 + u \geq 1 + \ln(1 + u), i.e. ln(1+u)u\ln(1 + u) \leq u.

4. x2ex=x2ex0x^2\eu^{-x} = \frac{x^2}{\eu^x} \to 0 and lnxx0\frac{\ln x}{x} \to 0: exponentials crush powers, powers crush logarithms. And ex1x=exe0x0exp(0)=1\frac{\eu^x - 1}{x} = \frac{\eu^x - \eu^0}{x - 0} \to \exp'(0) = 1.

5. f(x)=lnx+1f'(x) = \ln x + 1: zero at e1\eu^{-1}, negative before, positive after: minimum f ⁣(1e)=1ef\!\left(\frac1\eu\right) = -\frac1\eu; and xlnx0x \ln x \to 0 at 0+0^+: the curve leaves the origin, dips to 1e-\frac1\eu, and climbs away.

6. n=ln2ln1.0323.4n = \frac{\ln 2}{\ln 1.03} \approx 23.4 years.

7. Exact: 23.423.4, 11.911.9, 8.08.0 years; rule of 72: 2424, 1212, 88. Since ln(1+r)r\ln(1+r) \approx r, ln2ln(1+r)0.693r\frac{\ln 2}{\ln(1+r)} \approx \frac{0.693}{r}, i.e. 69.3rate in %\frac{69.3}{\text{rate in }\%}; bankers round up to 7272 because it divides beautifully by 2,3,4,6,8,9,122, 3, 4, 6, 8, 9, 12 — mental arithmetic beats a decimal of accuracy.

8. 2t/20=etln2/202^{t/20} = \eu^{t \ln 2 / 20}: λ=ln220\lambda = \frac{\ln 2}{20} per minute. After 24×60=144024 \times 60 = 1440 minutes: 2724.7×10212^{72} \approx 4.7 \times 10^{21} bacteria — more than the grains of sand on Earth, from one cell in one day. The model is honest only while food and space last: real growth bends into the logistic S-curve (the epidemiologist’s curve of Problem 22.1).

9. At 23:00 (88 hours): 100×28/533100 \times 2^{-8/5} \approx 33 mg. Below 1010 mg: 2t/5<0.12^{-t/5} < 0.1 gives t>5ln10ln216.6t > 5\,\frac{\ln 10}{\ln 2} \approx 16.6 h: around 7:40 the next morning — the espresso at three has a long tail.

10. Yearly: 22. Monthly: (1+112)122.613\left(1 + \frac{1}{12}\right)^{12} \approx 2.613. Daily: 2.715\approx 2.715. The ceiling: e=2.71828\eu = 2.71828\ldots (Exercise 23.9) — compounding continuously, greed converges.

11. If cases grow exponentially, c(t)=c0eλtc(t) = c_0 \eu^{\lambda t}, then lnc(t)=lnc0+λt\ln c(t) = \ln c_0 + \lambda t: a straight line of slope λ\lambda — the growth rate. A straight stretch on the log plot is the exponential phase, and its steepness is the epidemic’s tempo.

12. 12060=60120 - 60 = 60 dB means 10log10(I2/I1)=6010\log_{10}(I_2/I_1) = 60: the concert is 10610^6 — a million times — more intense than the conversation.

13. Amplitude: 1075=10010^{7-5} = 100. Energy: 1003/2=1000100^{3/2} = 1000: two magnitude points hide three orders of magnitude in energy.

14. 106.52=104.53200010^{6.5 - 2} = 10^{4.5} \approx 32\,000: lemon juice is thirty thousand times more acidic than milk — pH compresses chemistry’s chasms into a pocket scale.

15. log2 ⁣418627.5=ln(4186/27.5)ln27.25\log_2\!\frac{4186}{27.5} = \frac{\ln(4186/27.5)}{\ln 2} \approx 7.25: a piano spans just over seven octaves. Senses respond to ratios of stimuli — doubling the intensity feels like one step, whatever the starting level — so perception is built on a logarithmic scale, and so are the units we invented for it.

16. Placing the stick for aa end-to-end with the stick position for bb adds the lengths lna+lnb\ln a + \ln b, and the graduation sitting at that total length reads elna+lnb=ab\eu^{\ln a + \ln b} = ab: the slide rule computes products by adding logarithmsln(ab)=lna+lnb\ln(ab) = \ln a + \ln b (Proposition 23.6) carved in boxwood.

17. The minimum of exx\frac{\eu^x}{x} on (0,+)\intoo{0}{+\infty} is e\eu, at x=1x = 1: no solution for k<ek < \eu, exactly one for k=ek = \eu, two for k>ek > \eu. Tangent check: at a=1a = 1 the tangent to ex\eu^x is y=e+e(x1)=exy = \eu + \eu(x - 1) = \eu x: it passes through the origin — the threshold line, grazing the curve at (1,e)(1, \eu).

18. nln ⁣(11n)=ln(11/n)1/n×(1)1n \ln\!\left(1 - \frac1n\right) = \frac{\ln(1 - 1/n)}{-1/n} \times (-1) \to -1, so (11n)ne10.368\left(1 - \frac1n\right)^n \to \eu^{-1} \approx 0.368: the 0.99910000.3680.999^{1000} \approx 0.368 of Problem 19.1, explained — the lottery’s near-miss constant is 1e\frac1\eu.

19. Both are the limit shape of “many independent events, each individually unlikely”: the chance that none of nn chances of size 1n\frac1n fires tends to e1\eu^{-1}, and the secretary rule tunes its rejection window so that success concentrates at that same constant. 1e0.368\frac1\eu \approx 0.368.

20. The ceiling of compounding; the unique base whose tangent at 00 has slope 11 (which is why calculus loves it); the growth that outruns every power; the constant where near-misses and optimal stopping settle; and the logarithm — multiplication become addition, the world’s wildest ranges folded onto a ruler.