1990 IMO Problems/Problem 4

Problem

Let $\mathbb{Q^+}$ be the set of positive rational numbers. Construct a function $f :\mathbb{Q^+}\rightarrow\mathbb{Q^+}$ such that $f(xf(y)) = \frac{f(x)}{y}$ for all $x, y\in{Q^+}$ .

Solution

If we let $y = x = 1$ this implies $f(f(1)) = f(1)$ . Plugging $f(1) = y$ in with this new fact. We get $f(f(f(1))) = \frac{f(1)}{f(1)} = 1$ . Using $f(f(1)) = f(1)$ again, we see that $f(f(f(1))) = f(f(1)) = f(1) = 1$ . Now plugging in $x = 1$ we get $f(f(y)) = \frac{1}{y}$ . Such a function can not be continuous as if $f(x)$ is increasing or decreasing on some observable interval, $f(f(x))$ will be increasing on that interval but $\frac{1}{x}$ is decreasing on all positive intervals. This indicates the function is discrete which means we can assign a "4-chain" of $f(a) = b$ , $f(b) = \frac{1}{a}$ , $f(\frac{1}{a}) = \frac{1}{b}$ , and $f(\frac{1}{b}) = a$ . It is obvious to see that any function where $f(f(x)) = \frac{1}{x}$ . Must follow such a structure. The problem occurs that we do not know whether our current value of $x$ is a $b$ or an $a$ . To make non-trivial progress on this we must split all rational numbers into two sets, $S_1$ and $S_2$ , such that if $E \in S_1$ then $\frac{1}{E} \in S_1$ . As long as $S_1$ and $S_2$ have the same size, so the bijection $f(\textrm{an element from }S_1)$ = $(\textrm{an element from } S_2)$ can hold, there will exist a piece-wise function (possibly with a greater than countable infinity number of pieces) that satisfies f(x).

To find one of these functions we can limit our searching by proving that $f(ab) = f(a)f(b)$ . To do this simply set $x = \frac{1}{f(y)}$ yielding: \newline $f(1) = f(f(y) \times \frac{1}{f(y)}) = \frac{f(\frac{1}{f(y)})}{y} = 1$ . This means that $f(x) = y$ . Since $X,Y \in Q+$ there will always be an $x$ that suffices this and a corresponding $y$ . Thus $f(ab)$ with $b = f(c)$ $\leftrightarrow$ $c = \frac{1}{f(b)}$ expands into $f(af(c)) = \frac{f(a)}{c} = f(a)f(b)$ .

Utilizing $f(ab) = f(a)f(b)$ we can see that if we break-down every ratio into it's prime factorization of the numerator and denominator. Our "4-chain" is simply $f(p) = q$ , $f(q) = \frac{1}{p}$ , $f(\frac{1}{p}) = \frac{1}{q}$ , $f(\frac{1}{q}) = p$ where $p$ and $q$ are unique primes. Thus our 2 sets $S_1$ and $S_2$ is simply 2 sets of equal size containing only primes. A good way to do this assuming we aren't given the sequence of all infinite primes (as this would require an explicit formula that does not yet exist) is to split the primes into 2 and 1 mod 6 being in one set with 3 and 5 mod 6 in the other. These sets have equal sizes from a strong form of Dirichlet's theorem on arithmetic progressions.

Thus we have created our two sets and to show that this actually works we will let $x = P_1^{E_{1x}} \times P_2^{E_{2x}} \times P_3^{E_{3x}} \times \dots$ where $P_i$ is a prime and $E_{ix}$ are integers. Define $y$ similarly. For the sake of simplicity if $i$ is odd then $P_i \in S_1$ and if $i$ is even $P_i \in S_2$ . Where our "4-chain" is $f(p_n) = p_{n+1}$ , $f(p_{n+1}) = \frac{1}{p_n}$ , $f(\frac{1}{p_n}) = \frac{1}{p_{n+1}}$ , $f(\frac{1}{p_{n+1}}) = p_n$ with $n$ being odd. Then $f(y) = P_2^{E_{1y}} \times P_1^{-E_{2y}} \times P_4^{E_{3y}} \times P_3^{-E_{4y}}\dots$ (remember $f(ab) = f(a)f(b)$ ). \newline Then $xf(y) = P_1^{E_{1x} - E_{2y}} \times P_2^{E_{2x} + E_{1y}} \times P_3^{E_{3x} - E_{4y}} \times \dots$ \newline $f(xf(y)) = P_2^{E_{1x} - E_{2y}} \times P_1^{-E_{2x} - E_{1y}} \times P_4^{E_{3x} - E_{4y}} \times P_3^{-E_{4x} - E_{3y}} \dots$ \newline $f(x) = P_2^{E_{1x}} \times P_1^{-E_{2x}} \times P_4^{E_{3x}} \times P_3^{-E_{4x}}\dots$ \newline $\frac{f(x)}{y} = P_2^{E_{1x}- E_{2y}} \times P_1^{-E_{2x} - E_{1y}} \times P_4^{E_{3x} - E_{4y}} \times P_3^{-E_{4x} - E_{3y}}\dots$ \newline Thus $f(xf(y)) = \frac{f(x)}{y}$ QED This problem needs a solution. If you have a solution for it, please help us out by adding it.

1990 IMO (Problems) • Resources
Preceded by Problem 3	1 • 2 • 3 • 4 • 5 • 6	Followed by Problem 5
All IMO Problems and Solutions

Page

Toolbox

Search

1990 IMO Problems/Problem 4

Problem

Solution

See Also