Maths Olympiad Prep

Track / Stage 6 / 262 of 400 #1262 of 1964

Problem 1262

National olympiad, first round
Algebra Difficulty 6.4 Find the answer

4. Find all integer solutions of the equation

y=(x+y)(2x+3y) y=(x+y)(2x+3y)

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

Official solution

III/4. 1. method. Let x+y=zx+y=z, so x=zyx=z-y. Then y=z(2z2y+3y)=z(2z+y)y=z(2z-2y+3y) = z(2z+y), from which we can express

y=2z2z1=2z22+2z1=2(z+1)2z1 y=-\frac{2z^2}{z-1}=-\frac{2z^2-2+2}{z-1}=-2(z+1)-\frac{2}{z-1}

Since yy is an integer, z1z-1 must divide 2, so z1z-1 is equal to 2,1,12, 1, -1 or -2. We get in turn z=3,z=2,z=0z=3, z=2, z=0 and z=1z=-1, from which we can calculate that the pairs (x,y)(x, y) are equal to (12,9),(10,8),(0,0)(12,-9), (10,-8), (0,0) and (2,1)(-2,1).

Introduction of x+y=zx+y=z

1 point

Writing y=2z2z1y=-\frac{2z^2}{z-1} or equivalent 1 point

!

!
(If the contestant writes pairs (x,y)(x, y) that satisfy the equation but does not justify that there are no other pairs, award a maximum of 4 points.)

2. method. We observe that the number x+yx+y must divide yy. Therefore, we can write y=k(x+y)y=k(x+y) for some integer kk. If k=0k=0, it follows that y=0y=0 and from the original equation also x=0x=0. Otherwise, we can express x=ykyx=\frac{y}{k}-y and substitute into the equation. We get

y=yk(2yk2y+3y)=y2k(1+2k) y=\frac{y}{k}\left(\frac{2y}{k}-2y+3y\right)=\frac{y^2}{k}\left(1+\frac{2}{k}\right)

The case y=0y=0 has already been considered, so let y0y \neq 0. Then we can divide both sides by yy and express

y=k2k+2=k2+2k2kk+2=k(k+2)2k4+4k+2=k+2(k+2)+4k+2=k2+4k+2 y=\frac{k^2}{k+2}=\frac{k^2+2k-2k}{k+2}=\frac{k(k+2)-2k-4+4}{k+2}=k+\frac{-2(k+2)+4}{k+2}=k-2+\frac{4}{k+2}

From this, it follows that k+2k+2 is a divisor of 4. We consider six cases, as k+2k+2 can be ±1,±2\pm 1, \pm 2 and ±4\pm 4. For k+2=1k+2=1, we get y=1y=1 and x=2x=-2, for k+2=2k+2=2 we get k=0k=0, which we have already considered separately. If k+2=4k+2=4, then y=3y=3 and x=32x=-\frac{3}{2}, which is not an integer.

The case k+2=1k+2=-1 gives y=9y=-9 and x=12x=12, and k+2=2k+2=-2 gives y=8y=-8 and x=10x=10. The remaining case is k+2=4k+2=-4, from which we get y=9y=-9 and x=212x=\frac{21}{2}, which is also not an integer.

Observation that x+yx+y divides yy

1 point

Writing y=k2k+2y=\frac{k^2}{k+2} or equivalent 1 point

Conclusion that k+2k+2 divides 4

1 point

Solutions (x,y){(12,9),(10,8),(0,0),(2,1)}(x, y) \in \{(12,-9),(10,-8),(0,0),(-2,1)\}

1 point

(If the contestant writes pairs (x,y)(x, y) that satisfy the equation but does not justify that there are no other pairs, award a maximum of 4 points.)

3. method. The equation can be rewritten as

2x2+5xy+y(3y1)=0 2x^2 + 5xy + y(3y-1) = 0

For the quadratic equation in xx to have an integer solution, the discriminant must be a perfect square. Thus, D=y2+8y=a2D=y^2+8y=a^2, from which it follows that (y+4)216=a2(y+4)^2-16=a^2 or (y+4a)(y+4+a)=16(y+4-a)(y+4+a)=16. The numbers y+4ay+4-a and y+4+ay+4+a are of the same parity, so both are even. We can assume that the number aa is non-negative, so y+4+ay+4ay+4+a \geq y+4-a. We consider the following cases.

If y+4a=2y+4-a=2 and y+4+a=8y+4+a=8, then y=1,a=3y=1, a=3, and the quadratic equation has one integer root x=2x=-2. If y+4a=4=y+4+ay+4-a=4=y+4+a, then a=y=0a=y=0 and x=0x=0. From y+4a=4=y+4+ay+4-a=-4=y+4+a we get a=0,y=8a=0, y=-8 and x=10x=10. The remaining case is y+4a=8y+4-a=-8, y+4+a=2y+4+a=-2, where y=9,a=3y=-9, a=3 and x=12x=12.

!

!

!

!

(If the contestant writes pairs (x,y)(x, y) that satisfy the equation but does not justify that there are no other pairs, award a maximum of 4 points.)

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