Великая Теорема Ферма - [13]
Физика живет, словно подчиняясь решению суда. Теория считается верной, если имеется достаточное количество данных, «неопровержимо» подтверждающих ее предсказания. Иное дело — математика. Она не полагается на данные, полученные в результате могущих оказаться ошибочными экспериментов, а строит свои заключения на основе «железной», т. е. не знающей ошибок, логики. Примером различия между физическим и математическим подходом может служить задача о шахматной доске с выпиленными угловыми полями (рис. 3).
Перед нами шахматная доска, от которой два противоположных угловых поля отпилили так, что осталось только 62 поля. Возьмем 31 кость домино таких размеров, что каждая кость накрывает ровно два шахматных поля. Вопрос: можно ли разложить 31 кость домино на шахматной доске так, что все 62 поля окажутся покрытыми домино? К решению задачи существуют два подхода.
1) Физический подход
Физик пытается решить задачу экспериментально и, перепробовав с дюжину различных вариантов размещения домино на шахматной доске обнаруживает, что все они заканчиваются неудачей.
В конце концов физик приходит к убеждению, что в его распоряжении достаточно данных, позволяющих утверждать, что покрыть шахматную доску с двумя выпиленными по диагонали угловыми полями невозможно. Однако физик не может быть до конца уверен в том, что это действительно так, потому что может найтись некоторое расположение домино на шахматной доске, которое не было им экспериментально обнаружено, но именно оно и дает решение задачи. Различных же вариантов расположения домино существует не один миллион, и экспериментально проверить всегда можно лишь малую их толику. Что же касается заключения задачи, то это — теория, основанная на эксперименте, и физику не остается ничего другого, как жить под угрозой, что в один «прекрасный» день эта теория может оказаться отвергнутой.
2) Математический подход
Математик стремится решить задачу, выстраивая цепочку логических аргументов, приводящую к заключению, вне всяких сомнений правильному и остающемуся безупречным навсегда. Одна из таких цепочек логических аргументов выглядит следующим образом.
- Оба угловых поля, выпиленные из доски, — белые. Следовательно на доске остались 32 черных поля и только 30 белых поля.
- Каждое домино покрывает два смежных поля, а смежные поля всегда отличаются по цвету, т. е. одно поле черное, а другое — белое.
- Следовательно, независимо от расположения домино на шахматной доске, первые 30 костей, выложенных на доску, должны покрыть 30 белых и 30 черных полей.
- Это означает, что при любом раскладе всегда останется одна домино и два непокрытых черных поля.
- Но любая кость домино покрывает на шахматной доске два смежных поля, а смежные поля всегда отличаются по цвету. Два оставшихся непокрытыми поля одного цвета, и поэтому накрыть их одной костью домино невозможно. Следовательно, покрыть эту доску 31 костью домино невозможно!
Приведенное выше доказательство показывает, что шахматную доску с двумя выпиленными по диагонали угловыми полями невозможно покрыть домино при любом расположении костей. Аналогичным образом, Пифагор создал доказательство, из которого следует, что любой прямоугольный треугольник удовлетворяет его теореме. Для Пифагора понятие математического доказательства было священным, и именно математическое доказательство позволило пифагорейскому братству открыть так много. Большинство современных доказательств невероятно сложны, и разобраться в них неспециалисту просто не по силам. В случае теоремы Пифагора ход рассуждений, к счастью, достаточно прост и опирается только на математику, которую изучают в средней школе. Доказательство теоремы Пифагора изложено в Приложении 1.
Доказательство Пифагора неопровержимо. Оно показывает, что теорема Пифагора выполняется для любого прямоугольного треугольника во Вселенной. Открытие это так потрясло Пифагора, что он в благодарность принес в жертву богам сто быков. [1] Оно стало вехой в развитии математики и одним из самых важных прорывов в истории цивилизации. Значение этого открытия было двояким.
Во-первых, оно позволило сформулировать представление о том, что такое доказательство. Доказанный математический результат обладает более глубокой истинностью, чем любая другая истина, поскольку получен шаг за шагом с помощью логических рассуждений. Хотя философ Фалес Милетский еще до работ Пифагора использовал несколько простых геометрических доказательств, Пифагор развил идею математического доказательства гораздо дальше и сумел доказать более хитроумные математические утверждения.
Во-вторых, теорема Пифагора устанавливает связь между абстрактным математическим методом и чем-то осязаемым. Пифагор показал, что математическая истина приложима к физическому миру и служит его логическим основанием. Математика дает физике строгое начало, а затем, к этому незыблемому основанию физики добавляются наблюдения и измерения, отягощенные ошибками.
Бесконечное количество пифагоровых троек
Пифагорейцы своим страстным поиском истины с помощью доказательства вдохнули в математику живительную силу. Вести о достигнутых ими успехах распространились по всему Древнему Миру, хотя подробности своих открытий пифагорейцы хранили в строгой тайне. От желающих проникнуть в святилище знания не было отбоя, но только самые блестящие умы могли рассчитывать на прием в братство. Один из тех, кому ответили отказом, был кандидат по имени Силон. Он затаил обиду на унизительный отказ и спустя двадцать лет взял реванш.
