Olympiad Maths Prep

Track / Stage 7 / 32 of 300 #1432 of 2000

Problem 1432

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.0 Find the answer

Consider the system x+y=z+u,x+y=z+u, 2xy=zu.2xy=zu. Find the greatest value of the real constant mm such that mxym \le \frac{x}{y} for any positive integer solution (x,y,z,u)(x, y, z, u) of the system, with xyx \ge y.

Official solution

1. Given System of Equations:
x+y=z+u x + y = z + u
2xy=zu 2xy = zu
We need to find the greatest value of the real constant m m such that mxy m \le \frac{x}{y} for any positive integer solution (x,y,z,u)(x, y, z, u) of the system, with xy x \ge y .

2. Analyzing the Solutions:
We are given that all solutions (x,y,z,u)(x, y, z, u) such that gcd(z,u)=d\gcd(z, u) = d, zd\frac{z}{d} is odd, and x>yx > y are in the form:
(x,y,z,u)=d(m(m+n),n(mn),m2n2,2mn) (x, y, z, u) = d(m(m+n), n(m-n), m^2 - n^2, 2mn)
where mm and nn are coprime positive integers with different parities such that m>nm > n.

3. **Expressing the Ratio xy\frac{x}{y}:**
Let q=mnq = \frac{m}{n}. Then:
x=dm(m+n)=dnq(q+1) x = d \cdot m(m+n) = d \cdot n \cdot q(q+1)
y=dn(mn)=dn(q1) y = d \cdot n(m-n) = d \cdot n(q-1)
Therefore:
xy=dnq(q+1)dn(q1)=q(q+1)q1 \frac{x}{y} = \frac{d \cdot n \cdot q(q+1)}{d \cdot n(q-1)} = \frac{q(q+1)}{q-1}

4. Optimizing the Ratio:
We need to find the minimum value of q(q+1)q1\frac{q(q+1)}{q-1} for q>1q > 1. Let:
f(q)=q(q+1)q1 f(q) = \frac{q(q+1)}{q-1}
Simplifying f(q)f(q):
f(q)=q2+qq1=q+1+q+1q1 f(q) = \frac{q^2 + q}{q-1} = q + 1 + \frac{q + 1}{q-1}
To find the minimum value, we can use calculus. First, find the derivative f(q)f'(q):
f(q)=ddq(q2+qq1) f'(q) = \frac{d}{dq} \left( \frac{q^2 + q}{q-1} \right)
Using the quotient rule:
f(q)=(2q+1)(q1)(q2+q)(1)(q1)2 f'(q) = \frac{(2q + 1)(q-1) - (q^2 + q)(1)}{(q-1)^2}
Simplifying the numerator:
(2q+1)(q1)(q2+q)=2q22q+q1q2q=q22q1 (2q + 1)(q-1) - (q^2 + q) = 2q^2 - 2q + q - 1 - q^2 - q = q^2 - 2q - 1
Thus:
f(q)=q22q1(q1)2 f'(q) = \frac{q^2 - 2q - 1}{(q-1)^2}
Setting f(q)=0f'(q) = 0:
q22q1=0 q^2 - 2q - 1 = 0
Solving this quadratic equation:
q=2±4+42=1±2 q = \frac{2 \pm \sqrt{4 + 4}}{2} = 1 \pm \sqrt{2}
Since q>1q > 1, we take:
q=1+2 q = 1 + \sqrt{2}

5. Calculating the Minimum Value:
Substituting q=1+2q = 1 + \sqrt{2} into f(q)f(q):
f(1+2)=(1+2)(2+2)2=(1+2)(2+2)2 f(1 + \sqrt{2}) = \frac{(1 + \sqrt{2})(2 + \sqrt{2})}{\sqrt{2}} = \frac{(1 + \sqrt{2})(2 + \sqrt{2})}{\sqrt{2}}
Simplifying:
f(1+2)=2+32+22=4+322=22+3 f(1 + \sqrt{2}) = \frac{2 + 3\sqrt{2} + 2}{\sqrt{2}} = \frac{4 + 3\sqrt{2}}{\sqrt{2}} = 2\sqrt{2} + 3

Thus, the greatest value of mm such that mxym \le \frac{x}{y} for any positive integer solution (x,y,z,u)(x, y, z, u) of the system, with xyx \ge y, is 3+223 + 2\sqrt{2}.

The final answer is 3+22\boxed{3 + 2\sqrt{2}}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.