Maths Olympiad Prep

Library / /82 of 120

, 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+b2Aa^2 + b^2 \in A for every a,bAa, b \in A with aba \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,,an12+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<<an12+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 2n3n2n - 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 a2c2=aca^2 - c^2 = a - c, hence a+c=1a + c = 1. Substituting in the second relation of (1) it follows
b=a2+(1a)2=2a22a+1=2(a2a)+1=2b2+1, b = a^2 + (1 - a)^2 = 2a^2 - 2a + 1 = 2(a^2 - a) + 1 = -2b^2 + 1,
therefore (2b1)(b+1)=0(2b - 1)(b + 1) = 0, hence b=12b = \frac{1}{2}. Then a2a+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,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.