Maths Olympiad Prep

Library / India competition problems /1 of 8

India competition problems

Algebra Difficulty 4.6 AIME Prove it India

Let aa, bb, cc be distinct positive real numbers such that abc=1abc = 1. Prove that
∑cyclica6(a−b)(a−c)>15. \sum_{\text{cyclic}} \frac{a^6}{(a-b)(a-c)} > 15.

Solution

Let us consider a cubic polynomial whose roots are aa, bb, cc. We get P(x)=x3−px2+qx−rP(x) = x^3 - px^2 + qx - r, where p=a+b+cp = a + b + c, q=ab+bc+caq = ab + bc + ca and r=abcr = abc. We observe that
an(a−b)(a−c)+bn(b−c)(b−a)+cn(c−a)(c−b)=∑cyclic−an(b−c)(a−b)(b−c)(c−a) \frac{a^n}{(a-b)(a-c)} + \frac{b^n}{(b-c)(b-a)} + \frac{c^n}{(c-a)(c-b)} = \sum_{\text{cyclic}} \frac{-a^n(b-c)}{(a-b)(b-c)(c-a)}
Let us write
Sn=∑cyclican(b−c)−(a−b)(b−c)(c−a) S_n = \sum_{\text{cyclic}} \frac{a^n (b-c)}{-(a-b)(b-c)(c-a)}
It is easy to see that S1=0S_1 = 0 and S2=1S_2 = 1. Since aa, bb, cc are the roots of P(x)=0P(x) = 0, we have a3−pa2+qa−r=0a^3 - pa^2 + qa - r = 0, b3−pb2+qb−r=0b^3 - pb^2 + qb - r = 0, c3−pc2+qc−r=0c^3 - pc^2 + qc - r = 0. Multiply the first by b−cb-c, the second by c−ac-a and the third by a−ba-b, and adding all these and dividing the sum by −(a−b)(b−c)(c−a)-(a-b)(b-c)(c-a), we obtain S3−pS2+qS1=0S_3 - pS_2 + qS_1 = 0. Hence S3=pS_3 = p. Now multiply the first by aa, the second by bb and the third by cc and divide throughout by −(a−b)(b−c)(c−a)-(a-b)(b-c)(c-a) to get S4−pS3+qS2−rS1=0S_4 - pS_3 + qS_2 - rS_1 = 0. Hence S4=p2−qS_4 = p^2 - q. Similarly, S5=p(p2−q)−qp+r=p3−2pq+rS_5 = p(p^2 - q) - qp + r = p^3 - 2pq + r. We also get S6−pS5+qS4−rS3=0S_6 - pS_5 + qS_4 - rS_3 = 0. This gives
S6=p(p3−2pq+r)−q(p2−q)+rp=p4−3p2q+2pr+q2. S_6 = p(p^3 - 2pq + r) - q(p^2 - q) + rp = p^4 - 3p^2q + 2pr + q^2.
We can write it as S6=p2(p2−3q)+2pr+q2S_6 = p^2(p^2 - 3q) + 2pr + q^2. But p2−3q=(a+b+c)2−3(ab+bc+ca)=a2+b2+c2−ab−bc−ca>0p^2 - 3q = (a + b + c)^2 - 3(ab + bc + ca) = a^2 + b^2 + c^2 - ab - bc - ca > 0. Hence
S6>2pr+q2=2abc(a+b+c)+(ab+bc+ca)2≥6+9=15. S_6 > 2pr + q^2 = 2abc(a + b + c) + (ab + bc + ca)^2 \geq 6 + 9 = 15.

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.