Maths Olympiad Prep

Library / /30 of 42

Algebra Difficulty 6.6 National olympiad Prove it Ireland

Let S=N{1/nnN}S = \mathbb{N} \cup \{1/n \mid n \in \mathbb{N}\} be the set of all positive integers and their reciprocals. A function f:SSf : S \to S, defined on SS and with values in SS, is called semi-reciprocal if f(f(x))=1/xf(f(x)) = 1/x for all xSx \in S.

a. Find a semi-reciprocal function.

b. Show that for every semi-reciprocal function ff there is exactly one number pSp \in S such that f(p)=pf(p) = p.

Solution

We first note that if ff is a semi-reciprocal function and f(1)=aSf(1) = a \in S, then f(a)=f(f(1))=1f(a) = f(f(1)) = 1. Hence, a=f(1)=f(f(a))=1/aa = f(1) = f(f(a)) = 1/a, and so a2=1a^2 = 1. Since SS does not contain negative numbers, we must have a=1a = 1, i.e. f(1)=1f(1) = 1 for each semi-reciprocal function ff.

If aSa \in S and b=f(a)b = f(a), the condition f(f(x))=1/xf(f(x)) = 1/x implies
f(b)=f(f(a))=1/a,f(1/a)=f(f(b))=1/b,f(1/b)=f(f(1/a))=a, f(b) = f(f(a)) = 1/a, \quad f(1/a) = f(f(b)) = 1/b, \quad f(1/b) = f(f(1/a)) = a,
i.e., the function ff cyclically permutes the four numbers a,b,1/a,1/ba, b, 1/a, 1/b:
ab1a1ba.(5) a \mapsto b \mapsto \frac{1}{a} \mapsto \frac{1}{b} \mapsto a. \qquad (5)

To solve (a) we construct a semi-reciprocal function ff by defining
f(1)=1f(2n)=2n+1f(2n+1)=12nf(12n)=12n+1f(12n+1)=2n. \begin{aligned} f(1) &= 1 & f(2n) &= 2n + 1 & f(2n + 1) &= \frac{1}{2n} \\ f\left(\frac{1}{2n}\right) &= \frac{1}{2n + 1} & f\left(\frac{1}{2n + 1}\right) &= 2n. \end{aligned}
for all integers n1n \ge 1. This settles part (a). More generally, such functions can be obtained from a partition of the positive integers greater than 1 into ordered pairs (a,b)(a, b) by applying (5). In the example given above, the pairs (2n,2n+1)(2n, 2n + 1) are used.

To finish part (b), we first note that we have seen above that f(p)=pf(p) = p has the solution p=1p = 1. We need to show that there is no other solution.

Suppose pSp \in S satisfies f(p)=pf(p) = p. Because ff is semi-reciprocal, we obtain
p=f(p)=f(f(p))=1/p, p = f(p) = f(f(p)) = 1/p,
hence p2=1p^2 = 1 and therefore p=1p = 1, since pSp \in S is positive.

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.