Exponential Functions and Laws of Exponents

⚡ Key Takeaways

An exponential function has the form $f(x) = b^x$ where the variable sits in the exponent and the base $b > 0$ . The laws of exponents ( $b^m b^n = b^{m+n}$ , etc.) extend repeated multiplication consistently to negative, fractional, and real exponents. They apply everywhere quantities grow or decay by a constant factor per step — compound interest, radioactivity, population, pH. Codified across millennia, with modern notation crystallizing in the 17th century (Descartes, Newton).

💡 The Core Insight

Repeated multiplication, $b^n = \underbrace{b \cdot b \cdots b}_{n}$ , only makes literal sense for positive whole numbers $n$ . Everything else — $b^0$ , $b^{-3}$ , $b^{1/2}$ , $b^{\pi}$ — is defined so that the single identity $b^{m+n} = b^m b^n$ keeps holding. That one demand determines every other rule. Exponentiation is the operation that turns addition in the exponent into multiplication of values, which is why it converts arithmetic growth (steady steps) into geometric growth (steady factors).

DefinitionExponential Function

For a fixed real base $b$ with $b > 0$ and $b \neq 1$ , the exponential function with base $b$ is

1

\quad f(x) = b^x, \qquad x \in \mathbb{R}.

Derivation hint: extend $b^n$ (repeated multiplication) to all reals by continuity; the conditions $b>0$ , $b\neq 1$ ensure $b^x$ is real-valued and non-constant. Here $x$ is the exponent (or argument), $b^x$ is the value, and $b$ is the constant base. We require $b>0$ so that fractional powers like $b^{1/2} = \sqrt{b}$ stay real, and $b \neq 1$ so the function is not the constant $1$ .

DefinitionThe Laws of Exponents

For $b, c > 0$ and any real numbers $m, n$ :

2

\quad b^m \cdot b^n = b^{m+n}.

Derivation hint: for whole numbers, count factors — $m$ copies times $n$ copies gives $m+n$ copies; extend by definition to all reals.

3

\quad \frac{b^m}{b^n} = b^{m-n}.

Derivation hint: division undoes multiplication, so it subtracts counts of factors; set $b^{m-n}\cdot b^n = b^m$ via [2].

4

\quad (b^m)^n = b^{mn}.

Derivation hint: raising $b^m$ to the $n$ stacks $n$ groups of $m$ factors, giving $mn$ total.

5

\quad (bc)^n = b^n c^n.

Derivation hint: a product raised to a power distributes because multiplication is commutative — regroup all $b$ 's and all $c$ 's.

6

\quad b^0 = 1, \qquad b^{-n} = \frac{1}{b^n}, \qquad b^{m/n} = \sqrt[n]{b^m}.

Derivation hint: each is the unique value making [2]–[4] hold — e.g. $b^0$ must satisfy $b^0 b^n = b^n$ , forcing $b^0=1$ .

TheoremExistence and Uniqueness of the Continuous Extension

There is exactly one continuous function $f:\mathbb{R}\to(0,\infty)$ satisfying $f(1)=b$ and $f(x+y)=f(x)f(y)$ for all real $x,y$ . This function is $f(x)=b^x$ .

ProofWhy the rules are forced

We show the definitions in [6] are not choices but consequences of insisting [2] always holds.

Step 1 — Whole numbers. Define $b^n = b\cdot b \cdots b$ ( $n$ factors) for $n \ge 1$ . Counting factors gives [2] directly: $b^m b^n$ has $m+n$ factors.

Step 2 — Zero exponent. We want [2] to hold even when one exponent is $0$ :

b^0 \cdot b^n = b^{0+n} = b^n.

Dividing both sides by $b^n$ (nonzero since $b>0$ ) forces $b^0 = 1$ .

Step 3 — Negative exponents. Apply [2] with $m=-n$ :

b^{-n}\cdot b^{n} = b^{-n+n}=b^0 = 1 \;\Longrightarrow\; b^{-n} = \frac{1}{b^n}.

Step 4 — Fractional exponents. Apply [4] with the rational $1/n$ raised to the $n$ :

\left(b^{1/n}\right)^n = b^{(1/n)\cdot n} = b^1 = b,

so $b^{1/n}$ is the (positive) $n$ -th root of $b$ , and $b^{m/n} = (b^{1/n})^m = \sqrt[n]{b^m}$ .

Step 5 — Irrational exponents. Every irrational $x$ is a limit of rationals $q_k \to x$ . Define $b^x = \lim_{k\to\infty} b^{q_k}$ . Continuity guarantees this limit exists, is independent of the sequence chosen, and preserves [2]–[5]. $\blacksquare$

∎

mathematician · Leonhard Euler | 1707–1783

Euler systematized exponential and logarithmic functions in his Introductio in analysin infinitorum (1748). He popularized the symbol $e$ for the natural base, established the series $e^x = \sum_{n=0}^\infty x^n/n!$ , and forged the link between exponentials and trigonometry through Euler's formula $e^{i\theta} = \cos\theta + i\sin\theta$ . His treatment turned exponentiation from a computational trick into a central analytic function.

🧠 Intuition

Think of the exponent as counting doublings (or any fixed factor). With base $2$ : $2^3 = 8$ means "double three times starting from 1." The law $2^3 \cdot 2^4 = 2^7$ then just says "doubling 3 times, then 4 more times, is doubling 7 times total" — addition of exponents is the bookkeeping of how many factors you applied. Negative and fractional exponents extend this story smoothly. $2^{-1} = \tfrac12$ means "halve once" — undoing a doubling. $2^{1/2} = \sqrt2$ means "the factor that, applied twice, doubles" — a half-doubling. The continuous curve $2^x$ interpolates all these factor-steps without any jumps. The deepest intuition: exponential functions are the ones where equal additions to $x$ multiply $y$ by equal factors. Add $1$ to $x$ , multiply $y$ by $b$ . This is the signature of every "per period" process — interest compounding, cells dividing, isotopes decaying.

Figure

Exponential growth

y=2^x

versus decay

y=(1/2)^x

, sharing the value

1

at

x=0

.

ExampleCompound Interest

Given: $2000 invested at 6% annual interest, compounded monthly, for 5 years. Find the final balance. The model is $A = P\left(1 + \tfrac{r}{n}\right)^{nt}$ , an exponential function of $t$ .

Step 1 — Identify values. $P = 2000$ , $r = 0.06$ , $n = 12$ , $t = 5$ .

Step 2 — Base per period. $1 + \dfrac{0.06}{12} = 1 + 0.005 = 1.005.$

Step 3 — Exponent. $nt = 12 \times 5 = 60.$

Step 4 — Evaluate using law [4] implicitly ( $1.005^{60}$ ):

A = 2000 \times 1.005^{60} = 2000 \times 1.348850\ldots

Step 5 — Compute.

\boxed{A \approx \$2697.70}

The investment grew by about $697.70.

ExampleRadioactive Decay and Half-Life

Given: A 80 mg sample of a substance with half-life 12 years. How much remains after 30 years? The model is $m(t) = m_0 \left(\tfrac12\right)^{t/T}$ where $T$ is the half-life.

Step 1 — Identify values. $m_0 = 80$ mg, $T = 12$ yr, $t = 30$ yr.

Step 2 — Exponent. $\dfrac{t}{T} = \dfrac{30}{12} = 2.5.$

Step 3 — Apply law [6] to split $2.5 = 2 + 0.5$ :

\left(\tfrac12\right)^{2.5} = \left(\tfrac12\right)^{2}\left(\tfrac12\right)^{0.5} = \tfrac14 \cdot \tfrac{1}{\sqrt2} = \frac{1}{4\sqrt2} \approx 0.17678.

Step 4 — Multiply.

m(30) = 80 \times 0.17678 \approx 14.14\text{ mg}.

Answer:

\boxed{m(30) \approx 14.1\text{ mg}}

⚠️ Exponents do NOT distribute over addition

A pervasive error is writing $b^{m+n} = b^m + b^n$ or $(x+y)^2 = x^2 + y^2$ . The correct law [2] turns a sum in the exponent into a product of values, never a sum:

b^{m+n} = b^m \cdot b^n \neq b^m + b^n.

Likewise $\sqrt{a+b} \neq \sqrt a + \sqrt b$ . Powers distribute over multiplication ([5]), never over addition.

CounterexampleTesting the false rule

Suppose $(x+y)^2 = x^2 + y^2$ . Take $x = 3$ , $y = 4$ :

(3+4)^2 = 7^2 = 49, \qquad 3^2 + 4^2 = 9 + 16 = 25.

Since $49 \neq 25$ , the rule fails. The missing $24 = 2xy$ is the cross term. Similarly, $2^{1+2} = 8$ but $2^1 + 2^2 = 6$ — they differ.

⚠️ Negative bases break fractional exponents

The restriction $b > 0$ is essential. Consider $(-8)^{1/3}$ . While $\sqrt[3]{-8} = -2$ in real arithmetic, the rule [4] would also give $(-8)^{2/6} = \sqrt[6]{(-8)^2} = \sqrt[6]{64} = 2$ , a contradiction. To keep the laws consistent and the function continuous, exponential functions are defined only for positive bases.

connection

Exponential functions sit at a crossroads of mathematics:

They are the inverse of Logarithmic Functions: $b^x = y \iff \log_b y = x$ , so every exponent law mirrors a logarithm law (products become sums).
The slope of $b^x$ leads directly into Differential Calculus, where $\frac{d}{dx}e^x = e^x$ defines the unique self-derivative function.
They generalize Geometric Sequences: $b^n$ for integer $n$ is exactly a geometric sequence with ratio $b$ .
Through Euler's Formula, $e^{i\theta}$ ties exponentials to Trigonometric Functions and rotation in the complex plane.
They are the solution to the simplest Differential Equations, $y' = ky$ .

🔬 Where this appears

⏳ History

- c. 2000 BCE — Babylonian tablets list squares, cubes, and compound-interest tables, early exponential thinking.

- c. 300 BCE — Euclid's Elements treats geometric proportions, the integer-exponent backbone.

- 1484 — Nicolas Chuquet uses positive, zero, and negative integer exponents in Triparty.

- 1544 — Michael Stifel's Arithmetica Integra pairs arithmetic and geometric progressions, foreshadowing logarithms.

- 1614 — John Napier publishes logarithms, the functional inverse of exponentiation, revolutionizing computation.

- 1637 — René Descartes introduces the modern superscript notation

x^3

in La Géométrie.

- 1676 — Isaac Newton extends exponents to fractional and negative values in correspondence on the binomial series.

- 1748 — Leonhard Euler unifies the theory in Introductio, fixing the constant

e

and the series for

e^x

.

- 1873 — Charles Hermite proves

e

is transcendental, settling the deep nature of the natural base.

open-problem

Once exponents move beyond positive reals, subtleties multiply. Complex exponentiation is multivalued: $b^z = e^{z\ln b}$ depends on which branch of $\ln$ one chooses, so $i^i$ has infinitely many real values (all $e^{-\pi/2 + 2\pi k}$ ). Even for real inputs, how fast exponentials grow remains a frontier: questions about the irrationality or transcendence of values like $2^{\sqrt 2}$ (resolved by the Gelfond–Schneider theorem, 1934) or the still-unsettled nature of numbers like $e + \pi$ show how much remains unknown. Meanwhile, iterated exponentiation (tetration, $b^{b^{b^{\cdots}}}$ ) lacks a single universally accepted extension to real heights — defining " $b$ raised to a fractional number of times" is an open area of research.

Exponential Functions and Laws of Exponents

Formal Statement

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also