53届IMO预选题——0

求所有的三元正整数数组 $(x,y,z)$ , 使得$x\le y\le z$ , 且

$$x^3(y^3+z^3)=2012(xyz+2)\cdots ①$$
(第53届IMO预选题)

注意到，
$2012(xyz+2)=x^3(y^3+z^3)\ge x^4(y^2+z^2)\ge 2x^{4}yz$
$\Rightarrow 2012\ge xyz(x^3-1006)$
又 $x\le y\le z$ ，则 $x<11$ .
对式 ① 两边取模 $x$ 得
$x|4024=8\times 503$
$\Rightarrow x=1,2,4,8.$
若 $4|x$ 则式①中 $2$ 的幂次左边大于右边，矛盾.
故 $x=1$ 或 $2$
令 $y+z=s$ , $z-y=t$.
(1)若 $x=2$ ,则
$y^3+z^3=503(yz+1)$
$\Rightarrow s(s^2+3t^2)=503(s^2-t^2+4)$
$\Rightarrow t^2=\frac{2012-4s^3}{3s+503}+s^2$
设 $3s+503=k$ .则
$k|[2012\times 27-4(k-503{)}^3]$
$\Rightarrow k|2^4\times 7^2\times 503\times 1291.$
易知，$y̸=z$,
否则， $2z^3=503(z^2+1)\Rightarrow z^3|503$ ， 矛盾.
故 $503(yz+1)=(y+z)(y^2+z^2-yz)$
$\ge (y+z)(yz+1)$
$\Rightarrow s\le 503\Rightarrow k\le 4\times 503$
又 $k>503$ ,且$k\equiv -1(mod$ $3)$
$\Rightarrow s=503\Rightarrow t=1$
$\Rightarrow y=251,z=252$

(2)若 $x=1$ ,则
$y^3+z^3=2012(yz+1)$
$\Rightarrow y、z$ 同奇偶.
设 $z+y=2s,z-y=2t$.仿（1）得

$$t^2=s^2+\frac{2012-4s^3}{3s+1006}\cdots ②$$.

设 $3s+1006=k$
$\Rightarrow k|[2012\times 27-4(k-1006{)}^3]$
$\Rightarrow k|2^2\times 7\times 11\times 97\times 271\times 503$.
由 $2012(yz+2)\ge (y+z)yz$ ,知
$y+z\le 2012(1+\frac{2}{yz})<4024$ .
故 $s<2012,k<503\times 14$
结合 $k\equiv 1(mod$ $3),k>1006$,得
$k=272\times 7,271\times 4,97\times 7\times 4,97\times 11\times 2$
$\Rightarrow s=297,26,570,376$

(i)若$s\equiv 1(mod$ $5)$ ，带入式②知
$t^2\equiv 3(mod$ $5)$,
无正整数解；

(ii)若$s\equiv 0(mod$ $5)$,带入式②知
$t^2\equiv 2(mod$ $5)$,
无正整数解；

(iii)若$s\equiv 0(mod$ $3)$,带入式②知
$t^2\equiv -1(mod$ $3)$,
无正整数解；

故以上四个数均不符合题意

$$综上，(x,y,z)=(2,251,252).$$