Республиканская олимпиада по математике, 2020 год, 11 класс

$n^4 \ | \ 2m^5 - 1$ және $m^4 \ | \ 2n^5 + 1$ шарттары орындалатындай барлық натурал $(m, n)$ сандар жұптарын анықтаңыз. Бұл жерде $a \ | \ b$ өрнегі $a$ саны $b$ санын бөледі дегенді білдіреді. ( Сатылханов К. )

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

Комментарии от администратора Комментарии от администратора №1.    
Ответ. $(m, n) = (1, 1)$.
Если $m = 1$, то $n = 1$ и наоборот. Пусть теперь $m, n \ge 3$. \[(mn)^4 \ | \ (2m^5 - 1)(2n^5 + 1) \implies (mn)^4 \ | \ 2m^5 - 2n^5 - 1.\] Так как $2m^5 - 2n^5 - 1 \ne 0$, то рассмотрим два случая:
1) $2m^5 - 2n^5 - 1 > 0$.
Тогда $2m^5 - 2n^5 - 1 = k (mn)^4$ для некоторого натурального $k$. \[2m^5 > k (mn)^4 \implies 2m > kn^4 \ge n^4 \implies 2m - kn^4 \ge 1, \ m > n.\] \[m^4 \le m^4 (2m - kn^4) = 2n^5 + 1 < 3n^5 < 6mn < 6m^2 \implies m^2 < 6\] — противоречие.
2) $2m^5 - 2n^5 - 1 < 0$.
Тогда $2n^5 - 2m^5 + 1 = k (mn)^4$ для некоторого натурального $k$. \[2n^5 > k (mn)^4 \implies 2n > km^4 \ge m^4 \implies 2n - km^4 \ge 1, \ n > m.\] \[n^4 \le n^4 (2n - km^4) = 2m^5 - 1 < 2m^5 < 4mn < 4n^2\] — противоречие.