Maths Olympiad Prep

Library / /44 of 64

Algebra Difficulty 8.0 Shortlist Find the answer

Let SS be a set of rational numbers such that
\begin{enumerate}
\item[(a)] 0S0 \in S;
\item[(b)] If xSx \in S then x+1Sx+1\in S and x1Sx-1\in S; and
\item[(c)] If xSx\in S and x∉{0,1}x\not\in\{0,1\}, then 1x(x1)S\frac{1}{x(x-1)}\in S.
\end{enumerate}
Must SS contain all rational numbers?

A number or a short expression. Spacing and $ signs are ignored.

Solution

The answer is no; indeed, $S = \mathbb{Q} \setminus \{n+2/5 \,|\,
n\in\mathbb{Z}\}satisfiesthegivenconditions.Clearly satisfies the given conditions. Clearly S$ satisfies
(a) and (b); we need only check that it satisfies (c). It suffices to
show that if x=p/qx = p/q is a fraction with (p,q)=1(p,q)=1 and p>0p>0, then we
cannot have 1/(x(x1))=n+2/51/(x(x-1)) = n+2/5 for an integer nn. Suppose otherwise; then
(5n+2)p(pq)=5q2. (5n+2)p(p-q) = 5q^2.
Since pp and qq are relatively prime, and pp divides 5q25q^2, we must
have p5p\,|\,5, so p=1p=1 or p=5p=5. On the other hand, pqp-q and qq are
also relatively prime, so pqp-q divides 55 as well, and pqp-q must be
\pm 1 or \pm 5. This leads to eight possibilities for (p,q)(p,q):
(1,0)(1,0), (5,0)(5,0), (5,10)(5,10), (1,4)(1,-4), (1,2)(1,2), (1,6)(1,6), (5,4)(5,4),
(5,6)(5,6). The first three are impossible, while the final five lead to
5n+2=16,20,36,16,365n+2 = 16,-20,-36,16,-36 respectively, none of which holds for
integral nn.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.