Maths Olympiad Prep

Track / Stage 5 / 101 of 400 #701 of 1964

Problem 701

AIME late
Algebra Difficulty 5.2 Find the answer

5. Try to find all positive integers nn such that the equation
x3+y3+z3=nx2y2z2 x^{3}+y^{3}+z^{3}=n x^{2} y^{2} z^{2}

has positive integer solutions.

A number or a short expression. Spacing and $ signs are ignored.

Official solution

Given xyzx \geq y \geq z, then
3x3=x3+y3+z3=nx2y2z2.3x=ny2z3.y,zN,1+y3z3y3+z3=nx2y2z2x3=x2(ny2z2x)x3. \begin{array}{l} 3 x^{3}=x^{3}+y^{3}+z^{3}=n x^{2} y^{2} z^{2} . \\ \therefore \quad 3 x=n y^{2} z^{3} . \\ \because \quad y, \quad z \in \mathbb{N}, \\ \therefore \quad 1+y^{3} z^{3} \geq y^{3}+z^{3} \\ \quad=n x^{2} y^{2} z^{2}-x^{3} \\ \quad=x^{2}\left(n y^{2} z^{2}-x\right) \geqslant x^{3} . \end{array}

From (1) and (2), we get
9(1+y3z3)9x2n2y4z4 9\left(1+y^{3} z^{3}\right) \geqslant 9 x^{2} \geqslant n^{2} y^{4} z^{4} \text {. }
If yz>1y z>1, then y4z4>1+y3z3y^{4} z^{4}>1+y^{3} z^{3}.
From (3), we get 9>n29>-n^{2}. Therefore, n=1n=1 or 2. That is, n4n \leqslant 4.

Thus, it has been proven that (**) has no positive integer solutions. Now, we will discuss the cases for n=1,2,3,4n=1, 2, 3, 4 separately.
For n=1n=1, the solution is
x=3;y=2,z=1x=3 ; y=2, z=1.
For n=2n=2, (**) becomes
x3+y3+z3=2x2y2z2. x^{3}+y^{3}+z^{3}=2 x^{2} y^{2} z^{2}.
From (1) and (3), we get 9(1+y3z3)4y4z49\left(1+y^{3} z^{3}\right) \geqslant 4 y^{4} z^{4}.
yz2\therefore \quad y z \leqslant 2.
i) If yz=1y z=1, then (4) becomes
x3+2=2x2. x^{3}+2=2 x^{2}.

This equation has no integer solutions, as 2x2x32 x^{2}-x^{3} is a multiple of 4, which cannot equal 2, leading to a contradiction. Therefore, equation (4) has no solutions.
ii) If yz=2y z=2, then (4) becomes
x3+9=8x2. x^{3}+9=8 x^{2}.

This simplifies to (x+1)(x29x+9)=0(x+1)\left(x^{2}-9 x+9\right)=0.
This equation has no positive integer solutions, so (4) has no solutions.
For n=3n=3, (**) has the solution
x=y=z=1. x=y=z=1.
For n=4n=4, (**) becomes
x3+y3+z3=4x2y2z2. x^{3}+y^{3}+z^{3}=4 x^{2} y^{2} z^{2}.

From (1), we know yz=1y z=1, so (5) becomes
x3+2=4x2. x^{3}+2=4 x^{2}.

If this equation has a solution, then xx must be even. However, 4x2x34 x^{2}-x^{3} is a multiple of 4, leading to a contradiction. Therefore, (**) has no solutions in this case.

In summary, when n=1n=1 or 3, (**) has positive integer solutions.

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