Областная олимпиада по математике, 2022 год, 10 класс

Найти все пары натуральных чисел $(x, y)$ таких, что $x^3 + 1$ делится на $y^2$, а $y^3 +1$ делится на $x^2$. ( Абдыкулов А. )

Комментарий/решение

См. решение к 3 задаче 9 класса.

Допустим $x=y$, то $x^{3}+1$ делится на $x^2$, и так как $x^3$ делится на $x^2$ то и $1$ делится на $x^2$, значит $x=y=1.$

Теперь допустим что $x^3+1=y^2$ (или наоборот, симметрично). Значит $y(x^3+1)=y^3$, а еще по второму выходит что $y^3\equiv -1(x^2)$, и так как $(x^3+1) \equiv 1(x^2)$ то $y(x^3+1)\equiv y \equiv -1(x^2).$

$y+1$ делится на $x^2 \rightarrow y \geq x^2-1 \rightarrow y^2 \geq (x^4-2x^2+1) \rightarrow (x^3+2x^2) \geq x^4 \rightarrow (x+2) \geq x^2.$ а при $x\geq 3$ по индукции это невозможно. Значит получаем ответы $x=2; y=3$ (или наоборот).

Значит получаем что $x>y$ и $y^3+1=x^2t$ где $t>1$ и $x>2.$ По первому получается $x^3 \equiv -1(y^2)$ и $x^3t \equiv -t(y^2).$ Так как $x^3t=x(y^3+1) \rightarrow x^3t \equiv x \equiv -t(y^2)$ и $x+t$ делится на $y^2$, значит $x+t \geq y^2.$ Легко доказываем что $xy>x+y$ значит $xy \geq x+y+1(y>t)\geq y^2+1 \rightarrow \frac{x^2t}{y}>xy$, противоречие.

$x^3+1 \vdots y^2$, $y^3+1 \vdots x^2$, karoche $x^2y^2 \mid x^3y^3+x^3+y^3+1 \Rightarrow x^2y^2 \mid x^3+y^3+1$ WLOG $x > y, \Rightarrow x \ge y + 1, x^3 \ge (y+1)^3 \ge y^3 + 1, \Rightarrow 2x^3 > x^3 + y^3 + 1 \vdots x^2y^2$ potom $2x^3 > y^2$ i takzhe, $y^3+1 > x^3, \Rightarrow y^3 \ge x^2, y \ge x^{\frac{2}{3}}, y^2 \ge x^\frac{4}{3}$ znachit $2x^3 \ge x^2y^2, \Rightarrow 2x > y \ge x^\frac{4}{3}, 2 > x^\frac{1}{3}, 8 > x$ a potom chisto razbiraem sluchaii i vse

Почему вы взяли что x>y и y³+1>x²

Потому что x и y симметричны и без потери общенства можно взять что либо x > y либо обратное, а y³+1 > x^2 следует с того что y^3+1 : x^2 cmon eto ochevidno

Тогда прошу расписывать понятно и грамотно