NDA Maths · Logarithms

Solving Logarithmic Equations & Applications

Solving a log equation means turning it into an algebraic one — take the log of an exponential equation, substitute t = aˣ to reach a quadratic, then reject any root that breaks a domain.

Why this matters

Eleven PYQs, three of them HARD — this is where the chapter's difficulty concentrates. The recurring moves are few: collapse both sides to a single log and drop the log, substitute t = aˣ to get a quadratic, or take log₁₀ of an exponential equation. The HARD ones add a twist — a GP/chain-rule condition or an AM-GM bound — but the spine is always the same. Domain-checking is what separates a 4-mark answer from a wrong one.

Concept 1 of 5

Taking the Log of an Exponential Equation

Intuition

When the unknown sits in an exponent — ax=ba^x = b — apply a log to both sides to bring the exponent down: xloga=logbx\log a = \log b. With a supplied value of log102\log_{10} 2 you can then compute a decimal, or you can just collapse log expressions of the form kf()k\,f(\cdot) until they reduce to log10=1\log 10 = 1.

Definition

Core move: ax=bx=logblogaa^x = b \Rightarrow x = \dfrac{\log b}{\log a} (any common base). Two flavours appear:

  • Numeric: given log102\log_{10} 2, evaluate xx from (0.2)x=2(0.2)^x = 2 by writing log100.2=log10210=log1021\log_{10} 0.2 = \log_{10}\tfrac{2}{10} = \log_{10} 2 - 1.
  • Collapse-to-1: expressions built from log102\log_{10} 2 and log105\log_{10} 5 simplify because log102+log105=log1010=1\log_{10} 2 + \log_{10} 5 = \log_{10} 10 = 1. Group terms to expose a log10(product=10k)\log_{10}(\text{product} = 10^k).

Bring the exponent down with a log

ax=b    x=logblogaa^x = b \;\Rightarrow\; x = \dfrac{\log b}{\log a}

Worked example

If 3x=53^x = 5 and log103=0.477, log105=0.699\log_{10} 3 = 0.477,\ \log_{10} 5 = 0.699, find xx to two decimals.
  1. Take log10\log_{10}: xlog103=log105x\log_{10} 3 = \log_{10} 5.
  2. x=0.6990.4771.465x = \dfrac{0.699}{0.477} \approx 1.465.
Answer:x1.47x \approx 1.47.
Practice this conceptself-check

Try it yourself

Simplify 2log105+log1042\log_{10} 5 + \log_{10} 4.

From the bank · past-year question

Example 1LogarithmsMODERATE
If (0.2)x=2(0.2)^x = 2 and log102=0.3010\log_{10} 2 = 0.3010, then what is the value of x to the nearest tenth?

[Q31 · Sep · 2018]

log100.2=log1021\log_{10} 0.2 = \log_{10} 2 - 1, which is negative

Writing 0.2=2100.2 = \tfrac{2}{10} gives log100.2=log102log1010=0.30101=0.6990\log_{10} 0.2 = \log_{10} 2 - \log_{10} 10 = 0.3010 - 1 = -0.6990. Dropping the 1-1 flips the sign of xx — the answer to (0.2)x=2(0.2)^x = 2 is negative.

Concept 2 of 5

Substitution t = aˣ to a Quadratic

Intuition

When a log equation mixes 2x2^x and 22x2^{2x} (or 3x3^x and 9x9^x), collapse both sides to a single log, drop the log, then let t=2xt = 2^x. The relation becomes a quadratic in tt; solve it and discard any non-positive tt, because 2x2^x is always positive.

Definition

Recipe:

  • Collapse to one log on each side using the laws, then equate arguments (since logaM=logaNM=N\log_a M = \log_a N \Rightarrow M = N).
  • Substitute t=axt = a^x (so a2x=t2a^{2x} = t^2). The equation becomes a quadratic t2+bt+c=0t^2 + bt + c = 0.
  • Solve and screen: reject any root t0t \le 0 — an exponential axa^x can never be 00 or negative. From the surviving tt, recover x=logatx = \log_a t.

An AP condition on three logs, 2log(2x1)=log2+log(2x+3)2\log(2^x-1) = \log 2 + \log(2^x+3), feeds straight into this: square out to (2x1)2=2(2x+3)(2^x-1)^2 = 2(2^x+3), a quadratic in t=2xt = 2^x.

Let t = aˣ and solve the quadratic (keep t > 0)

t=ax>0,t2+bt+c=0    x=logatt = a^x > 0,\quad t^2 + bt + c = 0 \;\Rightarrow\; x = \log_a t

Worked example

Solve 4x32x4=04^x - 3\cdot 2^x - 4 = 0.
  1. Let t=2xt = 2^x, so 4x=t24^x = t^2: t23t4=0t^2 - 3t - 4 = 0.
  2. Factor: (t4)(t+1)=0t=4(t-4)(t+1) = 0 \Rightarrow t = 4 or t=1t = -1.
  3. Reject t=1t = -1 (2x>02^x > 0); t=4=22t = 4 = 2^2 gives x=2x = 2.
Answer:x=2x = 2.
Practice this conceptself-check

Try it yourself

Solve 9x43x+3=09^x - 4\cdot 3^x + 3 = 0.

From the bank · past-year question

Example 2LogarithmsMODERATE
If x+log10(1+2x)=xlog105+log106x + \log_{10}(1 + 2^x) = x\log_{10} 5 + \log_{10} 6, then xx is equal to

[Q1 · Sep · 2017]

Throw out the non-positive t

A quadratic in t=2xt = 2^x often hands you a negative root. Because 2x2^x is strictly positive, that root yields no real xx — keep only t>0t > 0 before solving x=log2tx = \log_2 t.

Concept 3 of 5

Domain Checks & Counting Solutions

Intuition

A log equation with two different bases (log4\log_4 and log2\log_2) is solved by bringing both to one base, but the algebra can hand you roots that make some argument non-positive. The genuine count of solutions is only the roots that survive the domain — argument >0>0 for every log in the original equation.

Definition

Procedure for "how many solutions?":

  • Unify the base: log4(x1)=12log2(x1)\log_4(x-1) = \tfrac{1}{2}\log_2(x-1), so log4(x1)=log2(x3)\log_4(x-1) = \log_2(x-3) becomes 12log2(x1)=log2(x3)x1=(x3)2\tfrac12\log_2(x-1) = \log_2(x-3)\Rightarrow x-1 = (x-3)^2.
  • Solve the resulting polynomial, then impose the domain: every original argument must be >0>0 (here x1>0x-1>0 AND x3>0x-3>0, so x>3x>3).
  • Inequalities: for xlog7x>7x^{\log_7 x} > 7, take log7\log_7 of both sides to get (log7x)2>1(\log_7 x)^2 > 1, then log7x>1|\log_7 x| > 1 gives x>7x > 7 or 0<x<170 < x < \tfrac17.

Keep only roots with every argument > 0

logaM=logaNM=N, then require M,N>0\log_a M = \log_a N \Rightarrow M = N,\ \text{then require } M,N > 0

Worked example

How many solutions does log9(x+6)=log3x\log_9(x+6) = \log_3 x have?
  1. log9(x+6)=12log3(x+6)\log_9(x+6) = \tfrac12\log_3(x+6), so 12log3(x+6)=log3xx+6=x2\tfrac12\log_3(x+6) = \log_3 x \Rightarrow x+6 = x^2.
  2. x2x6=0(x3)(x+2)=0x=3x^2 - x - 6 = 0 \Rightarrow (x-3)(x+2) = 0 \Rightarrow x = 3 or x=2x = -2.
  3. Domain needs x>0x > 0: reject x=2x = -2.
Answer:One solution (x=3x = 3).

From the bank · past-year question

Example 3LogarithmsMODERATE
What is the number of solutions of log4(x1)=log2(x3)\log_4(x-1)=\log_2(x-3)?

[Q27 · Apr · 2024]

An algebraic root is not a solution until the domain clears it

x1=(x3)2x-1 = (x-3)^2 gives x=2x = 2 and x=5x = 5, but x=2x = 2 makes x3=1<0x-3 = -1 < 0, so log2(x3)\log_2(x-3) is undefined. Only x=5x = 5 is a genuine solution — always re-substitute into the ORIGINAL equation.

Concept 4 of 5

GP, Chain-Rule & AM-GM Conditions

Intuition

The HARD log questions wrap a sequence or inequality condition around the same tools. A GP condition multiplies the outer terms; the chain rule logxalogbx=logba\log_x a\cdot\log_b x = \log_b a collapses the product; and a "kk can never equal" question is usually AM-GM, t+1t2t + \tfrac1t \ge 2, in disguise.

Definition

Two HARD patterns:

  • GP of logs: logxa, ax, logbx\log_x a,\ a^x,\ \log_b x in GP means (ax)2=logxalogbx(a^x)^2 = \log_x a\cdot\log_b x. The product collapses by the chain rule logxalogbx=logba\log_x a\cdot\log_b x = \log_b a, giving a2x=logbaa^{2x} = \log_b a; take loga\log_a to solve for xx.
  • AM-GM bound: writing logxxy+logyyx\log_x\tfrac{x}{y} + \log_y\tfrac{y}{x} with t=logxy1t = \log_x y \ge 1 gives 2t1t2 - t - \tfrac1t. Since t+1t2t + \tfrac1t \ge 2 (AM-GM), the expression is 0\le 0 — so it can never equal any positive value.

Chain rule and the AM-GM floor

logxalogbx=logba,t+1t2 (t>0)\log_x a\cdot\log_b x = \log_b a, \qquad t + \tfrac{1}{t} \ge 2\ (t>0)

Worked example

Find the maximum value of 2(t+1t)2 - \Big(t + \dfrac{1}{t}\Big) for t>0t > 0.
  1. By AM-GM, t+1t2t + \dfrac1t \ge 2, with equality at t=1t = 1.
  2. So 2(t+1t)22=02 - (t + \tfrac1t) \le 2 - 2 = 0.
Answer:Maximum value 00 (at t=1t = 1).

From the bank · past-year question

Example 4LogarithmsHARD
For xy>1x\geq y>1, let logx ⁣xy+logy ⁣yx=k\log_x\!\dfrac{x}{y}+\log_y\!\dfrac{y}{x}=k, then the value of kk can never be equal to

[Q28 · Apr · 2024]

The GP condition squares the MIDDLE term

For p,q,rp, q, r in GP the relation is q2=prq^2 = pr — the middle term is squared and set equal to the product of the outer two. Squaring the wrong term derails the whole chain-rule collapse.

Concept 5 of 5

Application — Trailing Zeros of a Factorial

Intuition

The number of trailing zeros of n!n! is set by how many times 10=2×510 = 2\times 5 divides it — and since factors of 55 are scarcer than factors of 22, you just count the 55s. This is the chapter's one number-theory application that rides on the same "count the powers" instinct logs train.

Definition

**Legendre's count (for the prime 55):**

Z(n)=n5+n25+n125+Z(n) = \left\lfloor\dfrac{n}{5}\right\rfloor + \left\lfloor\dfrac{n}{25}\right\rfloor + \left\lfloor\dfrac{n}{125}\right\rfloor + \cdots
gives the number of trailing zeros of n!n! (the power of 55 in n!n!; the power of 22 is always larger, so 55 is the bottleneck). To find **how many nn give exactly zz zeros**, note Z(n)Z(n) is non-decreasing and jumps at multiples of 55: a run of consecutive integers shares the same ZZ value until the next multiple of 55.

Legendre — trailing zeros count the 5s

Z(n)=i1n5iZ(n) = \sum_{i\ge 1}\left\lfloor \dfrac{n}{5^i} \right\rfloor

Worked example

How many trailing zeros does 30!30! have?
  1. 30/5=6\lfloor 30/5\rfloor = 6.
  2. 30/25=1\lfloor 30/25\rfloor = 1.
  3. 30/125=0\lfloor 30/125\rfloor = 0. Total =6+1=7= 6 + 1 = 7.
Answer:77 trailing zeros.
Practice this concept2 quick reps

Practice — Level 1 (2 reps)

Quick reps to lock in the method. Try each, then check.

  1. 1.
    Trailing zeros of 10!10!?
  2. 2.
    Trailing zeros of 25!25!?

From the bank · past-year question

Example 5LogarithmsMODERATE
Let nn be a natural number. The number of consecutive zeros at the end of the expansion of n!n! is exactly 2. How many values of nn are possible?

[Q4 · Sep · 2025]

Count the 5s, not the 2s — and don't forget 25, 125…

Each multiple of 2525 contributes an EXTRA 55 beyond the one already counted by n/5\lfloor n/5\rfloor. Stopping at n/5\lfloor n/5\rfloor undercounts for n25n \ge 25.

Summary — formulas & gotchas at a glance

A revision cheat-sheet for the formulas and gotchas above. Click any concept name to jump back to its full explanation.

Formulas (5)

  • Taking the Log of an Exponential Equation

    Bring the exponent down with a log

    ax=b    x=logblogaa^x = b \;\Rightarrow\; x = \dfrac{\log b}{\log a}
  • Substitution t = aˣ to a Quadratic

    Let t = aˣ and solve the quadratic (keep t > 0)

    t=ax>0,t2+bt+c=0    x=logatt = a^x > 0,\quad t^2 + bt + c = 0 \;\Rightarrow\; x = \log_a t
  • Domain Checks & Counting Solutions

    Keep only roots with every argument > 0

    logaM=logaNM=N, then require M,N>0\log_a M = \log_a N \Rightarrow M = N,\ \text{then require } M,N > 0
  • GP, Chain-Rule & AM-GM Conditions

    Chain rule and the AM-GM floor

    logxalogbx=logba,t+1t2 (t>0)\log_x a\cdot\log_b x = \log_b a, \qquad t + \tfrac{1}{t} \ge 2\ (t>0)
  • Application — Trailing Zeros of a Factorial

    Legendre — trailing zeros count the 5s

    Z(n)=i1n5iZ(n) = \sum_{i\ge 1}\left\lfloor \dfrac{n}{5^i} \right\rfloor

Watch out for (5)

Mastery check — 5 interleaved questions

Try each one before clicking. Questions are interleaved across the concepts above, not grouped — interleaving sharpens transfer.

Example 1LogarithmsMODERATE
If f(x)=log10(1+x)f(x)=\log_{10}(1+x), then what is 4f(4)+5f(1)log1024f(4)+5f(1)-\log_{10}2 equal to?

[Q72 · Apr · 2019]

Example 2LogarithmsHARD
If x+log15(1+3x)=xlog155+log1512x + \log_{15}(1+3^x) = x\log_{15}5 + \log_{15}12, where x is an integer, then what is x equal to?

[Q11 · Apr · 2018]

Example 3LogarithmsMODERATE
If xlog7x>7x^{\log_{7} x} > 7 where x>0x > 0, then which one of the following is correct ?

[Q36 · Sep · 2019]

Example 4LogarithmsHARD
If logxa\log_x a, axa^x and logbx\log_b x are in GP, then what is xx equal to?

[Q14 · Apr · 2023]

Example 5LogarithmsEASY
If 1log102=log10(5x+4x+3x+2x+1)1-\log_{10}2=\log_{10}(5^x+4^x+3^x+2^x+1), then what is a value of xx?

[Q13 · Apr · 2026]

Drill every past-year question on this subtopic

11 questions from the bank — paginated, with cart and Word-export support.