Maths Olympiad Prep

Library / /9 of 97

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. Spacing and $ signs are ignored.

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(y1,x+1). \gcd(xy+1, x+1) = \gcd(y-1, x+1).

Let x+1=dax+1 = da and y1=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=du2andxy+x+2=dv2, 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=v2u2a = v^2 - u^2, we can rewrite the equation as:
u2=(db+1)(v2u2)b, u^2 = (d \cdot b + 1)(v^2 - u^2) - b,
or equivalently:
(db+1)v2(db+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=XY2u = \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 XYX \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>X2YX_1 > X_2 \ge Y. This implies:
X1+X2=(4bd+6)Y,X1X2=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:
X1X2Y(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: \boxed{\text{No solutions}}.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.