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