Olympiad Maths Prep

Library / /31 of 45

Algebra Difficulty 6.5 National olympiad Prove it Ukraine

Find the smallest real number CC for which the following condition is true: for any different positive integers x,yx, y the inequality holds
{{x2+2y},{y2+2x}}<C. \{\{\sqrt{x^2 + 2y}\}, \{\sqrt{y^2 + 2x}\}\} < C.

Here, {a}[0;1)\{a\} \in [0; 1) denotes the fractional part of the number aa, that is, there exists an integer nn for which the equality a=n+{a}a = n + \{a\} holds. For example, {3.14}=0.14\{3.14\} = 0.14.

Solution

We will show that the desired CC is the positive root of the equation x2+x=1x^2 + x = 1, C=512C = \frac{\sqrt{5}-1}{2}.

First, suppose that for some positive integers x<yx < y the inequalities x2+2y>C\sqrt{x^2 + 2y} > C, {y2+2x}>C\{\sqrt{y^2 + 2x}\} > C hold. Note that y2<y2+2x<(y+1)2y^2 < y^2 + 2x < (y + 1)^2, so we have y2+2x>(y+C)22x>2Cy+C2x>Cyy^2 + 2x > (y + C)^2 \Leftrightarrow 2x > 2Cy + C^2 \Rightarrow x > Cy. Then (x+1)2<x2+2y<x2+2Cx<x2+4x<(x+2)2(x+1)^2 < x^2 + 2y < x^2 + \frac{2}{C}x < x^2 + 4x < (x+2)^2.

So x2+2y>(x+1+C)22y>2(C+1)x+(C+1)2y>(C+1)xx^2 + 2y > (x + 1 + C)^2 \Leftrightarrow 2y > 2(C + 1)x + (C + 1)^2 \Rightarrow y > (C + 1)x.
But then xy>xyC(C+1)=xyxy > xy \cdot C(C + 1) = xy: a contradiction.

Now let's show that any C1<CC_1 < C does not satisfy the condition. Consider y=[(C+1)x]y = [(C + 1)x] for some sufficiently large xx.
We show that starting from some xx we have x2+2y>C1\sqrt{x^2 + 2y} > C_1, y2+2x>C1\sqrt{y^2 + 2x} > C_1.
It is easy to see that y2<y2+2x<(y+1)2y^2 < y^2 + 2x < (y + 1)^2 and also (x+1)2<x2+2y<(x+2)2(x + 1)^2 < x^2 + 2y < (x + 2)^2 so it suffices to show that for sufficiently large xx it holds that x2+2y>(x+1+C1)2x^2 + 2y > (x + 1 + C_1)^2, y2+2x>(y+C1)2y^2 + 2x > (y + C_1)^2. These inequalities are equivalent to the following:
2y>2x(C1+1)+(C1+1)22y > 2x(C_1 + 1) + (C_1 + 1)^2, 2x>2yC1+C122x > 2yC_1 + C_1^2. Note that 2y2x(C1+1)2x(C+1)22x(C1+1)=2x(CC1)22y - 2x(C_1 + 1) \ge 2x(C + 1) - 2 - 2x(C_1 + 1) = 2x(C - C_1) - 2 which is greater than (C1+1)2(C_1 + 1)^2 for a sufficiently large xx. Also note that 2x2yC1<2x2x(C+1)C1=x(2(C+1)C1)2x - 2yC_1 < 2x - 2x(C + 1)C_1 = x(2 - (C + 1)C_1). Since (C+1)C1<(C+1)C=1(C + 1)C_1 < (C + 1)C = 1, this value is greater than C12C_1^2 for a sufficiently large xx.

Looking for a route rather than 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.