Maths Olympiad Prep

Track / Stage 6 / 318 of 400 #1318 of 1964

Problem 1318

National Olympiad, first round
Algebra Difficulty 6.4 Find the answer

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.

Next problem →

Official solution

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

y=−2z2z−1=−2z2−2+2z−1=−2(z+1)−2z−1 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, z−1z-1 must divide 2, so z−1z-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=−2z2z−1y=-\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=yk−yx=\frac{y}{k}-y and substitute into the equation. We get

y=yk(2yk−2y+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 y≠0y \neq 0. Then we can divide both sides by yy and express

y=k2k+2=k2+2k−2kk+2=k(k+2)−2k−4+4k+2=k+−2(k+2)+4k+2=k−2+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(3y−1)=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)2−16=a2(y+4)^2-16=a^2 or (y+4−a)(y+4+a)=16(y+4-a)(y+4+a)=16. The numbers y+4−ay+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+a≥y+4−ay+4+a \geq y+4-a. We consider the following cases.

If y+4−a=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+4−a=4=y+4+ay+4-a=4=y+4+a, then a=y=0a=y=0 and x=0x=0. From y+4−a=−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+4−a=−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 reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.