Maths Olympiad Prep

Track / Stage 7 / 44 of 300 #1924 of 2444

Problem 1924

National Olympiad second round; IMO P1/P4
Algebra Difficulty 7.1 Prove it Ukrainian Mathematical Olympiad · Ukraine

a) Prove that for any rational number α(0;1)\alpha \in (0; 1) there exists an infinite set of real numbers that satisfy the equation {x[x{x}]}=α\{x[x\{x\}]\} = \alpha and any two of them have the same fractional part.

b) Prove that for any rational number α(0;1)\alpha \in (0; 1) there exists an infinite set of real numbers that satisfy the equation {x[x{x}]}=α\{x[x\{x\}]\} = \alpha and any two of them have different fractional parts.

(The fractional part of a real number aa is given by {a}=aa\{a\} = a - \lfloor a \rfloor, where a\lfloor a \rfloor is its integer part, i.e., the greatest integer that does not exceed aa.)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

a) Let α=pq\alpha = \frac{p}{q}, where p,qNp, q \in \mathbb{N}, p<qp < q. Consider y=pq+1qy = pq + \frac{1}{q}. Then all x=y+mx = y + m, where m=qnm = q^n, nNn \in \mathbb{N}, n2n \ge 2, have equal fractional parts and satisfy the given equation. Indeed, then we have:
{x}={y},m{y}N,my{y}N, \{x\} = \{y\}, \quad m\{y\} \in \mathbb{N}, \quad my\{y\} \in \mathbb{N},

x{x}=(y+m){y}=y{y}+m{y},[x{x}]=[y{y}]+m{y},x[x{x}]=(y+m)([y{y}]+m{y})=y[y{y}]+m[y{y}]+my{y}+m2{y},{x[x{x}]}={y[y{y}]}=pq=α.\begin{align*} x\{x\} &= (y+m)\{y\} = y\{y\} + m\{y\}, & [x\{x\}] &= [y\{y\}] + m\{y\}, \\ x[x\{x\}] &= (y+m)([y\{y\}] + m\{y\}) = y[y\{y\}] + m[y\{y\}] + my\{y\} + m^2\{y\}, & \\ \{x[x\{x\}]\} &= \{y[y\{y\}]\} = \frac{p}{q} = \alpha. \end{align*}

b) For α=pq\alpha = \frac{p}{q}, p,qNp, q \in \mathbb{N}, p<qp < q, consider x=pqn2+1qnx = pqn^2 + \frac{1}{qn}, nNn \in \mathbb{N}.
Then
ENV0 {x}=1qn,x{x}=(pqn2+1qn)1qn=pn+1q2n2,[x{x}]=pn,x[x{x}]=(pqn2+1qn)pn=p2qn3+pq,{x[x{x}]}=pq=α.\begin{align*} \{x\} &= \frac{1}{qn}, \quad x\{x\} = \left( pqn^2 + \frac{1}{qn} \right) \frac{1}{qn} = pn + \frac{1}{q^2 n^2}, \quad [x\{x\}] = pn, \\ x[x\{x\}] &= \left( pqn^2 + \frac{1}{qn} \right) pn = p^2 q n^3 + \frac{p}{q}, \quad \{x[x\{x\}]\} = \frac{p}{q} = \alpha. \end{align*}

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