Maths Olympiad Prep

Library / /2 of 8

Number theory Difficulty 5.7 AIME, harder Prove it South Korea

Show that there are no rational numbers xx and yy such that
x1x+y1y=4. x - \frac{1}{x} + y - \frac{1}{y} = 4.

Solution

Suppose that there are rational numbers xx and yy such that x1x+y1y=4x - \frac{1}{x} + y - \frac{1}{y} = 4.
Since (1x,y)\left(-\frac{1}{x}, y\right), (x,1y)\left(x, -\frac{1}{y}\right) and (1x,1y)\left(-\frac{1}{x}, -\frac{1}{y}\right) are solutions of the equation, we can assume that x>0x > 0 and y>0y > 0.

Letting u=xyu = xy, we get x+y=4xyxy1=4uu1x + y = \frac{4xy}{xy - 1} = \frac{4u}{u - 1}. Note that u>0u > 0 and u1u \ne 1.
Now the quadratic equation
T24uu1T+u=0 T^2 - \frac{4u}{u-1}T + u = 0
has rational solutions xx and yy. So the discriminant (4uu1)24u\left(\frac{4u}{u-1}\right)^2 - 4u is a square of a rational number. Then
4u2u(u1)2=u(6uu21) 4u^2 - u(u-1)^2 = u(6u - u^2 - 1)
is a square of a rational number.
Let u=qpu = \frac{q}{p} with distinct positive integers pp and qq such that (p,q)=1(p, q) = 1. From
u(6uu21)=q(6pqp2q2)p3=1p4pq(6pqp2q2), u(6u - u^2 - 1) = \frac{q(6pq - p^2 - q^2)}{p^3} = \frac{1}{p^4} \cdot pq(6pq - p^2 - q^2),
we know pq(6pqp2q2)pq(6pq - p^2 - q^2) is a square of an integer. Because p,qp, q and 6pqp2q26pq - p^2 - q^2 are pairwise relatively prime, there are positive integers s,ts, t and ww such that
p=s2,q=t2,andw2=6pqp2q2. p = s^2, \quad q = t^2, \quad \text{and} \quad w^2 = 6pq - p^2 - q^2.
Thus w2=6s2t2s4t4=(2st)2(s2t2)2w^2 = 6s^2t^2 - s^4 - t^4 = (2st)^2 - (s^2 - t^2)^2. Note that (s,t)=1(s, t) = 1 and sts \neq t.
Without loss of generality assume s>t>0s > t > 0. Assume that (s,t,w)(s, t, w) is the positive integer solution of w2=6s2t2s4t4=(2st)2(s2t2)2w^2 = 6s^2t^2 - s^4 - t^4 = (2st)^2 - (s^2 - t^2)^2 which makes s+ts+t minimum.
Because 2st2st is even in the Pythagorean triple {w,s2t2,2st}\{w, s^2 - t^2, 2st\}, we know s2t2s^2 - t^2 is even and ss and tt are odd. So (s2t22,st)=1\left(\frac{s^2 - t^2}{2}, st\right) = 1. Then
(w2)2+(s2t22)2=(st)2 \left(\frac{w}{2}\right)^2 + \left(\frac{s^2 - t^2}{2}\right)^2 = (st)^2
gives a primitive Pythagorean triple (w2,s2t22,st)\left(\frac{w}{2}, \frac{s^2 - t^2}{2}, st\right). So there are positive integers mm and nn such that (m,n)=1(m, n) = 1, s2t2=4mns^2 - t^2 = 4mn and st=m2+n2st = m^2 + n^2. We can assume that mm is even and nn is odd.
From the equality s2t2=(s+t)(st)=4mns^2 - t^2 = (s+t)(s-t) = 4mn, there are positive integers A,B,C,DA, B, C, D which are pairwise relatively prime satisfying
s+t=2AB,st=2CD,m=AC,n=BD. s + t = 2AB, \quad s - t = 2CD, \quad m = AC, \quad n = BD.
By plugging these to st=m2+n2st = m^2 + n^2, we have 2A2B2=(A2+D2)(B2+C2)2A^2B^2 = (A^2 + D^2)(B^2 + C^2). Then we know CC is even from the assumption that mm is even. Note that A,B,DA, B, D are odd.
Now from the equality 2A2B2=(A2+D2)(B2+C2)2A^2B^2 = (A^2 + D^2)(B^2 + C^2), we get A2=B2+C2A^2 = B^2 + C^2, 2B2=A2+D22B^2 = A^2 + D^2. Then from A2=B2+C2A^2 = B^2 + C^2, we get A=a2+b2A = a^2 + b^2, B=a2b2B = a^2 - b^2, C=2abC = 2ab with

positive integers aa and bb such that (a,b)=1(a,b) = 1 and a>b>0a > b > 0. Then 2B2=A2+D22B^2 = A^2 + D^2
becomes a4+b46a2b2=D2a^4 + b^4 - 6a^2b^2 = D^2. Now (2D)2=6(a+b)2(ab)2(a+b)4(ab)4(2D)^2 = 6(a+b)^2(a-b)^2 - (a+b)^4 - (a-b)^4.
We have a contradiction from the minimality of s+ts+t since s+t=2AB=2B(a2+b2)>2a=(a+b)+(ab)>0s+t = 2AB = 2B(a^2 + b^2) > 2a = (a+b) + (a-b) > 0.
Therefore, there are no rational numbers xx and yy such that x1x+y1y=4x - \frac{1}{x} + y - \frac{1}{y} = 4.

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.