Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /116 of 275

Romanian Mathematical Olympiad

Algebra Difficulty 5.6 AIME, harder Prove it Romania

3log⁡5(5x−10)−2=5−1+log⁡3x. 3^{\log_5(5x-10)} - 2 = 5^{-1+\log_3 x}.

Solution

We notice that the equation has solutions x1=3x_1 = 3 and x2=27x_2 = 27. We show that the equation does not have any other solutions.

Continuation A.
Using the properties of logarithms, the equation becomes 15⋅3log⁡5(x−2)=10+5log⁡3x15 \cdot 3^{\log_5(x-2)} = 10 + 5^{\log_3 x}, or 15(x−2)log⁡53=10+xlog⁡3515(x-2)^{\log_5 3} = 10 + x^{\log_3 5}, with x>2x > 2. Since log⁡35>1\log_3 5 > 1 and 0<log⁡53<10 < \log_5 3 < 1, the function 2<x↦15(x−2)log⁡532 < x \mapsto 15(x-2)^{\log_5 3} is strictly concave, and the function 0<x↦10+xlog⁡350 < x \mapsto 10+x^{\log_3 5} is strictly convex. Hence, the function f:(2,∞)→Rf : (2, \infty) \to \mathbb{R}, f(x)=15(x−2)log⁡53−10−xlog⁡35f(x) = 15(x-2)^{\log_5 3} - 10 - x^{\log_3 5} is strictly concave, and the equation has at most two solutions.

Continuation B.
From the existence condition of logarithms, we have x>2x > 2. We observe that the function f:(2,∞)→(0,∞)f : (2, \infty) \to (0, \infty), f(x)=3log⁡5(5x−10)f(x) = 3^{\log_5(5x-10)} has inverse which is f−1(x)=5log⁡3x+105f^{-1}(x) = \frac{5^{\log_3 x}+10}{5}, and the equation from the statement becomes f(x)=f−1(x)f(x) = f^{-1}(x).
Since ff is strictly increasing, the equation from the statement is equivalent to f(x)=xf(x) = x, meaning 3log⁡5(5x−10)=x3^{\log_5(5x-10)} = x, or log⁡5(5x−10)=log⁡3x\log_5(5x-10) = \log_3 x. If log⁡5(5x−10)=log⁡3x=t\log_5(5x-10) = \log_3 x = t, then x=3t=15(5t+10)x = 3^t = \frac{1}{5}(5^t + 10), which is equivalent to solving the equation 5⋅3t=5t+105 \cdot 3^t = 5^t + 10, or 5=(53)t+10(13)t5 = \left(\frac{5}{3}\right)^t + 10\left(\frac{1}{3}\right)^t, with t>log⁡32t > \log_3 2. Since the function g:(log⁡32,∞)→Rg : (\log_3 2, \infty) \to \mathbb{R}, g(t)=(53)t+10(13)tg(t) = \left(\frac{5}{3}\right)^t + 10\left(\frac{1}{3}\right)^t is strictly convex, being the sum of strictly convex functions, the equation g(t)=5g(t) = 5 admits at most two solutions.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.