Maths Olympiad Prep

Library / /239 of 377

Algebra Difficulty 5.2 AIME, harder Prove it United States

Problem:

Two real numbers xx and yy are such that 8y4+4x2y2+4xy2+2x3+2y2+2x=x2+18 y^{4} + 4 x^{2} y^{2} + 4 x y^{2} + 2 x^{3} + 2 y^{2} + 2 x = x^{2} + 1. Find all possible values of x+2y2x + 2 y^{2}.

Solution

Solution:

Answer: 12\frac{1}{2}.

Writing a=x+2y2a = x + 2 y^{2}, the given quickly becomes 4y2a+2x2a+a+x=x2+14 y^{2} a + 2 x^{2} a + a + x = x^{2} + 1. We can rewrite 4y2a4 y^{2} a for further reduction to a(2a2x)+2x2a+a+x=x2+1a(2 a - 2 x) + 2 x^{2} a + a + x = x^{2} + 1, or
2a2+(2x22x+1)a+(x2+x1)=0 2 a^{2} + (2 x^{2} - 2 x + 1) a + (-x^{2} + x - 1) = 0
The quadratic formula produces the discriminant
(2x22x+1)2+8(x2x+1)=(2x22x+3)2, (2 x^{2} - 2 x + 1)^{2} + 8(x^{2} - x + 1) = (2 x^{2} - 2 x + 3)^{2},
an identity that can be treated with the difference of squares, so that a=2x2+2x1±(2x22x+3)4=12,x2+x1a = \frac{-2 x^{2} + 2 x - 1 \pm (2 x^{2} - 2 x + 3)}{4} = \frac{1}{2}, -x^{2} + x - 1. Now aa was constructed from xx and yy, so is not free. Indeed, the second expression flies in the face of the trivial inequality: a=x2+x1<x2+xx+2y2=aa = -x^{2} + x - 1 < -x^{2} + x \leq x + 2 y^{2} = a. On the other hand, a=1/2a = 1 / 2 is a bona fide solution to ()\left(^*\right), which is identical to the original equation.

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.