Жертва подозреваемого X   ::   Хигасино Кэйго

Если парень с одного взгляда понял, чем он занимается, значит, он и сам когда-то уже подступался к этойзадаче.

– Ты тоже пытался решить? – спросил Исигами.

Длинноволосый парень наконец-то отнял руку от щеки и улыбнулся:

– Я придерживаюсь принципа не делать того, в чем нет необходимости. Недаром я на физическом отделении. Мы, физики, всего лишь используем теоремы, которые разрабатывают математики. Так что доказывать их – ваше дело.

– Но тебя эта задача интересует? – Исигами взял в руки свою тетрадку.

– Только потому, что доказательство уже найдено. Нет вреда в том, чтобы знать то, что доказано. – Он посмотрел Исигами в глаза и продолжал: – Проблема четырех цветов доказана. Любую карту можно раскрасить в четыре цвета.

– Не любую.

– Ну конечно. Есть ограничение – плоскую или сферическую.

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

– Я не считаю это доказательство исчерпывающим, – сказал Исигами.