Maths Olympiad Prep

Library / /13 of 34

Algebra Difficulty 5.3 AIME, harder Prove it Romania

Let a(0,1)a \in (0, 1). Solve in R\mathbb{R} the equation a[x]+loga{x}=xa^{[x]} + \log_a\{x\} = x.

Solution

It is clear that xZx \notin \mathbb{Z} and as a[x]>0a^{[x]} > 0, loga{x}>0\log_a\{x\} > 0, we should have x>0x > 0. If x(0,1)x \in (0, 1), then 0<logax=x1<00 < \log_a x = x - 1 < 0, which is absurd. Hence, x(0,)Nx \in (0, \infty) \setminus \mathbb{N}.
Let f:R(0,+)f: \mathbb{R} \to (0, +\infty), f(x)=axf(x) = a^x, which is of course a bijective and strictly decreasing function. Now the equation could be written as f([x])+f1({x})=[x]+{x}f([x]) + f^{-1}(\{x\}) = [x] + \{x\}.
Let us denote f1({x})=yf^{-1}(\{x\}) = y. Then {x}=f(y)\{x\} = f(y) and the previous relation becomes f([x])+y=[x]+f(y)f([x])[x]=f(y)yf([x]) + y = [x] + f(y) \Leftrightarrow f([x]) - [x] = f(y) - y.
As the function g(t)=f(t)tg(t) = f(t) - t is strictly decreasing, and thus injective, we obtain that [x]=y[x] = y, that is f([x])={x}f([x]) = \{x\}.

Finally, if [x]=nN[x] = n \in \mathbb{N}, we get an=xna^n = x - n, and thus, the solutions of the equation are the numbers xn=n+anx_n = n + a^n, for nNn \in \mathbb{N}^*.

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

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.