К таким зодчим принадлежит упомянутый уже Мухаммед ал-Хорезми. К таким зодчим относится и древний грек Аполлоний Пергский, который собрал, изучил, заново продумал все, что касается конических сечений, и создал свою собственную теорию.
Но самым, пожалуй, великим среди всех великих зодчих науки был Эвклид: он воздвиг монументальное здание геометрии, которое доныне остается непревзойденным образцом математической логики. Все накопленные до него богатства геометрии Эвклид объединил в могучую систему, где каждая теорема служит опорой последующей.
Он был не первым, кто брался за это дело. Подобную же работу пытался совершить Гиппократ Хиосский, живший за двести лет до Эвклида. Потом попытку его продолжил Леон, затем Тевдий из Магнезии и, наконец, сам Аристотель! Но лишь Эвклиду оказалось под силу довести неслыханный труд до конца…
— Как и всякое здание, — продолжал незнакомец, — геометрия Эвклида покоится на фундаменте. Это пять постулатов, девять аксиом и двадцать три начальных определения. Первый постулат гласит…
Услыхав столь многообещающее начало, Фило просто в ужас пришел. Неужто на голову его хотят обрушить такое обилие новых сведений сразу? Увы, увы и в третий раз увы, ему этого не вынести! Ведь он, если уж говорить по совести, даже не знает, какая разница между постулатом и аксиомой…
— Разница, в сущности, невелика, — сказал незнакомец. — И то и другое — положения, вытекающие из нашего опыта и принимаемые на веру без доказательств по той причине, что доказать их невозможно.
— Действительно, — подтвердил Мате, — разница настолько несущественна, что у нас — я хочу сказать, в наших краях, — постулаты попросту причисляются к аксиомам.
— Ну, приравнять постулаты Эвклида к аксиомам — дело нехитрое, — возразил незнакомец. — Куда сложнее уравнять их между собой. Очень уж они неравноправны! Первые четыре постулата совершенно надежны и вполне могут быть приняты без доказательств. Зато пятый…
Он выразительно умолк, и вялое равнодушие Фило сразу же сменилось жадным любопытством.
— Ну, — нетерпеливо понукал он, — что же ты запнулся? Договаривай.
— Потому и запнулся, что пятый постулат, вместо того чтобы исполнять обязанности краеугольного камня, предпочел превратиться в камень преткновения, — с усмешкой пояснил незнакомец. — Это так называемый постулат о параллельных, утверждающий, что если при пересечении двух прямых третьей внутренние односторонние углы меньше двух прямых, то они пересекутся по ту сторону, где сумма этих углов меньше.
— Положим, у нас этот постулат излагается короче, — снова вмешался Мате. — Через точку, лежащую вне прямой, в той же плоскости можно провести только одну прямую, параллельную первой.
— Тоже неплохо, — согласился незнакомец. — Постулат о параллельных нередко излагают по-разному. Хайям, например, заменяет его другим, равнозначным утверждением: два перпендикуляра к одной прямой не могут ни сходиться, ни расходиться. Но, к сожалению, утверждение это столь же неубедительно, как и формулировка Эвклида…
— Не понимаю, что тут неубедительного? — недоумевал Фило. — Ведь даже мне ясно, что через точку, лежащую в той же плоскости, что и прямая, можно провести только одну параллельную.
На свободном от травы клочке земли он веточкой начертил прямую, поставил точку и провел через нее параллельную, как ему казалось, линию.
Мате оглядел чертеж скептически: почему, собственно, Фило думает, что нарисовал параллельную?
— Как — почему? Да ведь сразу видно!
— А если линия все же чуть-чуть отклоняется?
— Ну, чуть-чуть не считается, — добродушно отмахнулся Фило.
— Вы так думаете? Но если продлить вашу чуть-чуть неточную параллель, то рано или поздно она все-таки пересечется с прямой.
— А я возьму и проведу точную. С помощью линейки и угольника. Она-то уж наверняка не пересечется.
— Как знать! Еле заметная ошибка и тут вполне вероятна. Но, предположим, чертеж правилен, — как вы это проверите? Как узнаете, что ваши прямые не пересекутся?
— Продолжу их.
— До каких пор?
— Хоть до Самарканда.
— А если они сговорились пересечься за Самаркандом?
— Но они вообще не должны пересекаться!
— А как вы в этом все-таки убедитесь? Ведь если даже предположить, что они действительно никогда не пересекутся, то практически удостовериться в этом невозможно. Ну, до Самарканда вы, допустим, кое-как доползли (хоть по прямой это и невыполнимо), но как вы доберетесь до бесконечности?