Maths Olympiad Prep

Library / /21 of 42

Algebra Difficulty 5.4 AIME, harder Prove it Ireland

Solve, for all real xx and yy,
x3+y3=19,x2+y2+5x+5y+xy=12. x^3 + y^3 = 19, \\ x^2 + y^2 + 5x + 5y + xy = 12.

Solution

Let s=x+ys = x + y and p=xyp = xy, then xx and yy are the roots of T2sT+p=0T^2 - sT + p = 0,
x2+y2=s22p(3) x^2 + y^2 = s^2 - 2p \quad (3)
and
x2+y2+5x+5y+xy=s2+5sp=12, x^2 + y^2 + 5x + 5y + xy = s^2 + 5s - p = 12,
thus
p=s2+5s12.(4) p = s^2 + 5s - 12. \quad (4)
Using (3) and (4), we get
x3+y3=(x+y)(x2+y2xy)=s(s23p)=s(s23(s2+5s12))=2s315s2+36s=19, \begin{align*} x^3 + y^3 &= (x + y)(x^2 + y^2 - xy) \\ &= s(s^2 - 3p) = s(s^2 - 3(s^2 + 5s - 12)) \\ &= -2s^3 - 15s^2 + 36s = 19, \end{align*}
yielding
2s3+15s236s+19=0.(5) 2s^3 + 15s^2 - 36s + 19 = 0. \qquad (5)
It is easy to detect that s=1s = 1 is a root of this cubic, and by factoring out s1s-1, we find the resulting quadratic 2s2+17s192s^2+17s-19 which has roots s=1s = 1 and s=19/2s = -19/2. Corresponding to s=1s = 1 we find p=6p = -6 from (4). To find xx and yy, we solve T2T6=0T^2-T-6 = 0 which has roots 2-2 and 33. We get (x,y)=(2,3)(x, y) = (-2, 3) or (x,y)=(3,2)(x, y) = (3, -2), both satisfying the original equations.

Corresponding to s=19/2s = -19/2 we find p=123/4p = 123/4. The equation T2+192T+1234=0T^2 + \frac{19}{2}T + \frac{123}{4} = 0 has negative discriminant s24p=1314s^2 - 4p = -\frac{131}{4} hence no real solutions.

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.