Maths Olympiad Prep

Library / /5 of 17

Algebra Difficulty 4.8 AIME Prove it Bulgaria

Find all pairs (x,y)(x, y) of real numbers for which
4y4+x4+12y3+5x2(y2+1)+y2+4=12y. 4y^4 + x^4 + 12y^3 + 5x^2(y^2 + 1) + y^2 + 4 = 12y.

Solutions — 2

Solution 1

We have the inequalities x40x^4 \geq 0, 5x2(y2+1)05x^2(y^2+1) \geq 0 and 4y4+12y3+y212y+4=(2y1)2(y+2)204y^4 + 12y^3 + y^2 - 12y + 4 = (2y-1)^2(y+2)^2 \geq 0. The sum of the left sides is 0 if and only if each of them is equal to 0. The first two lead to x=0x = 0, and the third to y=2y = -2 or y=12y = \frac{1}{2}. \square

Solution 2

We have the inequalities x40x^4 \geq 0, 5x2(y2+1)05x^2(y^2 + 1) \geq 0 and 4y4+12y3+y212y+4=(2y1)2(y+2)204y^4 + 12y^3 + y^2 - 12y + 4 = (2y - 1)^2(y + 2)^2 \geq 0. The sum of the left sides is 00 if and only if each of them is equal to 00. The first two lead to x=0x = 0, and the third to y=2y = -2 or y=12y = \frac{1}{2}.

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.