Maths Olympiad Prep

Library / Romanian Mathematical Olympiad /17 of 275

Romanian Mathematical Olympiad

Combinatorics Difficulty 4.9 AIME Prove it Romania

Consider two sets AA and BB of real numbers that have the following properties:
a. 0∈A0 \in A;
b. if 1+x∈A1+x \in A, then 1+x+x2∈B\sqrt{1+x+x^2} \in B;
c. if x2−x+1∈B\sqrt{x^2 - x + 1} \in B, then 2+x∈A2+x \in A.
Prove that 3\sqrt{3}, 13\sqrt{13}, 31\sqrt{31} are elements of the set BB and 2024∈A2024 \in A.

Solution

Since 1+(−1)=0∈A1 + (-1) = 0 \in A, according to (b) we obtain 1∈B1 \in B and, since 1=02−0+1∈B1 = \sqrt{0^2 - 0 + 1} \in B, we infer from (c) that 2∈A2 \in A, from which 3∈B\sqrt{3} \in B.

Since 22−2+1=3∈B\sqrt{2^2 - 2 + 1} = \sqrt{3} \in B, it follows from (c) that 2+2=4∈A2 + 2 = 4 \in A and, from (b), we infer 13∈B\sqrt{13} \in B.

Since 42−4+1=13∈B\sqrt{4^2 - 4 + 1} = \sqrt{13} \in B, we further infer that 2+4=6∈A2 + 4 = 6 \in A and thus 1+5+52=31∈B\sqrt{1+5+5^2} = \sqrt{31} \in B.

Using the equality 1+x+x2=(x+1)2−(x+1)+11+x+x^2 = (x+1)^2 - (x+1)+1, we have that if 1+x∈A1+x \in A, then 3+x∈A3+x \in A. Since 0∈A0 \in A, 2∈A2 \in A and it follows that the set AA contains all the even numbers. In particular, 2024∈A2024 \in A.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.