Искатели необычайных автографов

— Как и всякое здание, — продолжал незнакомец, — геометрия Эвклида покоится на фундаменте. Это пять постулатов, девять аксиом и двадцать три начальных определения. Первый постулат гласит…

Услыхав столь многообещающее начало, Фило просто в ужас пришел. Неужто на него обрушится такое обилие новых сведений разом? Ведь он, если говорить по совести, даже не знает разницы между постулатом и аксиомой…

— Разница, в сущности, невелика, — сказал незнакомец. — И то и другое — положения, вытекающие из нашего опыта и принимаемые на веру без доказательств по той причине, что доказать их невозможно.

— Действительно, — подтвердил Мате, — разница настолько несущественна, что у нас постулаты попросту причисляются к аксиомам.

— Ну, приравнять постулаты Эвклида к аксиомам — дело нехитрое, — возразил незнакомец. — Куда сложнее уравнять их между собой. Очень уж они неравноценны. Первые четыре — совершенно надежны и вполне могут быть приняты без доказательств. Зато пятый…

Он выразительно умолк, и вялое равнодушие Фило тотчас сменилось жадным любопытством.

— Ну, — понукал он, — что же ты запнулся?

— Потому и запнулся, что пятый постулат, вместо того чтобы исполнять обязанности краеугольного камня, предпочел превратиться в камень преткновения, — пояснил незнакомец. — Это так называемый постулат о параллельных, утверждающий, что если при пересечении двух прямых третьей внутренние односторонние углы меньше двух прямых, то они пересекутся по ту сторону, где сумма этих углов меньше.

— У нас этот постулат излагают короче, — вставил Мате. — Через точку, лежащую вне прямой, в той же плоскости можно провести только одну прямую, параллельную первой.

— Тоже неплохо, — согласился незнакомец. — Постулат о параллельных нередка излагают по-разному. Хайям, например, заменяет его другим, равнозначным утверждением: два перпендикуляра к одной прямой не могут ни сходиться, ни расходиться. Но, к сожалению, это столь же неубедительно, сколь и формулировка Эвклида…

— Не понимаю, что тут неубедительного? — недоумевал Фило. — Ведь даже младенцу ясно, что через точку, лежащую в той же плоскости, что и прямая, можно провести только одну параллельную.

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

Мате оглядел чертеж скептически: почему, собственно, Фило думает, что нарисовал параллельную?

— Да ведь сразу видно!

— А если линия все же чуть-чуть отклоняется?

— Чуть-чуть не в счет.

— Но если продлить вашу чуть-чуть неточную параллель, то рано или поздно она все-таки пересечется с прямой.

— А я проведу точную. С помощью надежной линейки и угольника.

— Как знать! Еле заметная ошибка и тут вполне вероятна. Но как вы это проверите? Как узна́ете, что ваши прямые не пересекутся?

— Продолжу их.

— До каких пор?

— Хоть до Самарканда.

— А если они сговорились пересечься у Юпитера? Или у Полярной звезды?

— Да-а-а! — обескураженно протянул Фило. — Пожалуй, о проверке придется забыть. Послушайте, но если этот постулат нельзя принять на веру, так какой же он постулат? Его самого надо доказывать.

— Именно этим безуспешно занимаются ученые вот уже полторы тысячи лет, — сказал незнакомец.

Фило капризно передернул плечами: неужели так трудно доказать то, что, собственно говоря, само собой разумеется?

— А ты сам подумай, — предложил незнакомец. — Геометрия Эвклида — ряд опирающихся друг на друга теорем. Все вместе они опираются на аксиомы. Но ведь пятый постулат — тоже одна из аксиом, то есть сам по себе опора. На что же опираться, доказывая его?

— На другие аксиомы, — не растерялся Фило.

— При чем же здесь другие аксиомы? Пятый постулат никак с ними не связан. Аксиомы вообще независимы друг от друга.

— Выходит, опираться вроде бы не на что?

— То-то и оно. И вот почему ученые нередко доказывали пятый постулат, опираясь на другое, равнозначное ему утверждение, иначе говоря, пытались установить справедливость пятого постулата с помощью того же пятого постулата, только выраженного в другой форме… Кстати, друг мой — Хайям-математик — обнаружил немало таких подмен.

— Да, — сказал Мате, — Хайям очень интересно критикует ошибки своих предшественников, но это не помешало ему совершить подобную же подмену в своем собственном доказательстве.

— Ничего не поделаешь, — отвечал незнакомец. — Поэт сказал: «Что видно на другом, то на себе не видно. Дурные стороны видней со стороны». Впрочем, у меня есть основания полагать, что Хайям разочаровался в своем доказательстве.

— Я вижу, вся эта история сплошь состоит из ошибок и разочарований, — мрачно подытожил Фило.

— История еще не окончена! — возразил Мате. — Так что не торопитесь с выводами. Бесспорно покуда одно: непостижимое упорство, с каким человеческая мысль силится сдвинуть с места этот роковой камень.