Тайны чисел: Математическая одиссея - стр. 21
За время, проведенное у Сакса, близнецы сумели достичь девятизначных простых чисел. Конечно, никто не нашел бы удивительным, обменивайся они нечетными числами или даже квадратами чисел. Поразительно было, что они использовали простые числа, которые настолько случайно распределены. Объяснение тому, что это у них получалось, возможно, крылось в другой способности братьев. Они часто появлялись на телевидении и впечатляли аудиторию своим умением определить, что, скажем, 23 октября 1901 г. было средой. Решение задачи о том, каким был день недели с названной датой, осуществляется с помощью модульной (модулярной) арифметики. Наверное, близнецы поняли, что модульная арифметика также играет ключевую роль в определении того, является ли число простым.
Возьмите какое-либо число, скажем, 17 и вычислите 2>17. Если остаток от деления полученного числа на 17 равен 2, то у вас будет хорошее свидетельство в пользу того, что число 17 является простым. Этот тест на простоту числа зачастую неверно приписывают китайцам. На самом деле французский математик XVII в. Пьер де Ферма доказал, что если остаток не равен 2, то число 17 наверняка не является простым. В более общем случае если вы хотите проверить, что число p не является простым, то вычислите 2>p и разделите результат на p. Если остаток не равен 2, то число p не может быть простым. Некоторые люди допускали, что близнецы, обладая способностью определять дни недели, опирающейся на схожую технику нахождения остатков при делении на 7, вполне могли прибегать к данному тесту при нахождении простых чисел.
Сначала математики думали, что если у 2>p остаток от деления на p равен 2, то число p должно быть простым. Но, как оказалось, этот тест не гарантирует простоты. Так, 341 = 34 × 11 не является простым, но тем не менее остаток 2>341 от деления на 341 равен 2. Данный пример был открыт лишь в 1819 г., и, возможно, братья-близнецы знали, что требуется более изощренный тест, который исключил бы 341. Ферма выяснил, что в тесте можно не ограничиваться степенями 2. Он доказал, что если число p – простое, то для любого числа n, меньшего p, остаток от деления n>p на p равен n. Значит, если вы найдете какое-либо число n, для которого тест проваливается, то необходимо отбросить p как самозванца, не являющегося простым.
Например, остаток от деления 3>341 на 341 равен не 3, а 168. Конечно, близнецы никак не могли прогонять тест, используя все числа, меньшие их кандидата на роль простого, – потребовалось бы слишком много времени. Однако, как оценил великий венгерский кудесник простых чисел Пал Эрдёш (хотя он не мог доказать это строго), шанс того, что число, меньшее 10