Жемчужина Эйлера

Мой студент попросил меня сегодня объяснить один факт, про который мне ничего не было известно — и я до сих пор не уверен, что это действительно так. Он говорит, что если некая фигура разделена на части любым способом и ее части раскрашены по-разному, так что фигуры с общей границей в виде линии окрашены в разные цвета, то для этого может потребоваться четыре краски, но не больше… Вопрос: нельзя ли придумать случай для пяти красок или больше?.. Что скажете? И был ли этот факт, если он и вправду имеет место, замечен ранее?.. Чем больше я об этом думаю, тем более очевидным мне это кажется. если вы приведете мне в ответ какой-нибудь очень простой пример, который выставит меня глупым животным, думаю, что я должен буду поступить, как поступил Сфинкс¹¹¹.

К счастью для де Моргана, ему не пришлось бросаться со скалы, как сделал Сфинкс, когда Эдип разгадал его загадку. Гамильтон даже не заинтересовался его задачей. Он ответил: «Маловероятно, что я займусь Вашим “кватернионом красок” в ближайшем будущем»¹¹².

Хотя де Морган пытался уговорить еще несколько человек подумать над проблемой, математическое сообщество упрямо отказывалось рассматривать ее. Почти двадцать лет в печати не появлялось ничего. Поворотной точкой в проблеме четырех красок стал день 13 июня 1878 года, когда на собрании Лондонского математического общества уважаемый математик Артур Кэли спросил, решена ли эта задача, и признался, что сам решить ее не смог. Вопрос был опубликован в записках общества и широко разошелся по миру¹¹³.

Эта задача стала любимым времяпрепровождением любителей математики с тех пор, как Кэли привлек к ней внимание. Красота вопроса в том, что он формулируется настолько просто, что доступен даже пониманию ребенка. Безусловно, это математическая проблема, но для нее не требуется знания арифметики, алгебры, тригонометрии или анализа. Кажется, что до доказательства рукой подать. Вот что писал знаменитый геометр Г. С. М. Кокстер (1907–2003):

Наверное, чуть ли не каждый математик испытал ночной восторг, когда ему казалось, что он нашел доказательство, но утром обнаруживал, что попал в аналогичную ловушку¹¹⁴.

Работая в Scientific American, Мартин Гарднер раз в несколько месяцев получал длинное доказательство гипотезы четырех красок (конечно, все неверные). Поэтому в 1975 году он включил ее в колонку, вышедшую в первоапрельском номере. В статье «Шесть сенсационных открытий, которые каким-то образом ускользнули от внимания публики» он упомянул шесть главных открытий 1974 году, в т. ч. контрпример к гипотезе о четырех красках. Надпись под картой 110 областей говорила всё: «Теорема о четырех красках разнесена в пух и прах»¹¹⁵. Но до многих читателей шутка не дошла. От простофиль, не понявших, что это розыгрыш, пришло больше тысячи откликов на статью, в которых содержалось свыше сотни раскрашенных копий «контрпримера».

Хотя сейчас мы приписываем постановку проблемы четырех красок Фрэнсису Гатри, во многих старых текстах эту честь отдают немецкому математику Августу Мёбиусу (1790–1868). Мёбиус, последователь Мартина Лютера, был тихим и замкнутым семьянином. Повзрослев, он редко путешествовал, но в бытность аспирантом посещал Лейпцигский университет, Гёттингенский университет (на протяжении двух семестров работал вместе с Гауссом), Университет в Галле, а затем вернулся в Лейпциг, где закончил работу над докторской диссертацией по астрономии. После этого периода частых переездов он предпочел остаться в своей любимой Саксонии. Несмотря на многократные предложения работы в других университетах, он сохранял верность Лейпцигу на протяжении всей оставшейся жизни.