Maths Olympiad Prep

Library / /11 of 15

Algebra Difficulty 6.0 AIME, harder Prove it Romania

Let aa and bb be real numbers different from 00 and let f:RRf: \mathbb{R} \to \mathbb{R} be a function defined by
f(x)={ax,xQbx,xRQ f(x) = \begin{cases} ax, & x \in \mathbb{Q} \\ bx, & x \in \mathbb{R} \setminus \mathbb{Q} \end{cases}
Prove that ff is injective if and only if ff is surjective.

Solution

The function ff is injective if and only if abQ\frac{a}{b} \in \mathbb{Q}. Indeed, suppose ff is injective and abRQ\frac{a}{b} \in \mathbb{R} \setminus \mathbb{Q}. Then f(ab)=a=f(1)f\left(\frac{a}{b}\right) = a = f(1), a contradiction. Suppose now that abQ\frac{a}{b} \in \mathbb{Q} and let x1,x2x_1, x_2 such that f(x1)=f(x2)f(x_1) = f(x_2). If x1,x2RQx_1, x_2 \in \mathbb{R} \setminus \mathbb{Q} or x1,x2Qx_1, x_2 \in \mathbb{Q}, then x1=x2x_1 = x_2. If x1RQx_1 \in \mathbb{R} \setminus \mathbb{Q} and x2Qx_2 \in \mathbb{Q}, then ax2=bx1a x_2 = b x_1 and consequently ab=x1x2RQ\frac{a}{b} = \frac{x_1}{x_2} \in \mathbb{R} \setminus \mathbb{Q}, a contradiction. Hence ff is injective.

The function ff is surjective if and only if abQ\frac{a}{b} \in \mathbb{Q}. To this end, suppose ff is surjective and let xx with f(x)=bf(x) = b. If xRQx \in \mathbb{R} \setminus \mathbb{Q} then x=1x = 1, a contradiction. Therefore xx is rational and so ax=ba x = b, implying ab=1xQ\frac{a}{b} = \frac{1}{x} \in \mathbb{Q}. Conversely, suppose abQ\frac{a}{b} \in \mathbb{Q} and let yRy \in \mathbb{R}. Since yaRQ\frac{y}{a} \in \mathbb{R} \setminus \mathbb{Q} and ybQ\frac{y}{b} \in \mathbb{Q} can not occur simultaneously, we have either f(ya)=yf\left(\frac{y}{a}\right) = y or f(yb)=yf\left(\frac{y}{b}\right) = y. Hence ff is surjective.

The claim now follows.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.