x = 3, y = 4, z = 5
x2 + y2 = z2
9 + 16 = 25
Рис. 2
Теперь вы можете измерить длину наибольшей стороны z — так называемой гипотенузы — и возвести полученное число в квадрат. Самое замечательное заключается в том, что число z2 совпадает с вычисленной вами ранее суммой, т. е. 52 = 25. Иначе говоря, в любом прямоугольном треугольнике квадрат, построенный на гипотенузе, равен сумме квадратов, построенных на катетах.
Иными словами (точнее, символами), теорема Пифагора утверждает, что
x2 + y2 = z2
Ясно, что это соотношение выполняется для треугольника на рис. 2, но суть теоремы Пифагора в том, что это равенство остается в силе для любого прямоугольного треугольника, какой вы только можете себе представить. Это — универсальный закон математики, и вы можете положиться на него всякий раз, когда вам доведется встретить треугольник, содержащий прямой угол. И обратно, стоит вам встретить треугольник, удовлетворяющий теореме Пифагора, как вы можете быть абсолютно уверенными в том, что перед вами прямоугольный треугольник.
Уместно заметить, что, хотя теорема, о которой идет речь, навсегда связана с именем Пифагора, китайцы и вавилоняне использовали ее на тысячу лет раньше. Однако ни китайские, ни вавилонские геометры не знали, что эта теорема выполняется для любого прямоугольного треугольника. Теорема, получившая впоследствии название теоремы Пифагора, оказалась верной для любого прямоугольника, на котором китайцы и вавилоняне могли ее проверить, но они не знали, как показать, что она будет справедлива для всех тех прямоугольных треугольников, которые они не подвергли проверке. Причина, по которой теорему стали называть теоремой Пифагора, заключается в том, что именно он доказал ее универсальную истинность.
Но каким образом Пифагор узнал, что его теорема верна для любого прямоугольного треугольника? Он не мог надеяться на то, что ему удастся проверить бесконечно много разнообразнейших прямоугольных треугольников, и тем не менее Пифагор сумел обрести уверенность «на все сто процентов» в том, что его теорема — абсолютная истина. Причина его уверенности — в понятии математического доказательства. Поиск математического доказательства — это поиск знания, более точного, чем знание, накопленное какой-нибудь другой научной дисциплиной. Жажда постичь абсолютную истину с помощью метода доказательства двигала математиками на протяжении двух с половиной тысяч лет.
Абсолютное доказательство
История Великой теоремы Ферма — это история поиска недостающего доказательства. Математическое доказательство гораздо мощнее и строже, чем представление о доказательстве, которым мы пользуемся в нашем повседневном языке, и даже чем то представление о доказательстве, которого придерживаются физики или химики. Понимание различия между естественнонаучным и математическим доказательствами имеет решающее значение для осознания того, чем занимается каждый математик со времен Пифагора.
Классическое математическое доказательство начинается с серии аксиом — утверждений, которые можно предположить истинными или истинность которых самоочевидна. Затем с помощью логических рассуждений, шаг за шагом, можно прийти к заключению. Если аксиомы истинны, а логика безупречна, то заключение безупречно. Этим заключением и является теорема.
Математические теоремы опираются на такой логический процесс и, доказанные однажды, они остаются истинными до скончания веков. Математические доказательства абсолютны. Чтобы по достоинству оценить значительность абсолютных доказательств, их следует сравнить с их «бедным родственником» — естественнонаучным доказательством, принятым, например, в физике.
В физике гипотеза выдвигается для объяснения какого-нибудь физического явления. Если наблюдения за явлением хорошо согласуются с гипотезой, то это свидетельствует в ее пользу, или, как принято говорить, подкрепляет выдвинутую гипотезу. Кроме того, гипотеза должна не только описывать известные процессы, но и предсказывать исход других процессов.
Для проверки предсказательной силы гипотезы могут проводиться эксперименты, и если они оказываются успешными, то это еще сильнее подкрепляет гипотезу. В конце концов, количество данных, свидетельствующих в пользу гипотезы, может оказаться достаточно большим, и гипотезу принимают в качестве физической теории.
Однако физическая теория никогда не может быть доказана на уровне, столь же абсолютном, как тот, на котором принято доказывать математические теоремы: на основе имеющихся данных физическую теорию можно считать обоснованной лишь с большей или меньшей вероятностью. Так называемое физическое, или, более общо, естественнонаучное доказательство, основано на наблюдениях и данных, доставляемых нашими органами чувств. И те, и другие обманчивы и дают лишь приближение к истине. Как заметил Бертран Рассел: «Хотя это может показаться парадоксом, все точные науки пронизаны идеей приближения».
Даже наиболее широко признанные естественнонаучные «доказательства» неизменно содержат в себе небольшой элемент сомнения. Иногда сомнение становится меньше; но оно никогда не исчезает полностью. Иногда выясняется, что предложенное доказательство неверно. Слабость физического доказательства приводит к научным революциям, во время которых на смену одной теории, считавшейся «верной» приходит другая теория, которая может быть всего лишь уточнением прежней теории, а может полностью противоречить ей.
Например, в поиске фундаментальных частиц материи каждое поколение физиков «перепахивало» или, по крайней мере, уточняло и усовершенствовало теорию своих предшественников. Современный этап поиска мельчайших «кирпичиков», из которых построена Вселенная, начался в первые годы XIX века, когда в результате серии экспериментов Джон Дальтон пришел к гипотезе о том, что все в мире состоит из отдельных атомов и что эти атомы — мельчайшие частицы материи.
В конце XIX века Дж. Дж. Томсон открыл электрон — первую известную субатомную частицу, и атом перестал быть мельчайшей частицей материи.
В начале XX века физики построили «полную» теорию атома: вокруг ядра, состоящего из протонов и нейронов, обращаются электроны. Протоны, нейроны и электроны были горделиво провозглашены физиками полным набором ингредиентов, из которых состоит Вселенная. Затем анализ космических лучей обнаружил существование других элементарных частиц — пионов и мюонов. Еще больший переворот в физике произошел в 1932 году, когда было открыто антивещество — существование антипротонов, антинейтронов, антиэлектронов и т. д. К тому времени физики, занимавшиеся изучением элементарных частиц, не могли с уверенностью сказать, сколько существует различных частиц, но по крайней мере утверждали, что обнаруженные частицы действительно элементарны, т. е. неделимы. Так продолжалось до 60-х годов, когда появилось понятие кварка. Протон, так же, как нейтрон, пион и мюон, оказался состоящим из кварков, несущих электрический заряд, равный дробной части заряда электрона. Мораль всей этой истории в том, что физики непрестанно меняют свою картину мира, а иногда даже стирают ее совсем и начинают рисовать с самого начала. В следующем десятилетии самое представление о частице как о точечном объекте может претерпеть замену на представление о частицах как о струнах — тех самых струнах, которые, возможно, послужат наилучшему объяснению гравитации. Согласно теории струн, трубки длиной в одну миллиардную миллиардной миллиардной миллиардной метра (такие маленькие, что они кажутся точками) могут совершать различные колебания, и каждое такое колебание порождает определенную частицу. Такое представление аналогично открытию Пифагора, обнаружившего, что одна струна лиры может порождать различные ноты в зависимости от того, как она колеблется.
