– Ты знаешь, чем я занимаюсь? – удивился Исигами.
– Дай-ка взглянуть, не люблю подсматривать. – Длинноволосый парень указал пальцем на стол Исигами.
Исигами вновь опустил глаза на свою тетрадь. Страницы были исписаны формулами, но до решения еще далеко, всего лишь наметки. Если парень с одного взгляда понял, чем он занимается, значит, он и сам когда-то уже подступался к этой задаче.
– Ты тоже пытался решить? – спросил Исигами.
Длинноволосый парень наконец-то отнял руку от щеки и улыбнулся:
– Я придерживаюсь принципа не делать того, в чем нет необходимости. Недаром я на физическом отделении. Мы, физики, всего лишь используем теоремы, которые разрабатывают математики. Так что доказывать их – ваше дело.
– Но тебя эта задача интересует? – Исигами взял в руки свою тетрадку.
– Только потому, что доказательство уже найдено. Нет вреда в том, чтобы знать то, что доказано. – Он посмотрел Исигами в глаза и продолжал: – Проблема четырех цветов доказана. Любую карту можно раскрасить в четыре цвета.
– Не любую.
– Ну конечно. Есть ограничение – плоскую или сферическую.
Речь шла об одной из самых известных математических проблем. Ее сформулировал еще в 1879 году Артур Кейли: «Можно ли раскрасить четырьмя цветами любую карту, расположенную на плоскости или на шаре?» Потребовалось почти сто лет, чтобы решить эту задачу: доказать, что раскрасить возможно, или же придумать карту, на которой подобное невозможно. Доказательство нашли ученые из Иллинойского университета – Кеннет Аппель и Вольфганг Хакен. Используя компьютер, они установили, что любую карту можно свести к вариации одной из ста пятидесяти основных карт, а после доказали, что все эти карты могут быть раскрашены четырьмя цветами. Это было в 1976 году.
– Я не считаю это доказательство исчерпывающим, – сказал Исигами.
– Возможно. И поэтому ты пытаешься решить задачу без использования вычислительной техники?
– Их способ слишком громоздок, чтобы выполнить вычисления вручную, пришлось воспользоваться компьютером, но из-за этого невозможно решить окончательно, насколько доказательство справедливо. Для проверки вновь понадобился бы компьютер, а это уже не математика в чистом виде.
– Узнаю почитателя Эрдёша! – заулыбался длинноволосый парень.
Пол Эрдёш – венгерский математик. Знаменит тем, что много путешествовал по разным странам, повсюду организуя совместные научные исследования. Он исповедовал принцип, что у хорошей теоремы должно быть красивое, естественное и ясное доказательство. По поводу «теоремы четырех цветов» он сказал, что, возможно, доказательство Аппеля-Хакена и правильно, но в нем отсутствует красота.