A logarithmic equation combines algebra with a domain requirement: every original real logarithm must have a positive argument and a valid base.

The most important habit is to state those requirements before combining logarithms or exponentiating. An algebraic candidate can satisfy a transformed equation while making the original equation undefined.

On this page

Establish the domain before choosing a method

For a fixed real base b>0b>0, b≠1b\ne1, an expression logbU(x)\log_b U(x) requires U(x)>0U(x)>0. When several logarithms appear, all their conditions must hold at once.

For example, log3(x−1)+log3(x+1)\log_3(x-1)+\log_3(x+1) requires both x>1x>1 and x>−1x>-1, so the domain is x>1x>1. The product (x−1)(x+1)(x-1)(x+1) is also positive for x<−1x<-1, but that does not extend the domain of the original sum.

This distinction is why writing domain restrictions only after condensing can introduce extraneous solutions. Logarithm Laws explains the underlying identities and their conditions.

Convert a single logarithm to an exponential equation

Solve

log5(x+1)=2.\log_5(x+1)=2.

The domain is x>−1x>-1. The logarithm definition gives x+1=52=25x+1=5^2=25, so x=24x=24. This is permitted, and the original logarithm is log525=2\log_5 25=2.

Now consider

log2(x2−4)=3.\log_2(x^2-4)=3.

The original condition is x2−4>0x^2-4>0, or x<−2x<-2 or x>2x>2. Exponentiating gives x2−4=8x^2-4=8, so

x=±23.x=\pm2\sqrt3.

Both candidates satisfy the domain. A logarithmic equation can have more than one real solution when its argument is not one-to-one. The logarithm itself is one-to-one as a function of a positive argument; that does not make every composite argument one-to-one in xx.

Combine logarithms and filter the algebraic roots

Solve

log3(x−1)+log3(x+1)=2.\log_3(x-1)+\log_3(x+1)=2.

On its domain x>1x>1, use the product law:

log3(x2−1)=2,x2−1=9.\log_3(x^2-1)=2,\qquad x^2-1=9.

The algebraic candidates are x=±10x=\pm\sqrt{10}. Only 10\sqrt{10} exceeds 1. Therefore the complete solution set is {10}\{\sqrt{10}\}.

The negative candidate would make both original arguments negative. It is not a solution even though their product is positive. It belongs to the expanded domain of the condensed expression, not the original equation.

For another example,

log2x+log2(x−2)=3\log_2 x+\log_2(x-2)=3

requires x>2x>2. The transformed equation is x(x−2)=8x(x-2)=8, or (x−4)(x+2)=0(x-4)(x+2)=0. The candidates are 4 and −2. Keep 4, for which the original logarithms are 2 and 1, and reject −2.

Equate arguments only with matching valid bases

For a fixed valid base, logbU=logbV\log_b U=\log_b V is equivalent to U=VU=V provided both arguments are positive.

Solve

ln(x−2)=ln(6−x).\ln(x-2)=\ln(6-x).

The domain is 2<x<62<x<6. Equality of arguments gives x−2=6−xx-2=6-x, hence x=4x=4, which is permitted. Both sides then equal ln2\ln2.

With different bases, equal logarithms do not imply equal arguments. For example, log28=log327=3\log_2 8=\log_3 27=3, but 8≠278\ne27. Convert bases or use the definitions instead of dropping unlike logarithms.

The OpenStax logarithmic-equation chapter presents the definition and one-to-one methods used here.

Treat a repeated logarithm as a new variable

Solve

(lnx)2−3lnx+2=0.(\ln x)^2-3\ln x+2=0.

The original domain is x>0x>0. Let u=lnxu=\ln x. Unlike an exponential substitution such as u=2xu=2^x, this uu can be any real number. Factor:

u2−3u+2=(u−1)(u−2)=0.u^2-3u+2=(u-1)(u-2)=0.

Thus lnx=1\ln x=1 or lnx=2\ln x=2, giving x=ex=e or x=e2x=e^2. Both are positive. Returning to the original variable is necessary; the numbers 1 and 2 are logarithm values, not the final values of xx.

Do not confuse (lnx)2(\ln x)^2 with ln(x2)\ln(x^2). They are different functions and lead to different equations.

Include base restrictions when the base is variable

Solve

logx16=2.\log_x16=2.

A real variable base requires x>0x>0 and x≠1x\ne1. The logarithm definition gives x2=16x^2=16, producing algebraic candidates x=±4x=\pm4. Only 4 is a permitted base, and log416=2\log_4 16=2.

The restriction is not optional because 16 is positive. Positivity of the argument and validity of the base are separate conditions. A base-one candidate must also be rejected, even if a transformed exponential equation happens to include it.

For instance, logxx=1\log_x x=1 holds for every x>0x>0, x≠1x\ne1, not at every positive input without exception.

Reverse order for a decreasing logarithm

Solve

log1/2(x−1)>−2.\log_{1/2}(x-1)>-2.

First require x>1x>1. Since the base 1/21/2 lies between zero and one, its logarithm is decreasing. Also, −2=log1/24-2=\log_{1/2}4. Therefore

0<x−1<4,0<x-1<4,

which gives the solution interval

1<x<5.1<x<5.

The domain supplies one endpoint; the inequality supplies the other

Domain and monotonicity bound a logarithmic inequalityThe decreasing logarithm with base one half of x-1 meets y=-2 at x=5. The solution interval 1<x<5 is shown on a separate number line with open endpoints.log base 1/2 of (x − 1)y = −2-2024123456Logarithm valuex(5, −2)15solution: 1 < x < 5
The open circles belong to the solution number line, not to holes in the logarithm curve.
Diagram explanation and exact data

The logarithm is defined only for x>1. Since its base is below one, values greater than -2 occur to the left of x=5, giving 1<x<5. The curve itself includes the point (5,-2).

The domain supplies one endpoint; the inequality supplies the other: exact reference data
x Logarithm value Satisfies > −2?
5/45/4 2 Yes
3/23/2 1 Yes
2 0 Yes
3 -1 Yes
5 -2 No

The lower endpoint comes from the domain, not from solving an equality. The upper endpoint is excluded because the inequality is strict. For a logarithm base greater than one, argument inequalities retain their direction.

Check transformations and completeness

Exponentiating two equal real numbers with the same valid base is reversible, so it does not inherently create extra real solutions. Problems arise when a transformed expression is used beyond the original domain, or when a many-to-one operation such as squaring is applied without checking candidates.

A complete solution states the original domain, gives transformations valid there, solves the remaining algebra, and filters all candidates. Substituting the survivors checks arithmetic. The chain of equivalences explains why no permitted solution was lost.

Graphing helps locate candidates or illustrate monotonicity, but a displayed curve cannot decide an exact endpoint or prove that no other branch exists. Use algebra and domain reasoning for those decisions.

Practice questions

  1. Solve log5(x+1)=2\log_5(x+1)=2.
  2. Solve log2x+log2(x−3)=2\log_2 x+\log_2(x-3)=2.
  3. Solve ln(x2)=2\ln(x^2)=2 on its full real domain.
Check your answers
  1. The domain is x>−1x>-1. Exponentiating gives x+1=25x+1=25, so x=24x=24.
  2. The domain is x>3x>3. Condensing gives x(x−3)=4x(x-3)=4, so (x−4)(x+1)=0(x-4)(x+1)=0. Only x=4x=4 is allowed; its logarithms are 2 and 0.
  3. The domain is x≠0x\ne0. Exponentiating gives x2=e2x^2=e^2, so x=±ex=\pm e. Both original logarithms are defined. Replacing ln(x2)\ln(x^2) by 2lnx2\ln x would incorrectly lose −e-e.

Related topics

Use Exponential Growth and Decay for model fitting and thresholds. Composite and Inverse Functions: Advanced Problems extends domain analysis to inverse formulas and multi-stage functions.

Sources and further reading