Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /193 of 395

Saudi Arabian Mathematical Competitions, 2012

Algebra Difficulty 5.6 AIME, harder Prove it Saudi Arabia

Find all the finite sets AA of real positive numbers having at least two elements, with the property that a2+b2∈Aa^2 + b^2 \in A for every a,b∈Aa, b \in A with a≠ba \neq b.

Solution

If a1<a2<⋯<ana_1 < a_2 < \dots < a_n are the elements of AA, then a12+a22,a12+a32,…,a12+an2,a22+an2,…,an−12+an2a_1^2 + a_2^2, a_1^2 + a_3^2, \dots, a_1^2 + a_n^2, a_2^2 + a_n^2, \dots, a_{n-1}^2 + a_n^2 belong to AA, and we have
a12+a22<a12+a32<⋯<a12+an2<a22+an2<⋯<an−12+an2a_1^2 + a_2^2 < a_1^2 + a_3^2 < \dots < a_1^2 + a_n^2 < a_2^2 + a_n^2 < \dots < a_{n-1}^2 + a_n^2,
which implies 2n−3≤n2n - 3 \le n. It follows that AA has at most 3 elements.
If n=3n=3 and A={a,b,c}A = \{a, b, c\} with a<b<ca < b < c, then a2<b2<c2a^2 < b^2 < c^2, hence a2+b2<a2+c2<b2+c2a^2 + b^2 < a^2 + c^2 < b^2 + c^2.
Since A={a,b,c}={a2+b2,a2+c2,b2+c2}A = \{a, b, c\} = \{a^2 + b^2, a^2 + c^2, b^2 + c^2\}, it follows
a2+b2=a,a2+c2=b,b2+c2=c.(1) a^2 + b^2 = a, \quad a^2 + c^2 = b, \quad b^2 + c^2 = c. \quad (1)
From the first and the last relation in (1) we get a2−c2=a−ca^2 - c^2 = a - c, hence a+c=1a + c = 1. Substituting in the second relation of (1) it follows
b=a2+(1−a)2=2a2−2a+1=2(a2−a)+1=−2b2+1, b = a^2 + (1 - a)^2 = 2a^2 - 2a + 1 = 2(a^2 - a) + 1 = -2b^2 + 1,
therefore (2b−1)(b+1)=0(2b - 1)(b + 1) = 0, hence b=12b = \frac{1}{2}. Then a2−a+14=0a^2 - a + \frac{1}{4} = 0
leads to a=12a = \frac{1}{2}, which contradicts a<ba < b.

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.