Восемь этюдов о бесконечности. Математическое приключение | страница 43

Судите сами, можно ли считать процент точных попаданий Мерсенна впечатляющим.

Помните совершенные числа, с которыми мы познакомились в разделе, посвященном Пифагору? Если вы уже забыли про них, напомню, что совершенным называется число, сумма собственных делителей которого равна самому числу. Еще Евклид знал, что, если 2^>P – 1 – простое число, то его умножение на 2^>P> – 1 всегда дает совершенное число. Разумеется, Евклид не называл такие числа числами Мерсенна. В его время не только еще не родился сам Мерсенн, но даже не познакомились родители прародителей его прародителей.

Приведем несколько примеров. 2³ – 1 – простое число (7); следовательно, (2³ – 1) × 2² = 28 – число совершенное. Аналогичным образом, 2^>5 – 1 – простое число (31); следовательно, (2^>5 – 1) × 2^>4 = 496 – число совершенное. Воспользовавшись любезной помощью наибольшего из известных на сегодня простых чисел, мы теперь можем построить и самое большое из известных совершенных чисел: (2^{>77 232 917} – 1) × 2^{>77 232 916}.

Я не советовал бы вам пытаться сосчитать это число и проверить справедливость этого утверждения. Могу вас заверить, что сумма всех делителей этого чудовищного числа действительно равна самому числу. Говоря словами великого немецкого философа Иммануила Канта, мне пришлось устранить знание, чтобы дать место вере.

Ну хорошо. Теперь настало время отвлечься от мировых рекордов и заняться разработкой некоторых из пресловутых умственных мускулов.

1). Докажите, что, если 2^>P – 1 – простое число, то число (2^>P – 1) × 2^>P> – 1 должно быть совершенным.

2). 28 – треугольное число.

Являются ли все совершенные четные числа треугольными?

Знаменитый швейцарский математик Леонард Эйлер (с которым мы вскоре познакомимся) доказал, что верно и обратное. Другими словами, любое четное совершенное число имеет форму (2^>P – 1) × 2^>P> – 1, где P и 2^>P – 1 – простые числа. Попробуйте свои силы и докажите это утверждение – или же найдите доказательство Эйлера{14}.

Ну ладно, мы поняли, что простых чисел существует бесконечное количество. После этого логично было спросить, есть ли в их появлении какой-либо порядок. Существует ли формула, дающая только простые числа? Существует ли формула, дающая