Skip to content

Solving a Logarithm Inequality: Log vs Fraction

Solve the following logarithm inequality: which number is higher: log_2(3) + log_3(2) or \frac{13}{6}?

Introduction:

This question is very easy when you have a calculator, but how would you go around solving it without one

Solutions:

First Method

One workable idea is to approximate the values of the logarithms. How can you do that without a calculator?

Think back to the definition of a logarithm: \log_2 3 is equal to the real number “x” for which we have 2^x=3. Knowing that 2^1=2 and 2^2=4, we find that this x, and hence \log_2 3 is between 1 and 2; Similarly, as 3^0 is one and 3^1 is 3, \log_3 2 is between zero and one. We can sum the two inequalities, getting that \log_2 3 + \log_3 2 is between 1 and 3.

Now we come back to the right-hand side of the initial comparison. Compute \frac{13}{6}, which is equal to 2.1(6). This value is between 1 and 3, so the first bounds for the sum are not good enough. We need to find tighter approximations for our logarithms!

We saw before that when we can compare powers of 2 and 3, we find upper and lower bounds for \log_2 3 and \log_3 2. Let’s write down some of the powers of 2 and 3! For 2, it’s easy to compute them up to 11; For base 3, we can momentarily stop at 3^8.

Now, going down the list of powers, we have to find pairs close in value. We already tried 2^1 and 3^1, 2^2, and 3^1, but they did not produce estimations that are accurate enough.

The first pair that is close in value is 256 and 243. So, 2^8> 3^5: by getting the 5th root of the inequality, we obtain that \log_2 3 is less than \frac{8}{5}; Also, by extracting the 8th root of the same relation, we conclude that \log_3 2 is more than \frac{5}{8}.

We have half of the necessary limits of the given inequality. To obtain the opposite approximations for the two logarithms, we need to find close powers of 2 and 3, with the one with base 3 being the bigger one.

The next pair we can use is 2^{11} and 3^7. Just as before: by getting the 7th and 11th roots of the inequality, we conclude that \log_2 3 is larger than \frac{11}{7} and log_3 2 is smaller than \frac{7}{11}.

Armed with these approximations, are they enough to compare the sum of logarithms with \frac{13}{6}? By summing, we get that \log_2 3 + log_3 2 is greater than \frac{123}{56} and less than \frac{123}{55}. It only remains to compare both of these numbers with \frac{13}{6}. We hope that this value is not in the interval between the approximations.

Since the two ratios have the same numerator, let’s bring all three to a common one, namely 1599. So, \frac{13}{6} is \frac{1599}{738}, the upper bound is \frac{1599}{715}, and the lower one is \frac{1599}{728}. It’s easy to see that \frac{1599}{738} is less than the sum of logarithms, and hence, the maximum between \log_2 3 + \log_3 2 and \frac{13}{6} is the former.

Second Method

Ok, so we have our answer. But what if this manner of getting upper and lower bounds does not cross your mind? Is there another way to solve this? Maybe without the need to compute high-level powers of 2 and 3 and do fraction operations?

We can try and manipulate the two values we need to compare. First, let’s rewrite everything in standard logarithm notation, using the natural logarithm and the change of base formula.

We easily see that if we denote \log_2 3 by a, \log_3 2 is a^{-1}.  We can now rewrite our comparison as a + a^{-1} compared to \frac{13}{6}; Multiplying by “a” preserves the direction of the inequality since we know that it is positive. Bring everything to one side, and we are just left to compare a second-degree function in “a” with 0.

Easy enough!

Using the properties of the quadratic equation, we find the roots of the function to be \frac{2}{3} and \frac{3}{2}. We also lay out the intervals bounded by them and the sign that the function f takes on them. We now have to find where on this axis is the value a=\log_2 3.

As \log_2 3 is more than 1; it is also bigger than \frac{2}{3}.

We can see that:

  • if \log_2 3 would be less than \frac{3}{2};
  • then 3 would be less than 2^{1.5};
  • 9<8, clearly a false statement.

So, \log_2 3 is strictly greater than \frac{3}{2}. In conclusion, for a=\log_2 3, f(a) > 0, and given the series of equivalent relations from the beginning, this implies that \log_2 3 + \log_3 2  > \frac{13}{6}.

Video Solution

Feel free to share your thoughts and ideas in the Latex-enabled comment section below!

Leave a Reply

Your email address will not be published. Required fields are marked *