Find the smallest real number C for which the following condition is true: for any different positive integers x,y the inequality holds {{x2+2y},{y2+2x}}<C.
Here, {a}∈[0;1) denotes the fractional part of the number a, that is, there exists an integer n for which the equality a=n+{a} holds. For example, {3.14}=0.14.
Solution
We will show that the desired C is the positive root of the equation x2+x=1, C=25−1.
First, suppose that for some positive integers x<y the inequalities x2+2y>C, {y2+2x}>C hold. Note that y2<y2+2x<(y+1)2, so we have y2+2x>(y+C)2⇔2x>2Cy+C2⇒x>Cy. Then (x+1)2<x2+2y<x2+C2x<x2+4x<(x+2)2.
So x2+2y>(x+1+C)2⇔2y>2(C+1)x+(C+1)2⇒y>(C+1)x. But then xy>xy⋅C(C+1)=xy: a contradiction.
Now let's show that any C1<C does not satisfy the condition. Consider y=[(C+1)x] for some sufficiently large x. We show that starting from some x we have x2+2y>C1, y2+2x>C1. It is easy to see that y2<y2+2x<(y+1)2 and also (x+1)2<x2+2y<(x+2)2 so it suffices to show that for sufficiently large x it holds that x2+2y>(x+1+C1)2, y2+2x>(y+C1)2. These inequalities are equivalent to the following: 2y>2x(C1+1)+(C1+1)2, 2x>2yC1+C12. Note that 2y−2x(C1+1)≥2x(C+1)−2−2x(C1+1)=2x(C−C1)−2 which is greater than (C1+1)2 for a sufficiently large x. Also note that 2x−2yC1<2x−2x(C+1)C1=x(2−(C+1)C1). Since (C+1)C1<(C+1)C=1, this value is greater than C12 for a sufficiently large x.
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.