Великая
МаТЕМАТИКА
От Пифагора до 57-мерных объектов
250 основных вех в истории математики
Великая
МАТЕМАТИКА
Clifford A. Pickover
The Math
BOOK
From Pythagoras to the 57th Dimension,
250 Milestones in the History of Mathematics
Клиффорд Пиковер
Великая
МАТЕМАТИКА
От Пифагора до 57-мерных объектов
250 основных вех в истории математики
Перевод с английского
С. А. Иванова
Москва
БИНОМ. Лаборатория знаний
УДК 501+001
ББК 22г+72.3
П32
П у б л и к у е тся с р азр еш ен и я
S T E R L I N G P U B L I S H I N G С О ., I N C . (С Ш А )
п р и с о д е й с т в и и А г е н т с т в а А л е к с а н д р а К о р ж е н е в с к о г о (Р о с с и я )
Пиковер К.
П32 Великая математика. От Пифагора до 57-мерных
объектов. 250 основных вех в истории математики /
К. Пиковер ; пер. с англ. С. А . Иванова — М. : БИНОМ.
Лаборатория знаний, 2015. — 539 с. : ил.
ISBN 978-5-9963-0514-8
К н и га «В е л и к а я м а т е м а ти к а » в к л ю ч а е т 2 5 0 и л л ю с т р и р о
ва н н ы х и с т о р и ч е с к и х эссе, п о с в я щ е н н ы х р а зв и ти ю м а тем а
т и к и . К а ж д а я с т а т ь я в д о ст у п н о й ф орм е о тр а ж а е т к в и н т э с
сен ц и ю о п и сы ва ем ого м а т е м а ти ч е с к о го д о с т и ж е н и я . А в т о р
к н и г и , и зве стн ы й п о п у л я р и за т о р н а у к и , б л е с т я щ и й ж у р
н а л и ст, в ы п у с к н и к Й е л ь с к о го у н и в е р с и т ет а , и здал более
4 0 н а у ч н о -п о п у л я р н ы х к н и г по м а т е м а т и к е , ф и зи к е , м е
д и ц и н е , р е л и ги и , и н ф о р м а ти к е и д р ., м н о ги е из к о т о р ы х
переведен ы на и н о стр ан н ы е я з ы к и .
Д л я всех л ю б и тел ей м а т е м а т и к и .
УД К 50 1 + 00 1
ББК 2 2 г+ 7 2 .3
Научно-популярное издание
Пиковер Клиф форд
В е д у щ и й р е д а к т о р М. С. Стригунова
Х у д о ж е с т в е н н о е о ф о р м л е н и е : И. Е. Марев
Х у д о ж н и к Н. А. Новак
Т е х н и ч е с к и й р е д а к т о р Е. В. Денюкова
К о р р е к т о р Е. Н. Клитина
К о м п ь ю т е р н а я в е р с т к а : Е. А. Голубова
П одп и сан о в п ечать 1 0 .0 7 .1 4 . Ф орм ат 8 4 x 9 0 / 1 6 .
У е л . п еч . л . 4 7 ,6 0 .
И здательство «Б И Н О М . Л аборатор и я зн ан и й »
1 2 5 1 6 7 , М о с к в а , п р о е зд А э р о п о р т а , д . 3
Т ел е ф о н : ( 4 9 9 ) 1 5 7 - 5 2 7 2 , e -m a il: b i n o m @ L b z .r u , h t t p ://w w w .L b z .r u
© 2 0 0 9 b y C liffo r d A . P ic k o v e r
© П ер ев од на р у с с к и й я з ы к , оф о р м л ен и е,
ISBN 9 7 8 -5 -9 9 6 3 -0 5 1 4 -8 Б И Н О М . Л аб ор а тор и я з н а н и й , 2 0 1 5
Если посмотреть на математику должным образом,
то окажется, что она обладает не только истиной, но
и высшей красотой - красотой холодной и строгой, по
добной красоте скульптуры.
Бертран Рассел (Bertrand Russel, Mysticism and Logic, 1918)
«Поэтому мы еще раз видим, как люди, сильно отделенные друг от дру
га временем или пространством, пришли... к очень похожим, если не
идентичным, результатам. ...В некоторых случаях объяснение этому
можно найти в контактах и взаимном влиянии различных групп лю
дей... Истинная причина заключается в том, что мы ранее называли
глубоким единством культуры: интеллект человека разумного явля
ется универсальным и его потенциал является удивительно равномер
но распределенным по всем частям света».
Древние люди, такие как древние греки, были глубоко увлечены числами.
Может быть, в трудные времена в постоянно меняющемся мире лишь числа
оставались непреходящими? Для древнегреческого союза пифагорейцев числа
были материальными, неизменными, удобными, вневременными сущностя
ми —более надежными, чем друзья, менее грозными, чем Аполлон и Зевс.
Тематика многих статей в этой книге связана с целыми числами. Гени
альный математик Пол Эрдёш (1913-1996) был очарован теорией чисел (за
нимающейся исследованием целых чисел) и поставил много задач, простых в
формулировке, но чрезвычайно сложных в решении. Эрдёш считал, что если
в математике и можно сформулировать какую-то проблему, которая будет не
разрешимой в течение более сотни лет, то эта проблема будет именно в теории
чисел.
Многие аспекты Вселенной могут быть выражены целыми числами. Чис
ловые последовательности характеризуют расположение лепестков в цветке
ромашки, размножение кроликов, орбиты планет, гармонию в музыке и вза
имосвязи элементов в Периодической таблице Менделеева. Леопольд Кроне-
кер (1823-1891), немецкий алгебраист и специалист в области теории чисел,
сказал однажды: «Целые числа пришли от Бога, а все остальное создано чело
веком». Он подразумевал, что целые числа являются первоначалом всей мате
матики.
Еще со времен Пифагора признавалась роль целочисленных отношений в
нотном стане. Что более важно, целые числа сыграли решающую роль в эволю
ции понимания человечеством науки. Например, французский химик Антуан
Лавуазье (1743-1794) обнаружил, что химические соединения состоят из фик
сированных пропорций элементов, соответствующих отношениям небольших
целых чисел. Это было очень убедительным доказательством существования
атомов. В 1925 г. определенные целочисленные соотношения между длинами
волн спектральных линий, испускаемых возбужденными атомами, дали са
мые первые ключи к пониманию структуры атомов. Почти целочисленные со
отношения атомных масс стали доказательством того, что атомное ядро состо
ит из целого числа одинаковых нуклонов (протонов и нейтронов). Отклонения
от целочисленных отношений в этом случае привели к открытию изотопов
химических элементов (разновидностей атомов с почти одинаковыми химиче
скими свойствами, но с разным количеством нейтронов).
Небольшие отклонения атомных масс изотопов от точных целочисленных
значений подтвердили знаменитое уравнение Эйнштейна Е = тс2, а также воз
можность создания атомной бомбы. Целые числа повсеместно присутствуют в
атомной физике. Отношения целых чисел являются основной нитью в ткани
математической науки, или, как сказал немецкий математик Карл Фридрих
Гаусс (1777-1855), «математика - царица наук, а теория чисел - царица ма
тематики ».
Математическое описание Вселенной постоянно растет, но образ нашего
мышления и наш язык остаются прежними. В наше время постоянно откры
ваются и создаются новые разделы математики, но при этом мы нуждаемся
в свежем образе мышления и понимания. Например, в последние годы было
предложено несколько математических доказательств известных в истории
математики задач, но эти доказательства оказались слишком длинными и
сложными, чтобы убедить специалистов в их правильности. Математику То
масу Хейлзу пришлось ждать пять лет, прежде чем рецензенты его геометри
ческой статьи, принятой к печати в журнале Annals o f Mathematics, в конеч
ном итоге признали, что не смогли найти ошибок в статье и что журнал может
опубликовать доказательство Хейлза, но только с примечанием, что журнал
не гарантирует правильность решения! Более того, математик Кит Девлин в
газете New York Times высказал предположение, что «математика достигла в
своем развитии такой стадии абстракции, что многие ее пограничные вопросы
непонятны даже специалистам». Если уж специалисты сталкиваются с такого
рода проблемами, то легко понять, как сложно им порой доводить такого рода
информацию до широкой публики. Мы делаем всё, что можем. Математики
могут строить теории и производить вычисления, но могут оказаться неспособ
ными до конца осмыслить, объяснить или передать свои идеи другим людям.
Здесь уместно провести аналогию с физикой. В то время как Вернер Гейзен
берг был обеспокоен тем, что человек никогда не сможет по-настоящему по-
нять строение атома, Нильс Бор был немного более оптимистичен в этом отно
шении. В начале 1920-х гг. он писал: «Я думаю, что мы, возможно, готовы сде
лать это, но в процессе понимания структуры атома нужно уяснить себе смысл
самого слова "понимание"». Сегодня с помощью компьютеров можно делать
различные выводы, лежащие за пределами ограничений, накладываемых на
шей собственной интуицией. В самом деле, компьютерные эксперименты при
водят математиков к таким открытиям и озарениям, о которых они ранее и
не мечтали до той поры, пока компьютеры не получили широкого распростра
нения. Компьютеры и компьютерная графика позволяют математикам обна
руживать результаты задолго до того, как они могут их доказать на уровне
формул, а также помогают открывать совершенно новые области математики.
Даже такие простые компьютерные программы, как программа таблич
ных расчетов, дают современной математике такую вычислительную мощь,
которую жаждали бы иметь Гаусс, Леонард Эйлер и Ньютон. Приведем лишь
один пример: в конце 1990-х гг. компьютерные программы, разработанные
Дэвидом Бейли и Геламаном Фергюсоном, помогли создать новые формулы,
которые установили связь между числом «пи» и log 5, а также с двумя дру
гими константами. По сообщению Эрика Кларрайха в журнале Science News,
как только компьютер составил эту формулу, проверка ее правильности стала
очень простым делом. Часто простое знание ответа является самым большим
препятствием, которое требуется преодолеть при проведении доказательства.
Математические теории иногда использовались для предсказания явлений,
которые в течение долгих лет не могли найти себе подтверждения. Например,
уравнения Максвелла, названные в честь физика Джеймса Кларка Максвел
ла, предсказали открытие радиоволн. Из уравнений поля Эйнштейна следо
вало, что гравитация способна преломлять свет и что Вселенная расширяется.
Физик Поль Дирак однажды заметил, что абстрактная математика, изучае
мая нами сегодня, дает представление о физике в будущем. В самом деле, его
уравнения предсказали существование антиматерии, которая впоследствии и
была обнаружена. Также математик Николай Лобачевский говорил, что «не
существует такого раздела математики, даже совершенно абстрактного, кото
рый не был бы когда-нибудь применен к явлениям реального мира».
В этой книге вы встретитесь с различными интересными видами геоме
трий, в которых, как полагали, были сокрыты ключи от Вселенной. Галилео
Галилей (1564-1642) считал, что «Великая книга природы написана на языке
математики». Иоганн Кеплер (1571-1630) построил модель Солнечной систе
мы, использовав для этого Платоновы тела, подобные додекаэдру. В 1960 г.
физик Юджин Вигнер (1902—1995) был впечатлен «необоснованной эффек
тивностью математики в естественных науках». Большие группы Ли, такие
как группа Ли Е8, которая обсуждается в данной книге в статье «В поисках
группы Ли Е8» (2007), возможно, помогут в будущем создать единую теорию
физики. В 2007 г. шведско-американский космолог Макс Тегмарк опублико
вал ряд научных и популярных статей, посвященных математической гипоте
зе Вселенной, которая утверждает, что наша физическая реальность является
математической структурой, иными словами, наша Вселенная не просто опи
сывается математикой —она и есть сама математика.
Структура и цель написания данной книги
Благодарности
ui
Муравьи - общественные насекомые, произошедшие от веспоидных ос в се
редине мелового периода ок. 150 млн лет назад. После широкого распростра
нения цветковых растений, т. е. ок. 100 млн лет назад, появилось множество
о
разнообразных видов этих насекомых.
Муравьи-бегунки вида Cataglyphis fortis из пустыни Сахара в поисках
еды проходят огромные расстояния по песчаным ландшафтам, часто полно
стью лишенным каких-либо визуальных ориентиров. Эти существа способны
возвращаться к своему гнезду по кратчайшему пути, вместо того чтобы идти
обратно по собственному следу. Они не только умеют определять направле
ние по солнечному свету, но и, по-видимому, обладают неким встроенным
«компьютером»-шагомером, подсчитывающим количество сделанных шагов
млн лет до н
СМ. ТА К Ж Е Счет у приматов (30 млн до н. э.), Цикады и простые числа (1 млн до н. э.).
пишет:
СМ. ТА К Ж Е Шагомер у муравьев (150 млн до н. э.), Кость Ишанго (18 000 до н. э.).
СМ. ТА К Ж Е Кипу (3000 до н. э.), Кольца Борромео (834), Узлы Перко (1974), Полиномы
Джонса (1984), Закон Мерфи и узлы (1988).
а сумма всех чисел в каждом из трех рядов равняется либо 60, либо 48, а оба
этих числа кратны 12.
Учеными найдено некоторое число палеолитических счетных реек, среди
которых имеются и еще более древние, чем кость Ишанго. Например, в мест
ности Лебомбо в Свазиленде была обнаружена малоберцовая кость павиана
возрастом 37 000 лет с 29 насечками. Большеберцовая кость волка возрастом
32 000 лет с 57 насечками, разделенными на группы по пять, была найдена в
Чехословакии. Хотя подобные построения и являются чисто умозрительны
ми, некоторые исследователи даже выдвинули гипотезу о том, что отметки на
кости Ишанго представляют собой некий вид лунного календаря, при помощи
которого женщина каменного века отслеживала свой менструальный цикл.
Это позволило им выдвинуть тезис: «Менструация породила математику».
Даже если кость Ишанго представляет собой простое средство счета, сам факт
наносимых для этой цели отметок отличает нас от животных и представляет
собой первый шаг к символьным вычислениям. Полностью разгадать загад
ку кости Ишанго мы сможем только тогда, когда подобных ей объектов будет
найдено больше.
СМ. ТА К Ж Е Счет у приматов (30 млн до н. э.), Цикады и простые числа (1 млн до н. э.),
Решето Эратосфена (240 до н. э.).
о
5000 лет.
Южноамериканские инки создали высокоразвитую цивилизацию, кото
рую отличали общая государственная религия и общий язык. Несмотря на
то что у инков не существовало письменности в привычном понимании этого
слова, они вели подробные записи, зашифрованные при помощи особой логи
о
ко-числовой системы в кипу, сложность которых могла составлять от трех до
нескольких тысяч нитей. К несчастью, испанцы, при освоении ими Южной
Америки, сочли странные для них кипу творениями дьявола. Тысячи кипу
были уничтожены во славу Господа, и на данный момент их сохранилось всего
около 600.
Тип узлов, их взаимное расположение, направление нитей, их уровень,
цвет и расстояния между ними —все это имело определенный количественный
г. до н. э
Древние инки использовали для записи чисел особые конструкции — кипу, состоящие из
завязанных узелками нитей. Тип узлов, их взаимное расположение, направление нитей,
их уровень и цвет использовались для записи дат, числа людей и различных иных объ
ектов.
Игральные кости
о
Трудно представить себе мир без случайных чисел. В 1940-е годы задача ге
нерации статистически случайных чисел встала перед физиками при модели
ровании термоядерного взрыва. В наши дни случайные числа используются
во многих компьютерных сетях для регулировки интернет-трафика и предот
вращения перегрузок. При помощи случайных чисел формируется беспри
о
страстная выборка мнений потенциальных избирателей при политических
опросах.
Игральные кости, первоначально изготавливаемые из мелких косточек
копытных животных, были одним из первых способов получения случайных
о
чисел. В древних культурах считалось, что боги влияют на исход бросания,
поэтому на результат метания костей полагались при принятии важнейших
решений - от выбора правителей до разделения наследства. Даже сейчас ме
тафора Бога, бросающего кости, весьма популярна - достаточно вспомнить из
вестное высказывание астрофизика Стивена Хокинга: «Бог не только играет
в кости, но и иногда путает нас, бросая их там, где они не могут быть видны».
Древнейшие образцы игральных костей были обнаружены вместе с на
бором для игры в нарды возрастом 5000 лет при раскопках легендарного Со
г. до н. э
СМ. ТА К Ж Е : Закон больших чисел (1713), Игла Бюффона (1777), Метод наименьших
квадратов (1795), «Аналитическая теория вероятностей» Лапласа (1812), Критерий хи-
квадрат (1900), Затерявшиеся в гиперпространстве (1921), Создание рандомизирующих
устройств (1938), Стратегия игры в «Свинью» (1945), Метод середины квадрата фон Ней
мана (1946).
о
вый манускрипт с их упоминанием относится ко временам императора Юя
Великого и датируется примерно 2200 г. до н. э. Магический квадрат состо
ит из N2 клеток, или ячеек, заполненных неповторяющимися целыми числа
ми таким образом, что сумма чисел во всех горизонталях, вертикалях и глав
ных диагоналях такого квадрата одинакова.
о
Если совокупность целых чисел в магическом квадрате представляет собой
последовательный ряд от 1 до N2, то говорят, что это квадрат N -го порядка,
а магическое число, или сумма каждой строки, является константой, равной
N(N2 + 1 )/2 . Альбрехт Дюрер, художник эпохи Возрождения, в 1514 г. соста
вил приведенный здесь замечательный магический квадрат размерами 4 x 4 .
Обратите внимание, что два центральных числа
в нижнем ряду вместе составляют «1514», т. е. год
16 3 2 13 создания квадрата. Сумма чисел во всех строках,
г. до н. э.
о
В ней содержатся записанные клинописью числа, упорядоченные в таблицу
из 4 столбцов и 15 строк. Историк науки Элеанор Робсон описывает ее как
«один из самых знаменитых математических артефактов в мире». Табличка
датируется ок. 1800 г. до н. э. и представляет собой перечень пифагоровых
троек - таких целых чисел, которые соответствуют длинам сторон прямоу
о
гольного треугольника и удовлетворяют соотношению а2 + Ъ2 = с2, соответ
ствующему теореме Пифагора. К примеру, пифагорову тройку образуют
числа 3, 4, 5. Четвертая колонка таблицы попросту содержит номер строки.
Единого мнения относительно назначения чисел в таблице не существует, но
некоторые исследователи полагают, что они были набором решений, записан
ных учащимися при изучении алгебраических или тригонометрических за
дач.
г. до н
СМ. ТА К Ж Е Ганита сара самграха (850), «Книга абака» Фибоначчи (1202), «Тревизская
арифметика» (1478).
* ' №
ШШ4&я»ь
Крестики-нолики
о
жет относиться и к не столь отдаленным временам, археологи установили,
что возникновение игр по принципу «выстрой три фигуры в ряд» восходит
к Древнему Египту ок. 1300 г. до н. э., и я подозреваю, что игры подобного
типа возникли на заре человеческого общества. При игре в крестики-ноли
ки два игрока, один из которых играет крестиками, «X », а другой нолика
ми, «О», по очереди ставят свои фигуры на клетки игрового поля размерами
3 x 3 . Игрок, первым выстроивший 3 своих фигуры в один ряд по вертикали,
О
горизонтали или диагонали, выигрывает. На доске размерами 3 x 3 игру всег
да можно свести к ничьей.
В Древнем Египте времен великих фараонов настольные игры составляли
важную часть повседневной жизни. Известно, что в игры, подобные крести
кам-ноликам, играли и в те давние дни. Крестики-нолики можно считать свое
образным «атомом», из которого с течением столетий строились молекулы все
г. до н. э
СМ. ТА К Ж Е Го (548 до н. э.), Игра «Икосиан» (1857), Решение игры «Овари» (2002), Ре
шение игры в шашки (2007).
о
Пифагор Самосский (ок. 580 до и. э. - ок. 500 до н. э.)
В наши дни маленькие дети часто впервые узнают о знаменитой теореме Пи
фагора из классического фильма «Волшебник страны Оз» 1939 г. Ее расска
о
зывает Страшила, когда наконец получает от волшебника в дар мозги. Увы,
но Страшила воспроизводит знаменитую теорему совершенно неправильно!
Теорема Пифагора гласит, что в любом прямоугольном треугольнике ква
драт длины гипотенузы с равен сумме квадратов длин двух других более ко
ротких сторон (катетов) а и Ь, что записывается в виде а2 + Ь2= с2. Опубли
кованных доказательств у данной теоремы существует больше, чем у любой
другой. Так, в книге Элиши Скотта Лумиса «Теорема Пифагора» приводится
367 ее различных доказательств.
г. до н
Игра в го сложна по многим причинам. Среди них большой размер игрового поля, много
образие стратегий и огромное число вариантов возможных партий. Если достаточно
мощные программы для игры в шахматы способны победить сильнейших шахмати
стов, то лучшие программы для игры в го часто проигрывают одаренным школьникам.
U 1
Пифагор
и его математическое братство
О
рождении душ. Хотя, вероятно, многие из достижений Пифагора в действи
тельности принадлежат его ученикам, идеи Пифагора (или идеи пифагорей
ского братства) влияли на развитие нумерологии и математики на протяжении
многих столетий. Пифагору обычно приписывается открытие математических
соотношений, соответствующих музыкальным гармониям. К примеру, он за
метил, что колеблющиеся струны производят гармоничные звуки, если соотно
г. до н
Пифагор (бородатый мужчина с книгой внизу слева) учит юношу музыке на картине
«Афинская школа» Рафаэля Санти (1 4 8 3 -1 5 2 0 ), великого худож ника и архитектора
итальянского Возрождения.
Апории Зенона
r j H i n .. Зенон Элейский (ок. 490 до н. э. — ок. 430 до н. э.)
Уже более тысячи лет философы и математики пытаются решить апории Зе
нона - набор парадоксальных утверждений, призванных доказать, что дви
жение невозможно и является всего лишь иллюзией. Зенон был древнегрече
ским философом-досократиком из южной Италии. В его наиболее известном
парадоксе участвуют древнегреческий герой Ахиллес и медленная черепаха,
Затем вам придется пройти половину оставшегося пути, затем половину уже
от этой половины и так далее. Соответственно, добраться до двери за конеч
ное число таких переходов не удастся! Предел данной бесконечной последова
тельности действий можно математически представить как сумму ряда (1/2 +
+ 1/4 + 1/8 + ...). Один из современных путей к разрешению парадокса Зено
на состоит в утверждении того, что сумма данного бесконечного ряда 1/2 +
+ 1/4 + 1/8 + ... в точности равна 1. Если принять, что на осуществление
каждого последующего шага уходит вполовину меньше времени, чем на пре
дыдущий, то общее время, затрачиваемое на выполнение этого бесконечного
ряда действий, не будет при этом отличаться от реального времени, необходи
мого для того, чтобы выйти из комнаты.
Однако подобный подход не дает полностью удовлетворительного решения,
поскольку он не объясняет, каким образом возможно завершить прохожде
ние бесконечного числа последовательно лежащих точек. В настоящее время
для подробного анализа этого парадокса математики обращаются к понятию
бесконечно малых - невообразимо крохотных величин, практически, но не
полностью равных нулю. В сочетании с разделом математики, называемым
нестандартным анализом, и в частности, теорией внутренних множеств, это
позволяет разрешить парадокс, но дискуссии не прекращаются. Еще одним
способом снятия парадокса является обращение к тому, что если пространство
и время дискретны, то общее число переходов при движении от одной точки до
другой неизбежно должно быть конечным.
СМ. ТА К Ж Е Аристотелево колесо (320 до н. э.), Расходимость гармонического ряда
(1350), Представление числа к в виде бесконечного ряда (1 500), Создание математического
анализа (1665), Санкт-Петербургский парадокс (1738), Парадокс брадобрея (1901), Пара
докс Банаха— Тарского (1924), Парадокс «Гранд-отеля» Гильберта (1925), Парадокс дней
рождения (1939), Парадокс береговой линии (1950), Парадокс Ньюкома (1 960), Парадокс
Паррондо (1999).
Согласно наиболее известной апории Зенона, кролик никогда не догонит черепаху, если
той было дано даже небольшое начальное преимущество в расстоянии. П о сущ ест ву,
этот парадокс также подразумевает, что им обоим никогда не удастся достичь фи
нишной прямой.
Гиппократовы луночки
Гиппократ Хиосский (ок. 470 до н. э. - ок. 400 до н. э.)
О
луночек является одним из наиболее ранних из известных примеров матема
тических доказательств. Другими словами, Гиппократ продемонстрировал,
что площадь этих луночек может быть в точности выражена через площадь
прямолинейной фигуры, или «квадратуры». В приведенном здесь примере
суммарная площадь желтых луночек, касающихся вершин прямоугольного
треугольника, равна площади этого треугольника.
г. до н
и>
Сочинения Гиппократа примечательны тем, что они заложили общие струк
турные основы, от которых могли в дальнейшем отталкиваться другие мате
матики.
Поиски Гиппократом решения для задачи о луночках были попыткой про
двинуться в нахождении «квадратуры круга» —построении квадрата, равно
великого (равного по площади) кругу. Математики пытались решить пробле
му «квадратуры круга» на протяжении более 2000 лет, пока наконец в 1882 г.
Фердинанд фон Линдеман не доказал, что это невозможно. Сейчас нам извест
но, что существует всего пять типов квадрируемых луночек. Три из них были
открыты Гиппократом, а два других найдены в середине 1770-х гг.
о
Кроме того, в каждой вершине Платонова тела сходится одинаковое число
ребер. Наиболее известным примером Платонова тела является куб, гранями
которого служат шесть одинаковых квадратов.
Древние греки обнаружили и доказали, что всего можно построить лишь
пять Платоновых тел: тетраэдр, куб, октаэдр, додекаэдр и икосаэдр. К приме
ру, икосаэдр имеет 20 граней, каждая из которых представляет собой равно
сторонний треугольник.
г. до н
Платон описал пять Платоновых тел в своем трактате «Тимей» (ок. 360 г. до
н. э.). Он не только испытывал благоговение перед их красотой и симметрией,
но и считал, что эти формы выражают собой сущность четырех основных эле
ментов, из которых состоит космос. В частности, маленькие частицы огня, по
его мнению, имеют форму тетраэдров —вероятно, потому что эти многогран
ники отличаются тонкими острыми краями. Октаэдры образуют воздух. Вода
состоит из икосаэдров, самых гладких многогранников среди всех Платоновых
тел. Земля же состоит из кубов, которые выглядят крепкими и устойчивыми.
Додекаэдр, по мысли Платона, был использован Богом для размещения со
звездий на небесах.
Пифагор Самосский — знаменитый мистик и математик, живший во вре
мена Будды и Конфуция (ок. 550 лет до н. э.), - был, вероятно, знаком с тре
мя из пяти Платоновых тел (кубом, тетраэдром и додекаэдром). В Шотландии
были обнаружены слегка скругленные подобия Платоновых тел, вырезанные
из камня людьми позднего неолита по меньшей мере за тысячу лет до Пла
тона. Немецкий астроном Иоганн Кеплер (1571—1630) пытался использовать
модель помещенных друг в друга правильных многогранников для описания
движения планет вокруг Солнца. Хотя теории Кеплера оказались ошибочны
ми, он был одним из первых ученых, настаивавших на геометрическом толко
вании небесных явлений.
о
сочинений Аристотеля, посвященных логике. В его состав входят труды «Кате
гории», «Об истолковании», «Первая аналитика», «Вторая аналитика», «О со
фистических опровержениях» и «Топика». Название «Органон» и порядок вхо
дящих в него работ были закреплены издателем и комментатором Аристотеля
Андроником Родосским ок. 40 г. до н. э. Хотя Платон (ок. 428 г. до н. э. - 348 г.
до н. э.) и Сократ (ок. 470 г. до н. э. - 399 г. до н. э.) занимались изучением не
которых логических вопросов, именно Аристотель первым систематизировал
г. до н
о
к большому таким образом, что их можно схематически изобразить в виде
двух концентрических окружностей. Между точками на большей окружно
сти и точками на меньшей окружности существует взаимно однозначное со
ответствие, т. е. каждой точке на большей окружности соответствует одна и
только одна точка на меньшей окружности, и наоборот. Тогда оказывается,
что наша фигура из двух колес проедет одинаковое расстояние независимо
от того, совершит ли малое колесо оборот по стержню, проложенному над до
г. до н
рогой на высоте его нижней точки, или же большое колесо сделает оборот по
дороге. Но как такое возможно? В конце концов, мы же прекрасно знаем, что
длины окружностей колес не одинаковы.
Сейчас математикам известно, что взаимно однозначное соответствие точек
на двух кривых не означает, что они должны иметь одинаковую длину. Георг
Кантор (1845-1918) доказал, что число или мощность множества точек на от
резках любой длины одинакова. Он назвал такое трансфининтное число точек
«континуумом». Например, всем числам на отрезке от нуля до единицы могут
быть поставлены во взаимно однозначное соответствие все числа на некоторой
бесконечной линии. Разумеется, до выхода работы Кантора эта проблема вы
зывала у математиков большие затруднения. Также отметим, что, с физичес
кой точки зрения, при движении большого колеса по поверхности дороги ма
ленькое колесо будет проскальзывать и волочиться по линии, касающейся его
поверхности.
Точная дата написания «Механики» и имя ее автора могут навсегда остать
ся загадкой. Хотя эту работу часто приписывают Аристотелю, многие ученые
сомневаются, что «Механика», старейший известный трактат по инженерно
му делу, в действительности была написана им. Другим возможным кандида
том в авторы этого сочинения является ученик Аристотеля Стратон из Ламп-
сака по прозвищу «Физик», умерший в 270 г. до н. э.
о
на теоремах, все из которых могут быть выведены всего из пяти простых ак
сиом, или постулатов. Один из них гласит, что через любые две точки можно
провести только одну прямую. Другой знаменитый постулат утверждает, что
через точку, не лежащую на некоторой прямой, можно провести только одну
прямую, параллельную данной. Лишь в XIX в. математикам наконец стало
известно о существовании неевклидовых геометрий, в которых постулат о
параллельности выполняется не всегда. Систематический подход Евклида к
доказательству математических теорем при помощи последовательности ло
г. до н
т ящ Г
w^%eМ Ж | 1^ШГ
1 .;Ш
^ Р ч ж я зеж к
гш Ш ж зШ В И Щ Я ш Ш iW v 1
Й1кк5 У ' Л а I
Архимед, песчинки и быки
ы Архимед Сиракузский (ок. 287 до н. э. - ок. 212 до н. э.)
о
математические идеи —нет. Может, «бессмертие» и глупое слово, но у мате
матиков, наверное, больше всех шансов обрести его, что бы оно ни значило».
Действительно, древнегреческого геометра Архимеда часто называют вели
чайшим математиком и ученым античности и относят к четырем величайшим
математикам, когда-либо жившим на Земле - вместе с Исааком Ньютоном,
Карлом Фридрихом Гауссом и Леонардом Эйлером. Любопытно, что Архимед
иногда посылал своим коллегам ложные доказательства теорем, чтобы иметь
возможность уличить их в присвоении его открытий.
г. до н
U 1
Число «пи», обозначаемое греческой буквой я, выражает отношение длины
окружности к ее диаметру и примерно равно 3,14159. Вероятно, многие древ
ние народы заметили, что при одном обороте колеса телега проезжает впе
ред чуть больше, чем на длину трех ее диаметров. Это давало примитивное
О
наглядное представление о том, что длина окружности примерно в три раза
больше ее диаметра. В одной древневавилонской табличке упоминается, что
отношение длины окружности к периметру вписанного в нее шестиугольни
ка составляет 1 к 0,96 —такое приближение позволяет получить примерное
значение числа «пи», равное 3,125. Древнегреческий математик Архимед
(ок. 250 лет до н. э.) был первым, кто математически строго определил ин
г. до н
Число «пи» приблизительно равно 3,14 и представляет собой отношение длины окруж
ности к ее диаметру. Древние люди, вероятно, замечали, что при одном обороте колеса
телега проезжает вперед чуть больше, чем на длину трех ее диаметров.
Решето Эратосфена
Эратосфен (ок. 276 до н. э. - ок. 194 до н. э.)
Простое число —это такое число, которое делится только на само себя и на
единицу (например, 5 или 13). Число 14, например, не является простым, так
как 14 = 7 х 2. Простые числа интересуют математиков на протяжении уже
о
более двух тысяч лет. Около 300 г. до н. э. Евклид доказал, что не существу
ет наибольшего простого числа, т. е. множество простых чисел бесконечно.
Но как можно определить, что число является простым? Около 240 г. до н. э.
древнегреческий математик Эратосфен придумал первый расхожий способ
нахождения простых чисел, который мы сейчас называем «решетом Эратос
фена». В частности, с его помощью можно найти все простые числа на интер
вале до некоторого заданного числа. Эратосфен был человеком разносторон
них интересов. Он долгое время возглавлял знаменитую Александрийскую
г. до н
СМ. ТА К Ж Е Цикады и простые числа (1 млн до н. э.), Кость Ишанго (18 000 до н. э.),
Проблема Гольдбаха (1742), Построение правильного семнадцатиугольника (1796),
«Арифметические исследования» Гаусса (1801), Гипотеза Римана (1859), Доказательство
теоремы о распределении простых чисел (1896), Константа Бруна (1 919), Гипотеза Гиль-
брайта (1958), Числа Серпинского (1 960), Скатерть Улама (1 963), Эрдёш и его опыт мате
матического сотрудничества (1971), Криптография с открытым ключом (1977), Гипотеза
Андрики (1985).
Польский худож ник Андреас Гускос создает произведения современного искусства, объ
единяя тысячи простых чисел и используя их в качестве текстур, накладываемых на
различные поверхности. Эта работа носит название «Эратосфен» в честь древнегрече
ского математика, придумавшего первый метод нахождения простых чисел.
rvm^/ф/г^
ы Архимедовы полуправильные
многогранники
Архимед Сиракузский (ок. 287 до н. э. - ок. 212 до н. э.)
о
многогранники, представляют собой выпуклые трехмерные объекты, все грани
которых являются правильными многоугольниками с равными сторонами и
равными углами. Однако в архимедовых телах эти правильные многоугольники
не являются одинаковыми. К примеру, Архимедом был описан напоминающий
современный футбольный мяч многогранник, образованный 12 пятиугольника
ми и 20 шестиугольниками, а также 12 других подобных тел. Образующие такое
тело многоугольники сходятся в каждой его вершине в одном и том же порядке.
г. до н
ы Термин спираль часто используется в общем смысле для описания любой ге
ометрически гладкой кривой, которая огибает центральную точку или ось,
одновременно от нее удаляясь. Если начать приводить примеры объектов,
имеющих форму спирали, на ум приходят как повседневные, так и самые эк
Ul
зотические объекты: нежный завиток усиков папоротника, форма свернутых
щупалец осьминога, положение, которое принимает гусеница, когда прики
дывается мертвой, спиральный кишечный тракт жирафа, форма языка бабоч
ки, спиральное поперечное сечение свитка. Спиральные линии наделены про
стой красотой, которую люди копируют в своем искусстве и орудиях труда, а
г. до н
СМ. ТА К Ж Е Золотое сечение (1509), Локсодрома (1537), Спираль Ферма (1636), Логариф
мическая спираль (1638), Замощение Фодерберга (1936), Скатерть Улама (1963), Спидро-
ны (1979).
о
кривой при удвоении куба. «Удвоением куба» называется знаменитая антич
ная задача на построение куба, в два раза большего по объему, чем заданный,
что означает, что грань большего куба должна быть в у/2 раз больше грани
меньшего куба. Использование Диоклом циссоиды и точки ее пересечения
с прямой было теоретически верным путем решения, но не соответствовало
строгим правилам евклидовых построений, допускавших применение одних
лишь циркуля и линейки.
г. до н
LVTETIAE PARISIORVM,
Sumptibus S e b a s t i ani C r a m o i s y , via
Iacobaca,fub Ciconiis.
M. D C . X X I .
CVM T RIVILECIQ REGJt
Теорема Паппа
340 Папп Александрийский (ок. 290 - ок. 350)
Если три точки А , В, С расположены в любых трех местах на одной прямой, а три
другие точки D, Е , F расположены в любых трех местах на второй прямой, то, по
теореме Паппа, точки X , Y , Z пересечения сторон в пересекающемся шестиугольнике
A FB D CE также будут лежать на одной прямой.
Рукопись Бахшали
«Рукопись Бахшали» — знаменитый математический сборник, найденный в
Ul
1881 г. на северо-западе Индии. Дата создания рукописи может восходить к
третьему столетию нашей эры. Большая часть рукописи была утеряна, и на
момент ее обнаружения из нее сохранилось лишь около 70 берестяных ли
стов. «Рукопись Бахшали» содержит методы и правила решения арифмети
ческих, алгебраических и геометрических задач. В ней также приводится
О
формула для вычисления квадратного корня.
Одна из имеющихся в рукописи задач звучит так: «Перед вами группа из 20
человек, состоящая из мужчин, женщин и детей. Все эти люди вместе зараба
тывают 20 монет в день. Каждый мужчина в день зарабатывает по 3 монеты,
каждая женщина —по полторы монеты, а каждый ребенок —по полмонеты.
Сколько среди них мужчин, женщин и детей? ». Сможете ее решить? Правиль
ный ответ —2 мужчин, 5 женщин и 13 детей. Обозначим число мужчин, жен
щин и детей в группе через а, b и с соответственно. Наш случай описывается
системой двух уравнений: а + b + с = 20 и За + (3/2)Ь + (1/2)с = 20. Приведен
ное решение является единственно верным.
Рукопись была найдена неподалеку от деревни Бахшали округа Юсуфзай
области Пешавар (территория современного Пакистана). Датировка рукописи
представляет собой предмет больших споров, однако большинство исследова
телей полагает, что она является комментарием к более ранней работе, дати
руемой между 200 и 400 г. Одной из необычных особенностей используемой в
«Рукописи Бахшали» нотации является использование знака «+ » после числа
для обозначения отрицательных чисел. При записи уравнений жирной точ
кой обозначается неизвестная величина, которую требуется найти. Похожей
точкой обозначается ноль. Дик Терези пишет: «Самым важным в "Рукописи
Бахшали" является то, что это первый источник по индийской математике,
полностью свободной от религиозного содержания».
СМ. ТА К Ж Е «Арифметика» Диофанта (250), Ноль (650), Ганита сара самграха (850).
В 1885 г. английский худож ник Чарльз Уильям Митчелл изобразил Гипатию за не
сколько мгновений до ее смерти от р ук толпы христианских фанатиков, сорвавших
с нее одежды и убивш их ее прямо в церкви. П о некоторым свидетельствам, с нее при
помощи острых предметов содрали кожу, а затем сожгли заживо.
Ноль
650
Брахмагупта (ок. 598 - ок. 668), Бхаскара (ок. 600 - ок. 680),
Махавира (ок. 800 - ок. 870)
СМ. ТА К Ж Е Рукопись Бахшали (350), Ганита сара самграха (850), «Книга разделов об
индийской математике» (953), «Блестящая книга» Самуила ал-Магриби (1 150), «Книга
абака» Фибоначчи (1202).
Введение цифры ноль зажгло тот огонь, который в конце концов позволил человечеству
проще оперировать большими числами и осуществлять эффективные вычисления в раз
нообразных областях от экономики до физики.
«Задачи для заострения умов
800 юношества» Алкуина
Алкуин Йоркский (ок. 735 - ок. 804),
Герберт Орильякский (ок. 946 - ок. 1003)
СМ. ТА К Ж Е Папирус Ринда (1650 до н. э.), «Алгебра» аль-Хорезми (830), Счёты (1200).
О
го решения линейных и квадратных уравнений. Иногда ее упоминают под
кратким заголовком «Алгебра». Аль-Хорезми считается «отцом алгебры» на
ряду с Диофантом. Перевод его работ на латинский язык познакомил Европу
с десятичной позиционной системой счисления. Любопытно, что слово «ал
гебра» происходит от арабского «аль-джабр» (al jabr), одной из двух описан
ных в его книге операций, которые применяются для решения квадратных
уравнений.
Для аль-Хорезми алъ джабр —это метод, которым можно избавиться от от
рицательных членов в уравнении посредством прибавления к каждой его ча
сти одинаковой величины. Например, выражение х2 = 50х —5х2можно приве
сти к виду 6х2= 50х, прибавив к каждой части уравнения 5х 2.Аль-му кабала -
это метод, согласно которому мы собираем величины одного типа в одной
части уравнения. Например, выражение х 2 + 15 = х + 5 можно упростить до
х 2+ 10 = х.
Книга помогала читателям решать такие уравнения, как х 2 + 10х = 39,
х2+ 21 = 10х и Зх + 4 = х2. Если же говорить более обобщенно, аль-Хорезми
был убежден, что сложные математические задачи можно решить, разбив их
на ряд более маленьких шагов. Аль-Хорезми хотел, чтобы его книга прежде
всего имела практическую ценность и помогала людям осуществлять вычис
ления, связанные с денежными вопросами, наследованием имущества, судеб
ными исками, торговлей и рытьем каналов. В «Алгебре» в том числе разбира
лись типовые задачи из этих областей и их решения.
Аль-Хорезми провел значительную часть своей жизни в Багдаде, возглав
ляя «Дом Мудрости» - библиотеку, переводческий центр и место учебных
занятий. «Дом мудрости» являлся основным интеллектуальным центром Зо
лотого века ислама. К сожалению, в 1258 г. он был разрушен монголами. По
легенде, воды Тигра окрасились в черный цвет от чернил книг, брошенных в
его воды.
ЯГ
n il
:tgk
ItM iujfW
ЧшШ1ш
Кольца Борромео
834 Питер Гатри Тэт (1831-1901)
СМ. ТА К Ж Е Узлы (100 000 до н. э.), Теорема Джонсона (1 91 6), Закон Мерфи и узлы
(1988).
В Книге Бытия И аков приносит в дар своему брату 2 2 0 коз. П о мистическому толко
ванию, в этом был «скрыт тайный замысел», поскольку число 2 2 0 является одним из
пары дружественных чисел, а И аков стремился укрепить свою друж бу с Исавом.
«Книга разделов об индийской
953 математике»
Абу-л-Хасан Ахмад ибн Ибрахим ал-Уклидиси (ок. 920 - ок. 980)
СМ. ТА К Ж Е «Начала» Евклида (300 до н. э.), «Великое искусство» Кардано (1545), Тре
угольник Паскаля (1654), Кривая нормального распределения (1 733), Неевклидовы гео
метрии (1829).
СМ. ТА К Ж Е Кипу (3000 до н. э.), «Задачи для заострения умов юношества» Алкуи-
на (800), Логарифмическая линейка (1621), Механический компьютер Бэббиджа (1822),
Арифмометр «Curta» (1948).
Счёты - одно из важнейших изобретений всех времен по степени его влияния на че
ловеческую цивилизацию. Н а протяжении многих столетий счёты служили инстру
ментом, позволяющим людям осуществлять быстрые вычисления в сфере торговли и
инженерном деле.
«Книга абака» Фибоначчи
1202
Леонардо Пизанский
(также известен как Фибоначчи, ок. 1175 - ок. 1250)
СМ. ТА К Ж Е Ноль (650), «Тревизская арифметика» (1478), Спираль Ферма (1636), Закон
Бенфорда (1881).
ы
Абу-ль-Аббас Ахмед ибн Халликан (1211-1282),
Данте Алигьери (1265-1321)
Ul ной в вечность все такие ангелы непременно достигнут своего Создателя. Для
примера рассмотрим следующий бесконечный ряд: 1 + 2 + 3 + 4... . Если мы
будем прибавлять по члену в год, то сумма всех членов ряда за первые четыре
года составит 10. В конце концов спустя бесконечное число лет эта сумма до
стигнет бесконечности. Математики называют такие ряды расходящимися,
поскольку при бесконечном числе членов ряда его сумма вырастает до беско
нечности. Но в данном случае нас интересует ряд, который расходится значи
тельно медленнее. Это более волшебный ряд, ангел, если так можно сказать,
с более слабыми крыльями.
Рассмотрим следующий гармонический ряд —первый знаменитый пример
расходящегося ряда, члены которого стремятся к нулю: 1 + 1/2 + 1/3 + 1/4 +
... . Разумеется, этот ряд «расходится» гораздо медленнее, чем предыдущий,
но тем не менее вырастает до бесконечности. В действительности он растет так
невероятно медленно, что если бы мы прибавляли по члену в год, то спустя 1043
лет его сумма все еще была бы меньше 100. Уильям Данхэм пишет: «Матема
тики с большим опытом обычно забывают, каким удивительным оказывается
этот факт для незнакомых с ним учащихся - то, что добавляя все более и более
ничтожно малые величины, мы тем не менее достигаем суммы, большей лю
бой, сколь угодно большой, конечной величины».
Первым ученым, доказавшим расходимость гармонического ряда, был из
вестный французский средневековый философ Николай Орем, сделавший это
ок. 1350 г. Однако открытие Орема впоследствии оказалось забыто и спустя
несколько столетий было вновь совершено итальянским математиком Пьетро
Менголи в 1647 г. и швейцарским математиком Иоганном Бернулли в 1687 г.
Брат Иоганна Бернулли Якоб опубликовал его доказательство в своей работе
1689 г. под названием «Трактат о бесконечных рядах» (Tractatus de Seriebus
Infinitis), который он заключает следующим восклицанием: «Так душа необъ
ятного пребывает в теле наименьшего; и в теснейших пределах нет никаких
пределов. О сколь велика радость узревать мельчайшее в бесконечности! Об
ширнейшее подмечать в малом сколь дивно и божественно!».
СМ. ТА К Ж Е Апории Зенона (445 до н. э.), Задача о зернах на шахматной доске (1256),
Представление числа п в виде суммы бесконечного ряда (1 500), Константа Вруна (1919),
Последовательно описанные многоугольники (1940).
СМ. ТА К Ж Е Папирус Ринда (1650 до н. э.), Ганита сара самграха (850), «Книга абака»
Фибоначчи (1202), «Краткое изложение» (1556).
Купцы взвешивают свои товары на рыночной площади (около 1 4 00 г.). Рисунок выпол
нен по витражу X V I в. из Шартрского собора (Франция). В задачах из «Тревизской
арифметики», самой ранней известной печатной книги по математике в Европе, по
большей части речь идет о купцах, денежных вложениях и торговле.
v i
m Г-
|
Представление числа я в виде
1500 суммы бесконечного ряда
Готфрид Вильгельм Лейбниц (1646-1716), Джеймс Грегори (1638-1675),
Нилакантха Сомаяджи (1444-1544)
СМ. -ТА К Ж Е Число л (250 до н. э.), Апории Зенона (445 до н. э.), Расходимость гармони
ческого ряда (1350), Постоянная Эйлера-Маскерони (1735).
U 1
Абу Юсуф Якуб ибн Исхак ибн Саббах аль-Кинди (ок. 801 - ок. 873)
00
шифры было легко взломать, особенно после открытия метода частотного
анализа, разработанного, в том числе, арабским ученым аль-Кинди в IX в.
В рамках данного метода подсчитывается, какие буквы встречаются в язы
ке чаще всего (в английском языке такие буквы образуют известный ряд
«ЕТАОШ SHRDLU»), и эта информация используется для разгадывания под
становочных кодов. Могут использоваться и более сложные методы анализа,
в том числе подсчет повторяющихся буквенных сочетаний. Например, в ан
глийском языке за буквой «Q» почти всегда следует буква «U».
Первая печатная книга по криптографии, Polygraphiae Libri Sex (в русском
варианте «Полиграфия»), была написана немецким монахом, аббатом бене
диктинского монастыря Иоганном Тритемием и опубликована в 1518 г. после
его смерти. В «Полиграфии» приводятся сотни столбцов латинских слов, вы
строенных по две колонки на странице. Каждое такое слово заменяет собой
букву алфавита, причем одной и той же букве может соответствовать несколь
ко слов. К примеру, первая страница начинается следующим образом:
a: Deus [Господь] a: clemens [милостивый]
b: Creator [Создатель] b: clementissimus [всемилостивейший]
с: Conditor [Творец] с: pius [праведный]
При зашифровке сообщения его буквы последовательно заменяются подхо
дящими по контексту словами. Удивительно, что таблицы Тритемия строятся
так, что зашифрованные с их помощью сообщения будут выглядеть осмыслен
ными молитвами. Например, если послание начинается с букв СА, такая «мо
литва» будет, соответственно, начинаться со слов Conditor clemens («милости
вый Творец») латинской фразы. В остальной части «Полиграфии» излагаются
более совершенные криптографические методы и сопутствующие таблицы,
позволяющие надежно защищать секретные сведения.
Другая знаменитая работа Тритемия, «Стеганография» (написана в 1499 г.,
опубликована в 1606 г.), была внесена Католической Церковью в «Индекс за
прещенных книг», поскольку выглядела как сочинение по черной магии, хотя
в действительности попросту являлась еще одним кодовым словарем!
СМ. ТА К Ж Е Теорема косинусов (1427), Криптография с открытым ключом (1977).
по
Локсодрома
1537 Педру Нуниш (1502-1578)
СМ. ТА К Ж Е «Трактат» Омара Хайяма (1070), Мнимые числа (1572), Теория групп (1832).
ARTIS MAGN^ E,
S I V E D E R E G V L I S A L G E B R A IC IS ,
Lib.unus. Qui Sctonus opens deArithmenca, quod
OPVS PERFECTV M
mfcripfit,£ftin ordine Dedmui♦
Карта Меркатора широко используется для морских путешествий. Однако этой кар
те свойственны существенные искажения. К примеру, Гренландия на ней оказывается
примерно одного размера с Африкой, хот я в действительности площадь Африки превос
ходит площадь Гренландии в 14 раз.
Мнимые числа
1572 Рафаэль Бомбелли (1526-1572)
Представьте, что вам нужно положить в большую коробку как можно боль
ше мячей для гольфа при условии, что крышка коробки по-прежнему должна
плотно закрываться. Плотность мячей в коробке определяется как доля объ
ема коробки, которая занята мячами. Для того чтобы сложить в коробку как
можно больше мячей, необходимо найти такое их расположение, при кото
ром их плотность будет максимальной. Если просто взять и насыпать мячики
в коробку, их плотность составит всего около 65% . Если же вы аккуратно вы
ложите на дне коробки слой мячей в гексагональном (сотовом) порядке, а на
следующем слое станете располагать мячи в углублениях, созданных первым
слоем, и так далее, то при этом можно будет достичь плотности упаковки мя
чей до я/Т Т 8,т. е. около 74%.
В 1611 г. немецкий математик и астроном Иоганн Кеплер выдвинул гипоте
зу о том, что никакое иное расположение мячей не обладает большей средней
плотностью. В частности, в своей монографии «О шестиугольных снежинках»
он предположил, что невозможно расположить одинаковые шары в трехмер
ном пространстве более плотно, чем при помощи гранецентрированной (гекса
гональной) кубической упаковки. В девятнадцатом веке Карл Фридрих Гаусс
доказал, что гексагональная упаковка является наиболее эффективной среди
всех регулярных трехмерных решеток. Однако гипотеза Кеплера осталась не
доказанной, поскольку никто не мог однозначно ответить, нельзя ли достичь
большей плотности при нерегулярной упаковке.
Наконец в 1998 г. американский математик Томас Хейлс поразил весь на
учный мир, представив доказательство правоты Кеплера. Уравнение Хейлса
содержало 150 переменных и описывало все возможные варианты расположе
ния 50 шаров. Компьютерные вычисления подтвердили, что ни одна комбина
ция переменных не позволяла достичь эффективности упаковки выше 74% .
Ведущий американский математический журнал Annals of Mathematics
согласился опубликовать это доказательство при условии, что оно будет одо
брено экспертной группой из 12 ведущих специалистов в этой области. В
2003 г. специалисты из экспертной группы заявили в своем отчете, что они
«на 99% уверены» в том, что данное доказательство является корректным. По
подсчетам самого Хейлса, работа над составлением полного формального до
казательства гипотезы Кеплера займет около 20 лет.
У 8 У хо XX *а *У х4 *У X£ му
8 Xо XX ха ху Х4 *У гб *7 х8
У
У *о XX *а ху *4 хУ xtf МУ х8 *У
г о XX ха ху *4 *У гб х 7 х8 ху а©
z х ха Х5 х4 х У х х7 X8 *У а© а х
—
Логарифмическая линейка
1621 Уильям Отред (1574-1660)
Те, кто учился в средней школе до 1970-х гг., еще могут помнить, что лога
рифмическая линейка некогда была столь же обычной вещью, что и пишущая
машинка. С ее помощью инженеры могли буквально за несколько секунд пере
множить и разделить большие числа, извлечь квадратные корни и выполнить
множество других операций. Самый ранний вариант устройства с двигающи
мися друг относительно друга шкалами был разработан в 1621 г. английским
математиком и англиканским священником У. Отредом на основе теории ло
гарифмов, введенных шотландским математиком Дж. Непером. Отред, веро
ятно, сначала не осознавал важности своего изобретения, поскольку не стал
немедленно публиковать его. По некоторым свидетельствам, один из его уче
ников позаимствовал эту идею и издал руководство по пользованию логариф
мической линейкой, в котором превозносилось ее удобство и утверждалось, что
этим устройством «столь же легко пользоваться сидя верхом на лошади, сколь
и стоя на ногах». Отред был глубоко оскорблен подобным вероломством.
В 1850 г. 19-летний французский артиллерийский офицер усовершенство
вал изначальный вариант логарифмической линейки. Линейки нового типа
применялись французской армией во время войны с Пруссией для расчета тра
ектории снарядов. Специальные логарифмические линейки использовались
на американских бомбардировщиках во время Второй мировой войны.
Знаток истории логарифмических линеек Клифф Столл пишет: «Только
представьте себе все те достижения инженерной мысли, которые обязаны сво
им существованием скольжению двух плашек друг относительно друга —это
Эмпайр-стейт-билдинг, плотина Гувера, изгиб моста Золотые Ворота, гидро
динамические передачи, транзисторные радиоприемники, пассажирские са
молеты Boeing 707...». Вернер фон Браун, разработчик ракет Фау-2, полагался
в своих вычислениях на логарифмические линейки немецкой компании Nes-
tler, как это делал и Альберт Эйнштейн. Логарифмические линейки производ
ства компании Pickett находились на борту космических кораблей во время
полетов по программе «Аполлон» на случай отказа компьютеров!
В X X в. по всему миру было выпущено около 40 млн логарифмических ли
неек. Учитывая ключевую роль, которую это устройство играло со времен про
мышленной революции и до наших дней, оно заслуживает отдельного места
в этой книге. В работах Общества имени Уильяма Отреда утверждается: «На
протяжении трех с половиной столетий она [логарифмическая линейка] ис
пользовалась для проектных расчетов при строительстве почти всех сооруже
ний, возведенных за это время на поверхности Земли».
СМ. ТА К Ж Е Счёты (1200), Логарифмы (1614), Арифмометр «Curta» (1948), Н Р -35: пер
вый научный карманный калькулятор (1972), Программа «Mathematica» (1988).
СМ. ТА К Ж Е Архимедова спираль (225 до н. э.), «Книга абака» Фибоначчи (1202), Золотое
сечение (1509), Локсодрома (1537), Последняя теорема Ферма (1637), Логарифмическая
спираль (1638), Замощение Фодерберга (1936), Скатерть Улама (1963), Спидроны (1979).
CN
Рене Декарт (1596-1650)
ОТ
ировала развитие аналитической геометрии —области математики, посвящен
ной описанию пространственного положения объектов через систему коорди
нат и его анализу при помощи алгебраических методов. В «Геометрии» также
кг
рассматривались решения различных математических задач, способы записи
положения точек на плоскости с использованием действительных чисел, зада
ние и классификация кривых при помощи математических уравнений.
Любопытно, что в «Геометрии» не используется собственно декартова си
стема координат или вообще какая-либо система координат. В книге равное
внимание уделяется как переводу алгебраических операций на язык геоме
трических построений, так и обратным действиям. Декарт считал, что после
довательность алгебраических шагов при доказательстве должна иметь соот
ветствующее геометрическое представление.
Ян Гулльберг пишет: "Геометрия” —самый ранний математический текст,
который современный учащийся может легко прочесть, не рискуя запутаться
в изобилии вышедших из употребления обозначений... Наряду с "Началами"
Ньютона она является одним из важнейших научных сочинений семнадцато
го столетия». Согласно Карлу Бойеру, Декарт хотел «освободить» геометрию
от использования поясняющих рисунков при помощи алгебраических проце
дур и одновременно придать смысл алгебраическим операциям через их гео
метрическую интерпретацию.
Если говорить более широко, новаторство Декарта заключается в револю
ционном предложении по объединению алгебры и геометрии в единый пред
мет. Джудит Грабинер пишет: «Так же как историю западной философии
можно рассмотреть как серию комментариев к Платону, так и последние 350
лет развития математики можно рассмотреть как серию комментариев к "Гео
метрии" Декарта и триумф декартова метода при решении задач».
Бойер заключает: «С точки зрения математических способностей, Декарт
был, вероятно, наиболее одаренным мыслителем своего времени, но в глубине
души он в сущности не был математиком». Геометрия была для Декарта лишь
одной из граней всего многообразия его жизни, посвященной науке, филосо
фии и религии.
СМ. ТА К Ж Е Теорема и треугольники Пифагора (600 до н. э.), Гиппократовы луночки
(440 до н. э.), «Начала» Евклида (300 до н. э.), Теорема Паппа (340), Проективная гео
метрия (1639), Фракталы (1975).
CN
Оле Рёмер (1644-1710), Филипп де Ла Ир (1640 - 1718),
Иоганн Кастильон (1704-1791)
кг
тическим свойствам, красоте графика и практической ценности. Название «кар
диоида» происходит от греческого слова, означающего сердце. Уравнение этой
кривой в полярных координатах имеет вид г = а(1 — cosG). Площадь фигуры,
ограниченной кардиоидой, составляет (3/2)тш2, а длина этой кривой равна 8а.
Существует и другой способ построения кардиоиды. Сперва рисуется окруж
ность С и на ней отмечается некоторая точка Р. Затем строится набор различных
окружностей, центры которых лежат на окружности С, а сами они проходят че
рез точку Р. Совокупность таких окружностей заполнит всю внутренность кар
диоиды. Кардиоида так или иначе возникает во множестве на первый взгляд ни
чем не связанных областей математики —от каустики в оптике до центральной
части множества Мандельброта во фрактальной геометрии.
В истории кардиоиды есть несколько значимых дат. Около 1637 г. фран
цузский юрист и математик-любитель Этьен Паскаль, отец математика Блеза
Паскаля, исследовал более общий случай этой кривой —так называемую улит
ку Паскаля. Однако метод построения «улитки» был описан еще в 1525 г. не
мецким художником и математиком Альбрехтом Дюрером в его «Руководстве
к измерению» (нем. Underweysung der Messung). В 1674 г. датский астроном
Оле Рёмер рассматривал кардиоду при изучении эффективных конструкций
зубчатых передач. В 1708 г. французский математик Филипп де Ла Ир вы
числил длину кардиоиды. Любопытно, что говорящее название «кардиоида»
закрепилось за этой кривой только в 1741 г., когда Иоганн Кастильон исполь
зовал именно этот термин в своей работе, опубликованной в журнале «Фило
софские труды Королевского общества».
Кардиоидные кривые имеют не только теоретическую, но и практическую
ценность. По словам Глена Веккионе, они хорошо отображают «картины ин
терференции и конгруэнции волн, концентрически исходящих из точечного
источника. Таким образом, они могут отображать области наиболее высокой
чувствительности микрофонов и антенн... Микрофоны с диаграммой направ
ленности в виде кардиоиды чувствительны к фронтально направленному зву
ку и практически не улавливают звуков, идущих с задней от них стороны».
СМ. ТА К Ж Е Циссоида Диокла (180 до н. э.), Длина дуги полукубической параболы Ней-
ля (1657), Астроида (1674), Фракталы (1975), Множество Мандельброта (1980).
СМ. ТАК Ж Е Теорема Паппа (340), Проекция Меркатора (1569), «Геометрия» Декарта
(1637).
Представьте, что ваш друг вручает вам банку красной краски и предлагает с
ее помощью полностью закрасить бесконечную поверхность. Какую поверх
ность вы выберете? На этот вопрос существует много возможных вариантов
ответа, но одним из самых знаменитых подобных объектов является труба
Торричелли — роговидный объект, образованный вращением графика функ
ции /(х) = 1 /х при х е [1, со) относительно оси х. Применение стандартных
методов математического анализа к трубе Торричелли показывает, что она
обладает конечным объемом, но имеет бесконечную площадь поверхности!
Джон де Пиллис объясняет, что, с математической точки зрения, при на
ливании краски в трубу Торричелли можно полностью наполнить ее воронку,
т. е. тем самым закрасить всю ее внутреннюю поверхность, даже несмотря на
то что число молекул краски конечно. Этот кажущийся парадокс можно ча
стично разрешить, если вспомнить, что труба Торричелли в действительности
является математическим построением, а конечное число молекул краски,
«наполняющей» рог, служит аппроксимацией конечного объема этого рога.
При каких значениях а функция вида /(х ) = \/ха будет образовывать рог
конечного объема и бесконечной площади? Попробуйте найти ответ на этот во
прос самостоятельно или вместе с друзьями.
Труба Торричелли названа так в честь итальянского физика и математика
Эванджелисты Торричелли, открывшего ее в 1641 г. Торричелли был поражен
тем, что эта труба представляла собой бесконечно длинное тело с бесконечной
площадью поверхности, но конечным объемом. Торричелли и его коллеги счи
тали, что в этом сокрыт глубочайший парадокс, поскольку они еще не распо
лагали аппаратом математического анализа и не могли полностью оценить и
понять суть этого феномена. Сейчас Торричелли известен благодаря исследо
ваниям по астрономии, которые он проводил вместе с Галилеем при помощи
телескопа, и изобретению барометра. Трубу Торричелли иногда еще называют
рогом или трубой архангела Гавриила. Такое название вдохновлено образом
архангела Гавриила, который должен протрубить в рог при объявлении дня
Страшного Суда, и связывает представление о беконечном с Божьим всемогу
ществом.
СЛЕВА: Джордж У. Х арт создал эт у нейлоновую модель пирамиды Паскаля при по
мощи физического процесса, называемого селективным лазерным спеканием. СПРАВА:
фрактальный треугольник Паскаля, упоминаемый в тексте. Число ячеек в централь
ных красных треугольниках всегда является четным, кроме того, это совершенное чис
ло ( т. е. число, равное сумме своих положительных делителей, например 6, 28 , 120, 496,
2016...).
Длина дуги полукубической
1657 параболы Нейля
Уильям Нейль (1637-1670), Джон Валлис (1616-1703)
ы
и
о
С М . Т А К Ж Е Т е о р е м а и т р е у г о л ь н и к и П и ф а г о р а ( 6 0 0 д о н . э . ) , « Н а ч а л а » Е в к л и д а (3 0 0 до
н . э .) , Т е о р е м а к о с и н у с о в (1 4 2 7 ) , Т е о р е м а М о р л и о т р и с е к т р и с а х (1 8 9 9 ) , Т р е у г о л ь н и к в
ш аре (1 9 8 2 ).
Картина «Ньют он» кисти Уильяма Блейка (1795). Блейк, худож ник и поэт, изобража
ет Исаака Ньютона в образе Божественного геометра, созерцающего нарисованные на
земле чертежи и прозревающего законы математики и мироздания.
Метод Ньютона
1669 Исаак Ньютон (1642-1727)
СМ . Т А К Ж Е Д л и н а д у ги п о л у к у б и ч е ск о й п а р а бол ы Н ей л я (1 6 5 7 ).
С М . Т А К Ж Е Ц и с с о и д а Д и о к л а (1 8 0 д о н . э . ) , К а р д и о и д а (1 6 3 7 ) , Д л и н а д у г и п о л у к у б и ч е -
с к о й п а р а б о л ы Н е й л я (1 6 5 7 ) , Т р е у г о л ь н и к Р е л о (1 8 7 5 ) , « С у п е р я й ц о » П и т а Х е й н а (1 9 6 5 ) .
С М . Т А К Ж Е С о з д а н и е м а т е м а т и ч е с к о г о а н а л и з а (1 6 6 5 ) , « О с н о в ы а н а л и з а » А н ь е з и (1 7 4 8 ) ,
«И сч и сл ен и е б е ск о н е ч н о м а л ы х » К о ш и (1 8 2 3 ).
IN F IN IM E N T PETITS,
P OV R
1ЛIN T E L L IG E N C E D E S L IG N E S C O U R B E S .
P a r M T le Marquis D z l ' H o s h t a l .
SECONDE ED IT IO N .
A PA R IS,
Chez F r a n c o i s M o n t a l a n t a l’entrce dut
Quay des Auguftins du cote du Pont S. Michel.
M D С С X V I.
■ АУ E C A P P R O B A T I O N E T P R I V I L E G E D V R O T .
Задача о веревке вокруг Земли
1702
Уильям Уистон (1667-1752)
С М . Т А К Ж Е « Н а ч а л а » Е в к л и д а ( 3 0 0 д о н . э . ) , Ч и с л о л ( 2 5 0 д о н . э . ) , З а д а ч а о з е р н а х на
ш а х м а т н о й д о с к е (1 2 5 6 ) .
Веревка или металлическая лента плотно обернута вокруг сферы размером с Землю по
экватору ( или по любой другой огромной окружности). Н а сколько следует удлинить
ленту, чтобы она во всех точках отстояла от поверхности сферы ровно на один фут?
Закон больших чисел
1713
Якоб Бернулли (1654-1705)
С М . Т А К Ж Е И г р а л ь н ы е к о с т и (3 0 0 0 д о н . э . ) , К р и в а я н о р м а л ь н о г о р а с п р е д е л е н и я ( 1 7 3 3 ) ,
С а н к т -П е т е р б у р г с к и й п а р а д о к с (1 7 3 8 ) , Т е о р е м а Б а й е с а (1 7 6 1 ) , И г л а Б ю ф ф о н а ( 1 7 7 7 ) ,
« А н а л и т и ч е с к а я т е о р и я в е р о я т н о с т е й » Л а п л а с а ( 1 8 1 2 ) , З а к о н Б е н ф о р д а (1 8 8 1 ) , К р и т е р и й
х и -к в а д р а т (1 9 0 0 ) .
ы
Дарлинга, число е, «вероятно, самое важное в математике число. Хотя число
к более знакомо обычному человеку, число е обладает гораздо большей значи
мостью и пронизывает собой сферы гораздо более высокие».
Значение числа е примерно равно 2,71828. Его можно вычислить многими
кг
различными способами. К примеру, оно является предельным значением вы
ражения (1 + 1/п), возведенного в п-ю степень, где п неограниченно возраста
ет. Хотя о существовании этой константы знали такие математики, как Якоб
Бернулли и Готфрид Лейбниц, первым, кто всерьез занялся изучением этого
числа, стал Леонард Эйлер. Он же первым использовал для его обозначения
букву е в письмах, написанных им в 1727 г. В 1737 г. он доказал, что число е
иррационально, т. е. не может быть выражено в виде отношения двух целых
чисел. В 1748 г. Эйлер вычислил первые 18 знаков этого числа. На сегодняш
ний день известно более 100 000 000 000 знаков числа е.
Число е используется в самых различных областях. Например, оно вхо
дит в формулу, описывающую форму цепной линии - свободно провисающей
нити, закрепленной с двух концов, применяется при вычислении сложных
процентов и решении разнообразных задач теории вероятностей и статистики.
Оно также входит в состав одного из самых удивительных из всех когда-ли
бо открытых математических соотношений: е“ + 1 = 0, объединяющего пять
важнейших математических символов: 1, 0, л, е и i (квадратный корень из ми
нус единицы). Американский математик Бенджамин Пирс говорил: «Мы не
в состоянии понять эту формулу и не знаем, что она значит, но нам удалось ее
доказать, а значит, мы можем быть уверены в ее истинности». По результатам
ряда опросов, проведенных среди математиков, она занимает первое место в
списке самых красивых математических формул. Казнер и Ньюман отмечают:
«Мы можем лишь воспроизводить это уравнение, не переставая задаваться во
просами о его скрытом смысле. Оно равным образом взывает к мистику, есте
ствоиспытателю и математику внутри нас».
С М . Т А К Ж Е Ч и с л о п ( 2 5 0 д о н . э . ) , М н и м ы е ч и с л а (1 5 7 2 ) , П о с т о я н н а я Э й л е р а - М а с к е р о н и
( 1 7 3 5 ) , Т р а н с ц е н д е н т н ы е ч и с л а (1 8 4 4 ) , Н о р м а л ь н о е ч и с л о (1 9 0 9 ) .
Арка в Сент-Луисе имеет форму перевернутой цепной линии. Кривая цепной линии за
дается формулой у = ( а /2 ) -( е х /а + е - х / а ) . Эта арка является самым высоким в мире
памятником - ее высота составляет 63 0 футов (1 9 2 м).
Формула Стирлинга
С М . Т А К Ж Е Л о г а р и ф м ы (1 6 1 4 ) , П р и н ц и п Д и р и х л е (1 8 3 4 ) , Т р а н с ц е н д е н т н ы е ч и с л а ( 1 8 4 4 ) ,
Т е о р и я Р а м с е я (1 9 2 8 ) .
CN
мостами немецкого города Кёнигсберга
(ныне это город Калининград на террито
рии России). Жители старого Кёнигсберга
любили совершать долгие прогулки вдоль
реки, протекающей через центр города,
прохаживаться по соединяющим ее берега мостам и собираться на островке
в ее середине. В начале XVIII в. кёнигсбержцы все еще точно не знали, суще
ствует ли способ, позволяющий пройти по всем семи мостам, не пересекая ни
один мост дважды, и вернуться при этом в начальную точку пути. Наконец в
1736 г. Л. Эйлер доказал, что такого маршрута не существует.
Эйлер представил мосты в виде графа, в котором частям города соответ
ствуют точки, а мостам —линии, ребра графа. Он показал, что обойти граф,
проходя по каждому ребру в нем только однажды, возможно только в том
случае, если в графе имеется менее трех вершин нечетной степени (степень
вершины графа определяется числом линий, заканчивающихся или начи
нающихся в этой точке). Граф Кёнигсбергских мостов не обладал нужными
характеристиками. Таким образом оказалось, что обойти граф, не проходя по
каждому ребру более одного раза, нельзя. Эйлер обобщил свои наблюдения до
анализа путешествий по любой сети мостов.
Задача о Кёнигсбергских мостах важна для истории математики тем, что
решение Эйлера соответствовало первой теореме теории графов. В наши дни
теория графов используется во множестве областей, начиная от изучения пу
тей химических реакций и транспортных потоков до социальных сетей, обра
зуемых интернет-пользователями. Теория графов даже способна описать ха
рактер распространения венерических заболеваний. Придуманный Эйлером
простой способ представления связности мостов безотносительно их длин ока
зался предвестником топологии —раздела математики, в котором изучаются
свойства и взаимоотношения чистых форм.
С М . Т А К Ж Е Э й л е р о в а х а р а к т е р и с т и к а п р а в и л ь н ы х м н о г о г р а н н и к о в (1 7 5 1 ) , И г р а « И к о с и -
а н » (1 8 5 7 ) , Л е н т а М ё б и у с а ( 1 8 5 8 ) , Г и п о т е з а П у а н к а р е ( 1 9 0 4 ) , Т е о р е м а Ж о р д а н а о к р и в ы х
(1 9 0 5 ), И гра «П о ч к и и п о б е ги » (1 9 6 7 ).
яЦМШ
152 30 118,
155 I
205 249 101 ioV.2OS.23O.N0 4207.2(1
Санкт-Петербургский парадокс
1738
Даниил Бернулли (1700-1782)
СМ. ТАКЖЕ Апории Зенона (445 до н. э.), Аристотелево колесо (320 до н. э.), Закон боль
ших чисел (1713), Парадокс брадобрея (1901), Парадокс Банаха— Тарского (1924), Пара
докс «Гранд-отеля» Гильберта (1925), Парадокс дней рождения (1939), Парадокс берего
вой линии (ок. 1950), Парадокс Ньюкома (1960), Парадокс Паррондо (1999).
С 1 7 3 0 -х г г . ф и л о со ф ы и м а т е м а т и к и м н о г о р а з м ы ш л я л и н а д С а н к т - П е т е р б у р г с к и м п а
р а д о к с о м . П о м н е н и ю р я д а у ч е н ы х , п р и т а к и х у с л о в и я х и гр ы и г р о к м о ж ет в ы и г р а т ь
н е о г р а н и ч е н н о е к о л и ч е с т в о д е н е г . Н о с к о л ь к о б ы в ы в д е й с т в и т е л ь н о с т и з а п л а т и л и за
п р а во в н ей у ч а с т в о в а т ь ?
Проблема Гольдбаха
1742
Кристиан Гольдбах (1690-1764), Леонард Пауль Эйлер (1707-1783)
СМ. ТА К Ж Е Цикады и простые числа (1 млн до н. э.), Решето Эратосфена (240 до н. э.),
Построение правильного семнадцатиугольника (1796), «Арифметические исследования»
Гаусса (1801), Гипотеза Римана (1 859), Доказательство теоремы о распределении про
стых чисел (1896), Константа Вруна (1919), Гипотеза Гильбрайта (1958), Скатерть Улама
(1963), Эрдёш и его опыт математического сотрудничества (1971), Криптография с откры
тым ключом (1977), Гипотеза Андрики (1985).
DI D N
AM A R I A G A E T A N A
A G N E S I
MILANESE
Deir Accaiemia delle Scicnze dt Bologna *
T O M O I .
IN M I L A N O , MDCCXLVII I.
С М . Т А К Ж Е А р х и м е д , п е с ч и н к и и б ы к и (2 5 0 д о н . э . ) , П р о б л е м а Г о л ь д б а х а (1 7 4 2 ) , Т е о р е
м а М о р л и о т р и с е к т р и с а х (1 8 9 9 ) , Т е о р и я Р а м с е я ( 1 9 2 8 ) .
Ul
В задаче о ходе коня шахматный конь должен полностью обойти шахматную
доску размерами 8 x 8 клеток, ступив на каждую клетку доски ровно один
раз. Поиск различных видов таких маршрутов столетиями увлекал матема
тиков. Первое документально подтвержденное решение этой задачи было
so
дано Абрахамом де Муавром, французским математиком, который более из
вестен благодаря исследованиям кривой нормального распределения и тео
ремам о комплексных числах. В решении де Муавра конь заканчивал свой
обход на клетке, которая лежала далеко от начальной точки пути. Француз
ский математик Адриен Мари Лежандр «улучшил» этот результат и нашел
решение, при котором первая и последняя клетки находятся на расстоянии
одного хода, т. е. весь путь коня замыкается в непрерывный круг из 64 ходов.
Такой маршрут называется замкнутым. Леонард Эйлер нашел такой зам
кнутый маршрут, при котором конь обходит две половины доски по очереди.
Эйлер стал первым, кто написал математическую работу, подробно анали
зирующую задачу о ходе коня. В 1759 г. он представил свою работу Берлин
ской академии наук, но опубликован этот знаковый труд был только в 1766 г.
Любопытно, что в 1759 г. Берлинской академией была учреждена премия в
размере 4000 франков за лучший труд, посвященный задаче о ходе коня. Эта
награда, однако, так и не была вручена —вероятно потому, что Эйлер был в то
время назначен главой Академии и не мог претендовать на ее получение.
В моем любимом варианте этой задачи конь проходит по шести граням
куба, каждая из которых представляет собой шахматную доску. Генри Дью-
дени приводит такой маршрут по кубу в своей книге «Математические раз
влечения», и я полагаю, что он опирался при этом на решение (в котором все
грани последовательно обходятся конем по очереди) из более ранней работы
французского математика Александра Теофила Вандермонда (1735-1796).
Поклонниками этой задачи неоднократно разбирались ее решения для шах
матных досок, нанесенных на поверхность цилиндра, ленты Мёбиуса, тора,
бутылки Клейна и даже для пространств большей размерности.
С М . Т А К Ж Е Л е н т а М ё б и у с а (1 8 5 8 ) , Б у т ы л к а К л е й н а (1 8 8 2 ) , К р и в а я П е а н о (1 8 9 0 ) .
С М . Т А К Ж Е З а к о н б о л ь ш и х ч и с е л (1 7 1 3 ) , « А н а л и т и ч е с к а я т е о р и я в е р о я т н о с т е й » Л а п л а са
(1 8 1 2 ).
Перед вами два ящика — ящик № 1 ( ввер ху) и ящик № 2 ( вн и зу). Вы выбираете слу
чайный ящик и вытаскиваете из него бильярдный шар. Какова вероятность, что шар
был вытащен из верхнего ящика?
о 5
%# о. « 9 Л
_АОС> С>&г^
£> © ОЛ® 9
о®
0о о ^
о
,* Ь С СJ9
с © © ос с
€>« © ©
£9
*
Л G
№
о Ш
v &Q
9
У
}
С
Магические квадраты Франклина
кг
Бенджамин Франклин (1706-1790)
ON
лем, издателем, философом, музыкантом и экономистом. В 1769 г. в письме
к своему коллеге он описал построенный им в ранние годы м а г и ч е с к и й ква-
драт.
SO
14 3 62 51 46 35 30 19 удивительных свойств, не все из которых,
возможно, самому Франклину были из
53 60 5 12 21 28 37 44 вестны. Числа в каждой строке и в каждом
11 6 59 54 43 38 27 22 столбце квадрата в сумме дают 260. По
ловина каждой строки или столбца дает
55 58 7 10 23 26 39 42 в сумме 130 — половину 260. Кроме того,
9 8 57 56 41 40 25 24 каждый уголок дает в сумме 260. Приме
ры уголков выделены на иллюстрации се
50 63 2 15 18 31 34 47 рым. Квадраты, обведенные жирной чер
ной линией, как бы образуют «разбитый»
16 1 64 49 48 33 32 17 уголок (14 + 61 + 64 + 15 + 18 + 33 + 36 +
+ 19), который тоже дает в сумме 260.
В квадрате Франклина можно найти и много других красивых особенностей -
например, четыре числа по углам квадрата и четыре числа в его центре так
же дают в сумме 260. Сумма чисел в любом малом квадрате 2 x 2 равна 130,
как и сумма любых четырех чисел, равноудаленных от центра квадрата. При
переводе чисел в двоичную систему счисления обнаруживаются еще более ин
тересные закономерности. Увы, несмотря на все удивительные свойства этого
квадрата, основные его диагонали не дают в сумме 260, т. е. он, строго говоря,
не может быть назван магическим по классическому определению, в которое
входит условие о сумме чисел по диагоналям.
Нам неизвестно, какой метод использовал Франклин для построения сво
их квадратов. Многие пытались раскрыть его секрет, но до 1990-х гг. не было
найдено ни одного быстрого алгоритма, а ведь Франклин утверждал, что мо
жет создавать квадраты «так же быстро, как и писать». В 1991 г. индиец Лалб-
хай Пател изобрел метод, позволяющий строить квадраты Франклина. Хотя
этот метод и отнимал довольно много времени, Пател со временем научился
быстро осуществлять эту процедуру. В магическом квадрате Франклина было
найдено столь большое число интересных особенностей, что он стал метафорой
математического объекта, наполненного закономерностями и свойствами, ко
торые продолжают обнаруживаться еще долгое время после смерти первоот
крывателя.
С М . Т А К Ж Е М а г и ч е с к и е к в а д р а т ы (2 2 0 0 д о н . э . ) , С о в е р ш е н н ы й м а г и ч е с к и й т е с с е р а к т
(1 9 9 9 ).
С М . Т А К Ж Е Т р у б а Т о р р и ч е л л и (1 6 4 1 ) , П с е в д о с ф е р а Б е л ь т р а м и (1 8 6 8 ) , П о в е р х н о с т ь Б о я
(1 9 0 1 ).
С М . Т А К Ж Е И гр а л ь н ы е к о с т и (3 0 0 0 д о н . э .), Ч и с л о п (2 5 0 д о н . э .) , З а к о н б о л ь ш и х чи сел
(1 7 1 3 ), К р и в а я н о р м а л ь н о го р а сп р е д е л е н и я (1 7 3 3 ), « А н а л и т и ч е с к а я т е о р и я в е р о я т н о с т е й »
Л а п л а са (1 8 1 2 ), С о зд а н и е р а н д о м и з и р у ю щ и х у с т р о й с т в (1 9 3 8 ), М е т о д се р е д и н ы к в а д р а т а ф он
Н е й м а н а (1 9 4 6 ), Т р е у г о л ь н и к в ш а р е (1 9 8 2 ).
Пусть имеется шесть полков, в каждом из которых есть шесть офицеров раз
личного ранга. В 1779 г. Леонард Эйлер заинтересовался вопросом о том, воз
можно ли выстроить этих 36 офицеров квадратом размерами 6 x 6 таким об
разом, чтобы в каждом столбце квадрата находилось по одному офицеру из
каждого полка, а в каждой его строке — по одному офицеру каждого ранга.
Говоря языком математики, это эквивалентно нахождению двух взаимно ор
тогональных латинских квадратов шестого порядка. Эйлер верно предполо
жил, что данная задача не имеет решения, а французский математик Гастон
Тарри строго доказал это в 1901 г. «Задача о 36 офицерах» содействовала раз
витию комбинаторики —раздела математики, изучающего возможные спосо
бы сочетания и размещения элементов. Сейчас латинские квадраты исполь
зуются в кодах обнаружения и исправления ошибок и в системах связи.
Латинский квадрат представляет собой квадратную таблицу, заполненную
п наборами чисел от 1 до п таким образом, что каждая отдельная строка или
столбец содержат каждое число только один раз. Количество возможных ла
тинских квадратов начиная с п = 1 равно 1, 2, 12, 576, 161 280, 812 851 200,
61 479 419 904 000, 108 776 032 459 082 956 800 и т. д.
Два латинских квадрата называются ортогональными, если среди п2 пар,
полученных при сопоставлении этих двух массивов, нет повторяющихся, т. е.
все они различны между собой (сопоставлением назовем объединение двух
чисел в упорядоченную пару). К примеру, так выглядят два взаимно ортого
нальных латинских квадрата третьего порядка:
С М . Т А К Ж Е М а г и ч е с к и е к в а д р а т ы (2 2 0 0 д о н . э . ) , А р х и м е д , п е с ч и н к и и б ы к и (2 5 0 до
н . э .) , Э й л е р о в а з а д а ч а о р а з б и е н и и м н о г о у г о л ь н и к о в (1 7 5 1 ) , Т е о р и я Р а м с е я ( 1 9 2 8 ) .
С М . Т А К Ж Е « Н а ч а л а » Е в к л и д а ( 3 0 0 д о н . э . ) , Г и п о т е з а К е п л е р а (1 6 1 1 ) , Т е о р е м а Д ж о н с о
н а (1 9 1 6 ) .
П о з д н я я д о щ е ч к а с а н г а к у ( 1 8 7 3 ) , с о з д а н н а я 1 1 -л е т н и м м а л ь ч и к о м .
Метод наименьших квадратов
179S Карл Фридрих Гаусс (1777-1855)
С М . Т А К Ж Е « А н а л и т и ч е с к а я т е о р и я в е р о я т н о с т е й » Л а п л а с а (1 8 1 2 ) , К р и т е р и й х и -к в а д р а т
(1 9 0 0 ) .
кг семнадцатиугольника
Карл Фридрих Гаусс (1777-1855)
чО
В 1796 г. Гаусс, которому тогда еще не было и 20 лет, обнаружил способ по
строения правильного 17-угольника (гептадекагона) с использованием одних
лишь циркуля и линейки. Полученный результат он опубликовал в 1801 г. в
своей монументальной работе «Арифметические исследования» (Disquisitio-
nes Arithmeticае). Важность открытого Гауссом построения была обусловлена
тем, что все подобные попытки со времен Евклида оказывались неудачными.
CN
Более 1000 лет математикам было хорошо известно, как при помощи цир
куля и линейки строить правильные n-угольники, в которых п кратно 3 или 5,
или является степенью 2. Гаусс расширил этот список, добавив в него много
угольники с простым числом сторон вида 2^2") + 1, где п - целое число. Можно
перечислить несколько первых таких чисел: F0 = 3, Fг = 5, F2 — 17, F.} = 257,
Fi = 65 537 (такие числа называются числами Ферма и необязательно являют
ся простыми). В 1832 г. был построен 257-угольник.
Даже в поздние годы Гаусс по-прежнему считал это открытие одним из сво
их величайших достижений и хотел, чтобы правильный семнадцатиугольник
поместили на его надгробие. Согласно легенде, резчик по камню отказался вы
полнить это условие, сославшись на то, что ввиду сложности построения сем
надцатиугольник в камне на вид ничем не будет отличаться от окружности.
1796 год был плодотворным для Гаусса. Самые разные идеи сыпались из
него как из рога изобилия. Помимо решения задачи о построении семнадцати
угольника (30 марта), Гаусс изобрел модулярную арифметику и вывел закон
взаимности квадратичных вычетов (8 апреля) и закон распределения простых
чисел (31 мая). Он доказал, что любое положительное целое число можно пред
ставить в виде суммы не более трех треугольных чисел (10 июля). Кроме того,
в этом же году Гаусс описал конечное поле вычетов по простому модулю (1 ок
тября). Говоря о своем семнадцатиугольнике, Гаусс упоминал, что был «по
ражен» тем, что со времен Евклида так мало открытий было сделано в области
построения многоугольников.
С М . Т А К Ж Е Ц и к а д ы и п р о с т ы е ч и с л а (1 м л н д о н . э . ) , Р е ш е т о Э р а т о с ф е н а ( 2 4 0 д о н . э .) ,
П р о б л е м а Г о л ь д б а х а (1 7 4 2 ) , « А р и ф м е т и ч е с к и е и с с л е д о в а н и я » Г а у с с а (1 8 0 1 ) , Г и п о т е з а Р и
м а н а ( 1 8 5 9 ) , Д о к а з а т е л ь с т в о т е о р е м ы о р а с п р е д е л е н и и п р о с т ы х ч и с е л (1 8 9 6 ) , К о н с т а н т а
В р у н а ( 1 9 1 9 ) , Г и п о т е з а Г и л ь б р а й т а (1 9 5 8 ) , С к а т е р т ь У л а м а (1 9 6 3 ) , Г и п о т е з а А н д р и к и
(1 9 8 5 ) .
Р ы б к а -к л о у н в с е м н а д ц а т и у г о л ь н о м п р у д у .
1797 Основная теорема алгебры
Карл Фридрих Гаусс (1777-1855)
С М . Т А К Ж Е « Б л е с т я щ а я к н и г а » С а м у и л а а л -М а г р и б и (1 1 5 0 ) , П о с т р о е н и е п р а в и л ь н о г о
с е м н а д ц а т и у г о л ь н и к а (1 7 9 6 ) , « А р и ф м е т и ч е с к и е и с с л е д о в а н и я » Г а у с с а (1 8 0 1 ) , П о л и н о м ы
Д ж он са (1 9 8 4 ).
И л л ю ст р а ц и я Г р е га Ф а ул ер а , изобра ж аю щ ая т ри р е ш е н и я ур а в н е н и я г 3 - 1 = 0 . К орни
э т о г о у р а в н е н и я 1 , - 0 , 5 + 0 ,8 6 6 0 3 1 и - 0 , 5 - 0 ,8 6 6 0 3 i р а с п ол а га ю т с я в ц ен т р е бол ьш и х
« гл а з к о в ». Гр а ф и ч еск ое р еш ен и е ур а в н ен и я п ол уч ен о при пом ощ и м ет ода Н ью т о н а .
«Арифметические исследования»
1801 Гаусса
Карл Фридрих Гаусс (1777-1855)
Стивен Хокинг пишет: «Когда Гаусс приступил к работе над своими эпо
хальными «Арифметическими исследованиями» (лат. Disquisitiones Arith-
meticae), теория чисел была не более чем набором бессвязных результатов...
В "Исследованиях" он ввел запись сравнимости по модулю и тем самым объ
единил и обобщил теорию чисел». На момент публикации этого монументаль
ного труда Гауссу было 24 года.
В «Арифметических исследованиях» изложены основы модулярной арифме
тики, опирающейся на отношение сравнимости чисел по модулю. Два целых чис
лар и q сравнимы по модулю целого числа s тогда и только тогда, когда разность
(р - q) делится на s без остатка, записывается как p = q (mod s). При помощи этой
компактной записи Гаусс переформулировал и доказал знаменитый квадратич
ный закон взаимности, который был не полностью доказан несколькими годами
ранее французским математиком Адриеном Мари Лежандром (1752-1833). Возь
мем два различных нечетных простых числа р и q. Рассмотрим следующие ут
верждения: (1) число р является полным квадратом по модулю числа q; (2) число
q является квадратом по модулю числа р. Согласно квадратичному закону взаим
ности, если ир, и q сравнимы с 3 (mod 4), то верно ровно одно из утверждений (1)
и (2); в противном случае либо оба утверждения (1) и (2) верны, либо ни одно из
них не является верным. (Квадратом называется целое число, которое можно за
писать в виде квадрата какого-либо другого числа, например 25 = 52.)
Таким образом, этот закон определяет разрешимость двух взаимосвязан
ных квадратных уравнений в модулярной арифметике. Гаусс посвятил рас
смотрению этого закона отдельный раздел своей книги. Он считал этот закон
«золотой теоремой» и «жемчужиной арифметики» и был настолько им увле
чен, что составил восемь независимых способов его доказательства.
Математик Леопольд Кронекер говорил: «Совершенно удивительно, что
один-единственный человек, да еще в столь юном возрасте, оказался способен
на столь глубокое и хорошо выстроенное исследование по абсолютно новой
дисциплине». Используемый Гауссом метод изложения, в котором за теорема
ми следуют доказательства, следствия и примеры, был усвоен последующими
авторами. Именно в «Арифметические исследования» уходят корнями работы
многих ведущих математиков X IX в. по теории чисел.
С М . Т А К Ж Е Ц и к а д ы и п р о с т ы е ч и с л а (1 м л н д о н . э . ) , Р е ш е т о Э р а т о с ф е н а ( 2 4 0 д о н . э .),
П р о б л е м а Г о л ь д б а х а ( 1 7 4 2 ) , П о с т р о е н и е п р а в и л ь н о г о с е м н а д ц а т и у г о л ь н и к а (1 7 9 6 ) , Г и п о
т е з а Р и м а н а (1 8 5 9 ) , Д о к а з а т е л ь с т в о т е о р е м ы о р а с п р е д е л е н и и п р о с т ы х ч и с е л (1 8 9 6 ) , К о н
с т а н т а В р у н а (1 9 1 9 ) , Г и п о т е з а Г и л ь б р а й т а (1 9 5 8 ) , С к а т е р т ь У л а м а (1 9 6 3 ) , Э р д ё ш и его
о п ы т м а т е м а т и ч е с к о г о с о т р у д н и ч е с т в а (1 9 7 1 ) , К р и п т о г р а ф и я с о т к р ы т ы м к л ю ч о м (1 9 7 7 ),
Г и п отеза А н д р и к и (1 9 8 5 ).
С М . Т А К Ж Е Л о к с о д р о м а (1 5 3 7 ) , П р о е к ц и я М е р к а т о р а ( 1 5 6 9 ) .
Д ж озеф Х а д д а р т , а н гл и й ск и й к а п и т а н и и зоб р ет а т ел ь п р от р а к т ор а . П р о т р а к т о р -
разновидност ь т ра нспорт ира , и сп ол ьзуем а я дл я н а н есен и я на н а ви га ц и он н ую карт у
м ест оп ол ож ен и я корабля.
1807 Ряд Фурье
Жан Батист Жозеф Фурье (1768-1830)
С М . Т А К Ж Е Ф у н к ц и и Б е с с е л я (1 8 1 7 ) , Г а р м о н и ч е с к и й а н а л и з а т о р (1 8 7 6 ) , Д и ф ф е р е н ц и
ал ьн ы й ан ал и затор (1 9 2 7 ).
М о л е к у л я р н а я м о д ел ь го р м о н а р о с т а ч е л о в е к а . Р я д Ф у р ь е и с о о т в е т с т в у ю щ и е м ет о
д ы Ф у р ъ е -с и н т е з а и с п о л ь з у ю т с я д л я о п р е д е л е н и я м о л е к у л я р н ы х с т р у к т у р п о да н н ы м
р е н т ген о в с к о й диф ракции.
«Аналитическая теория
1812 вероятностей» Лапласа
Пьер-Симон, маркиз де Лаплас (1749-1827)
Л а п л а с о т м ет и л , ч т о в е р о я т н о с т ь , у х о д я щ а я к о р н я м и в а н а л и з а з а р т н ы х и гр , м ож ет
с т а т ь « в а ж н е й ш и м о б ъ е к т о м ч е л о в е ч е с к и х з н а н и й ».
Задача принца Руперта
1816 Руперт Пфальцский (1619-1682), Питер Ньивланд (1764-1794)
С М . Т А К Ж Е П л а т о н о в ы т е л а ( 3 5 0 д о н . э .) , Э й л е р о в а х а р а к т е р и с т и к а в ы п у к л ы х м н о г о
г р а н н и к о в (1 7 5 1 ) , Т е с с е р а к т ( 1 8 8 8 ) , Г у б к а М е н г е р а ( 1 9 2 6 ) .
Принц Руперт выиграл в споре о том, что в одном из д в у х одинаковых кубов можно
проделать отверстие, достаточное для того, чтобы сквозь него прошел второй куб.
М ногие думали, что это невыполнимо.
Функции Бесселя
1817 Фридрих Вильгельм Бессель (1784-1846)
С М . Т А К Ж Е Р я д Ф у р ь е (1 8 0 7 ) , Д и ф ф е р е н ц и а л ь н ы й а н а л и з а т о р ( 1 9 2 7 ) , А т т р а к т о р И к е д ы
(1 9 7 9 ).
Функции Бесселя используются при решении задач на распространение волн или опре
деления мод колебаний тонкой круглой мембраны (визуализация П ауля Нюландера).
|_а Механический компьютер Бэббиджа
Чарльз Бэббидж (1792-1871),
00
Августа Ада Кинг, графиня Лавлейс (1815-1852)
ы
Чарльз Бэббидж — знаменитый английский аналитик, статистик и изобре
татель. Помимо этого, он отличался большим интересом к проблеме религи
озных чудес. Бэббидж писал: «Чудеса суть не нарушение установленных за
конов, но... указание на существование законов иных, куда более высших».
Он настаивал на том, что чудеса могут случаться в механистическом мире.
Так же как и сам Бэббидж мог вносить странные и неожиданные действия в
программы своих машин, по мысли Бэббиджа, и Бог мог «программировать»
схожие аномалии в мироздании. Тщательно изучив библейские рассказы о
чудесах, он даже подсчитал, что шанс воскрешения человека из мертвых со
ставляет, по его оценке, 1 к 1012.
Бэббидж часто считается наиболее значимым математиком и инженером в
предыстории электронных вычислительных машин. В частности, он известен
соданием огромного управляемого вручную механического калькулятора -
дальнего предка наших современных компьютеров. Сам Бэббидж считал, что
его машина будет наиболее полезна при составлении математических таблиц.
Больше всего он опасался ошибок, вносимых людьми при переписывании
вручную результатов с 31 металлического диска (устройства вывода информа
ции). Сегодня ясно, что Бэббидж примерно на столетие опередил свое время и
что условия той эпохи противоречили его благородным мечтаниям.
Свою работу над так называемой «Разностной машиной» Бэббидж начал в
1822 г., но ему не суждено было ее закончить. Предполагалось, что она смо
жет вычислять значения полиномиальных функций и будет состоять пример
но из 25 000 механических деталей. Бэббидж также намеревался создать еще
один компьютер более общего назначения —Аналитическую машину. Такой
«компьютер» программировался при помощи перфокарт и имел раздельные
области для хранения чисел и вычислений. По расчетам, Аналитическая ма
шина, способная запоминать 1000 50-значных чисел, имела бы в длину более
100 футов (около 30 м). Составлением программы для Аналитической маши
ны занималась Ада Лавлейс, дочь знаменитого английского поэта Джорджа
Байрона. Несмотря на помощь и участие Бэббиджа в этой работе, именно Ада
традиционно считается первым программистом в истории.
В 1990 г. писатели Уильям Гибсон и Брюс Стерлинг выпустили роман «Ма
шина различий», в котором предлагают читателю вообразить, что было бы,
если бы механические компьютеры Бэббиджа получили широкое распростра
нение в викторианском обществе.
С М . Т А К Ж Е С ч ё т ы (1 2 0 0 ) , Л о г а р и ф м и ч е с к а я л и н е й к а (1 6 2 1 ) , Д и ф ф е р е н ц и а л ь н ы й а н а л и
з а т о р ( 1 9 2 7 ) , Э Н И А К (1 9 4 6 ) , А р и ф м о м е т р « C u r t a » (1 9 4 8 ) , Н Р -3 5 : п е р в ы й н а у ч н ы й к а р
м а н н ы й к а л ь к у л я т о р (1 9 7 2 ) .
Рабочая модель одного из узлов разностной машины Чарльза Бэббиджа. Сейчас она вхо
дит в экспозицию лондонского М узея науки.
«Исчисление бесконечно малых»
1823 Коши
Огюстен Луи Коши (1789-1857)
С М . Т А К Ж Е А п о р и и З е н о н а (4 4 5 д о н . э . ) , С о з д а н и е м а т е м а т и ч е с к о г о а н а л и з а (1 6 6 5 ),
« А н а л и з б е с к о н е ч н о м а л ы х » Л о п и т а л я (1 6 9 6 ) , « О с н о в ы а н а л и з а » А н ь е з и (1 7 4 8 ) , « А н а л и
ти ч е ск а я т еор и я в е р о я т н о с т е й » Л ап л а са (1 8 1 2 ).
С М . Т А К Ж Е « Г е о м е т р и я » Д е к а р т а (1 6 3 7 ) , П р о е к т и в н а я г е о м е т р и я (1 6 3 9 ) , Л е н т а М ё б и у с а
(1 8 5 8 ) .
Со времен Евклида (ок. 325 до н. э.—ок. 270 до н. э.) казалось, что так назы
ваемый постулат о параллельности (или постулат о параллельных прямых)
адекватно описывает устройство нашего трехмерного мира. Согласно этому
постулату, в плоскости через точку, не лежащую на данной прямой, можно
провести только одну прямую, которая никогда не пересечется с данной.
Создание систем неевклидовой геометрии, в которых этот постулат не со
блюдается, со временем привело к колоссальным последствиям. Эйнштейн
говорил о неевклидовой геометрии следующее: «Этой трактовке геометрии я
придаю величайшее значение, ибо не будь я с ним знаком, я бы никогда не
смог создать теорию относительности». По существу, в общей теории относи
тельности Эйнштейна пространство-время представляет собой неевклидову
геометрическую систему, в которой пространство-время деформируется, или
искривляется, вблизи гравитирующих тел, таких как Солнце и планеты. Про
исходит это так: представьте, что вы положили шар для боулинга на толстый
лист резины. Если затем поместить небольшой шарик в образовавшееся углу
бление и его подтолкнуть, то некоторое время маленький шарик будет обра
щаться вокруг шара для боулинга подобно тому, как планеты обращаются во
круг Солнца.
В 1829 г. русский математик Николай Иванович Лобачевский опубликовал
свой труд «О началах геометрии», в котором представил полностью согласо
ванную геометрическую систему, основанную на положении о ложности по
стулата о параллельности. Несколькими годами ранее венгерский математик
Янош Бойяи разработал похожую неевклидову геометрию, но его результаты
были опубликованы лишь в 1832 г. В 1854 г. немецкий математик Бернхард
Риман обобщил открытия Бойяи и Лобачевского, показав, что при соответ
ствующем числе измерений могут существовать различные неевклидовы гео
метрии. Риман однажды заметил: «Ценность неевклидовой геометрии заклю
чается в том что она освобождает нас от власти устоявшихся представлений и
позволяет подготовиться к тому времени, когда открытие физических законов
потребует геометрии, отличной от евклидовой». С появлением общей теории
относительности это предсказание исполнилось.
С М . Т А К Ж Е « Н а ч а л а » Е в к л и д а (3 0 0 д о н . э . ) , « Т р а к т а т » О м а р а Х а й я м а (1 0 7 0 ) , « Г е о м е т
р и я » Д е к а р т а ( 1 6 3 7 ) , П р о е к т и в н а я г е о м е т р и я (1 6 3 9 ) , Г и п о т е з а Р и м а н а (1 8 5 9 ) , П с е в д о с ф е
р а Б е л ь т р а м и (1 8 6 8 ) , М н о г о о б р а з и е У и к с а ( 1 9 8 5 ) .
С М . Т А К Ж Е Ц и к а д ы и п р о с т ы е ч и с л а (1 м л н д о н . э . ) , Р е ш е т о Э р а т о с ф е н а (2 4 0 д о н . э .) ,
Г и п отеза А н д р и к и (1 9 8 5 ).
Если имеется т домиков для голубей и п голубей, то по крайней мере в одном домике
находится больше одного голубя при условии, что п > т.
Кватернионы
1843 Сэр Уильям Роуэн Гамильтон (1805-1865)
СМ. ТА К Ж Е Гиппократовы луночки (440 до н. э.), Число к (250 до н. э.), Эйлерово число
е (1727), Формула Стирлинга (1730), Трансфинитные числа Кантора (1874), Нормальное
число (1909), Число Чамперноуна (1933).
Французский математик Шарль Эрмит (ок. 1887). В 1 8 73 г. Эрмит доказал, что число
Эйлера «е» является трансцендентным.
1844 Гипотеза Каталана
Эжен Шарль Каталан (1814-1894), Преда Михайлеску (р. 1955)
Ul
Джеймс Сильвестр впервые ввел слово «матрица» для описания прямоуголь
ного расположения или массива элементов, который можно складывать и
перемножать. Матрицы часто используются для описания систем линейных
уравнений и вообще во всех случаях, когда требуется представить информа
цию, зависящую от двух и более параметров.
Заслуга понимания и раскрытия подлинной значимости алгебраических
о
свойств матриц приписывается английскому математику Артуру Кэли за его
дальнейшую работу по матрицам, написанную в 1855 г. Поскольку Кэли и
Сильвестр много лет провели в тесном сотрудничестве, их часто считают со
вместными основателями теории матриц.
Хотя теория матриц была разработана лишь в середине X IX в., некоторые
простые представления о матрицах уходят корнями глубоко в историю. Древ
ним китайцам были известны простейшие матрицы —магические квадраты,
а кроме того, они умели применять матричные методы для решения систем
уравнений. В XVII в. некоторые соображения об использовании матриц возни
кали у японского математика Сэки Кова (1683) и немецкого математика Гот
фрида Лейбница (1693).
И Сильвестр, и Кэли учились в Кембриджском университете. Сильвестр,
однако, не мог претендовать на ученую степень, поскольку был евреем, хотя
по результатам выпускного университетского экзамена по математике он за
нял второе место среди всех учащихся. До Кембриджа Сильвестр посещал Ко
ролевский институт Ливерпуля, но был вынужден перебраться в Дублин из-за
нападок со стороны других студентов, вызванных его религиозной принад
лежностью.
Кэли проработал адвокатом более десяти лет, написав за это время около
250 математических работ. Затем он был приглашен на должность профессо
ра Кембриджского университета, после чего опубликовал еще 650 работ. Кэли
первым ввел и изучил операцию умножения матриц.
В наши дни матрицы используются во множестве областей, в том числе при
шифровании и дешифровании данных, в компьютерной графике (например, в
видеоиграх и при визуализации медицинских данных), при решении систем
линейных уравнений, в физике в рамках квантово-механических исследова
ний структуры атома и при изучении условий равновесия твердых тел, в тео
рии графов и теории игр, при построении экономических моделей и проекти
ровании электросетей.
СМ. ТА К Ж Е Гипотеза Кеплера (1611), Гипотеза Римана (1859), Бутылка Клейна (1882),
В поисках группы Ли Е8 (2007).
В этой карте штата Огайо (сканированное изображение оригинала 1881 г.) использу
ется всего четыре цвета. Обратите внимание, что никакие две области одного цвета
не имеют общей границы.
•р.. . *i
115 2
ь •.. г , т :
■
RTcT^b.vx , i - ...-■'';,
■S=jbirraH2 j SL-»T~*
[Е ГЬ-K U S U .y J
rjN*4
2i.M W & k ?r
2Й111У1 H S iH *
-3
3§p У ^У У ^^Ю
гЖ!1"ДГ2еп^ tV -. V-*Л *^ь=я»1
5>*y
1Л
\* /
4'
C V. ,
1854 Булева алгебра
Джордж Буль (1815-1864)
С М . Т А К Ж Е « О р г а н о н » А р и с т о т е л я ( 3 5 0 д о н . э .) , « Т е о р и я и г р ы в м е л е д у » Л у и Гро
(1 8 7 2 ) , Д и а г р а м м ы В е н н а ( 1 8 8 0 ) , « Ф и л о с о ф и я и з а н и м а т е л ь н о е в а л г е б р е » М э р и Буль
(1 9 0 9 ) , « О с н о в а н и я м а т е м а т и к и » ( 1 9 1 0 - 1 9 1 3 ) , Т е о р е м а Г ё д е л я о н е п о л н о т е ( 1 9 3 1 ) , Код
Г р е я (1 9 4 7 ) , Т е о р и я и н ф о р м а ц и и ( 1 9 4 8 ) , Н е ч е т к а я л о г и к а ( 1 9 6 5 ) .
Украинский худож ник и фотограф М ихаил Толстой творчески вы.ражает свое пред
ставление о двоичном потоке данных, состоящем из единиц и нулей. Эта иллюстрация
напоминает ему о стремительном течении двоичной информации по цифровым сетям,
например сети Интернет.
VnlP *<Л;
Игра «Икосиан»
Сэр Уильям Роуэн Гамильтон (1805-1865)
Ul
сал игру «Икосиан», цель которой состоит в том, чтобы найти такой путь
по ребрам додекаэдра (правильного 12-гранника), чтобы каждая его верши
на была пройдена ровно один раз. В наши дни гамильтоновым путем в тео
рии графов называется такой путь, который ровно один раз проходит через
KI
каждую вершину графа. Понятие гамильтонова цикла (или гамильтоновой
цепи) - нахождение которого и является целью игры — подразумевает, что
путь замыкается в начальной точке. Английский математик Томас Киркман
(1806—1895) сформулировал задачу игры «Икосиан» более общим образом:
если имеется граф в виде многогранника, то существует ли такой цикл, кото
рый проходит по всем его вершинам?
Название «Икосиан» происходит от введенного Гамильтоном вида алгебры,
называющегося икосианным исчислением и основанном на свойствах симме
трии икосаэдра. Гамильтон решил задачу о додекаэдре при помощи данного
исчисления и связанных с ним икосианов (особого рода векторов). Оказалось,
что гамильтонов цикл существует для всех П л а т о н о в ы х т е л . В 1974 г. матема
тик Фрэнк Рубин описал эффективную процедуру поиска, позволяющую най
ти в графах некоторые из гамильтоновых путей и циклов.
Права на игру «Икосиан» выкупил лондонский производитель игрушек,
который выпустил на ее основе головоломку. В ней каждая вершина додека
эдра называлась именем крупного города, и из нее выступал небольшой стер
жень. Игрок отмечал свой путь по городам, оборачивая нить вокруг пройден
ных стержней. Игрушка выпускалась и в других вариантах - например, в
виде плоской перфорированной доски, отверстия на которой соответствовали
вершинам додекаэдра (плоскую модель додекаэдра можно получить, вырезав
одну из его граней и растянув полученный объект так, чтобы он лег на пло
скость). Увы, продажи игры оказались не очень высоки —частично из-за того,
что решить головоломку было крайне просто. Вероятно, в своем увлечении
глубокими теориями Гамильтон просто проглядел тот факт, что простой метод
проб и ошибок позволяет найти решение очень быстро!
С М . Т А К Ж Е П л а т о н о в ы т е л а (3 5 0 д о н . э . ) , А р х и м е д о в ы п о л у п р а в и л ь н ы е м н о г о г р а н н и
к и (2 4 0 д о и . э .) , З а д а ч а о К ё н и г с б е р г с к и х м о с т а х (1 7 3 6 ) , Э й л е р о в а х а р а к т е р и с т и к а в ы п у
к л ы х м н о г о г р а н н и к о в (1 7 5 1 ) , Ф о р м у л а П и к а (1 8 9 9 ) , Г е о д е з и ч е с к и й к у п о л ( 1 9 2 2 ) , М н о г о
г р а н н и к Ч а с а р а (1 9 4 9 ) , М н о г о г р а н н и к С и л а ш и (1 9 7 7 ) , С п и д р о н ы (1 9 7 9 ) , П о и с к и х о л и эд р а
(1 9 9 9 ) .
Творческое изображение Тейи Крашен на тему игры «И косиан». Ц ель игры состоит в
том, чтобы найти такой путь по ребрам додекаэдра, чтобы, пройти каждую его вер
шину ровно один раз. В 1859 г. права на эт у игру выкупил лондонский производитель
игрушек.
м Гармонограф
Ul
обычно используются два маятника, под воздействием которых на бумагу
наносятся кривые линии, имеющие как художественную, так и математи
ческую ценность. В одной из разновидностей гармонографа первый маятник
приводит в движение перо, а второй - стол с закрепленным на нем листом бу
маги. Объединенное воздействие двух маятников обусловливает сложное дви
кг
жение пера по бумаге, которое неуклонно замирает в одной точке вследствие
трения. Каждый новый росчерк пера при новом обороте ложится на неболь
шом расстоянии от росчерка, проведенного на прошлом обороте, что прида
ет наносимому рисунку волнистый, отдаленно напоминающий паутину вид.
Изменяя частоту и фазу колебаний одного маятника относительно другого,
можно получать большое число разнообразных картин.
В простейшем случае наносимые линии можно представить как фигуры
Лиссажу, описывающие сложное гармоническое движение и выражаемые
(в случае остуствия трения) кривыми следующего вида: x(t) = Asin(ai + d),
y(t) = Bsin(bt), где t —время, а А и В —амплитуды. Отношение а к Ъзадает от
носительные частоты, d — разность фаз. Таким образом, варьируя значения
немногочисленных параметров, можно получать самые разнообразные орна
ментальные кривые.
Первые гармонографы были сооружены в 1857 г. французским математи
ком и физиком Жюлем Антуаном Лиссажу. Лиссажу использовал два камер
тона с прикрепленными к ним маленькими зеркалами, которые колебались с
различной частотой. Лучи света отражались от зеркал и рисовали в воздухе
сложные кривые линии, развлекавшие зрителей.
Заслуга создания традиционных гармонографов с маятниками принадле
жит английскому математику и физику Хью Блэкберну. Многие разновид
ности гармонографов Блэкберна создаются и по сей день. В более сложных
гармонографах могут использоваться дополнительные маятники или даже си
стемы сцепленных маятников. В моем романе «Вирус небес» описывается при
чудливый внеземной гармонограф, в котором «перо колеблется на платформе,
которая колеблется на другой платформе, которая колеблется на третьей плат
форме и так далее вплоть до десятой платформы».
С М . Т А К Ж Е Д и ф ф е р е н ц и а л ь н ы й а н а л и з а т о р (1 9 2 7 ) , Х а о с и э ф ф е к т б а б о ч к и (1 9 6 3 ) , А т
т р а к т о р И к е д ы (1 9 7 9 ) , К р и в а я б а б о ч к и ( 1 9 8 9 ) .
С М . Т А К Ж Е З а д а ч а о К ё н и г с б е р г с к и х м о с т а х (1 7 3 6 ) , Э й л е р о в а х а р а к т е р и с т и к а в ы п у к л ы х
м н о г о г р а н н и к о в (1 7 5 1 ) , З а д а ч а о х о д е к о н я (1 7 5 9 ) , Б а р и ц е н т р и ч е с к о е и с ч и с л е н и е (1 8 2 7 ),
Т р е у г о л ь н и к Р е л о (1 8 7 5 ) , Б у т ы л к а К л е й н а ( 1 8 8 2 ) , П о в е р х н о с т ь Б о я ( 1 9 0 1 ) .
Множество лент М ёбиуса ( иллюстрация создана Тейей Крашен и автором этой кни
ги). Лента М ёбиуса — первая односторонняя поверхность, открытая и изученная чело
веком.
Теорема Гольдича
1858 Хемнет Гольдич (1800-1867)
г>
Теорема Гольдича не перестает удивлять математиков уже более сотни лет.
Например, в 1988 г. английский математик Марк Кукер писал: «Две вещи в
ней приводят меня в полное изумление. Во-первых, формула площади не за
висит от формы начальной кривой Сг Во-вторых, [формула площади между
кривыми Су и С2] —это формула площади эллипса с полуосями р и q, но сама-то
теорема с эллипсами никак не связана!»
Эта теорема была опубликована Хемнетом Гольдичем в 1858 г. Гольдич
был главой колледжа Гонвилл-энд-Киз в составе Кембриджского универси
тета в середине XIX в. Кривая Гольдича С2для окружности Сг радиуса R так
же является окружностью с радиусом
о м . Т А К Ж Е Ч и с л о к ( 2 5 0 д о н . э . ) , Т е о р е м а Ж о р д а н а о к р и в ы х (1 9 0 5 ) .
С М . Т А К Ж Е Ц и к а д ы и п р о с т ы е ч и с л а (1 м л н д о н . э .) , Р е ш е т о Э р а т о с ф е н а (2 4 0 д о н. э.),
Р а с х о д и м о с т ь г а р м о н и ч е с к о г о р я д а (1 3 5 0 ) , М н и м ы е ч и с л а (1 5 7 2 ) , Т е о р е м а о ч е т ы р е х кр а
с к а х (1 8 5 2 ) , 2 3 п р о б л е м ы Г и л ь б е р т а ( 1 9 0 0 ) .
С М . Т А К Ж Е Т р у б а Т о р р и ч е л л и (1 6 4 1 ) , М и н и м а л ь н а я п о в е р х н о с т ь ( 1 7 7 4 ) , Н е е в к л и д о в ы
г е о м е т р и и (1 8 2 9 ) .
С М . Т А К Ж Е К р и в а я П е а н о (1 8 9 0 ) , С н е ж и н к а К о х а (1 9 0 4 ) , Р а з м е р н о с т ь Х а у с д о р ф а (1 9 1 8 ),
П а р а д о к с б е р е г о в о й л и н и и (1 9 5 0 ) , Ф р а к т а л ы (1 9 7 5 ) .
С М . Т А К Ж Е Б у л е в а а л г е б р а (1 8 5 4 ) , П я т н а ш к и ( 1 8 7 4 ) , Х а н о й с к а я б а ш н я ( 1 8 8 3 ) , К о д Грея
(1 9 4 7 ) , Г о л о в о л о м к а « М г н о в е н н о е у м о п о м е ш а т е л ь с т в о » ( 1 9 6 6 ) .
СМ. ТА К Ж Е Смерть Гипатии (415), «Основы анализа» Аньези (1748), «Философия и за
нимательное в алгебре» Мэри Буль (1909), Теория идеалов Эмми Нётер (1921).
В 80-е гг. X I X в. пятнашки произвели настоящий фурор по всему миру - подобно тому,
как это случилось с кубиком Рубика в наши дни. С течением времени математики
точно определили, при каких начальных положениях костяшек эта говоломка имеет
решение.
Трансфинитные числа Кантора
Георг Кантор (1845-1918)
кг
любую дифференцируемую функцию вне зависимости от степени ее сложно
сти можно представить с произвольной точностью в виде суммы синусов и ко
синусов. К примеру, периодическую функцию f(x) можно представить в виде
суммы слагаемых вида А п- sin(nx) + Вп- cos(пх), где А п и Вп —амплитуды.
O N
Гармонический анализатор —физическое устройство для определения коэф
фициентов А п и Вп. Первым создателем гармонического анализатора был Уи
льям Томсон, лорд Кельвин - английский ученый, занимавшийся математиче
ской физикой. В 18 76 г. он разработал подобное устройство для анализа кривых,
связанных с наблюдением приливных океанских волн. Бумага с нанесенной на
нее рассматриваемой кривой оборачивалась вокруг главного цилиндра инстру
г> мента. Затем эта кривая вручную обводилась специальной рейкой, в результате
чего определялись различные составляющие данной кривой, а через них и ис
комые коэффициенты. Кельвин писал, что его «кинематическая машина» спо
собна предсказывать не только «время и высоту приливов, но и глубину воды в
любой момент времени, представляя ее величину в виде непрерывной кривой
...на многие годы вперед». Поскольку приливные волны зависят от множества
факторов: положения Солнца, Луны, вращения Земли, формы береговой ли
нии, профиля морского дна - они обычно бывают весьма сложными.
В 1894 г. немецкий математик Олаус Хенрики (1840-1918) разработал гар
монический анализатор для определения гармонических
составляющих сложных звуковых волн, например тех,
которые производят музыкальные инструменты. В его
устройстве использовалось несколько блоков и стеклян
ных шаров, которые присоединялись к измерительным
шкалам, показывающим фазу и амплитуды 10 гармоник
Фурье.
В 1909 г. немецкий инженер Отто Мадер сконструиро
вал гармонический анализатор, в котором для обвода кри
вой использовались рейка и сменные диски, соответство
вавшие различным гармоникам. В гармоническом анализаторе Монтгомери,
созданном в 1938 г., для определения гармоник кривой использовались сред
ства оптики и фотоэлектрики. Г. К. Монтгомери, работавший в «Лабораториях
Белла», писал, что его устройство «особенно подходит для анализа речи и му
зыки, покольку оно может работать напрямую от обычной пленки со звуковой
дорожкой».
СМ . Т А К Ж Е Р я д Ф у р ье (1 8 0 7 ), Д и ф ф ер ен ц и ал ьн ы й ан ал и затор (1 9 2 7 ).
С и м м е т р и ч н а я 1 1 л е п е с т к о в а я д и а гр а м м а В е н н а (и з о б р а ж е н и е л ю б е з н о п р е д о с т а в л е н о
д о к т о р о м П е т е р о м Х а м б у р г е р о м и Э д и т Х е п п ).
1881 Закон Бенфорда
Саймон Ньюкомб (1835-1909), Фрэнк Бенфорд (1883-1948)
С М . Т А К Ж Е Б у л е в а а л г е б р а (1 8 5 4 ) , И г р а « И к о с и а н » (1 8 5 7 ) , « Т е о р и я и г р ы в м е л е д у » Л у и
Г р о (1 8 7 2 ) , Т е с с е р а к т ( 1 8 8 8 ) , К о д Г р е я (1 9 4 7 ) , Г о л о в о л о м к а « М г н о в е н н о е у м о п о м е ш а т е л ь
с т в о » ( 1 9 6 6 ) , К у б и к Р у б и к а (1 9 7 4 ) .
С М . Т А К Ж Е « Н а ч а л а » Е в к л и д а (3 0 0 д о н . э . ) , Б у т ы л к а К л е й н а ( 1 8 8 2 ) , Т е с с е р а к т (1 8 8 8 ) .
/—W*
By A Square $
Thru Dim m im
I4v« Рминя—« (Edwin A. Abbott) —
□ a
SFACLLAXO
FLATLAUD
00 пребывать загробная жизнь, рай, ад, ангелы и наши души. Математики и фи
зики часто используют четвертое измерение в своих вычислениях; оно явля
ется важной частью теорий, описывающих самую ткань нашей реальности.
Тессеракт - четырехмерный аналог обычного куба. Термин гиперкуб ис
пользуется в более общем смысле для описания аналогов куба во всех других
00 размерностях. Как куб можно представить себе, взяв квадрат и мысленно пе
редвигая его в третьем измерении —это будет фигура, образуемая движением
квадрата в пространстве, - так же и тессеракт представляет собой «след» куба,
передвигаемого в четвертом измерении. Хотя человеку трудно вообразить себе
куб, перемещаемый в направлении, перпендикулярном всем трем его осям,
на помощь математикам приходят средства компьютерной графики, которые
помогают обрести более полное понимание объектов и фигур более высоких
размерностей. Обратите внимание, что куб ограничен квадратными гранями,
а тессеракт — кубическими. Можно следующим образом представить число
точек (углов), отрезков (ребер), квадратов (граней) и кубов, соответствующих
объектам различной размерности:
СМ . Т А К Ж Е «Н а ч а л а » Е вк л и д а (3 0 0 д о н. э .), «О р га н о н » А р и с т о т е л я (3 5 0 д о н . э .), Б у
л е в а а л г е б р а ( 1 8 5 4 ) , Д и а г р а м м ы В е н н а ( 1 8 8 0 ) , П а р а д о к с « Г р а н д -о т е л я » Г и л ь б е р т а (1 9 2 5 ) ,
Т е о р е м а Г ё д е л я о н е п о л н о т е (1 9 3 1 ) , Н е ч е т к а я л о г и к а ( 1 9 6 5 ) .
С М , Т А К Ж Е З а д а ч а о х о д е к о н я (1 7 5 9 ) , Ф у н к ц и я В е й е р ш т р а с с а ( 1 8 7 2 ) , Т е с с е р а к т (1 8 8 8 ) ,
С н е ж и н к а К о х а (1 9 0 4 ) , Р а з м е р н о с т ь Х а у с д о р ф а (1 9 1 8 ) , Ф р а к т а л ы (1 9 7 5 ) .
С М . Т А К Ж Е Т е о р и я г р у п п (1 8 3 2 ) , К в а д р и р о в а н и е п р я м о у г о л ь н и к а (1 9 2 5 ) , З а м о щ е н и е Ф о -
д е р б е р г а (1 9 3 6 ) , М о з а и к а П е н р о у з а (1 9 7 3 ) , Г р у п п а -М о н с т р ( 1 9 8 1 ) , В п о и с к а х г р у п п ы Л и
Е 8 (2 0 0 7 ) .
/
на плоскости дано некоторое конечное число точек, то выполняется одно из
следующих условий: или 1) существует прямая, проходящая ровно через две
точки из имеющихся, или 2) все точки коллинеарны, т. е. лежат на одной
прямой линии. Английский математик Джеймс Сильвестр выдвинул это ут
верждение в 1893 г., но не смог найти для него доказательства. Математик
венгерского происхождения Пал Эрдёш занимался изучением этой проблемы
в 1943 г., а верное решение было найдено в 1944 г. венгерским математиком
Тибором Галлаи.
Изначально Сильвестр просил читателей доказать, что «невозможно рас
положить любое конечное число вещественных точек таким образом, чтобы
прямая линия, проведенная через любые две этих точки, при этом проходила
и через третью, если только все эти точки не лежат на одной и той же прямой».
Вдохновленный гипотезой Сильвестра, математик Габриэль Эндрю Дирак
(1925-1984) - приемный сын Поля Дирака и племянник Юджина Вигнера - в
1951 г. предположил, что для любого набора из гаточек, не все из которых кол
линеарны, существует по меньшей мере га/2 прямых, содержащих ровно две
точки. На сегодняшний день известно всего два контрпримера к утверждению
Дирака.
Математик Джозеф Малкевич пишет о теореме Сильвестра так: «Некото
рые математические теоремы с несложными на вид формулировками зани
мают важное место в истории, поскольку, несмотря на кажущуюся простоту,
долгое время избегают решения... Эрдёш весьма удивился, узнав, что теорема
Сильвестра остается недоказанной на протяжении столь многих лет... Одна
плодотворная теорема может побудить развитие мысли во множестве направ
лений, часть из которых продолжает разрабатываться и по сей день». В своей
речи, обращенной к Университету Джонса Хопкинса (1877), Сильвестр гово
рил: «Математика - не книга, помещенная в обложку, ...не шахта, сокровища
которой лежат лишь в ограниченном количестве рудоносных жил... Она бес
конечна... ее возможности так же безграничны, как миры, что вечно накапли
ваются и множатся под внимательным взглядом астронома...».
С М . Т А К Ж Е « Н а ч а л а » Е в к л и д а ( 3 0 0 д о н . э .) , Т е о р е м а П а п п а ( 3 4 0 ) , В в е д е н и е м а т р и ц
С и л ь в е с т р о м (1 8 5 0 ) , Т е о р е м а Ю н г а ( 1 9 0 1 ) .
Если имеется некоторый конечный набор точек, не все из которых лежат на одной
прямой ( здесь эти точки представлены разноцветными шариками), то, по теореме
Сильвестра—Галлаи, должна существовать по меньшей мере одна прямая, проходящая
ровно через две такие точки.
Доказательство теоремы о
распределении простых чисел
00 Иоганн Карл Фридрих Гаусс (1777-1855),
Жак-Саломон Адамар (1865-1963), Шарль-Жан де ла Валле-Пуссен
(1866-1962), Джон Идензор Литлвуд (1885-1977)
О
ных подобно сорным травам, и никто не может предсказать, где пробьется сле
дующий их росток. ...Что еще более удивительно, простые числа подчиняются
необычайной закономерности: существуют правила, определяющие их поведе
ние, и они повинуются этим законам с почти военной точностью».
Рассмотрим величину п(п), равную количеству простых чисел, меньших
или равных заданному числу га. В 1792 г. в возрасте всего 15 лет Карл Гаусс
увлекся вопросом о распределении простых чисел и предположил, что л(га)
примерно равно га/1п(га). Одно из следствий этой теоремы состоит в том, что
га-е простое число примерно равно raln(ra), а относительная погрешность этой
оценки стремится к 0 с приближением га к бесконечности. Гаусс позже уточ
нил свою оценку до вида л(п) ~ Li(га), где Li(га) - интеграл от функции 1п(х) в
пределах от 2 до га.
Наконец, в 1896 г. французский математик Ж. Адамар и бельгийский ма
тематик Ш .-Ж. де ла Вале-Пуссен независимо друг от друга доказали утверж
дение Гаусса. Исходя из результатов численных экспериментов, математики
предположили, что л(га) всегда немного меньше, чем Li(ra). Однако в 1914 г.
Литлвуд доказал, что если бы было возможно рассмотреть огромные значения
га, то было бы видно, что знак неравенства я(га) < Li(ra) меняется бесконечно ча
сто. В 1933 г. южноафриканский математик Стенли Скьюз показал, что первое
пересечение значения я(га) - Li(ra) = 0 происходит ранее числа 10 1О1034, назван
ного числом Скьюза. С 1933 г. это значение было сокращено примерно до 10316.
Английский математик Г. X. Харди (1877-1947) однажды назвал чис
ло Скьюза «самым большим числом, когда-либо служившим в математике
конкретной цели», хотя с тех пор оно потеряло этот почетный титул. Около
1950 г. Пал Эрдёш и Атле Сельберг обнаружили элементарное доказательство
теоремы о распределении простых чисел, т. е. такое доказательство, в котором
не используются элементы высшей математики.
С М . Т А К Ж Е Ц и к а д ы и п р о с т ы е ч и с л а (1 м л н д о н . э .) , Р е ш е т о Э р а т о с ф е н а (2 4 0 д о н . э .),
П р о б л е м а Г о л ь д б а х а (1 7 4 2 ) , П о с т р о е н и е п р а в и л ь н о г о с е м н а д ц а т и у г о л ь н и к а (1 7 9 6 ) , « А р и ф
м е т и ч е с к и е и с с л е д о в а н и я » Г а у с с а (1 8 0 1 ) , Г и п о т е з а Р и м а н а ( 1 8 5 9 ) , К о н с т а н т а В р у н а (1 9 1 9 ),
Г и п отеза Г и л ьбрай та (1 9 5 8 ), С к атер ть У л ам а (1 9 6 3 ), Э рдёш и его оп ы т м а те м а ти ч е ск о го со
т р у д н и ч е с т в а (1 9 7 1 ) , К р и п т о г р а ф и я с о т к р ы т ы м к л ю ч о м ( 1 9 7 7 ) , Г и п о т е з а А н д р и к и (1 9 8 5 ).
П р о с т ы е ч и сл а « р а с т у т с р е д и н а т у р а л ь н ы х п о д о б н о с о р н ы м т р а в а м ... и н и к т о н е м о
ж ет п р е д с к а з а т ь , г д е п р о б ь е т с я с л е д у ю щ и й и х р о с т о к ...» .
1 2 3,4,5.6.7.8.9.10.11.12.13 14.15.16.17.18, 19 21 23 24.25.26,27,28.29.30,31.32.33,34.35,36.37 3!
41 42.43.44.45.46.47,48,49.50,51,52.53.5- 59 60.61.62,63,64.65.66.67.68,69.70.71.72.73 Ъ
'8.79. 80,81,82.83.84,85. 86,87,88.89.90,91.92.93.94 ,95,96,97.98,99.100,101,102,103 104,105,106,107 И
109 110.111.112.113 114.115_Ц6, 117,118.119,120.121.122. 123.124.125.126,127,128.129.130.131.132.1
136.137.138.139 140,141.142.143,144.145.146.147.148 149 150.151.152,153,154,155. 156.157 158,159,160,161.162.
163 164.165.166.167 168.169,170,171.172.173 174,175,176, 177.178 179 180.181,182. 183,184,185,186,187,188.189.
Ю.191.192.193 194.195.196.197 198.199.200.201,202 204,205.206,207,208,209,210 211 212,213,214,215,216,
.218.219,220,221,222 223,224,225,226.227 228.229,230, ,2 233. 234.235.236.237.238.239.240.241.2
5,246,247,248,249,250.251 252,253,254,255.256 257 258,259.260,261. 262. 263,264.265. 266.267.268 269 270,
271 272.273.274.275.276 277.278,279,280.281 282,283.2! 1 290.291.292.293.294.2
1,299,300, 301.302. 303,304. 305, 306, 307. 308.309.310 311 312,313,314,315,316.317.318,319,320.321.322.323.324.
326.327.328.329.330.331.332.333,334,335.336.337.338, 339.340. 341,342, 343,344, 345. 346.347.348. 349 35
52.353.354,355.356.357.358.359 360,361.3 366.367.368,369.370.371.372 373 374,3
379,380.381.382.383 384.385.386,387.388.389 390.391.392. 393.394.395,396,397,398.399,400,401,402.403,404.405.
7.401 409 410.411,412,413.414,415,416,417.418 419 420,421,422,423,424.425.426,427.428.429.430.431 432.
433,434,435.436,437,438,439.440,441,442 443 Ф 447,448,449.450.451,452,453,454.455.456 457.4:
460.461.462 463 464.465.46f 467 468,469,470,471.472.473 474.475,476,477,478 479.480,481.482.483
487.488.489.490,491,492,493.494.495.496,497.498.499 500, 501.502. 503 504,505.506.507.508.509.510,511,512,513
.516.517,518,519,520.521 522 523.524.525,526,527, 528.529.530,531,532,533,534,535,536,537,538,539.540,
541.542.543.544.545,546 547 548.549,550.551,552,553.554. 555,556,557 558,559,560.561,562.563.564.565,566,567
18,569 170,571 572.573,574,575.576 577.5 586 587 588,589,590,591,592,593 594.
'8,599,600 601 602.603,604.605,606,607.608. 609.610,611.612.613,614,615.616.617.618.619 61
622.623,624.625.626.627,628.629.630 631.532.633.634,635. 636,637,638.639.640 641.642.643 644.645.646,647 648,
), 651.652.653,654.655,656.657.658.659 660.661.6 663,664,665.666.667.668,669.670,671.672.673 674.675.
676 677.678,679,680,681,682 683 684,685,686,687,688,689, 690, 691. 692, 693,694, 695, 696,697.698.699.700, 701 7
5,706,707,708.709 710.711,712,713.714,715,716. 8.719 720,721,722,723,724,725,726.727 7
12,733 734,735.736.737,738 739.740,741,742.743 744, 745, 746. 747, 748. 749, 750, 751 7
757.758. 759, 760 761,762, 763.764. 765. 766. 767. 768. 769 770, 771.772. 773 774, 775. 776,777, 778. 779. 780, 781,782. 783,
/86. 787 788,789,790, 791.792, 793, 794. 795. 796. 797 798,799,800. 801. 802, 803,804.805. 806. 807,808, 809 810,
811 812.813,814,815,816,817,818,819,821 821 822,823.824. 826.827 828,829.830,831,832,
838 839. 840. 841.842, 843, 844. 845. 846. 847, 848. 849, 850,851, .2 853,854,855,856 857.858,859,860,861.862.863 864,
865.866, 867, 868,869, 870, 871.872, 873, 874. 875. 876. 877. 878, 179,880.881 882.883.884.885.886.887, 81
892,893,894.895.896.897.898,899.900,901,902,903,904,905. 906 907, 908,909, 910.911. 912,913,914.915.916.917,91£
919 >20,921,922,923,924,925,926,927.928.929 930.931,932, 933,934.935.936.937. 938,939.940. 941.942.943,944.94/
946 947.948,949.950,951.952.953 954,955,956.957,958,959, 960.961.962.963,964.965,966,967.968.969.970,971 972.
977.978,979,980,981,982.983.984.985.986. 987,988,989,990,991.992.993.994.995.996. 997 998,99е,
Формула Пика
1899 Георг Александр Пик (1859-1942)
С М . Т А К Ж Е П л а т о н о в ы т е л а ( 3 5 0 д о н . э . ) , « Н а ч а л а » Е в к л и д а ( 3 0 0 д о н . э .) , А р х и м е д о в ы
п о л у п р а в и л ь н ы е м н о г о г р а н н и к и (2 4 0 д о н . э .) .
С М . Т А К Ж Е « Н а ч а л а » Е в к л и д а ( 3 0 0 д о н . э . ) , Т е о р е м а к о с и н у с о в (1 4 2 7 ) , Т е о р е м а В и в и а н и
( 1 6 5 9 ) , Э й л е р о в а з а д а ч а о р а з б и е н и и м н о г о у г о л ь н и к о в (1 7 5 1 ) , Т р е у г о л ь н и к в ш а р е ( 1 9 8 2 ) .
С о г л а с н о т ео р е м е М о р л и ( к о т о р у ю и н о г д а н а з ы в а ю т « ч у д о м М о р л и » ) , в л ю бом т р е у
го л ьн и к е т очки пересечения см еж ны х т р и сек т р и с всегд а обр азую т р а вн ост орон н и й
т р еуго л ьн и к .
23 проблемы Гильберта
1900 Давид Гильберт (1862-1943)
С М . Т А К Ж Е Г и п о т е з а К е п л е р а (1 6 1 1 ) , Г и п о т е з а Р и м а н а (1 8 5 9 ) , П а р а д о к с « Г р а н д -о т е л я »
Г и л ь б е р т а (1 9 2 5 ) .
Ф о т о гр а ф и я Д а в и д а Г и л ь б е р т а ( 1 9 1 2 ) и з с ер и и о т к р ы т о к с п р е п о д а в а т е л я м и Г ё т т и н
ген ск о го ун и вер си т ет а . Такие от кры т ки п ол ьзую т ся бол ьш ой п оп ул ярн ост ью среди
ст уден т ов.
Критерий хи-квадрат
1900 Карл Пирсон (1857-1936)
СМ. ТА К Ж Е И г р а л ь н ы е к о с т и (3 0 0 0 д о н . э .) , З а к о н б о л ь ш и х ч и с е л (1 7 1 3 ) , К р и в а я н о р
м а л ь н о г о р а с п р е д е л е н и я (1 7 3 3 ) , М е т о д н а и м е н ь ш и х к в а д р а т о в (1 7 9 5 ) , « А н а л и т и ч е с к а я т е
о р и я в е р о я т н о с т е й » Л ап л а са (1 8 1 2 ).
И с п о л ь з о в а н и е к р и т ер и я х и к в а д р а т п о м о га ет п р о вер и т ь ги п о т е з у о т ом , ч т о с л уч а й
н ы й н а бо р и з 1 0 0 н а с е к о м ы х бы л в з я т и з п о п у л я ц и и , в к о т о р о й б а б о ч к и и ж у к и в е т р е
чаю т ся с о д и н а к овой ча ст от ой . В п ри веден н ом сл уч а е вы со к о е зн а ч ен и е эт ого к р и т е
р и я (6 4 ) у к а з ы в а е т на т о, чт о н а ш а и зн а ча л ьн а я ги п о т еза ск о р ее в с е го ош и боч н а .
Поверхность Боя
1901 Вернер Бой (1879-1914), Бернар Морен (р. 1931)
П о в е р х н о с т ь Б о я (в и з у а л и з а ц и я П а у л я Н ю л а н д е р а ). Э т о т о б ъ е к т я в л я е т ся о д н о с т о
р о н н ей п о вер х н о ст ью , не им ею щ ей к раев.
Парадокс брадобрея
1901 Бертран Рассел (1872-1970)
С М . Т А К Ж Е А п о р и и З е н о н а (4 4 5 д о н . э . ) , А р и с т о т е л е в о к о л е с о ( 3 2 0 д о н . э . ) , С а н к т-
П е т е р б у р г с к и й п а р а д о к с ( 1 7 3 8 ) , А к с и о м а в ы б о р а Ц е р м е л о (1 9 0 4 ) , « О с н о в а н и я м а т е м а т и
к и » ( 1 9 1 0 - 1 9 1 3 ) , П а р а д о к с Б а н а х а - Т а р с к о г о (1 9 2 4 ) , П а р а д о к с « Г р а н д -о т е л я » Г и л ь б е р т а
( 1 9 2 5 ) , Т е о р е м а Г ё д е л я о н е п о л н о т е (1 9 3 1 ) , М а ш и н ы Т ь ю р и н г а (1 9 3 6 ) , П а р а д о к с д н ей
р о ж д е н и я ( 1 9 3 9 ) , П а р а д о к с Н ь ю к о м а (1 9 6 0 ) , Ч и с л о « О м е г а » Г р е г о р и Ч е й т и н а (1 9 7 4 ) , П а
р а д о к с П а р р он д о (1 9 9 9 ).
В п а р а д о к с е б р а д о б р е я ф и г у р и р у е т г о р о д , г д е п а р и к м а х е р б р е е т к а ж д о го ч е л о в е к а , к о т о
р ы й н е б р е е т с я са м , и н и к о г о б о л ь ш е . Б р е е т л и б р а д о б р е й са м с е б я ?
к
JЛ)
■) I:
ШШИ,ёЕ
Теорема Юнга
1901 Генрих Вильгельм Эвальд Ю нг (1876-1953)
r<dl— n ,
V2(/г +1)
СМ . Т А К Ж Е «Н а ч а л а » Е в к л и д а (3 0 0 д о н . э .), Н е е в к л и д о в ы ге о м е тр и и (1 8 2 9 ), Т еорем а
С и л ь в е с т р а (1 8 9 3 ) .
Стая птиц, насколько сложной бы она ни была, может быть заключена в сферу ради
усом не более V fW /4 , если рассматривать каждую птицу как точку в пространстве.
Что мы можем сказать о стае скворцов в четырехмерном пространстве?
> *
>
> 7
Л
Ц X “’S»
Гипотеза Пуанкаре
1904 Анри Пуанкаре (1854-1912), Григорий Перельман (р. 1966)
С М . Т А К Ж Е З а д а ч а о К ё н и г с б е р г с к и х м о с т а х (1 7 3 6 ) , Б у т ы л к а К л е й н а (1 8 8 2 ) , Ф и л д с о в -
с к а я п р е м и я ( 1 9 3 6 ) , М н о г о о б р а з и е У и к с а (1 9 8 5 ) .
С М . Т А К Ж Е Ф у н к ц и я В е й е р ш т р а с с а (1 8 7 2 ) , К р и в а я П е а н о (1 8 9 0 ) , Р а з м е р н о с т ь Х а у с д о р -
ф а ( 1 9 1 8 ) , Г у б к а М е н г е р а (1 9 2 6 ) , П а р а д о к с б е р е г о в о й л и н и и (1 9 5 0 ) , Ф р а к т а л ы (1 9 7 5 ) .
Замощение снежинками Коха. Для создания этого рисунка математик и худож ник Ро
берт Фатхауэр использовал снежинки различных размеров.
Аксиома выбора Цермело
1904 Эрнст Фридрих Фердинанд Цермело (1871-1953)
С М . Т А К Ж Е А к с и о м ы П е а н о (1 8 8 9 ) , П а р а д о к с б р а д о б р е я (1 9 0 1 ) , П а р а д о к с « Г р а н д -о т е л я »
Г и л ь б е р т а (1 9 2 5 ) .
Даже если у нас есть бесконечно много аквариумов с золотыми рыбками, то теорети
чески мы всегда сможем выловить по одной рыбке из каждого аквариума, даже если у
нас нет «правила», согласно которому мы будем вылавливать эт их золотых рыбок из
аквариумов, и даже если эти золотые рыбки неразличимы.
Теорема Жордана о кривых
19 Мари Энмон Камиль Жордан (1838-1922), Освальд Веблен (1880-1960)
С М . Т А К Ж Е З а д а ч а о К ё н и г с б е р г с к и х м о с т а х (1 7 3 6 ) , Т е о р е м а Г о л ь д и ч а (1 8 5 8 ) , Г и п о т е з а
П у а н к а р е (1 9 0 4 ) , Р о г а т а я с ф е р а А л е к с а н д е р а (1 9 2 4 ) , И г р а « П о ч к и и п о б е г и » ( 1 9 6 7 ) .
С М . Т А К Ж Е Б у л е в а а л г е б р а (1 8 5 4 ) , М о з а и к а П е н р о у з а (1 9 7 3 ) , Ф р а к т а л ы (1 9 7 5 ) , А у д и о а к -
ти вн ая п осл ед ов а тел ь н ость (1 9 8 6 ).
С М . Т А К Ж Е П р о е к т и в н а я г е о м е т р и я (1 6 3 9 ) , З а д а ч а о К ё н и г с б е р г с к и х м о с т а х (1 7 3 6 ) , Т е о
р е м а о в о л о с а т о м ш а р е (1 9 1 2 ) , Г е к е (1 9 4 2 ) , А т т р а к т о р И к е д ы (1 9 7 9 ) .
С М . Т А К Ж Е Ч и с л о п (2 5 0 д о н . э . ) , Э й л е р о в о ч и с л о е (1 7 2 7 ) , Т р а н с ц е н д е н т н ы е ч и с л а
(1 8 4 4 ) , Ч и с л о Ч а м п е р н о у н а ( 1 9 3 3 ) .
«Часть числа ж» - рисунок, который был создан при рассмотрении лишь одной малой
части бесконечной последовательности цифр в числе ж, в которой каждая цифра зако
дирована определенным цветом. Предполагается, что число жявляется «нормальным»
и обладает свойствами полностью случайной последовательности цифр.
«Философия и занимательное
1909 в алгебре» Мэри Буль
Мэри Эверест Буль (1832-1916)
С М . Т А К Ж Е К о м п л е к с н ы е ч и с л а (1 5 7 2 ) , Б у л е в а а л г е б р а (1 8 5 4 ) , Т е с с е р а к т (1 8 8 8 ) , Д о к
т о р с к а я с т е п е н ь К о в а л е в с к о й (1 8 7 4 ) .
М эри Эверест Буль, автор книги «Философия и занимательное в алгебре» и жена мате
матика Джорджа Буля, который изобрел булеву алгебру.
«Основания математики»
1910-1913 Альфред Норт Уайтхед (1861-1947), Бертран Рассел (1872-1970)
Через несколько сотен страниц в первом томе книги «Основания математики» ав
торы отмечают, что 1 + 1 = 2 . Доказательство фактически завершается во втором
томе и сопровождается комментарием: «Вышеприведенное утверждение иногда оказы
вается полезным».
*54 43. b: .a,/ 3el . 2 : a n f t = A . = .a>j fte2
B ern.
[*51-231] = . l*X r\ l ‘ y = Л
[*13-12] = . a r\ ft = A ( 1)
K ( l ) . *1111-35.3
h (a-r, у ) . а = l* x . ft = i (y . D : a w /3 e 2 - . a r \ f t = A ( 2)
h .( 2 ) . *1 Г 5 4 . *5 2 1 . Э . Prop
From this proposition it will follow, when arithmetical addition has been
defined, that 1 + 1 = 2.
1912 Теорема о волосатом шаре
Лёйтзен Эгберт Ян Брауэр (1881-1966)
Если мы. попытаемся гладко причесать волосы на волосатом шаре так, чтобы все они
лежали вдоль его поверхности, то всегда останется, по крайней мере, один волосок, ко
торый будет стоять прямо, либо в этом месте останется пустое место ( например,
проплешина ).
Теорема о бесконечных обезьянах
1913 Феликс Эдуард Джастин Эмиль Борель (1871-1956)
С М . Т А К Ж Е К о л ь ц а Б о р р о м е о (8 3 4 ) , И г л а Б ю ф ф о н а (1 7 7 7 ) , Г е о м е т р и ч е с к и е з а д а ч и « С а й
г а к у » (1 7 8 9 ) , К л е т о ч н ы е а в т о м а т ы (1 9 5 2 ) , М о з а и к а П е н р о у з а (1 9 7 3 ) , Ф р а к т а л ы ( 1 9 7 5 ) ,
М н о ж е ст в о М ан д ел ьбр ота (1 9 8 0 ).
Согласно теореме Джонсона, если три одинаковых окружности проходят через одну
точку, то три остальные точки их пересечений должны лежать на другой окружно
сти того же радиуса, что и три исходных.
Размерность Хаусдорфа
Феликс Хаусдорф (1868-1942)
С М . Т А К Ж Е К р и в а я П е а н о (1 8 9 0 ) , С н е ж и н к а К о х а ( 1 9 0 4 ) , П а р а д о к с б е р е г о в о й л и н и и
( 1 9 5 0 ) , Ф р а к т а л ы (1 9 7 5 ) .
Мартин Гарднер пишет: «В теории чисел нет раздела, более насыщенного за
гадками, чем теория простых чисел: этих раздражающих, непослушных целых
чисел, которые отказываются делиться на какое-либо целое число, кроме самих
себя и 1. Некоторые вопросы, касающиеся простых чисел, настолько просто
формулируются, что понятны даже ребенку, и вместе с тем они настолько глу
боки и далеки от решения, что многие математики теперь подозревают, что они
не имеют решения... Возможно, теория чисел, как квантовая механика, имеет
свой собственный принцип неопределенности, который делает необходимым, в
некоторых областях, отказ от точности в пользу вероятностных формулировок».
Простые числа часто встречаются в виде пар последовательных нечетных
чисел, таких как 3 и 5. В 2008 г. наибольшие из известных простые числа-
близнецы имели более 58 000 цифр в каждом. Считается, что простых чисел-
близнецов бесконечно много, однако этот факт еще не доказан. Возможно,
потому, что гипотеза о бесконечности количества простых чисел-близнецов
является одной из основных неразрешенных проблем, в фильме «У зеркала
два лица» есть роль профессора математики в исполнении Джеффа Бриджеса,
который объясняет эту гипотезу Барбре Стрейзанд.
В 1919 г. норвежский математик Вигго Брун доказал, что если сложить
все обратные значения последовательных простых чисел-близнецов, то сумма
будет сходиться к конкретному числовому значению, которое теперь называ
ется константой Бруна: В = (1/3 + 1/5) + (1/5 + 1/7) + ... * 1,902160... При
том что сумма обратных значений всех простых чисел расходится (равна бес
конечности), тот факт, что сумма обратных значений простых чисел-близне
цов сходится, т. е. стремится к определенному конечному значению, весьма
интересен. Это, в свою очередь, означает наличие относительного «дефицита»
простых чисел-близнецов, несмотря на бесконечность их множества. В настоя
щее время в нескольких университетах продолжаются поиски простых чисел-
близнецов, а также поиски более точных значений константы Бруна. Кроме
первой пары, все пары простых чисел-близнецов имеют вид (6га - 1, 6га + 1).
Как заметил Эндрю Гранвиль, «простые числа являются самыми основ
ными объектами в математике. Они также являются одними из самых зага
дочных, ибо после вековых поисков структура множества простых чисел по-
прежнему не очень хорошо понятна...»
С М . Т А К Ж Е Ц и к а д ы и п р о с т ы е ч и с л а (1 м л н д о н . э .) , Р е ш е т о Э р а т о с ф е н а ( 2 4 0 д о н . э .) ,
Р а с х о д и м о с т ь г а р м о н и ч е с к о г о р я д а (1 3 5 0 ) , Г и п о т е з а Г о л ь д б а х а (1 7 4 2 ) , П о с т р о е н и е п р а
в и л ь н о г о с е м н а д ц а т и у г о л ь н и к а (1 7 9 6 ) , « А р и ф м е т и ч е с к и е и с с л е д о в а н и я » Г а у с с а (1 8 0 1 ) ,
Д о к а за тел ьств о те о р е м ы о р асп р ед ел ен и и п р о ст ы х ч и сел (1 8 9 6 ), П осл е д о в а те л ьн о о п и са н
н ы е м н о г о у г о л ь н и к и ( 1 9 4 0 ) , Г и п о т е з а Г и л ь б р а й т а (1 9 5 8 ) , С к а т е р т ь У л а м а ( 1 9 6 3 ) , Г и п о т е
за А н д р и к и (1 9 8 5 ) .
С М . Т А К Ж Е А р х и м е д , п е с ч и н к и и б ы к и (2 5 0 д о н . э . ) , Т р а н с ф и н и т н ы е ч и с л а К а н т о р а
( 1 8 7 4 ) , П а р а д о к с « Г р а н д -о т е л я » Г и л ь б е р т а (1 9 2 5 ) .
Сущ ест вует немногим больше, чем гугол, различных способов нанизывания 70 бусинок,
при условии что каждая бусинка отличается от другой и что нитка ожерелья оста
ется незавязанной.
Ожерелье Антуана
Луи Антуан (1888-1971)
С М . Т А К Ж Е З а д а ч а о К ё н и г с б е р г с к и х м о с т а х (1 7 3 6 ) , Р о г а т а я с ф е р а А л е к с а н д е р а (1 9 2 4 ) ,
Г уб к а М ен гера (1 9 2 6 ), Ф р а к та л ы (1 9 7 5 ).
С М . Т А К Ж Е С м е р т ь Г и п а т и и ( 4 1 5 ) , Д о к т о р с к а я с т е п е н ь К о в а л е в с к о й (1 8 7 4 ) .
С М . Т А К Ж Е И г р а л ь н ы е к о с т и (3 0 0 0 л е т д о н . э . ) , З а к о н б о л ь ш и х ч и с е л (1 7 1 3 ) , И гл а
Б ю ф ф о н а (1 7 7 7 ) , « А н а л и т и ч е с к а я т е о р и я в е р о я т н о с т е й » Л а п л а с а (1 8 1 2 ) , З а к о н М е р ф и и
у з л ы (1 9 8 8 ) .
Насекомое случайным образом делает либо один шаг вперед, либо один шаг назад в бес
конечной трубке. Какова вероятность того, что такое случайное блуждание в конеч
ном счете приведет насекомое обратно в исходную точку?
мГеодезический купол
sO
Вальтер Бауэрсфельд (1879-1959),
Ричард Бакминстер Фуллер (1895-1983)
ы
ми гранями. Поместите в середине каждого пятиугольника точку и соедини
те ее пятью отрезками с вершинами этого пятиугольника. Поднимите точку
так, чтобы она касалась воображаемой сферы, описанной вокруг додекаэдра.
Теперь вы создали новый многогранник с 60 треугольными гранями и полу
чили простой пример геодезической сферы. Еще лучшие аппроксимации по
верхности сферы можно получить путем деления граней на большее количе
ство треугольников.
Треугольные грани купола распределяют механическое напряжение по
всей его структуре, и теоретически купола могут вырастать до очень больших
размеров из-за их жесткости и прочности. Первый настоящий геодезический
купол был разработан немецким инженером Вальтером Бауэрсфельдом для
планетария в городе Иена в Германии, который был открыт для публики в
1922 г. В конце 1940-х гг. американский архитектор Ричард Бакминстер Фул
лер самостоятельно изобрел геодезический купол и получил патент США на
его конструкцию. Вооруженные силы США под впечатлением конструкций
Фуллера предложили ему осуществлять курирование разработки куполов в
военных целях. Кроме своей прочности конструкции куполов весьма удобны,
так как они заключают в себе большой объем при небольшой площади поверх
ности, что делает их эффективными с точки зрения экономии строительных
материалов и снижения потерь тепла.
Фуллер сам прожил часть жизни в таком геодезическом куполе и отметил,
что прекрасная аэродинамическая форма помогает куполу противостоять
ураганам. Будучи вечным мечтателем, Фуллер разработал грандиозный план
установки над Нью-Йорком геодезического купола диаметром 2 мили (3,2 км)
и высотой целую милю (1,6 км) для того, чтобы можно было управлять пого
дой и защищать жителей города от дождя и снега!
С М . Т А К Ж Е П л а т о н о в ы т е л а ( 3 5 0 д о н . э .) , А р х и м е д о в ы п о л у п р а в и л ь н ы е м н о г о г р а н н и к и
(2 4 0 д о н . э .) , Э й л е р о в а х а р а к т е р и с т и к а в ы п у к л ы х м н о г о г р а н н и к о в (1 7 5 1 ) , И г р а « И к о с и -
а н » (1 8 5 7 ) , Т е о р е м а П и к а ( 1 8 9 9 ) , М н о г о г р а н н и к Ч а с а р а (1 9 4 9 ) , М н о г о г р а н н и к С и л а ш и
( 1 9 7 7 ) , С п и д р о н ы (1 9 7 9 ) , П о и с к и х о л и э д р а ( 1 9 9 9 ) .
чО
Джеймс Уэдделл Александер (1888-1971)
ы
ся поверхности, у которой визуально трудно определить внутреннюю и внеш
нюю стороны. Представленная математиком Джеймсом Уэдделлом Алексан
дером в 1924 г., рогатая сфера образована последовательно растущими па
рами рогов, концы которых почти сходятся друг с другом. Начальный этап
построения рогатой сферы Александера можно показать на пальцах. Сдвинь
те близко большой и указательный пальцы руки так, чтобы они не касались
друг друга, а затем представьте, что на конце каждого из них также вырас
тают большой и указательный пальцы меньшего размера, и представьте, что
этот процесс вырастания пальцев продолжается бесконечно! Объект представ
ляет собой фрактал, состоящий из смыкающихся пар «пальцев», которые об
разуют ортогональные (перпендикулярные) окружности уменьшающихся ра
диусов.
Хотя рогатую сферу Александера (вместе с ее внутренней частью) трудно
представить визуально, она гомеоморфна шару. (Два геометрических объек
та называются гомеоморфными, если первый объект можно преобразовать во
второй путем его растяжения и изгиба. Таким образом, рогатая сфера Алек
сандера без прокалывания или разрыва может быть растянута в шар. Мартин
Гарднер пишет: «Бесконечно регрессирующие смыкающиеся формы рогов в
пределе образуют то, что топологи называют «дикой структурой»... Хотя она
и эквивалентна односвязной поверхности шара, она ограничивает область, ко
торая не является односвязной. Петлю эластичного шнура, окружающего ос
нование рога, нельзя извлечь из данной структуры даже за бесконечное число
шагов ».
Рогатая сфера Александера больше чем просто любопытный объект — она
является конкретной и важной демонстрацией того, что теорема Жордана—
Шёнфлиса не распространяется на большие размерности. Эта теорема утверж
дает, что простые замкнутые кривые делят плоскость на внутреннюю ограни
ченную область и внешнюю неограниченную область и что эти области гоме-
оморфны внутренности и внешности окружности. Эта теорема в трехмерном
пространстве не верна.
С М . Т А К Ж Е Т е о р е м а Ж о р д а н а о к р и в ы х (1 9 0 5 ) , О ж е р е л ь е А н т у а н а (1 9 2 0 ) , Ф р а к т а л ы
(1 9 7 5 ).
С М . Т А К Ж Е А п о р и и З е н о н а (4 4 5 д о н . э . ) , А р и с т о т е л е в о к о л е с о ( 3 2 0 д о н . э .) , С а н к т -
П е т е р б у р г с к и й п а р а д о к с (1 7 3 8 ) , П а р а д о к с б р а д о б р е я ( 1 9 0 1 ) , А к с и о м а в ы б о р а Ц е р м е л о
(1 9 0 4 ) , Р а з м е р н о с т ь Х а у с д о р ф а (1 9 1 8 ) , П а р а д о к с « Г р а н д -о т е л я » Г и л ь б е р т а (1 9 2 5 ) , П а р а
д о к с д н е й р о ж д е н и я ( 1 9 3 9 ) , П а р а д о к с б е р е г о в о й л и н и и (1 9 5 0 ) , П а р а д о к с Н ь к ж о м а ( 1 9 6 0 ) ,
П а р а д о к с П а р р о н д о (1 9 9 9 ) .
П а р а д о к с Б а н а х а - Т а р с к о г о п о к а з ы в а е т , ч т о м а т е м а т и ч е с к и й ш а р м о ж н о р а з б и т ь на
н еск ол ько ча ст ей , а зат ем собра т ь эт и ч а ст и т а к , ч т о б ы с д е л а т ь д в е и д е н т и ч н ы е
к оп и и э т о го ш ара.
Квадрирование прямоугольника
1925 Збигнев Морон (1904-1971)
С М . Т А К Ж Е Г р у п п ы с и м м е т р и и о р н а м е н т о в (1 8 9 1 ) , З а м о щ е н и е Ф о д е р б е р г а (1 9 3 6 ) , М о з а
и к а П ен р оу за (1 9 7 3 ).
sO
Представьте себе обычный отель на 500 номеров, каждый из которых занят
bJ
гостями. Вы прибыли во второй половине дня и вам говорят, что свободных
номеров нет. Вы с грустью уезжаете. В данном случае никакого парадокса
нет. Далее, представим себе отель, в котором существует бесконечное количе
ство номеров, каждый из которых занят. Хотя отель полный, портье сможет
дать вам номер. Как он сможет это сделать? Позднее, в тот же день, в отель
прибывает бесконечный поток делегатов съезда, и портье также сможет дать
всем им по номеру, нажив на этом огромное состояние!
Немецкий математик Давид Гильберт представил публике эти парадоксы в
1920-х гг., чтобы проиллюстрировать таинственные свойства бесконечности.
Итак, каким образом вы получите номер в «Гранд-отеле» Гильберта? Когда
вы один приехали в целиком заполненный отель, портье смог дать вам номер
путем перемещения постояльца из номера 1 в номер 2, переместив затем пре
дыдущего постояльца из номера 2 в номер 3 и т. д. Теперь номер 1 для вас ос
вободился. Для того чтобы разместить бесконечный поток делегатов съезда,
всем нынешним гостям следует переехать в четные номера, путем переселения
первоначального гостя из номера 1 в номер 2, гостя, который до этого жил в
номере 2, — в номер 4, гостя из номера 3 в номер 6 и т. д. Теперь портье может
заселить делегатов съезда в пустующие нечетные номера.
Парадокс «Гранд-отеля» Гильберта можно понять с помощью теории
трансфинитных чисел Кантора. Ведь тогда как в обычной гостинице число не
четных номеров меньше, чем общее количество номеров, в бесконечном отеле
«число» нечетных номеров не меньше, чем общее число номеров (математики
используют термин мощность, говоря о размере этих множеств).
С М . Т А К Ж Е А п о р и и З е н о н а (4 4 5 д о н . э .) , Т р а н с ф и н и т н ы е ч и с л а К а н т о р а ( 1 8 7 4 ) , А к с и о
м ы П е а н о (1 8 8 9 ) , 2 3 п р о б л е м ы Г и л ь б е р т а (1 9 0 0 ) .
В « Г р а н д о т е л е » Г и л ь б е р т а в с е н о м ер а з а н я т ы , н о п о р т ь е г о с т и н и ц ы м о ж ет д а т ь ва м
н ом ер. К а к о н м о ж ет э т о с д е л а т ь ?
1 ш / У/ У У'/ш'Уш
1 / 4 W ,
i f f ■"
м Губка Менгера
Карл Менгер (1902-1985)
С М . Т А К Ж Е Т р е у г о л ь н и к П а с к а л я ( 1 6 5 4 ) , З а д а ч а п р и н ц а Р у п е р т а (1 8 1 6 ) , Р а з м е р н о с т ь
Х а у с д о р ф а (1 9 1 8 ) , О ж е р е л ь е А н т у а н а (1 9 2 0 ) , О к р у ж н о с т и Ф о р д а (1 9 3 8 ) , Ф р а к т а л ы (1 9 7 5 ) .
Ребенок, изнутри изучающий губк у М енгера с бесконечным числом полостей. При созда
нии этой совместной художественной работы энтузиастов фракталов Гейлы Чандлер
и П ауля Бурке компьютерная модель губки, выполненная Бурке, была совмещена с изо
бражением ребенка.
т *т
®
‘ ts ч
:6* :t
Дифференциальный анализатор
1927 Вэнивар Буш (1890-1974)
С М . Т А К Ж Е : С ч ё т ы ( 1 2 0 0 ) , Ф у н к ц и и Б е с с е л я (1 8 1 7 ) , Г а р м о н о г р а ф (1 8 5 7 ) , Г а р м о н и ч е с к и й
а н а л и з а т о р (1 8 7 6 ) , Э Н И А К (1 9 4 6 ) , К а л ь к у л я т о р « C u r t a » (1 9 4 8 ) , А т т р а к т о р И к е д ы (1 9 7 9 ) .