Пусть $x + y+ 3= m y 3 x$ — натуральное число. Тогда

2 2 3x + yx+ 9y = 3mxy

Если $x$ не делится на $3$ , то $y$ делится на $3$ . Но в таком случае все члены равенства, кроме $3x2$ , делятся на $9$ , а $3x2$ делится только на $3$ , что невозможно. Значит, $x$ делится на $3$ , то есть $x= 3z$ для некоторого натурального числа $z$ . Имеем

2 2 9z +y z+ 3y = 3myz,

откуда $y$ делится на $3$ или $z$ делится на $3$ .

_________________________________________________________________________________________________________________________________________________________________________________

Пусть $y = 3w$ . Тогда

z2 +w2z+ w =mwz,

откуда $w$ делится на $z$ . Но в таком случае $w$ делится и на $z2$ , то есть $w= z2u$ для некоторого натурального $u$ . Теперь имеем $1+ z3u2 +u =mzu$ , откуда $u =1$ . Ясно, что число $z2+ 2z$ будет целым только при $z ∈ {1,2}$ , при этом $m ∈ {3,5}$ .

_________________________________________________________________________________________________________________________________________________________________________________

Пусть $z =3w$ . Тогда $27w2+ y2w+ y = 3myw$ . Как и выше, отсюда следует, что $y$ делится на $w2$ ,то есть $y = w2u$ для некоторого натурального $u$ . Теперь имеем $27+ w3u2+ u= 3mwu$ , откуда $u$ делит $27$ , то есть $u∈{1,3,9,27}$ . При $u= 3,u= 9,u =27$ получаем невозможные равенства

3 3 2 2 3 + w 3 +3 =3 mw

33+w334+ 32 = 33mw

2⋅33 +w336 = 34mw

соответственно. При $u =1$ число $28+w3 m= --3w--$ , откуда $w$ — делитель $28$ , при этом

28+w3 ≡ w3+ 1≡ 0 (mod 3),

то есть $w ≡ −1 (mod 3)$ . Следовательно, $w ∈{2,14}$ , и тогда $m ∈ {6,66}$ .

Выбор модуля и перебор случаев в уравнениях над Z