Иэн Стюарт - Математические головоломки профессора Стюарта

– Получается, что 75 % кэбменов ни при каких обстоятельствах не могут иметь уровень выше медианного?

– Только если число кэбменов равно нулю.

– Но при этом 75 % кэбменов в принципе может иметь уровень выше среднего?

– Да.

– И это не означало бы, что у них всех завышенное самомнение?

Сомс снова вздохнул.

– А вот это, мой дорогой Ватсап, совсем другой коленкор, и даже другого цвета. Существует распространенная форма когнитивной ошибки, которую называют иллюзорным превосходством. Многие воображают себя выше других, даже если это на самом деле не так. Почти все мы страдаем этим заблуждением, за исключением, естественно, меня. В прошлом месяце журнал Quantitative Phrenology and Cognition [26] Вымышленное название, которое можно перевести как «Количественная френология и познание». Френология – псевдонаука о связи психики человека с поверхностью его черепа. – Прим. ред. написал, что 69 % шведских кэбменов считают свои способности выше медианных . Это точно иллюзия, даже не сомневайтесь.

Реальные современные данные см. в главе «Загадки разгаданные».

Джереми Фаррелл придумал магический словарный куб, который подчиняется тем же правилам, что и его магические квадраты. В кубе задействовано слово MOUSETRAP (мышеловка), а буквам присвоены следующие магические значения: M = 0, O = 0, U = 2, S = 6, E = 9, T = 18, R = 3, A = 1, P = 0. Некоторые из слов куба представляют собой личные имена, а некоторые используются очень редко. К примеру, OSE – это имя какого-то демона, а также название мест в Японии, Нигерии, Польше, Норвегии и на острове Скай. Тем не менее поразительно уже то, что такую вещь в принципе можно сделать.

Специалисты по теории чисел, занятые поисками больших простых чисел, часто рассматривают числа вида k 2 n + 1 для какого-то выбранного k при разных n . Пробные расчеты позволяют предположить, что для большинства значений k среди этих чисел встречается по крайней мере одно простое число, часто больше. К примеру, если k = 1, то 1 × 2 n + 1 является простым для n = 2, 4, 8. Если k = 3, то 3 × 2 n + 1 простое при n = 1, 2, 5, 6, 8, 12. Если k = 5, то 5 × 2 n + 1 простое при n = 1, 3, 7. (В общем случае мы можем разделить k на 2 столько раз, сколько нужно, чтобы получить нечетное число, а все двойки включить в 2n. Поэтому можно смело считать k нечетным, не теряя общности. К примеру, 24 × 2 n = 3 × 23× 2 n = 3 × 2 n+ 3.)

Соблазнительно предположить, что для любого k ³≥2 существует по крайней мере одно простое число вида k 2 n + 1. Однако в 1960 г. Вацлав Серпинский доказал, что существует бесконечно много нечетных k , для которых все числа вида k 2 n + 1 являются составными. Эти числа получили название чисел Серпинского.

В 1992 г. Джон Селфридж доказал, что 78 557 – число Серпинского; он показал, что все числа вида 78 557 × 2 n + 1 делятся по крайней мере на одно из чисел 3, 5, 7, 13, 19, 37, 73. Говорят, что эти числа образуют покрывающее множество. Приведем первые десять известных чисел Серпинского:

78 557 271 129 271 577 322 523 327 739

482 719 575 041 603 713 903 983 934 909

Считается, что 78 557 – наименьшее число Серпинского, но пока этот факт никем не доказан и не опровергнут. В 2002 г. на сайте www.seventeenorbust.comбыл организован поиск простых чисел вида k 2 n + 1, существование которых доказывало бы, что k не является числом Серпинского. Когда поиск только начинался, у математиков было 17 кандидатов на роль чисел Серпинского, не превышающих 78 557, но постепенно они были ликвидированы, так что осталось только шесть: 10 223, 21 181, 22 699, 24 737, 55 459 и 67 607. Попутно в рамках проекта было найдено несколько очень больших простых чисел.

Джеймс Джозеф Силвестер – английский математик, работавший с Артуром Кейли, в частности в области теории матриц и теории инвариант. Всю жизнь он очень интересовался поэзией и часто вставлял стихотворные цитаты в свои математические научные статьи. В 1841 г. он переехал в США, но вскоре вернулся обратно. В 1877 г. он вновь пересек Атлантику, занял место первого профессора математики в Университете Джона Хопкинса и основал American Journal of Mathematics , издающийся с немалым успехом и сегодня. Он вернулся в Англию в 1883 г.