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