Maths Olympiad Prep

Library / China Team Selection Test /7 of 92

China Team Selection Test

Number theory Difficulty 7.2 National Olympiad, round 2 Find the answer

Find all pairs of positive integers (x,y)(x, y) such that (xy+1)(xy+x+2)(xy+1)(xy+x+2) be a perfect square .

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

To find all pairs of positive integers (x,y)(x, y) such that (xy+1)(xy+x+2)(xy+1)(xy+x+2) is a perfect square, we start by analyzing the given expression.

First, consider the greatest common divisor (gcd) of the two terms:
gcd⁡(xy+1,xy+x+2). \gcd(xy+1, xy+x+2).
Using the properties of gcd, we have:
gcd⁡(xy+1,xy+x+2)=gcd⁡(xy+1,x+1). \gcd(xy+1, xy+x+2) = \gcd(xy+1, x+1).
This simplifies further to:
gcd⁡(xy+1,x+1)=gcd⁡(y−1,x+1). \gcd(xy+1, x+1) = \gcd(y-1, x+1).

Let x+1=dax+1 = da and y−1=dby-1 = db where gcd⁡(a,b)=1\gcd(a, b) = 1. Then we can express xy+1xy+1 and xy+x+2xy+x+2 as:
xy+1=d⋅u2andxy+x+2=d⋅v2, xy+1 = d \cdot u^2 \quad \text{and} \quad xy+x+2 = d \cdot v^2,
for some relatively prime integers uu and vv.

Using the relationship a=v2−u2a = v^2 - u^2, we can rewrite the equation as:
u2=(d⋅b+1)(v2−u2)−b, u^2 = (d \cdot b + 1)(v^2 - u^2) - b,
or equivalently:
(d⋅b+1)v2−(d⋅b+2)u2=b. (d \cdot b + 1)v^2 - (d \cdot b + 2)u^2 = b.

This is a form of a Pell equation. To solve this, note that v>uv > u. Let v=X+Y2v = \frac{X+Y}{2} and u=X−Y2u = \frac{X-Y}{2} for positive integers XX and YY. Substituting these into the equation, we get:
X2−(4bd+6)XY+Y2+4b=0. X^2 - (4bd + 6)XY + Y^2 + 4b = 0.

Using Vieta jumping, assume there is a solution (X,Y)(X, Y) in positive integers with X≥YX \ge Y. By symmetry, the pair (Y2+4bX,Y)\left( \frac{Y^2+4b}{X}, Y \right) is also a solution. Repeating this process, we eventually reach pairs (X1,Y)(X_1, Y) and (X2,Y)(X_2, Y) with X1>X2≥YX_1 > X_2 \ge Y. This implies:
X1+X2=(4bd+6)Y,X1⋅X2=Y2+4b. \begin{align*} X_1 + X_2 &= (4bd + 6)Y, \\ X_1 \cdot X_2 &= Y^2 + 4b. \end{align*}

If min⁡(X1,X2)>Y\min(X_1, X_2) > Y and X1+X2=(4bd+6)YX_1 + X_2 = (4bd + 6)Y, then:
X1⋅X2≥Y⋅(4bd+5)Y>Y2+4b, X_1 \cdot X_2 \ge Y \cdot (4bd + 5)Y > Y^2 + 4b,
which leads to a contradiction.

Thus, there are no pairs of positive integers (x,y)(x, y) such that (xy+1)(xy+x+2)(xy+1)(xy+x+2) is a perfect square.

The answer is: No\boxed{\text{No}} solutions}}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.