и проверим, будет ли стрелка указывать на то же число. Если нет, то мы можем быть уверены, что
р не является простым числом. Например, пусть
р равно 6. Построим часы с циферблатом, содержащим 6 делений. Возьмем одно из чисел, например, 4. Запишем 4
>6 = 4096, что при делении на 6 дает в остатке 4.
Иначе говоря, стрелки часов делают круг за кругом, пока не остановятся на цифре 4. Мы знаем, что по малой теореме Ферма число 6 не является простым. Возьмем теперь простое число, например, 7, и посмотрим, что произойдет, когда мы возведем некоторое число в седьмую степень. Укажут ли стрелки часов на это число? Однако мы должны иметь в виду, что теорема дает необходимое, но не достаточное условие.
Это означает, что если при проверке числа а стрелки укажут на это число а, существует вероятность, что число р окажется простым. Но одной такой проверки недостаточно. Чем больше проверок мы сделаем, тем больше шанс, что число р является простым, но мы не можем утверждать это наверняка. Как мы увидим в седьмой главе, это один из способов, широко используемый современными компьютерами для определения простоты больших чисел.
Мнимые числа
Услышав выражение «мнимые числа», человек, далекий от математики, может подумать, что это еще одна причуда математиков, и будет недалек от истины. Такое мнение разделяли и многие специалисты в области математики, когда им встречались числа настолько экзотические, что к ним относились почти как к призракам.
Но эти призраки настойчиво появлялись при решении уравнений, и вскоре их стало невозможно игнорировать. Их начали использовать при расчетах, и в конце концов они были приняты в качестве решений уравнений и приобрели собственный статус, став одним из фундаментальных понятий в математике и важнейшей темой многих учебников. Было бы неправильно полагать, что они появляются лишь в мире чистой математики. На самом деле мнимые числа являются основным инструментом современной физики и самым различным образом применяются на практике.
Если логарифмы сыграли важную роль в открытиях Гаусса, то мнимые числа были необходимы для результатов, позже полученных Риманом, поэтому небольшое путешествие в «мнимую» страну поможет нам лучше понять развитие теории простых чисел.
Готфрид Лейбниц однажды сказал: «Дух божий нашел тончайшую отдушину в этом чуде анализа, уроде из мира идей, двойственной сущности, находящейся между бытием и небытием, которую мы называем мнимым корнем из отрицательной единицы». Рассмотрим теперь, что подразумевается под «мнимым корнем из отрицательной единицы».
