Укрощение бесконечности. История математики от первых чисел до теории хаоса

После Диофанта теория чисел буксовала целое тысячелетие, пока ею не заинтересовался Ферма, сделавший немало важных открытий. Одна из его самых изящных теорем говорит нам, когда данное целое число n представимо в виде суммы квадратов двух чисел: n = a² + b

². Решение находится легко, если n – простое число.

Ферма отметил, что существует три главных вида простых чисел:

а) 2, единственное четное простое;

б) простые числа, которые больше на единицу чисел, кратных 4, такие как 5, 13, 17 и т. д., – все нечетные;

в) простые числа, которые меньше на единицу чисел, кратных 4, такие как 3, 7, 11 и т. д., – тоже нечетные.

ЧЕГО МЫ НЕ ЗНАЕМ О ПРОСТЫХ ЧИСЛАХ

Даже в наши дни простые числа не раскрыли всех своих тайн. Две самых известных из них – проблема Гольдбаха и гипотеза о бесконечном числе простых чисел-близнецов.

Христиан Гольдбах – известный математик, состоявший в переписке с Леонардом Эйлером. В письме от 1742 г. он формулирует утверждение о том, что каждое целое число, большее 2, можно представить в виде суммы трех простых. Гольдбах считал 1 простым числом. Сейчас оно таковым не считается, потому мы должны исключить числа 3 = 1 + 1 + 1 и 4 = 2 + 1 + 1. Эйлер сделал гипотезу еще строже: каждое четное число, большее 2, можно представить в виде суммы двух простых. Например, 4 = 2 + 2, 6 = 3 + 3, 8 = 5 + 3, 10 = 5 + 5 и т. д. Эта гипотеза подразумевает точность гипотезы Гольдбаха. Эйлер не сомневался в своей правоте, но не смог найти доказательство, и до сих пор такового нет. Проверка на компьютере показывает, что гипотеза верна для всех четных чисел вплоть до 10¹⁸. Лучший известный на сегодняшний день результат получен в 1973 г. Чэнь Цзинжунем с использованием сложных методов анализа. Он доказал, что любое достаточно большое четное число является суммой двух простых или суммой простого и полупростого числа (произведения двух простых).

Гипотеза о простых числах-близнецах намного старше и ведет свое начало со времен Евклида. Она утверждает, что существует бесконечно много пар простых чисел-близнецов р и р + 2. Примеры – 5 и 7 или 11 и 13. Опять-таки, у нас нет ни доказательств, ни опровержений гипотезы. В 1966 г. Чэнь доказал, что существует бесконечно много простых чисел

р, для которых и р + 2 являются простыми или полупростыми. На сегодняшний день самой большой из них считается пара 2 996 863 034 895 × 2^{1 290 000} ± 1, обнаруженная в сентябре 2016 г.

Ферма утверждал, что простое число есть сумма двух квадратов, если оно принадлежит к типу a или б, но не является суммой двух квадратов, если принадлежит к типу в

. Например, 37 относится к типу б, так как его можно представить как 4 × 9 + 1, и 37 = 6² + 1² – это сумма двух квадратов. А 31 = 4 × 8–1 относится к типу в, и если вы испробуете все возможные способы выразить его как сумму двух квадратов, у вас ничего не получится. (Например, 31 = 25 + 6, где 25 – квадрат, а 6 – нет.)

Вывод таков: число является суммой двух квадратов тогда и только тогда, когда любой его простой делитель вида 4k – 1 имеет четную степень. Используя подобные методы, Жозеф-Луи Лагранж в 1770 г. доказал, что любое положительное целое число есть сумма четырех квадратов целых чисел (включая один или два нуля, если необходимо). Ферма еще раньше говорил об этом, но не представил доказательств.