Теория струн и скрытые измерения Вселенной - страница 18
Конечно, часто удается найти более общий и совершенный вариант известной математической теоремы, что, впрочем, не упраздняет ее истинности. Продолжая аналогию со строительством, можно сказать, что здание при этом остается столь же крепким; производится всего лишь небольшое расширение или перепланировка, не затрагивающая фундамента. Иногда косметического ремонта оказывается недостаточно, и тогда приходится даже разрушать «интерьер» здания и создавать новый. Несмотря на то что старые теоремы все так же справедливы, порой возникает потребность в новых разработках или свежем наборе данных, чтобы создать более полную картину.
Наиболее важные теоремы обычно проверяют и перепроверяют много раз и многими способами, не оставляя ни единого шанса на ошибку. Разумеется, доказательства менее очевидных теорем, которые не подверглись столь тщательной проверке, могут содержать ошибки. Если ошибка обнаружена, комнату в здании или даже целое крыло приходится разрушать и выстраивать заново. И все же остальное здание — прочное сооружение, прошедшее проверку временем, — остается нетронутым.
Одним из величайших архитекторов геометрии стал Пифагор, которому приписывают открытие формулы, представляющей собой одно из самых прочных сооружений из когда-либо возведенных в математике. Теорема Пифагора (именно такое название она носит) утверждает, что в прямоугольном треугольнике, то есть в треугольнике, один из углов которого равен 90°, квадрат длины наибольшей из сторон (гипотенузы) равен сумме квадратов двух более коротких (катетов). Бывшие и нынешние школьники легко вспомнят соответствующую формулу: a>2 + b>2 = c>2. Это весьма простое, но невероятно мощное утверждение столь же важно сегодня, как и 2500 лет назад, когда оно было сформулировано. Применение данной теоремы не ограничивается школьной математикой. Эта теорема настолько важна и всеобъемлюща, что я, например, использую ее почти каждый день, практически не замечая этого.
На мой взгляд, теорема Пифагора — важнейшее утверждение в геометрии, одинаково важное как для современной математики высоких размерностей, например для нахождения расстояний в пространствах Калаби-Яу и решения эйнштейновских уравнений движения, так и для расчетов на двухмерной плоскости, такой как лист бумаги с домашним заданием, или в трехмерной классной комнате начальной школы. Значимость этой теоремы обусловлена тем, что ее можно использовать для расчета расстояний между двумя точками в пространстве любой размерности. Как я уже сказал в начале этой главы, геометрия постоянно использует понятие расстояния, по причине чего эта формула является основой практически всех расчетов.
Более того, я нахожу эту теорему также чрезвычайно красивой, хотя о вкусах, как известно, не спорят. Нам, как правило, нравятся те вещи, которые хорошо нам знакомы, — вещи, которые стали для нас настолько привычными, настолько естественными, что мы считаем их само собой разумеющимися, подобно восходу и заходу солнца. Кроме того, теорема Пифагора очень лаконична — три простые переменные, возведенные во вторую степень, a>2 + b>2 = c>2, — ее запись почти столь же кратка, как и запись других известных законов, таких как F = ma или E = mc>2. Красота для меня заключается в элегантности столь простого утверждения, находящегося в настолько полном согласии с природой.
Помимо ценности теоремы Пифагора самой по себе, без сомнения являющейся краеугольным камнем геометрии, не менее важным представляется и тот факт, что ее истинность была доказана, и это доказательство стало первым зафиксированным доказательством в математике. Египетские и вавилонские математики использовали отношение между катетами и гипотенузой прямоугольного треугольника задолго до рождения Пифагора. Но ни египтяне, ни вавилоняне не только никогда не пытались доказать эту теорему, но, по-видимому, и само понятие доказательства им было незнакомо. По словам математика Э. Т. Белла, именно доказательство теоремы и стало наибольшим вкладом Пифагора в геометрию:
До него геометрия была скорее собранием эмпирически установленных правил, без каких-либо ясных указаний на их взаимную связь и без малейшего предположения, что эти правила можно логически вывести из сравнительно небольшого числа утверждений. Метод доказательства настолько пронизывает сейчас всю математику, что кажется подразумевающимся сам собой, и нам трудно представить себе время, когда этого метода еще не существовало.