Maths Olympiad Prep

Library / /76 of 462

Algebra Difficulty 5.0 AIME Prove it Ireland

Let aa, bb, cc, dd be real numbers. Show there is a pair (x,y)(x, y) of real numbers such that x1|x| \le 1, y1|y| \le 1 and a+bx+cy+dxy31+x2+y21|a + bx + cy + dxy - \frac{3}{1 + x^2 + y^2}| \ge 1.

Solution

Let
g(x,y)=a+bx+cy+dxy31+x2+y2. g(x, y) = a + bx + cy + dxy - \frac{3}{1 + x^2 + y^2}.
Then taking the centre of the square [1,1]2[-1, 1]^2 and its four corners, we have
g(0,0)=a3g(1,1)=a+b+c+d1g(1,1)=ab+cd1g(1,1)=abc+d1g(1,1)=a+bcd1 \begin{align*} g(0, 0) &= a - 3 \\ g(1, 1) &= a + b + c + d - 1 \\ g(-1, 1) &= a - b + c - d - 1 \\ g(-1, -1) &= a - b - c + d - 1 \\ g(1, -1) &= a + b - c - d - 1 \end{align*}

g(1,1)+g(1,1)+g(1,1)+g(1,1)=4a4=4g(0,0)+8 g(1, 1) + g(-1, 1) + g(-1, -1) + g(1, -1) = 4a - 4 = 4g(0, 0) + 8
We can consider two cases: either g(0,0)1g(0, 0) \le -1 or g(0,0)>1g(0, 0) > -1.

In the first case, setting (x,y)=(0,0)(x, y) = (0, 0) gives the result claimed. Otherwise, we have 4g(0,0)+8>44g(0, 0) + 8 > 4 in which case:
g(1,1)+g(1,1)+g(1,1)+g(1,1)>4 g(1, 1) + g(-1, 1) + g(-1, -1) + g(1, -1) > 4
Then (at least) one of the terms on the left hand side must exceed 11 and the result is proved.

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.