Maths Olympiad Prep

Library / /34 of 50

Algebra Difficulty 5.7 AIME, harder Prove it Belarus

Given nonzero real numbers a,b,ca, b, c, with
a+b+c=a2+b2+c2=a3+b3+c3.() a + b + c = a^2 + b^2 + c^2 = a^3 + b^3 + c^3. \quad (*)
a) Find (1a+1b+1c)(a+b+c2)\left(\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\right) (a + b + c - 2).
b) Do there exist pairwise different nonzero a,b,ca, b, c satisfying ()(*)?
(D. Bazylev)

Solution

a) (Solution of M.Mankevich, E.Dovgialo.) Let σ1=a+b+c\sigma_1 = a + b + c, σ2=ab+bc+ca\sigma_2 = ab + bc + ca, σ3=abc\sigma_3 = abc. From the given equalities we have the system
σ1=σ122σ2(1),σ12=σ133σ1σ2+3σ3.(2) \sigma_1 = \sigma_1^2 - 2\sigma_2 \quad (1), \quad \sigma_1^2 = \sigma_1^3 - 3\sigma_1\sigma_2 + 3\sigma_3. \quad (2)
From (1) we have σ12=σ132σ1σ2\sigma_1^2 = \sigma_1^3 - 2\sigma_1\sigma_2. Then from (2) it follows that
2σ1σ2=σ1σ2+3σ3.(3) -2\sigma_1\sigma_2 = -\sigma_1\sigma_2 + 3\sigma_3. \quad (3)
Finally, the expression we search is
σ2σ3(σ12)=σ1σ22σ2σ3=[in view of (3)]=3σ3σ3=3. \frac{\sigma_2}{\sigma_3}(\sigma_1 - 2) = \frac{\sigma_1\sigma_2 - 2\sigma_2}{\sigma_3} = [\text{in view of (3)}] = \frac{3\sigma_3}{\sigma_3} = 3.

b) It is easy to verify, that a=12a = \frac{1}{2}, b=2+64b = \frac{2+\sqrt{6}}{4}, c=264c = \frac{2-\sqrt{6}}{4} satisfy the given system.

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.