Maths Olympiad Prep

Library / /2 of 32

Algebra Difficulty 4.7 AIME Prove it Romania

Let kk and nn be integer numbers with 2kn12 \le k \le n - 1. Consider a set AA of nn real numbers such that the sum of any kk distinct elements of AA is a rational number. Prove that all elements of the set AA are rational numbers.

Solution

The difference of any two elements from AA is a rational number. To show this, let xyAx \ne y \in A and choose other k1k-1 elements of AA – the choice can be made, for k1n2k-1 \le n-2. Denote ss the sum of the k1k-1 elements and apply the hypothesis to infer that x+sx+s and y+sy+s are both rational numbers. Subtracting we get xyQx-y \in \mathbb{Q}, as claimed.

Now let αA\alpha \in A. Rewrite the elements of AA as α+qi\alpha + q_i, qiQq_i \in \mathbb{Q}. The sum of kk distinct elements is equal to kα+qiQk\alpha + \sum q_i \in \mathbb{Q}, hence αQ\alpha \in \mathbb{Q}, as needed.

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.