Целочисленные решения многочленных уравнений — это Diophantine equations. Математики ищут в них скрытые структуры, как автор пытается через конкретный сюжет раскрыть общую идею. Самая простая форма — (Ax = B). Уравнение (5x = 10) решается, а (2x = 13) — нет: (2x) всегда чётно, а 13 нечётно. (3x = 14) тоже не имеет целых решений — при делении 14 на 3 остаётся 2. Так приходим к понятиям делимости и остатка.
Для работы с остатками используют modular arithmetic. В арифметике mod 3 два числа считаются равными, если их разность делится на 3. Например, (7 \equiv 4 \pmod{3}), (14 \equiv 2 \pmod{3}). Так можно работать с любым модулем.
Следующий шаг — уравнения (Ax + By = C), например (4x - 3y = 1). Их ещё Евклид решал через Euclidean algorithm. Оказывается, этот алгоритм эквивалентен unique prime factorization: любое целое число раскладывается на простые множители единственным образом (скажем, (4725 = 3^3 \times 5^2 \times 7)). Связь между решением таких уравнений и разложением на простые неочевидна, но неизбежна при более глубоком взгляде.
Unique prime factorization приводит к Chinese remainder theorem. Уравнение (920 \equiv 2 \pmod{54}) означает, что (920-2) делится на (54). А раз (54 = 2 \cdot 3^3), то делимость на 54 равносильна делимости на 2 и на (3^3) по отдельности. Любое модульное сравнение можно разбить на систему сравнений по степеням простых чисел. Это упрощает работу — проще изучать уравнение «по одному простому модулю за раз».
Все эти примеры показывают, как Diophantine equations раскрывают скрытые структуры целых чисел. Статья подводит к другой их разновидности — (f(x) = Ny), где (f(x)) — целочисленный многочлен. Например, (x^3 - 17x^2 + 5x + 12 = 82y) или (x^2 + 1 = 5y). Именно такие уравнения привели к Langlands program — одной из самых глубоких структур в теории чисел.