3.2.9Exponentials & Logarithms

Change of base formula — proof

1,755 words8 min readdifficulty · medium5 backlinks

What the formula says

WHAT each piece is:

  • aa = the old base (the one you want to get rid of).
  • bb = the new base (the one your calculator understands, e.g. 1010 or ee).
  • xx = the argument (the number inside).

Derivation from scratch (never memorise — build it)

HOW we derive it, step by step:

Step 1 — Name the thing we want. Let y=logax.y = \log_a x. Why this step? We can't manipulate a mystery; giving it a name yy lets us do algebra on it.

Step 2 — Rewrite in exponential form. By the definition above, ay=x.a^y = x. Why this step? Exponentials are easier to attack with logs of any base, because logs turn powers into products.

Step 3 — Take logb\log_b of BOTH sides. logb(ay)=logbx.\log_b(a^y) = \log_b x. Why this step? Applying the same function to both sides keeps equality. We choose base bb because that's the base we're allowed to use (calculator base).

Step 4 — Use the power law logb(ay)=ylogba\log_b(a^y)=y\log_b a. ylogba=logbx.y\,\log_b a = \log_b x. Why this step? This is the whole point of taking a log: it drags the exponent yy down into a coefficient, so we can isolate it.

Step 5 — Solve for yy (divide by logba\log_b a, which is 0\neq 0 since a1a\neq 1): y=logbxlogba.y = \frac{\log_b x}{\log_b a}.

Step 6 — Recall what yy was. Since y=logaxy=\log_a x, logax=logbxlogba\boxed{\log_a x = \frac{\log_b x}{\log_b a}}\qquad\blacksquare

Figure — Change of base formula — proof

Worked examples


Common mistakes (Steel-manned)


Recall Feynman: explain to a 12-year-old

A log is a question: "How many times do I multiply this base to reach the number?" log28\log_2 8 asks "how many 2s multiplied make 8?" — answer 3. Now imagine you only own a base-10 ruler to measure powers. You can still measure the "2-question" — just measure how tall 88 is in base 10, measure how tall 22 is in base 10, and divide. The scaling cancels out and you get the true answer, 3. Same height, different ruler.


Active recall

What does the definition logax=y\log_a x = y mean in exponential form?
ay=xa^y = x
State the change of base formula.
logax=logbxlogba\log_a x = \dfrac{\log_b x}{\log_b a}
In change of base, which quantity goes in the numerator?
The log of the argument xx (in the new base).
Which quantity goes in the denominator?
The log of the old base aa (in the new base).
Why is dividing by logba\log_b a allowed?
Because a1a \neq 1, so logba0\log_b a \neq 0.
First step of the proof?
Let y=logaxy=\log_a x, then rewrite as ay=xa^y=x.
Which log law makes the exponent come down in the proof?
The power law logb(ay)=ylogba\log_b(a^y)=y\log_b a.
Prove the reciprocal identity logab=1/logba\log_a b = 1/\log_b a.
Set x=bx=b: logab=logbblogba=1logba\log_a b=\frac{\log_b b}{\log_b a}=\frac{1}{\log_b a}.
Compute log28\log_2 8 via base 10.
log8log2=3\frac{\log 8}{\log 2}=3.
Does the new base have to be 10 or ee?
No — any valid base b>0, b1b>0,\ b\neq1 works; 10/ee are just convenient.
Simplify logablogba\log_a b\cdot\log_b a.
=1=1 (they are reciprocals).

Connections

  • Definition of a logarithm — the single fact the whole proof rests on.
  • Laws of logarithms — the power law is the engine of the derivation.
  • Exponential functions — Step 2 converts log→exponential form.
  • Natural logarithm ln — the usual "new base" b=eb=e.
  • Solving exponential equations — change of base lets you isolate unknown exponents.

Concept Map

start point

rewrite

take log_b both sides

power law

divide by log_b a

recall y

old base to remove

new base for calculator

enables

special case

free choice

log_a x = y means a^y = x

Step 1: let y = log_a x

Step 2: a^y = x

Step 3: log_b of a^y = log_b x

Step 4: y log_b a = log_b x

Step 5: y = log_b x / log_b a

Change of base: log_a x = log_b x / log_b a

a = old base

b = new base, 10 or e

Compute log_2 8 via base 10

Reciprocal identity

Calculator only has log10 and ln

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, logarithm basically ek sawaal hai: "base ko kitni power do taaki number mil jaaye?" Jaise log28\log_2 8 ka matlab "2 ko kitni baar multiply karun ki 8 aaye?" — answer 3. Ab problem yeh hai ki calculator me sirf log10\log_{10} aur ln\ln ke buttons hote hain, base 2 ka button nahi hota. Toh change of base formula humara translator hai jo kisi bhi base ko 10 ya ee me convert kar deta hai.

Formula hai logax=logbxlogba\log_a x = \frac{\log_b x}{\log_b a}. Yaad rakhne ka simple tareeka: argument (xx) upar, purana base (aa) neeche, naya base (bb) dono me. Iska proof rattne ki zarurat nahi — sirf ek fact se banta hai: logax=y\log_a x = y ka matlab ay=xa^y = x. Bas yy ko naam do, exponential form me likho, dono taraf logb\log_b lagao, power law se yy ko neeche laao, aur divide karke yy nikaal lo. Ho gaya!

Sabse bada intuition (dual coding wala diagram dekho): chahe ruler base 2 ka ho ya base 10 ka, height same rehti hai — sirf measure karne ka scale badalta hai, aur woh scaling division me cancel ho jaati hai. Isliye answer nahi badalta.

Common galti se bacho: log ko logalogx\frac{\log a}{\log x} me todna galat hai (single loga\log_a ka koi matlab nahi hota), aur argument hamesha upar jaata hai. Ek quick check: log28=3\log_2 8 = 3 hona chahiye, toh log8log2\frac{\log 8}{\log 2} (bada upar) hi sahi hai, ulta nahi.

Go deeper — visual, from zero

Test yourself — Exponentials & Logarithms

Connections