Maths Olympiad Prep

Library / /1 of 3

Algebra Difficulty 4.9 AIME Prove it Romania

Let S=x1x2+x3x4++x2015x2016S = x_1x_2 + x_3x_4 + \dots + x_{2015}x_{2016}, where x1,x2,,x2016{32,3+2}x_1, x_2, \dots, x_{2016} \in \{\sqrt{3} - \sqrt{2}, \sqrt{3} + \sqrt{2}\}. Is the equality S=2016S = 2016 possible?

Solution

The answer is in the affirmative.
The terms of the sum can be: (32)(3+2)=1(\sqrt{3}-\sqrt{2})(\sqrt{3}+\sqrt{2}) = 1, (3+2)2=5+26(\sqrt{3}+\sqrt{2})^2 = 5+2\sqrt{6} or (32)2=526(\sqrt{3}-\sqrt{2})^2 = 5-2\sqrt{6}. If there are aa terms equal to 11, bb terms equal to 5+265+2\sqrt{6} and cc terms equal to 5265-2\sqrt{6}, then a,b,ca, b, c need to satisfy a+b+c=1008a+b+c = 1008, a+(5+26)b+(526)c=2016a+(5+2\sqrt{6})b+(5-2\sqrt{6})c = 2016. The last equality can be written a+5b+5c2016=6(2c2b)a+5b+5c-2016 = \sqrt{6}(2c-2b). As 6\sqrt{6} is irrational, it follows that b=cb=c and a+5b+5c=2016a+5b+5c = 2016. Finally we obtain a=756,b=c=126a=756, b=c=126.

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.