Корянов А.Г., Прокофьев А.А. Задачи на целые числа (от учебных задач до олимпиадных)
18.05.2011.
www.alexlarin.narod.ru
38
нение примет вид ,3)1(52
2
zzm что
невозможно, так как число
)1(zz чет-
но, а разность двух четных чисел не может
быть равна нечетному числу. Таким обра-
зом, данное уравнение не имеет решений в
целых числах.
Ответ: нет решений.
метод бесконечного «спуска»
Пример 97. Решить в целых числах
уравнение .52
222
zyx
Решение. Запишем уравнение в виде
.52
222
yzx Отсюда следует, что левая
часть последнего уравнения кратна 5. Рас-
смотрим остатки при делении выражения
22
2 zx на 5.
х 0 1 2 3 4
2
x
0 1 4 4 1
2
2x
0 2 3 3 2
Из таблицы видно, что для разрешимо-
сти в целых числах исходного уравнения
числа x и z должны быть кратны 5.
Предположим, что ,5
1
xx ,5
1
zz то-
гда исходное уравнение (после сокраще-
ния на 5) примет вид .510
2
1
2
2
1
zyx От-
сюда следует, что значения у кратны 5,
т.е. .5
1
yy Последнее уравнение (после
сокращения на 5) примет тот же вид
,52
2
1
2
1
2
1
zyx что и исходное уравне-
ние.
Из приведенных рассуждений следует,
что числа x, y и z должны быть кратными
5, далее числа
111
,, zyx , т.е. ,
x
,
y
z
также кратны 5. Итак, оказалось, что чис-
ла, удовлетворяющие исходному уравне-
нию, должны делиться на 5, и сколько бы
раз не делили эти числа, будем получать
новые числа, которые также делятся на 5 и
удовлетворяют уравнению. Единственное
число, обладающее этим свойством, есть
нуль. Следовательно, уравнение
222
52 zyx имеет единственное реше-
ние в целых числах ).0;0;0(
Ответ: ).0;0;0(
Метод доказательства от противного
Пример 98. Доказать, что уравнение
xyzzyx 2
222
неразрешимо в натуральных числах.
Решение. Предположим, что данное
уравнение разрешимо в натуральных чис-
лах. Тогда так как его правая часть делит-
ся на 2, то и левая часть также должна де-
литься на 2. Это возможно, если либо одно
из них четное, а два других нечетные, либо
четные числа. Рассмотрим эти
случаи.
1. Пусть, например, ,2
1
xx
,12
1
yy 12
1
zz . Подставляя эти
числа в исходное уравнение, получим:
244444
1
2
11
2
1
2
1
zzyyx
)12)(12(4
111
zyx .
После сокращения на 2, получаем
122222
1
2
11
2
1
2
1
zzyyx
)12)(12(2
111
zyx .
В последнем уравнении правая часть –
четное число, а левая – нечетное число.
Следовательно, решений нет.
2. Пусть
четные числа, т.е.
111
2,2,2 zzyyxx . Подставляя эти
числа в исходное уравнение, получим:
111
2
1
2
1
2
1
4 zyxzyx .
Применяя к полученному уравнению те
же рассуждения, что и для исходного
уравнения, находим ,2,2
2121
yyxx
21
2zz . Тогда
222
2
2
2
2
2
2
8 zyxzyx и
т.д. На каждом шаге выполняется условие
111
2,2,2
kkkkkk
zzyyxx . В итоге
получаем, например, для
бесконечную
последовательность
0......
121
kk
xxxxx .
Но эта последовательность натуральных
чисел должна быть конечной. Получаем
противоречие. Следовательно, исходное
уравнение неразрешимо в натуральных
числах.
Замечание. В данном примере исполь-
зован метод бесконечного спуска, заклю-