Maths Olympiad Prep

Library / /2 of 8

, 2015

Algebra Difficulty 5.5 AIME, harder Prove it Slovenia

Real numbers xx and yy satisfy x3+x2+xy+x+y+2=0x^3 + x^2 + xy + x + y + 2 = 0 and y3y2+3yx=0y^3 - y^2 + 3y - x = 0. Determine the value of the expression xyx - y.

Solutions — 2

Solution 1

We subtract the equations to get
x3y3+x2+y2+xy+2x2y+2=0. x^3 - y^3 + x^2 + y^2 + xy + 2x - 2y + 2 = 0.
We rearrange the left side
x3y3+x2+y2+xy+2x2y+2==(xy)(x2+xy+y2)+(x2+xy+y2)+2(xy+1)==(xy+1)(x2+xy+y2)+2(xy+1)==(xy+1)(x2+xy+y2+2). \begin{align*} x^3 - y^3 + x^2 + y^2 + xy + 2x - 2y + 2 &= \\ = (x - y)(x^2 + xy + y^2) + (x^2 + xy + y^2) + 2(x - y + 1) = \\ = (x - y + 1)(x^2 + xy + y^2) + 2(x - y + 1) = \\ = (x - y + 1)(x^2 + xy + y^2 + 2). \end{align*}
Since x2+xy+y2+2=12(x2+(x+y)2+y2)+2>0x^2 + xy + y^2 + 2 = \frac{1}{2}(x^2 + (x+y)^2 + y^2) + 2 > 0 we must have xy+1=0x - y + 1 = 0. The value of the expression xyx - y equals 1-1.

Solution 2

From the second equation we express x=y3y2+3yx = y^3 - y^2 + 3y, insert it in the second equation, and simplify to get
y93y8+12y718y6+34y519y4+21y3+11y2+4y+2=0. y^{9} - 3y^{8} + 12y^{7} - 18y^{6} + 34y^{5} - 19y^{4} + 21y^{3} + 11y^{2} + 4y + 2 = 0.
With quite a lot of skill we can factor the left side of the equation to
(y3y2+2y+1)(y62y5+8y47y3+13y2+2)=0. (y^{3} - y^{2} + 2y + 1)(y^{6} - 2y^{5} + 8y^{4} - 7y^{3} + 13y^{2} + 2) = 0.
Since
y62y5+8y47y3+13y2+2=y4(y22y+1)+7y2(y2y+14)+454y2+2==y4(y1)2+7y2(y12)2+454y2+2>0, \begin{align*} y^{6} - 2y^{5} + 8y^{4} - 7y^{3} + 13y^{2} + 2 &= y^{4}(y^{2} - 2y + 1) + 7y^{2}\left(y^{2} - y + \frac{1}{4}\right) + \frac{45}{4}y^{2} + 2 = \\ = y^{4}(y - 1)^{2} + 7y^{2}\left(y - \frac{1}{2}\right)^{2} + \frac{45}{4}y^{2} + 2 > 0, \end{align*}
we must have y3y2+2y+1=0y^3 - y^2 + 2y + 1 = 0 which gives y=y3y2+3y+1y = y^3 - y^2 + 3y + 1. Therefore
xy=(y3y2+3y)(y3y2+3y+1)=1. x - y = (y^3 - y^2 + 3y) - (y^3 - y^2 + 3y + 1) = -1.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.