Maths Olympiad Prep

Library / /23 of 27

, 2008

Number theory Difficulty 6.7 National olympiad Prove it India

Prove that three distinct non-zero integers aa, bb, cc satisfy the equation
ab+bc+ca=3 \frac{a}{b} + \frac{b}{c} + \frac{c}{a} = 3
if and only if aa, bb, cc are given by
a=kuv2,b=ku2(u+v),c=kv(u+v)2, a = kuv^2, \quad b = -ku^2(u+v), \quad c = kv(u+v)^2,
(up to cyclic permutations) for some integers uu, vv, kk.

Solution

Let aa, bb, cc be a solution of the given equation. Putting
ab=X,bc=Y, \frac{a}{b} = X, \quad \frac{b}{c} = Y,
we have c/a=(1/XY)c/a = (1/XY). Note that XX and YY are rational numbers. The equation takes the form
X2Y+XY2+1=3XY.(1) X^2Y + XY^2 + 1 = 3XY. \quad (1)
This is a cubic curve. We observe that (1,1)(1, 1) is a point on the curve (1). If we know the rational points on (1), then we can get integer solutions of the given equation.
Suppose (x,y)(x, y) is a rational point on the curve (1). Then the line joining (x,y)(x, y) to (1,1)(1, 1) has rational slope. Conversely, any line through (1,1)(1, 1) having rational slope intersects the curve (1) in a point having rational coordinates.
Consider the line
y1x1=m, \frac{y-1}{x-1} = m,
where m1m \ne -1 is a non-zero rational number. Let its intersection with (1) be (X0,Y0)(1,1)(X_0, Y_0) \ne (1, 1). Then we have Y0=m(X01)+1Y_0 = m(X_0 - 1) + 1. Putting this in (1), we get
X02(m(X01)+1)+X0(m(X01)+1)2+1=3X0(m(X01)+1). X_0^2(m(X_0 - 1) + 1) + X_0(m(X_0 - 1) + 1)^2 + 1 = 3X_0(m(X_0 - 1) + 1).
This reduces to
(X01)2(m(1+m)X0+1)=0. (X_0 - 1)^2(m(1 + m)X_0 + 1) = 0.
Since X01X_0 \ne 1, we have
X0=1m(1+m),Y0=m(X01)+1=m2(1+m). X_0 = -\frac{1}{m(1+m)}, \quad Y_0 = m(X_0 - 1) + 1 = -\frac{m^2}{(1+m)}.
Thus
ab=1m(1+m),bc=m2(1+m),ac=m(1+m)2. \frac{a}{b} = -\frac{1}{m(1+m)}, \quad \frac{b}{c} = -\frac{m^2}{(1+m)}, \quad \frac{a}{c} = \frac{m}{(1+m)^2}.
Suppose m=v/um = v/u, where vv, uu are integers and gcd(v,u)=1\gcd(v, u) = 1. We get
ac=uv2v(v+u)2. \frac{a}{c} = \frac{uv^2}{v(v+u)^2}.
This gives
auv2=cv(v+u)2. \frac{a}{uv^2} = \frac{c}{v(v+u)^2}.
Similarly, the expression for a/ba/b gives
av2=bu(u+v). \frac{a}{v^2} = -\frac{b}{u(u+v)}.
We thus obtain
auv2=bu2(u+v)=cv(v+u)2. \frac{a}{uv^2} = -\frac{b}{u^2(u+v)} = \frac{c}{v(v+u)^2}.
Let each of these ratios be p/qp/q for some integers pp, qq. We obtain
qa=puv2,qb=pu2(u+v),qc=pv(u+v)2. qa = puv^2, \quad qb = -pu^2(u+v), \quad qc = pv(u+v)^2.
This shows that gcd(qb,qc)=±p(u+v)\gcd(qb, qc) = \pm p(u + v). Thus
±q(b,c)=±p(u+v). \pm q(b, c) = \pm p(u + v).
But qa=puv2qa = puv^2. It follows that ±qgcd(a,b,c)=p\pm q \gcd(a, b, c) = p. Hence
pq=±gcd(a,b,c)=k, \frac{p}{q} = \pm \gcd(a, b, c) = k,
say. Finally, we have
a=kuv2,b=ku2(u+v),c=kv(u+v)2. a = kuv^2, \quad b = -ku^2(u+v), \quad c = kv(u+v)^2.
It is easy to check that {a,b,c}\{a, b, c\} satisfies the given relation.

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.