Kvant

Rough automatic draft, low quality: expect mistakes and awkward wording. It will be replaced by a better translation. Original →

46

Logarithmic equations
V. V. Goldberg

Logarithmic equations are usually called equations containing an unknown quantity under the logarithm sign.
Solving the simplest logarithmic equation

log⁡ax=b\log_a x = b

(1)
is based on the following property of logarithms: if the logarithms of two (positive) numbers to the same base a(a>0,a≠1)a(a > 0, a \neq 1) are equal, then these numbers themselves are equal.

Having written equation (1) in the form log⁡ax=log⁡aab\log_a x = \log_a a^b and using the indicated property, we obtain the answer: x=abx = a^b.

This technique is also applicable to solving more complex logarithmic equations of the form

log⁡af(x)=b.\log_a f(x) = b.

(2)
For equation (2) we obtain f(x)=abf(x) = a^b.

Example 1: Solve the equation

log⁡5[2+log⁡3(3+x)]=0.\log_5 [2 + \log_3(3+x)] = 0.

Solution e. First we find that

2+log⁡3(3+x)=50,2+log⁡3(3+x)=1,log⁡3(3+x)=−1.2 + \log_3(3+x) = 5^0, \quad 2 + \log_3(3+x) = 1, \quad \log_3(3+x) = -1.

Next we find: 3+x=3−1,x=13−3,x=−833 + x = 3^{-1}, x = \frac{1}{3} - 3, x = -\frac{8}{3}.

Some logarithmic equations are easily properties of the simplest. Thus, equations of the form

f(log⁡ax)=0f(\log_a x) = 0

(3)
by replacing log⁡ax=y\log_a x = y they are added to the equation f(y)=0f(y) = 0. If y1,…,yky_1, \dots, y_k are the roots of the last equation, then we obtain a set of simple logarithmic equations:

log⁡ax=y1,…,log⁡ax=yk.\log_a x = y_1, \dots, \log_a x = y_k.

Example 2. Solve equation lg⁡3x−lg⁡2x−6lg⁡x=0\lg^3 x - \lg^2 x - 6 \lg x = 0.

Solution e. Let us denote lg⁡x\lg x by yy. Then we obtain a cubic equation for yy:

y3−y2−6y=0.y^3 - y^2 - 6y = 0.

Let’s solve it: y(y2−y−6)=0,y1=0,y2=3,y3=−2y(y^2 - y - 6) = 0, y_1 = 0, y_2 = 3, y_3 = -2. We consider three possible cases:

a). lg⁡x=0,x1=1\lg x = 0, x_1 = 1; 6) lg⁡x=3,x2=1000\lg x = 3, x_2 = 1000; b) lg⁡x=−2,x3=0,01\lg x = -2, x_3 = 0,01.

Exponential-logarithmic equations are similar to equations of the form (3), if they are first polygonalized.

47

Technique 3. Solve the equation x2+log⁡3x=38x^2 + \log_3 x = 3^8.

Solution. Since both sides of the equation are positive (ODZ: x>0x > 0), we equate their logarithms to base 3: log⁡3x2+log⁡3x=log⁡338\log_3 x^2 + \log_3 x = \log_3 3^8, which means that (2+log⁡3x)log⁡3x=8(2 + \log_3 x) \log_3 x = 8. Denoting log⁡3x\log_3 x by yy, we arrive at the quadratic equation y2+2y−8=0y^2 + 2y - 8 = 0 with roots y1=−4,y2=2y_1 = -4, y_2 = 2. Let’s break down two cases:

a) log⁡3x=−4,x1=1/81\log_3 x = -4, x_1 = 1/81 6) log⁡3x=2,x2=9\log_3 x = 2, x_2 = 9.

Technique 4. Solve the equation 9xlg⁡x+91x−lg⁡x=609x^{\lg x} + 91x^{-\lg x} = 60.

Solution. Let us introduce the notation xlg⁡x=yx^{\lg x} = y; then x−lg⁡x=1yx^{-\lg x} = \frac{1}{y}, otherwise the property equation to the following equation with respect to yy: 9y2−60y+91=09y^2 - 60y + 91 = 0. The roots of the latter are y1=133,y2=73y_1 = \frac{13}{3}, y_2 = \frac{7}{3}. We are considering both possibilities:

a) xlg⁡x=133x^{\lg x} = \frac{13}{3}; taking logarithm, we get lg⁡xlg⁡x=lg⁡133,lg⁡2x=lg⁡133\lg x^{\lg x} = \lg \frac{13}{3}, \lg^2 x = \lg \frac{13}{3}, whence lg⁡x=±lg⁡133,x1=10lg⁡133,x2=10−lg⁡133\lg x = \pm \sqrt{\lg \frac{13}{3}}, x_1 = 10^{\sqrt{\lg \frac{13}{3}}}, x_2 = 10^{-\sqrt{\lg \frac{13}{3}}};

b) xlg⁡x=73x^{\lg x} = \frac{7}{3}; similarly to how it was done in the first case, we find x3=10lg⁡73,x4=10−lg⁡73x_3 = 10^{\sqrt{\lg \frac{7}{3}}}, x_4 = 10^{-\sqrt{\lg \frac{7}{3}}}.

When solving logarithmic equations, it is often a matter of properties to solve an equation of the type

log⁡af(x)=log⁡ag(x).\log_a f(x) = \log_a g(x).

Here, using potentiation, we need to go to the equation

f(x)=g(x).f(x) = g(x).

But it should be borne in mind that with the maximer we are expanding the ODZ equation, and therefore the appearance of extraneous roots is possible. Therefore, it is necessary to check whether each of the roots of equation (5) is included in the ODZ of equation (4).

Technique 5. Solve the equation log⁡2(2x2−2)=log⁡2(5x−4)\log_2(2x^2 - 2) = \log_2(5x - 4).

Solution. Finding ODZ:

{2x2−2>0,5x−4>0,\begin{cases} 2x^2 - 2 > 0, \\ 5x - 4 > 0, \end{cases}

that is, {x<−1,x>1,x>45.\begin{cases} x < -1, x > 1, \\ x > \frac{4}{5}. \end{cases}

Therefore, ODZ: x>1x > 1. The potency of this equation, we get 2x2−2=5x−42x^2 - 2 = 5x - 4, or 2x2−5x+2=02x^2 - 5x + 2 = 0, from where we find x1=2,x2=1/2x_1 = 2, x_2 = 1/2.

Since x2=1/2x_2 = 1/2 is not included in the ODZ, the equation has only one solution: x=2x = 2.

The following properties of logarithms of numbers are well known:

log⁡a(AB)=log⁡aA+log⁡aB(A>0,B>0,a>0,a≠1),\log_a(AB) = \log_a A + \log_a B \quad (A > 0, B > 0, a > 0, a \neq 1),

log⁡aAB=log⁡aA−log⁡aB(A>0,B>0,a>0,a≠1),\log_a \frac{A}{B} = \log_a A - \log_a B \quad (A > 0, B > 0, a > 0, a \neq 1),

log⁡aAp=plog⁡aA(A>0,p−любое действительное число),\log_a A^p = p \log_a A \quad (A > 0, p - \text{любое действительное число}),

log⁡aqp=pqlog⁡aA(A>0,q≠0).\log_a q^p = \frac{p}{q} \log_a A \quad (A > 0, q \neq 0).

48

How should these properties of logarithms be used when solving logarithmic equations when the expressions AA and BB contain an unknown?

To answer this question, we note that the ODZ of the left and right parts of these formulas are different: for example, the right side of formula (6) makes sense only for A>0A > 0 and B>0B > 0, and the left side of this formula is defined both for A>0A > 0 and B>0B > 0, and for A<0A < 0, B<0B < 0.

Similarly, for other formulas, the ODZ of the left side may turn out to be wider than the ODZ of the right side (in this case, in formula (9) it is necessary to consider the permissible values of the value aa included in the base. This means that if we use formulas (6)-(9) “from right to left", then as a result we will obtain an equation that is a consequence of the original one (its ODZ may turn out to be wider). At the same time, we are guaranteed that we will not consume roots. But in this case, we can acquire the construction of roots. Therefore, all the obtained roots must be checked (if the construction of roots could only appear as a result of using formulas (6)-(9), then it is enough to check whether the obtained roots are included in the ODZ of the original equation).

Example 6: Solve the equation

log⁡16(x−1)+log⁡16(5x+3)=−2.\log_{\frac{1}{6}}(x-1) + \log_{\frac{1}{6}}(5x+3) = -2.

Solution. Finding ODZ:

{x−1>0,5x+3>0.{x>1,x>−35.\begin{cases} x-1 > 0, \\ 5x+3 > 0. \end{cases} \quad \begin{cases} x > 1, \\ x > -\frac{3}{5}. \end{cases}

Therefore, the ODZ is: x>1x > 1.

Applying formula (6) to the left side of the equation, we obtain

log⁡16[(x−1)(5x+3)]=−2,\log_{\frac{1}{6}}[(x-1)(5x+3)] = -2,

where we find (x−1)(5x+3)=36(x-1)(5x+3) = 36, or 5x2−2x−39=05x^2-2x-39=0. The roots of a quadratic equation are x1=3x_1=3, x2=−13/5x_2=-13/5.

Since the construction of the roots could only appear due to the use of formula (6), it is enough to check whether the solutions obtained are included in the ODZ of equation (10). Therefore, we are convinced that the equation has a unique solution x=3x=3. Note that the value x=−13/5x=-13/5, which is not equation (10), will be a solution to equation (11), the ODZ of which is wider: x>1x > 1, x<−3/5x < -3/5.

What should we do if, when solving a logarithmic equation, we are faced with the need to use formula (6)–(9) “from left to right”? After all, if the formulas are used in the form in which we wrote them out, we will arrive at an equation whose ODZ may turn out to be narrower than the ODZ of the original equation! But then we may lose some of our roots!

To prevent this from being an accident, we must use more general formulas:

log⁡a(AB)=log⁡a∣A∣+log⁡a∣B∣(AB>0,a>0,a≠1),\log_a(AB) = \log_a|A| + \log_a|B| \quad (AB > 0,a > 0,a \neq 1),

log⁡aAB=log⁡a∣A∣−log⁡a∣B∣(AB>0,a>0,a≠1),\log_a\frac{A}{B} = \log_a|A| - \log_a|B| \quad (AB > 0,a > 0,a \neq 1),

log⁡aA2p=2plog⁡a∣A∣(A≠0,p−целоечисло),\log_aA^{2p} = 2p\log_a|A| \quad (A \neq 0,p - целое число),

log⁡a2qA=12qlog⁡a∣A∣(A>0,q≠0−целоечисло).\log_a^{2q}A = \frac{1}{2q}\log_a|A| \quad (A > 0,q \neq 0 - целое число).

49

The left and right parts of formulas (6′) and (7′), as well as formulas (6) and (7), have different restrictions on A and B: the left parts make sense when A and B are of the same sign, and the right parts - for any non-zero A and B.

Therefore, the use of formulas (6′) and (7′) “from left to right” will lead to an equation whose OA may be wider. But this is already less strange than the existence of ODZ, or now we cannot lose our roots, but can only gain a structure. As we have already noted, in this case it becomes necessary to check the resulting solutions (sometimes it is enough to check whether they are included in the ODZ of the original equation).

Example 7: Solve the equation
lg⁡(x+1)2+lg⁡(x+9)2=2lg⁡9.\lg(x+1)^2 + \lg(x+9)^2 = 2\lg 9. (12)

To prevent some of the errors encountered, we first present the incorrect solution.

Using formulas (8) we find that 2lg⁡(x+1)+2lg⁡(x+9)=2lg⁡92\lg(x+1) + 2\lg(x+9) = 2\lg 9, or
lg⁡(x+1)+lg⁡(x+9)=lg⁡9.\lg(x+1) + \lg(x+9) = \lg 9. (13)

Applying formula (6), obtaining data
lg⁡[(x+1)(x+9)]=lg⁡9,\lg[(x+1)(x+9)] = \lg 9, (14)

from where we find (x+1)(x+9)=9(x+1)(x+9) = 9, or x2+10x=0x^2 + 10x = 0 and then x1=0,x2=−10x_1 = 0, x_2 = -10. Checking shows that the root satisfies equation (12).

Let us now give the correct solution to equation (12).

Solution. We find the ODZ of equation (12): x≠−9,x≠−1x \neq -9, x \neq -1. Using formula (7′), we obtain 2lg⁡∣x+1∣+2lg⁡∣x+9∣=2lg⁡92\lg|x+1| + 2\lg|x+9| = 2\lg 9, from which we find that lg⁡∣(x+1)(x+9)∣=lg⁡9\lg|(x+1)(x+9)| = \lg 9 and further ∣x2+10x+9∣=9|x^2 + 10x+9| = 9.

The last equality holds in any of the following cases:

a) x2+10x+9=9,x2+10x=0,x1=0,x2=−10x^2 + 10x+9 = 9, x^2 + 10x = 0, x_1 = 0, x_2 = -10;
b) x2+10x+9=−9,x2+10x+18=0,x3=−5+7,x4=−5−7x^2 + 10x+9 = -9, x^2 + 10x+18 = 0, x_3 = -5 + \sqrt{7}, x_4 = -5 - \sqrt{7}.

Thus, equation (12) has four roots.

The error in the above incorrect solution, as you have obviously already proven, was that formula (8) was applied, not (8′). This is reduced to equation (13) with a narrower ODZ: x>−1x > -1. In the next step, this quotient was compensated: the ODZ of equation (14) is wider than the ODZ of equation (13) - this includes both x>−1x > -1 and x<−9x < -9. The latter should have lost the root x2=−10x_2 = -10, but the roots x3,4=−5±7x_3, 4 = -5 \pm \sqrt{7} turned out to be lost.

Example 8: Solve the equation
lg⁡[(x−2)(x+3)]+lg⁡[(x+3)/(x−2)]=1.\lg[(x-2)(x+3)] + \lg[(x+3)/(x-2)] = 1. (15)

Solution. Let’s find the ODZ: (x−2)(x+3)>0(x-2)(x+3) > 0, or x<−3x < -3 and x>2x > 2.

To solve, use formulas (6′) and (7′):
lg⁡∣x−2∣+lg⁡∣x+3∣+lg⁡∣x+3∣−lg⁡∣x−2∣=1.\lg|x-2| + \lg|x+3| + \lg|x+3| - \lg|x-2| = 1.

Bringing similar terms, we obtain lg⁡∣x+3∣=1/2\lg|x+3| = 1/2, from which we find:
∣x+3∣=10,x+3=±10,x1=−3+10,x2=−3−10|x+3| = \sqrt{10}, x+3 = \pm \sqrt{10}, x_1 = -3 + \sqrt{10}, x_2 = -3 - \sqrt{10}.

Checking shows that x=−3−10x = -3 - \sqrt{10} will be the only solution to equation (15).

Using formulas (6) and (7) we would have
lg⁡(x−2)+lg⁡(x+3)+lg⁡(x+3)−lg⁡(x−2)=1,\lg(x-2) + \lg(x+3) + \lg(x+3) - \lg(x-2) = 1,
lg⁡(x+3)=12,x+3=10,x=−3+10.\lg(x+3) = \frac{1}{2}, x+3 = \sqrt{10}, x = -3 + \sqrt{10}.

With this solution, we first narrowed the ODZ, which led to the loss of the root x=−3−10x = -3 - \sqrt{10}, and then, after eliminating similar terms, we expanded the ODZ, which led to the construction of the root x=−3+10x = -3 + \sqrt{10}.

50

Another source of extraneous roots is the use of the basic logarithmic method

alog⁡ab=b(b>0,a>0,a≠1)a^{\log_a b} = b \quad (b > 0, a > 0, a \neq 1)

in the case where aa and bb contain an unknown.

Example 9. Solve equation xlog⁡x(x2+1)=2x^{\log_x(x^2+1)} = 2.

Solution. Using toskedness (16), we obtain x2+1=2x^2+1=2, whence x1=−1,x2=1x_1=-1, x_2=1. But the values ​​of x=±1x=\pm 1 cannot be the base of logarithms, that is, they are not included in the ODZ. Therefore the equation has no solutions.

If the equation includes logarithms with different bases, you need to apply the formula for moving from one logarithm base to another:

log⁡bA=log⁡aAlog⁡ab(A>0,a>0,b>0,a≠1,b≠1)\log_b A = \frac{\log_a A}{\log_a b} \quad (A > 0, a > 0, b > 0, a \neq 1, b \neq 1)

and its special case

log⁡ba=1log⁡ab(a>0,b>0,a≠1,b≠1).\log_b a = \frac{1}{\log_a b} \quad (a > 0, b > 0, a \neq 1, b \neq 1).

Example 10. Solve the equation

log⁡3x3x+log⁡32x=1.\log_3 x \frac{3}{x} + \log_3^2 x = 1.

Solution. We find the ODZ: x>0,x≠13x > 0, x \neq \frac{1}{3}. Using formula (17), let us move to base 3 in the first term; then we get

log⁡33xlog⁡3(3x)+log⁡32x=1,\frac{\log_3 \frac{3}{x}}{\log_3(3x)} + \log_3^2 x = 1, or 1−log⁡3x1+log⁡3x+log⁡32x=1.\frac{1-\log_3 x}{1+\log_3 x} + \log_3^2 x = 1.

Let’s denote it by log⁡3x\log_3 x. through yy, then the equation takes the form

1−y1+y+y2=1\frac{1-y}{1+y} + y^2 = 1 or y3+y2−2y=0,y^3 + y^2 - 2y = 0,

where do we find y1=0,y2=−2,y3=1y_1=0, y_2=-2, y_3=1. We are considering three possibilities:

a) log⁡3x=0,x1=1\log_3 x=0, x_1=1; b) log⁡3x=1,x3=3\log_3 x=1, x_3=3.

Example 11. Solve the equation

20log⁡axx+7log⁡a2x3=3log⁡xx2(a>0,a≠1).20 \log_ax \sqrt{x} + 7 \log_a^2 x^3 = 3 \log_x x^2 \quad (a > 0, a \neq 1).

Solution. We find the ODZ: x>0,x≠1a,x≠1a2,x≠ax > 0, x \neq \frac{1}{a}, x \neq \frac{1}{a^2}, x \neq \sqrt{a}. Since x>0x > 0, we can apply formula (8), which gives

10log⁡axx+21log⁡a2x=6log⁡xx.10 \log_ax x + 21 \log_a^2 x = 6 \log_x x.

Now it is most convenient to use formula (18) to go to the same base xx. But when xx is at the base of logarithms, the ODZ of the equation becomes narrower,

51

since xx cannot be equal to one after this. Therefore, before moving on to the root xx, let’s check whether x=1x=1 is the root of the equation. It is easy to see that x1=1x_1=1 is a root. Let’s now move on to the base xx:

10log⁡x(ax)+21log⁡x(a2x)=6log⁡xxa.\frac{10}{\log_x(ax)} + \frac{21}{\log_x(a^2x)} = \frac{6}{\log_x\frac{x}{\sqrt{a}}}.

Let us denote log⁡xa\log_x a by yy. Then we get

101+y+211+2y=61−12y.\frac{10}{1+y} + \frac{21}{1+2y} = \frac{6}{1-\frac{1}{2}y}.

After simple transformations we arrive at the quadratic equation 13y2−3y−10=013y^2-3y-10=0, whose roots are y1=1,y2=−1013y_1=1, y_2=-\frac{10}{13}. In the first case we get log⁡xa=1,x2=a\log_x a=1, x_2=a, and in the second case log⁡xa=−1013,x−1013=a,x3=a−1310\log_x a=-\frac{10}{13}, x^{-\frac{10}{13}}=a, x_3=a^{-\frac{13}{10}}.

Answer: x1=1,x2=a,x3=a−1310x_1=1, x_2=a, x_3=a^{-\frac{13}{10}}.

When solving logarithmic equations, it is sometimes convenient to use the following formula:

Alog⁡aB=Blog⁡aA(A>0,B>0,a>0,a≠1).A^{\log_a B}=B^{\log_a A} (A>0, B>0, a>0, a\neq1).

The proof of formula (19) is very simple: since both sides of this formula are positive, we find the logarithms to the base aa of Alog⁡aBA^{\log_a B} and Blog⁡aAB^{\log_a A}. It is easy to verify that these logarithms are equal to the same expression log⁡aAlog⁡aB\log_a A \log_a B; From the equality of logarithms we deduce the validity of formula (19).

Example 12. Solve equation 3log⁡ax+3xlog⁡a3=2(a>0,a≠1)3^{\log_a x}+3x^{\log_a 3}=2 (a>0, a\neq1).

Solution. ODZ: x>0x>0. By virtue of (19) xlog⁡a3=3log⁡axx^{\log_a 3}=3^{\log_a x}.

The pose equation can be written in the form 3log⁡ax+3⋅3log⁡ax=23^{\log_a x}+3\cdot3^{\log_a x}=2, from which it is found that 4⋅3log⁡ax=24\cdot3^{\log_a x}=2, that is, 3log⁡ax=123^{\log_a x}=\frac{1}{2}. Next we have log⁡ax=−log⁡32,x=a−log⁡32\log_a x=-\log_3 2, x=a^{-\log_3 2}.

Exercises

Solve equations:

  1. log⁡3(3x−1)log⁡3(3x+1−3)=6\log_3(3^x-1) \log_3(3^{x+1}-3)=6.
  2. xlog⁡x(x+3)2=16x^{\log_x(x+3)^2}=16.
  3. xlog⁡3x−log⁡3x=33log⁡2V2+4x^{\log_3 x-\log_3 x}=3^{3\log_2 V^2+4}.
  4. 15log⁡63xlog⁡5(9x)+1=115^{\log_6 3} x^{\log_5(9x)}+1=1.
  5. lg⁡(3x−11)+lg⁡(x−27)=3\lg(3x-11)+\lg(x-27)=3.
  6. 1log⁡6(3+x)+2log⁡0.25(4−x)log⁡2(3+x)=1\frac{1}{\log_6(3+x)}+\frac{2\log_0.25(4-x)}{\log_2(3+x)}=1.
  7. lg⁡1+x+3lg⁡1−x=lg⁡1−x2+2\lg\sqrt{1+x}+3\lg\sqrt{1-x}=\lg\sqrt{1-x^2}+2.
  8. log⁡xx2−14log⁡16xx3+40log⁡4xx=0\log_x x^2-14\log_{16x}x^3+40\log_{4x}\sqrt{x}=0.
  9. log⁡x10+2log⁡10x10+3log⁡100x10=0\log_x 10+2\log_{10x}10+3\log_{100x}10=0.
  10. 3xlog⁡62+2log⁡5x=643x^{\log_6 2}+2^{\log_5 x}=64.
  11. lg⁡x2+lg⁡(x+10)2=2lg⁡11\lg x^2+\lg(x+10)^2=2\lg 11.
  12. lg⁡[x(x+9)]+lg⁡x+9x=0\lg[x(x+9)]+\lg\frac{x+9}{x}=0.