Задача: найти все натуральные числа x и y такие, что 5x − y = 17.
Пошаговое решение:
Выразим y через x: y = 5x − 17.
Условие натуральности: y должно быть натуральным (y ≥ 1). Это даст ограничение на x: 5x − 17 ≥ 1 5x ≥ 18 x ≥ 18/5 = 3.6 → x ∈ {4, 5, 6, …}.
Таким образом, для любого x ≥ 4 получаем натуральное y: y = 5x − 17.
Запишем общее решение в виде параметризации: Пусть t ≥ 0 (t ∈ Н0). Тогда x = 4 + t, y = 5x − 17 = 5(4 + t) − 17 = 3 + 5t. Пары (x, y): (4, 3), (5, 8), (6, 13), (7, 18), (8, 23), …
Итак, все решения в натуральных числах: x ∈ {4, 5, 6, …}, y = 5x − 17. Эквивалентно, пары можно записать как (x, y) = (4 + t, 3 + 5t) при t ≥ 0. Это бесконечное множество решений.