Забудем о предтечах и начнем счет с Евклида.
Жил и работал он во время весьма любопытное.
В 323 году до н. э. то ли вследствие острой лихорадки, в результате ли неумеренного пьянства или просто от доброй порции яда отправился на свидание к отцу своему Зевсу царь царей земных, изрядно уже потрепанный, хотя сравнительно молодой, тридцатитрехлетний мужчина — Александр Македонский.
Полубога не успели даже подобающим образом проводить, как перешли к очередным делам.
Надо было делить империю. А она была невероятна. Всего лишь за десять лет были завоеваны страны, в сотни раз превосходящие маленькую полунищую Македонию.
Как и почему могло все случиться, нас сейчас не очень волнует. Причин на то было много. Одна из них, как известно, та, что Александр Македонский был герой.
Так или иначе, но мир за десять лет стал другим. Видимые границы его расширились в четыре раза, а теперь предстояло переварить то, что было проглочено. Было ясно, что для одного — наследство непомерно. И отдавать все малолетнему сыну Александра, появившемуся на свет через несколько месяцев после смерти папы, или же второму наследнику — слабоумному сводному брату Александра, — было просто смешно. Посему империю согласно растащили те любимые полководцы, которых Александр не успел казнить.
Они заключили вечный мир, поклялись в столь же вечной дружбе, порядком выпили на радостях, обменялись суровыми мужскими пожатиями на прощание, после чего, естественно, началась резня и междоусобица.
Время было веселое. Цари возникали как грибы после дождя и столь же быстро ликвидировались. Ни в чем (кроме происхождения) не повинных законных наследников придушили либо прирезали уже к началу второго десятилетия. А изводить людей в династических войнах продолжали с удвоенной энергией еще несколько десятков лет.
Так и начиналась интереснейшая эпоха эллинизма.
Во всей этой сваре более других повезло осмотрительному Птолемею, который при дележке отхватил себе Египет.
Он довольно успешно вмешивался в склоки диадохов (наследников), более или менее разумно попридерживал в родном уделе — Египте — своих отчаянных македонцев, мечами которых и держался. Не возражал против столь дорогого для местной интеллигенции поклонения черным котам и крокодилам и сам стал богом в соответствии со служебным положением (как-никак фараон). Страну грабил, конечно, и грабил основательно. Но тут уж египтян удивить было трудно. Поощрял торговлю, немножко казнил недовольных, всячески холил бюрократический аппарат… и прижился-таки на берегах Нила, в городе, оригинально названном Александром, — Александрия.
Наследники его постепенно ассимилировались, а династия оказалась не только самой прочной и долговечной, но и прославилась еще тем, что, подарив миру Клеопатру, обеспечила сюжетом литературу на две тысячи лет.
И самый первый Птолемей I Сотер и все последующие Птолемеи славны тем, что были они покровители наук. Трудно сейчас сообразить, каковы были их мотивы, почему это вдруг науки так привлекли Птолемеев.
Может быть, это было некое интеллектуальное кокетство; возможно, пригревая математиков и философов, Птолемей I подражал Александру — как-никак Александр был ученик Аристотеля и ученых ценил (правда, в весьма своеобразных формах). Можно, наконец, допустить, что имелись в виду некие практические использования мудрецов. Впрочем, эта версия довольно сомнительна.
Оставив все психологические изыскания в стороне, отметим факты.
Александрия в III–II веке до н. э. превратилась в основной научный центр эллинистического мира. И наиглавнейшим научным институтом был знаменитый Александрийский музей со знаменитейшей Александрийской библиотекой. К несчастью, ее разоряли много раз, и в итоге все 70 тысяч свитков были сожжены в VII веке неким свирепым арабским халифом.
Впрочем, халифу, кажется, зря «шьют» это дело. Первым приложил руку великий Цезарь. Кай Юлий Цезарь — по совместительству неплохой прозаик, но главным образом полководец, политический демагог и отчаянный честолюбец.
Далее имеются весьма веские данные, позволяющие думать, что в основном тут потрудилась ранняя (и уж тогда весьма веротерпимая) христианская церковь, опередившая простоватого халифа лет на двести с лишним. Халифу же осталось лишь подчищать остатки. Так или иначе, но самое благое дело Птолемеев ждала неудачная судьба.
Все-таки если уж и вспоминать Птолемеев добрым словом, то за их покровительство науке.
На счету истории человечества много царств. И еще больше царей. Возможно, историки проследят связь деяний того или иного сатрапа с последующей историей. Но непосредственно в живой памяти людей остается ничтожный процент из всего этого венценосного полчища. И то надо сказать, что редко память бывает хорошей.
В смысле приметливости больше всего удача улыбается головорезам и авантюристам типа Тамерлана либо Наполеона.
Однако прямая их роль в нашей сегодняшней жизни практически близка к нулю.
И поскольку я уж несколько завяз в лирических вариациях на древние-древние мотивы о бренности земных царств и всей славы их, я попытаюсь достойно закончить их довольно поучительной притчей.
За несколько десятков лет до вторжения испанцев в Мексику некий ацтекский вождь с абсолютно неудобопроизносимым для русского языка именем (обозначим его «X») объединил все племена в царство и в какой-то степени ликвидировал феодальную раздробленность. Естественно, предполагалось, что царство его и династия его будут благоденствовать долгие века. И сам «X» правил долго и счастливо.
Вскоре по Мексике прошли гангстеры Кортеса, и от ацтекской империи остались сейчас лишь затопленные джунглями развалины блестящих некогда городов. Но это лишь половина истории.
У царя (точнее, касика — сохраним колорит) «X», понятное дело, имелся гарем — «X» любил (и весьма) женщин.
Человек он был действительно незаурядный. Был он блестящий лирический поэт и, естественно, помимо своей непосредственной деятельности, писал стихи для своих многочисленных жен. И песни его можно услышать в деревнях Мексики и в наши дни. И можно еще раз порадоваться, что истинные произведения искусства всегда оказываются долговечнее империй.
Стоило бы, пожалуй, все же вспомнить имя поэта. Но, увы, я помню лишь, что оно очень сложно.
Итак, Птолемей I Сотер пригласил в Александрию Евклида. И там написал Евклид «Начала» — книгу для истории человечества, бесспорно, уникальную.
Снова должен я начать с традиционного уже признания. О самом Евклиде практически ничего не известно. Впрочем, пара апокрифов, конечно, имеется.
Рассказывают, что Птолемей поначалу сам захотел одолеть премудрости геометрии. Но довольно скоро обнаружил, что изучение математики — слишком тяжкое бремя для него, фараона. Тогда он призвал Евклида и попросил его, полагаю, как джентльмен джентльмена: «Нельзя ли постигнуть все тайны науки как-нибудь попроще?» На что Евклид гордо и невежливо ответил: «В геометрии нет царского пути». Остается неведомым, продолжал ли Птолемей занятия геометрией. Вероятней всего, он утешился в занятиях, более приличествующих царям (приемы, охота, пьянки и гарем).
Вторая история такова.
На этот раз изучать геометрию к Евклиду явился какой-то молодой прагматист. И первое, что спросил он: «Какова будет практическая польза от штудирования «Начал»?» Тогда Евклид, весьма и весьма задетый, призвал раба и сказал: «Дай ему грош, он ищет выгоды, а не знаний».
Надо, впрочем, сознаться, что обе истории столь традиционно характерны, учитывая представления греков о мудрецах и о математике, что особо доверять им не приходится.
Если первая новелла чрезвычайно симпатична и для людей нашего века, то вторая по меньшей мере стимулирует активные возражения. Но приходится учитывать, что греки мыслили… впрочем, я не берусь сказать, как именно мыслили греки. Боюсь, одни считали так, а другие этак. Мы знаем (точнее, думаем, что знаем), что они презирали всякое практическое применение математики, и вроде бы действительно в трудах философов тех веков (особенно у последователей Платона) находим этому подтверждения. И неоднократные. Все это так. Все это верно. Но самый гениальный математик древности — Архимед — был физик, причем экспериментатор, а не теоретик. Мало того. Он был еще и первокласснейший военный инженер, потративший много лет и массу труда на создание из своего родного города — Сиракуз — практически неприступной крепости.
Конечно, Плутарх, как бы считая необходимым оправдать Архимеда, стыдливо объясняет, что все это были, дескать, забавы — интеллектуальные игрушки для философа. Но не надо особой проницательности, чтобы сообразить: забавляясь, не спланируешь укрепленный район, снабженный притом оружием твоего же изобретения, — район, повторяю, абсолютно неприступный по тем временам. Кстати, позволю себе отвлечься, чтобы заметить: пример Архимеда прелестно показывает, что и в те далекие наивные времена физика и иные науки играли в войне едва ли меньшую роль, чем сейчас.
Ну, а каково же было истинное отношение в эллинистическом мире к практическому использованию математики, не слишком ясно.
Вообще иногда возникает невольное раздражение, когда встречаешь излишне категоричные суждения о той далекой эпохе. Слишком мало мы знаем, слишком обрывочны и случайны данные, чтобы уверенно судить о психике, нравах и обычаях людей тех времен. Впрочем, здесь я вступаю на очень скользкую дорожку и начинаю рассуждать о вещах, не очень мне знакомых. Но прежде чем мы вернемся к геометрии и Евклиду, я позволю себе лишь одно замечание, ибо самое соблазнительное — дилетантские разглагольствования.
При оценке древних очень часто конкурируют две крайние тенденции. Либо греки (эллинистический мир, в частности) предельно идеализируются, и сторонники этой версии горько сожалеют об упадке нравов за истекший период в 2500 лет и о невозвратно ушедших временах детства человечества, когда люди были чисты, наивны и бесхитростны. Эта линия почему-то весьма популярна у утонченной интеллигенции гуманитарного склада.
Сторонники другого творческого направления, грубо говоря, полагают, что достаточно научиться включать пылесос и телевизор, чтобы осознать свое полное моральное превосходство над представителями любой ранней цивилизации.
Так иногда рассуждают инженеры, военные и другие представители «точных» профессий (я надеюсь, мне простится, что физиков я не в силах был включить в список).
Как это и бывает обычно, защитники противоположных позиций, по существу, едины в полном нежелании сколько-нибудь серьезно разобраться в сути и целиком доверяют своим случайным субъективным впечатлениям.
Далее имеются сторонники «скептической школы», полагающие, что всегда, во все века люди были одинаковы и интеллект и моральные качества не успели измениться за какие-то жалкие 2,5 тысячи лет.
В общем-то для автора эта позиция наиболее приемлема, хотя по всему, что он — автор — читал, можно все же полагать, что за эти самые 2,5 тысячи лет человечество медленно, но неизменно совершенствуется. Хотелось бы, конечно, чтобы движение это было несколько более активно, но это уже другой вопрос.
И вероятно, давно уже пора объяснить утомленным читателям, почему в книге о геометрии автор с переменным успехом рассуждает о чем угодно, кроме самой геометрии.
Я это и сделаю, а потом мы все же вернемся к Евклиду.
Итак, нечто аналогичное предисловию.
Действительно, далее будет говориться и о неевклидовой геометрии и об общей теории относительности, возникновение которой без особой натяжки можно рассматривать как логическое завершение всей истории с пятым постулатом.
Но мне кажется, самое интересное во всем этом не геометрия и не теория относительности.
В конце концов весь роман о пятом постулате столько же свидетельствует о силе человеческой мысли, сколько и об удивительной, почти анекдотической ограниченности математиков. Недаром, кстати, Макс Планк позволил себе, может быть, излишне категоричное, но верное в общем высказывание, что «по сравнению с теорией относительности создание неевклидовой геометрии — не более чем детская игра». Не будем, однако, раздавать медали. Главное — другое.
Самое важное, поучительное и, если хотите, трогательное, что та история, за которой мы попытаемся проследить, символична, как иллюстрация одного из лучших качеств, отличающих людей от прочих приматов и объединяющих все расы в единый вид. Как догадывается проницательный читатель, автор воспевает бескорыстное стремление разобраться: в каком мире, собственно, мы живем, как устроена наша вселенная? И объединяющий людей такого сорта интернационализм, интернационализм эпох, стран и национальностей, вечно противостоит столь же вечному братству мещанства, братству сатрапов, карьеристов, завоевателей, честолюбцев, стяжателей и худшей части футбольных болельщиков.
Если представить себе некую фантастическую картину, усадив в одной комнате за застольной беседой Евклида, Хайама, Гаусса, Лобачевского и Эйнштейна, то маловероятно, что в какой-то момент Николай Иванович Лобачевский испытал бы необходимость искать общих знакомых или провозглашать за отсутствием тем разговора: «Ну, а теперь — анекдотики».
А с другой стороны, нужно с неохотой признать, что анекдоты времен Евклида (с легким изменением колорита, конечно) почти полностью исчерпывают духовный арсенал многих и многих наших современников.
Впрочем, идеализацией как науки, так и ее жрецов тоже не стоит излишне увлекаться. Можно найти сотни и сотни примеров блестящих ученых — совершенно аморальных людей.
И может быть, самое привлекательное во всей нашей истории то, что как неевклидова геометрия логически завершается общей теорией относительности, так галерея математиков — как правило, не только замечательных по таланту, но и по-человечески интересных людей — замыкается Эйнштейном.
Но вернемся же к Евклиду!
Для начала следует добавить несколько крепких выражений в адрес всех скотов, истреблявших Александрийскую библиотеку. Останься она цела, мы знали бы о греческом и римском мире в десятки раз больше, чем сейчас.
Вероятно, мы бы знали и об Евклиде. Но, к сожалению, на сей день едва ли не самый основательный источник по Евклиду — Прокл Диадох Константинопольский — геометр, написавший детальнейший «Комментарий на первую книгу «Начал». И раз уж мы все время ссылаемся на источники, необходимо маленькое замечание.
Когда мы обращаемся к истории древнего мира, то невольно возникает тот же эффект, что при наблюдении горной цепи с самолета. Все сглаживается, расстояния кажутся малыми, детали исчезают полностью. Видна лишь общая картина.
И невольно все греческие математики представляются почти современниками. Поэтому нелишне, вероятно, вспомнить, что Прокл (412–485 г. н. э.) жил на семьсот лет позже Евклида. Временной интервал куда больше, чем разделяющий нас, скажем, с Иваном Васильевичем Грозным. Посему не так уж странно, что сведения о жизни Евклида у Прокла отрывочны и случайны.
Есть еще один автор, живший несколькими десятилетиями раньше Прокла, — александрийский математик Паппус. Он пишет о Евклиде как о мягком, скромном и вместе с тем независимом человеке. История с Птолемеем приводится как одним, так и другим. «Точные» же биографические данные практически основываются на заметках неизвестного арабского математика XII века: «Евклид, сын Наукрата, сына Зенарха, известный под именем Геометра, ученый старого времени, по своему происхождению грек, по местожительству сириец, родом из Тира…»
Все.
Человек бесследно растворился в веках. Осталась его работа.
«Начала» — повторимся — книга уникальная. Более двух тысяч лет она была главным и практически единственным руководством по геометрии для ученых как западного, так и восточного мира. Еще в конце XIX столетия во многих английских школах геометрию изучали по адаптированному изданию «Начал», и вряд ли можно найти более выразительное свидетельство популярности. В этом смысле конкурировать с «Началами геометрии» могут разве что библия и евангелие. Но в отличие от последних основа «Начал» — строгая и жесткая логика. Точнее — Евклид все время стремится к таковой.
Можно полагать, что Евклид был последователь Платона и Аристотеля. А Платон, как помните, требовал строго дедуктивного построения математики.
В фундаменте — аксиомы: основные положения, принимаемые без доказательства, а далее все должно быть безупречно логично выведено из этих аксиом.
Этот идеал и пытается осуществить Евклид. Пытается, потому что с современных позиций буквально вся его аксиоматика неудовлетворительна.
Но это легко заявлять сейчас, после 25-столетних исследований. А в свое время логика Евклида оставляла совершенно подавляющее впечатление.
Попытки рассказать геометрию на базе аксиоматического метода были до Евклида. И не плохие. Но уверенно можно заключить, что работа Евклида была наиболее удачной. Свидетельство — необычная популярность его книги уже в древнем мире; популярность, благодаря которой она дошла и до нас.
Можно говорить всякие обидные (и справедливые) слова в адрес аксиоматики Евклида. Но то, что сама схема стала с тех пор канонической для построения любого раздела математики, забывать не стоит. И конечно, необходимо помнить, что «Начала» блестяще написаны, написаны мастером своего дела, тонким ученым и великолепным педагогом. Поэтому поголовное поклонение математиков Евклиду и его «Началам» и понятно и оправданно. Добавим еще, что эта книга обратила в «математическую веру» несколько десятков молодых людей, ставших впоследствии крупнейшими математиками мира.
Влияние Евклида было поразительно во все века, во всех краях света. Вот, например, в каких супер-восхищенных тонах говорил об Евклиде один из виднейших математиков эпохи Возрождения, Кардан. Сам-то Кардан, кстати, был отчаянный авантюрист, чтобы не сказать проходимец, но математического таланта и культуры у него не отнимешь. Он пишет о «Началах»:
«Неоспоримая крепость их догматов и их совершенство настолько абсолютны, что никакое другое сочинение, по справедливости, нельзя с ними сравнить. Вследствие этого в них отражается такой свет истины, что, по-видимому, только тот способен отличать в сложных вопросах геометрии истинное от ложного, кто усвоил Евклида».
А вот слова одного крупного английского геометра. Это уже середина XIX века.
«Никогда не было системы геометрии, которая в существенных чертах отличалась бы от плана Евклида; и до тех пор, пока я не увижу этого собственными глазами, я не поверю, что такая система может существовать».
Надо, правда, сказать, что в середине XIX столетия автор мог бы мыслить более прогрессивно, и слова эти, помимо преклонения перед Евклидом, демонстрируют его собственную изрядную консервативность.
Можно приводить сколько угодно подобных цитат, но мы ограничимся эффектной концовкой. Может быть, самое яркое свидетельство влияния «Начал» буквально на все области мышления то, что один из известных в истории западного мира философов, Бенедикт Спиноза, весь план своего основного сочинения «Этика» целиком заимствовал у Евклида.
Возможно, авторитет Спинозы не слишком убеждает читателей, и поэтому для истинного финала своего воспевания «Начал» я приберег Исаака Ньютона.
Его основополагающая работа «Начала натуральной философии» копирует Евклида не только по заглавию, но и по схеме. В основе — аксиомы, из которых следует все. Сходство и в том, что аксиоматика Ньютона оказалась столь же эфемерна, как и Евклида.
И последняя справка. К 1880 году насчитывалось 460 изданий «Начал».
Вероятно, прежде чем идти дальше, необходимо несколько слов сказать о самом аксиоматическом методе.
Совершенно ясное и строгое понимание дедуктивных схем пришло лишь в начале XX столетия. В основном это заслуга великого немецкого математика Гильберта.
В несколько огрубленной и упрощенной форме дело обстоит примерно так. Мы ограничимся дальше конкретным случаем геометрии, чтобы не слишком увлекаться абстракциями.
Этап № 1. Перечисление Основных Понятий.
Фундамент — Основные Понятия (либо Основные Элементы). Они — результат длительного экспериментального изучения природы, сложного, путаного, туманного и т. д. и т. д. пути.
В итоге, как некое абстрактное отражение реальности, возникают Основные Понятия. О них в аксиоматике не говорится ничего. Они как бы даны свыше.
Это естественно. Определять Основные Понятия можно лишь при помощи других новых понятий, те, в свою очередь, при помощи… и так далее до бесконечности. Надо же с чего-то начинать. Как говорят французы: «Чтобы сварить рагу из кролика, необходимо поймать хотя бы кошку».
Итак, Основные Понятия. Математики говорят прелестно: это элементарные объекты, которые не определяются, а лишь называются. Впрочем, маленькое добавление есть. В современной аксиоматике геометрии Основные Понятия делятся на две группы:
а) Основные Образы;
б) Основные Соотношения.
Вообще говоря, сейчас есть по меньшей мере две существенно различные аксиоматические схемы. Дальше мы будем пользоваться той, в которой Основные Образы таковы:
1) точка; 2) прямая; 3) плоскость.
Теперь посмотрим, что представляют собой Основные Соотношения. Они формулируются так:
1) принадлежать; 2) лежать между; 3) движение.
Основные Понятия установлены. Теперь можно перейти ко второму этапу.
Этап № 2. Основные Аксиомы.
Для наших Основных Понятий мы высказываем целый набор утверждений, которые принимаем без каких-либо доказательств. Это аксиомы. Формально говоря, только аксиомы наполняют наши Основные Понятия живым содержанием. Только они дают им жизнь. Без аксиом Основные Понятия вообще лишены какого-либо содержания. Они — пустой звук. Аморфные призраки. Аксиомы определяют правила игры для этих «призраков». Устанавливают четкий логический порядок. И лишь одно может сказать математик о своих Основных Понятиях — они подчиняются таким-то и таким-то аксиомам. И все. Все!
Потому что математик, собственно, не знает, о чем он говорит. Единственное, что он требует: выполнения своих аксиом.
Единственное!
Когда аксиоматический метод доведен до совершенства, геометрия, говоря формально, превращается в абстрактную логическую игру.
«Точка», «прямая», «плоскость», «движение» — под этим может скрываться все что угодно. Любые объекты.
Мы построим для них геометрию. И мы будем называть нашу геометрию геометрией Евклида, если будут выполняться аксиомы, установленные для «настоящей» геометрии Евклида.
Например: через две различные точки проходит одна, и только одна, прямая. Это аксиома, сформулированная на обычном языке.
Если строго придерживаться терминологии, введенной чуть ранее, надо было бы сказать так:
двум различным точкам может принадлежать одна, и только одна, прямая.
И далее в том же духе. Как хорошее упражнение рекомендую на основе этой аксиомы доказать теорему: «Две прямые имеют лишь одну общую точку».
Всего в евклидовой геометрии сейчас различают пять групп аксиом. Это:
1) аксиомы соединения;
2) аксиомы порядка;
3) аксиомы движения;
4) аксиома непрерывности;
5) аксиома о параллельных.
Вряд ли стоит сейчас перечислять все эти аксиомы, мы поместим их в приложении, памятуя слова Геродота, что ничто не придает книге такой вес и солидность, как приложения.
К аксиомам мы еще не раз вернемся, а пока укажем…
Этап № 3. Перечисление Основных Определений.
При помощи Основных Понятий мы строим более сложные. Например: угол — это фигура, образованная двумя полупрямыми (лучами), исходящими из одной точки.
Если внимательно прочитать эту фразу, станет ясно, что в определении угла использовано одно сложное понятие, а именно: «луч» — полупрямая.
Очевидно, мы должны были раньше дать определение этого понятия при помощи Основных. Это довольно легко можно сделать. Читатели могут проверить, насколько они прониклись духом дедукции, и, вооружившись списком аксиом, попытаться решить эту задачу.
Если бы оказалось, что, используя Основные Понятия, невозможно определить, что такое луч, тогда пришлось бы это понятие отнести к Основным.
В общем все остальные понятия и определения вводятся при помощи Основных, а также (внимание!) тех аксиом, которые установлены нами для Основных Понятий.
Нам остался последний…
Этап № 4. Формулировка теорем. Доказательство теорем.
Для наших понятий (Основных и неосновных) мы высказываем утверждения-теоремы, которые и доказываем.
Это, собственно, и есть предмет геометрии.
Я сейчас еще раз хотел бы повторить, что в такой постановке геометрия превращается в совершенно абстрактную игру наподобие шашек либо, еще лучше, шахмат.
Там также есть Основные Понятия — фигуры. Есть аксиомы — совокупность правил игры. И наконец, есть теоремы. Собственно, одна теорема: как поставить противнику мат.
Для решения этой «теоремы» игрок в ходе партии доказывает десятки лемм (вспомогательных теорем), выбирая всякий раз лучший, по его мнению, ход в данной позиции.
Впрочем, отличие игр от геометрии есть. Оно состоит в том, что очень часто партнерами принимаются неправильные «доказательства». В шахматах, скажем, не сформулированы (неизвестны) строгие логические критерии оценки каждого хода или позиции. В геометрии они есть. В ней всегда можно установить, что вновь сформулированная теорема противоречит предыдущим теоремам, а значит, противоречит и более ранним, а значит… Разматывая клубок до конца, мы приходим к двум возможностям. Или мы допустили ошибку в нашем рассуждении, или теорема, которую мы вновь сформулировали, ошибочна.
Первая возможность малоинтересна для науки; она показывает лишь то, что мы плохо владеем математикой.
Зато во второй содержится определенный и часто очень важный результат. Если мы убедились, что наша гипотеза (теорема) неверна, следовательно, верны другие теоремы, именно те, что противоречат нашей. Если таких противоречащих теорем лишь одна, то нашим рассуждением мы ее доказали.
Последним абзацем, возможно в излишне туманной и абстрактной форме, мы разобрали схему очень распространенного в геометрии (как и вообще в математике) метода «доказательства от противного». Или по-другому — метода «приведения к абсурду» (reductio ad absurdum).
Чтобы не слишком воспарять, проследим на конкретном примере одно такое доказательство.
Пусть к прямой восстановлены два перпендикуляра. Будем пользоваться радианной мерой измерения углов и вместо 90 градусов писать π/2.
Возможны два, и только два, варианта: они пересекаются в какой-то точке С; они не пересекаются вообще.
Докажем, что справедлива вторая теорема. Доказываем от противного.
Предположим, выполняется первое предположение: перпендикуляры пересеклись. Тогда образовался треугольник АВС[1]Дальше в тексте вместо слова «треугольник» мы будем часто использовать символ Δ. А вместо слова «угол» — <.
. Он замечателен тем, что внешний <В равен внутреннему <А. И конечно, внешний <А равен внутреннему <В.
Но существует теорема (ее истинность не будем сейчас подвергать сомнениям): «Внешний угол треугольника всегда больше любого внутреннего угла, не смежного с ним».
Наш треугольник теореме не удовлетворяет. Следовательно, такого треугольника быть не может. Следовательно, мы где-то ошиблись.
Проверяем рассуждение. Все правильно. Значит, ошибку мы сделали в самом начале, когда допустили, что перпендикуляры пересекаются.
Итак, перпендикуляры не пересекаются. Мы это доказали строго. Непересекающиеся прямые Евклид называл параллельными. И до поры до времени мы также будем придерживаться этой терминологии.
Подведем итог. Мы получили, что две прямые, перпендикулярные к общей прямой, параллельны. Вообще говоря, нам надо было бы еще доказать, что эти прямые не пересекутся и в нижней полуплоскости. Но это дословное повторение предыдущего доказательства, и время на него тратить не будем.
При доказательстве мы апеллировали к теореме о внешнем угле треугольника. Поскольку проницательный читатель, конечно, понял, что весь пример очень существен для дальнейшего, то без лишних разговоров докажем и эту теорему. Она предельно важна для нас. И вся история с пятым постулатом…
Прошу вас оценить детективный стиль рассказа — сам постулат еще никак не сформулирован.
Так вот, вся история с пятым постулатом завязалась именно с этой теоремы.
Пусть есть Δ ABC. Поглядите! Внешний <С вн выделен на нем дужкой. Докажем, что он больше любого внутреннего угла, не смежного с ним, то есть больше <А и больше <В. Сейчас мы проведем доказательство для <В.
Разделим сторону ВС точкой D пополам и проведем через А и D прямую.
На этой прямой отложим отрезок DE, равный AD, и соединим прямой точку E с точкой C.
Треугольники ABD и DEC равны. Действительно, отрезки AD = DE и BD = DC по построению. Углы CDE и ADB равны как вертикальные.
Значит, треугольники равны по известному признаку.
Но тогда <В (или угол АВС) равен углу BCE! И о радость! Ведь
Итак, весь <С вн больше (конечно, больше; целое всегда больше своей части) <В.
Остался под сомнением <А. Сразу чувствуется, что наше построение не очень поможет с ним расправиться, так как на чертеже <А рассечен на две части. Хорошо бы его поставить в положение <В. Может быть, провести прямую из вершины В и повторить и наше построение и доказательство? Но тогда <С вн окажется расположенным по-другому.
Полная аналогия с предыдущим была бы, если бы еще продолжить сторону ВС и рассматривать новый угол N.
Угол N, конечно, больше <А. Мы это уже только что доказали.
И здесь озарение!
Все.
Внешний угол треугольника больше любого внутреннего, не смежного с ним. Мы доказали это, и теперь оговорку в скобке в конце страницы можно зачеркнуть.
Если внимательно и дотошно проанализировать весь путь… Если проверить, какие аксиомы мы использовали для доказательства теоремы о внешнем угле… А для этого надо, конечно, проверить и те аксиомы, что были использованы при доказательствах теорем о равенстве треугольников и равенстве вертикальных углов.
Если все это проделать, то окажется, что практически мы использовали почти все аксиомы.
Но нигде, нигде по пути мы не использовали ни самого понятия о непересекающихся (параллельных) прямых, ни (тем более!) теорем или аксиом о таких прямых.
В этом каждый может без труда убедиться, вооружившись списком аксиом и проанализировав все Понятия, необходимые для теоремы о внешнем угле и всех вспомогательных теорем.
Наш экскурс уже затянулся; пора вернуться к аксиомам.
Во-первых, установим, каким логическим требованиям они должны удовлетворять.
Требований всего два:
1) полнота;
2) независимость.
Первое означает, что аксиом должно быть достаточно, чтобы доказать или опровергнуть любое возможное утверждение о наших первичных Основных Понятиях или о более Сложных Понятиях, образованных из первичных.
Второе — что мы не переусердствовали с выбором аксиом. Их у нас ровно столько, сколько надо. И ни одна из этих наших аксиом не может быть доказана либо опровергнута с помощью других.
Оба эти требования можно сформулировать в одной фразе. Аксиом должно быть необходимо и достаточно.
Необходимость — это требование полноты.
Достаточность — требование независимости.
Совсем-совсем грубо говоря, требования необходимости и достаточности означают, что аксиом должно быть ровно столько, сколько нужно. Не больше и не меньше.
Теперь можно сделать очень важное уточнение.
Из независимости аксиом сразу следует их непротиворечивость. Действительно, если, развивая геометрию, на каком-то этапе мы получим теорему, противоречащую остальным, то это будет неприятным сигналом, что в фундаменте что-то неладно. Именно: одна (или несколько) аксиом противоречат остальным.
Но если противоречат — значит не независимы.
Все эти логические рассуждения, в сущности, предельно просты. Но с первого чтения они могут показаться затруднительными. Лучшее, что можно порекомендовать в этом случае, — прочесть еще раз.
А пока же еще раз подчеркнем, что требование независимости аксиом сильнее, жестче, чем требование непротиворечивости.
Аксиомы могут быть непротиворечивы, но из непротиворечивости еще не ясно, не есть ли какая-нибудь из них следствие остальных, не теорема ли она. И естественно, предлагая любую систему геометрических аксиом, математик обязан доказать их независимость! Здесь мы временно оборвем все наши рассуждения. И время и случай вернуться к ним у нас будут. И могу поручиться, мы не упустим случая и не потеряем время.
Хотя все, что написано чуть раньше, довольно просто, и, смею надеяться, читатели разделяют это мнение, Евклид всего этого не знал. Вообще-то интуитивно он чувствовал все это, но оформить в четкую логическую схему не мог.
А строгая постановка проблемы независимости аксиом, или строгое введение Основных Понятий, вообще была недоступна не только грекам, но и математикам всех эпох и народов вплоть до XIX столетия.
И аксиоматика и доказательства Евклида на деле — довольно пестрая смесь интуиции и логических пробелов, если… оценить с нынешних позиций.
Но, с другой стороны, Евклид так резко и значительно продвинулся на пути к строгой логике, что все остальные учебники, все прочие «начала», имевшие хождение в древности, бесповоротно и окончательно померкли перед «Началами».
И если, вспоминая Гомера, греки полагали лишним называть его имя, а говорили просто — «поэт», то Евклида называли «творец «Начал».
Все предшественники его на дедуктивном пути построения геометрии были забыты.
Были «Начала», и был их творец — Евклид.
И хотя тринадцать книг, написанных Евклидом, содержали, как полагают, в основном чужие результаты, и потому иногда дебатируют — можно ли причислять его к величайшим математикам, — величайшим педагогом он был бесспорно. Добавим еще, что, как видно, был он исключительно увлекающимся своим делом и разносторонним ученым, ибо, помимо «Начал», он написал: «Начала музыки», «Оптику», «Клатоптрику», «Данные», «Феномены» (это работа по астрономии), «Гармонические правила»; затем работы, дошедшие до нас и исчезнувшие: «Поризмы» (в трех книгах), «Конические сечения» (в четырех книгах), «Перспектива» (в двух книгах), «Места на поверхности», «О делении» и «О ложных представлениях».
Список весьма достойный.
Большинство книг, правда, неоригинальны по содержанию, но работа проделана колоссальная. Кстати, книгу «Данные» исключительно ценил сам Ньютон, а это довольно солидная рекомендация. Сам он, по-видимому, существенно продвинул сложнейший, интереснейший раздел греческой геометрии — учение о конических сечениях. Но не включил эти результаты в «Начала», поскольку существовало мнение, что эта область недостойна «чистой математики, цель которой — приблизить человека к божеству».
Почему именно теория конических сечений не приближала к божеству, установил все тот же Платон. Дело в том, что использование в геометрии каких-либо инструментов, кроме циркуля и линейки, или — что эквивалентно — использование геометрических мест точек, помимо окружности и прямой (а такие геометрические места требовались при изучении конических сечений), он полагал ересью. И со всей страстью он предавал анафеме великолепного геометра Менехма (своего друга, между прочим), который показал, что решение пресловутой задачи об удвоении куба, так же как трисекции угла, довольно просто найти, если использовать новые геометрические инструменты.
Платон утверждал, что все это «губит и разрушает благо геометрии, так как при этом она уходит от бестелесных и умопостигаемых вещей к чувственным и пользуется телами, нуждающимися в применении орудий пошлого ремесла».
Очевидно, такая отповедь устрашила беднягу Евклида, а его работа «О конических сечениях» бесследно исчезла для нас.
В «Началах» ему как будто принадлежит нечто в учении о правильных многогранниках. В XIII книге доказывается, что существует всего пять различных типов таких тел. Это блестящий, неожиданный, знаменитый… короче — классический результат.
Вообще-то в «Началах» рассказывается не только о геометрии. В них есть и элементы теории чисел и геометрическая теория иррациональных величин. Три последние книги посвящены стереометрии. И каждому разделу предшествуют аксиомы и постулаты.
Собственно, планиметрии отведено шесть первых книг. И самая первая начинается с аксиом и постулатов.
Историки математики до сих пор не могут окончательно договориться, как именно Евклид различал аксиомы и постулаты.
В общем у Евклида аксиомы (он сам называет их «общие достояния нашего ума») — истины, относящиеся к любым (а не только к геометрическим) объектам. Например, если А равно С и В равно C, то А равно В. Здесь А и В могут быть числа, отрезки, веса тел, треугольники…
Постулаты же — чисто геометрические аксиомы. Например, первый постулат Евклида: «От каждой точки ко всякой другой точке можно провести прямую линию».
Есть у Евклида и Основные Понятия.
Приводить всю его систему аксиом вряд ли стоит, потому что — мы уже раз десять говорили это — она совершенно неудовлетворительна. Собственно, аксиом планиметрии у Евклида шесть, и мы их опустим. Но постулаты процитируем. Вот первые четыре.
«Нужно потребовать:
I. Чтобы от каждой точки ко всякой другой точке можно было провести прямую линию.
II. Чтобы каждую ограниченную прямую можно было продолжить неограниченно.
III. Чтобы из любого центра можно было описать окружность любым радиусом.
IV. Чтобы все прямые углы были равны между собой».
Не будем пока подчеркивать плохое в этих постулатах. Простим на время Евклиду и «Началам» все «первобытные недостатки» их, как выразился однажды Николай Иванович Лобачевский. Сейчас нам важно, что все четыре постулата очень элементарны по содержанию. Евклид постулирует здесь абсолютно естественные, понятные, неотъемлемые от нашего сознания, нашей интуиции истины. Все хорошо. И…
Следует пятый постулат.