? – Число Бога. Золотое сечение – формула мироздания Ливио Марио
Рис. 128
Однако Кеплер и Галилей были вовсе не последними из математиков, принявших «модифицированное» платоновское мировоззрение, и подобные взгляды отнюдь не ограничивались кругом тех, кто, подобно Ньютону, воспринимал существование Божественного Разума как данность. Великий французский математик, астроном и физик Пьер-Симон Лаплас (1749–1827) писал в 1812 году в своей «Аналитической теории вероятностей» (Pierre-Simon de Laplace. Thorie Analitique des Probabilits):
Если бы нам был хотя бы на мгновение дарован разум, который понимает, какие силы движут природой и каково взаимное расположение сущностей, ее составляющих, и есл бы этот разум обладал к тому же достаточной широтою, чтобы подвергнуть эти данные анализу, он охватил бы одной единой формулой движение и крупнейших тел во вселенной, и легчайшего атома.
И это тот самый Лаплас, который на замечание Наполеона Бонапарта, что в большой книге Лапласа о небесной механике ни словом не упомянут творец, ответил: «Сир, мне нет нужды в подобной гипотезе»!
Совсем недавно математик компании IBM и автор книг Клиффорд А. Пиковер в своей увлекательной книге «Божий ткацкий станок» (Clifford A. Pickover. The Loom of God) писал: «Не знаю, математик ли Бог, однако именно математика – тот ткацкий станок, на котором Господь ткет ткань вселенной… Тот факт, что эту реальность можно описать и достаточно точно вычислить при помощи простых математических выражений, по-моему, означает, что в основе природы заложена математика».
Сторонники «модифицированного платонического представления» о математике любят подчеркивать, что на протяжении столетий математики создавали (либо «открывали») многочисленные чисто математические объекты, не имея в виду никакого практического применения. Проходили десятилетия, и оказывалось, что эти математические конструкции и модели помогают решить физические задачи. Прекрасные свидетельства подобных процессов, когда математика неожиданно для всех вносила свой вклад в физику, – это плитки Пенроуза и неевклидовы геометрии, однако таких историй на самом деле гораздо больше.
Кроме того, есть много случаев и обратной связи между физикой и математикой, когда физическое явление вдохновляло на создание какой-то математической модели, а потом оказывалось, что эта модель объясняет совершенно иное физическое явление. Превосходный пример – феномен под названием «броуновское движение». В 1827 году английский ботаник Роберт Броун (1773–1858) заметил, что если развести пыльцу в воде, отдельные пылинки начинают оживленно двигаться. Этот эффект объяснил Эйнштейн в 1905 году: броуновское движение – результат столкновений коллоидных частиц с молекулами окружающей жидкости. Каждое столкновение в отдельности настолько слабенькое, что им можно пренебречь, поскольку частички пыльцы в миллионы раз массивнее молекул воды, однако постоянная бомбардировка оказывает кумулятивное воздействие. Так вот, представьте себе, что ту же модель мы обнаруживаем в движении звезд в звездных скоплениях! Там броуновское движение вызвано кумулятивным воздействием множества звезд, проходящих мимо данной конкретной звезды – и каждый проход чуть-чуть влияет на ее движение (посредством гравитации).
Однако существует и совершенно иное – не такое, как «модифицированное платоническое» – представление о природе математики и о причине ее могущества. Согласно этому представлению (оно сложным образом связано с догмами, которые в философии математики клеймят «формализмом» и «конструктивизмом»), математика существует исключительно в человеческом сознании. Математика, какой мы ее знаем, не более чем человеческое изобретение, а разумные цивилизации в других уголках Вселенной вполне могли разработать совершенно иные концепции. Математические объекты в объективной реальности не существуют, это плоды воображения. По словам великого немецкого философа Иммануила Канта, конечная истина математики лежит в вероятности, что ее концепции способен сконструировать человеческий разум. Иначе говоря, в математике Кант подчеркивает свободу– свободу постулировать и изобретать структуры и закономерности.
Подобное представление о математике как об изобретении человека особенно распространено у современных психологов. Например, французский писатель и исследователь Станислас Дехене в своей интересной книге «Чувство числа» (Stanislas Dehaene. The Number Sense, 1997) пишет, что «интуиционизм [для автора – синоним человеческого изобретения], как мне кажется, лучше всего описывает отношения между арифметикой и мозгом человека». О чем-то подобном говорит и последнее предложение книги лингвиста Джорджа Лакоффа и психолога Рафаэля Э. Нуньеса «Откуда взялась математика», которую издал Калифорнийский университет в Беркли в 2000 году (George Lakoff, Rafael E. Nсez. Where Mathematics Comes From): «У портрета математики человеческое лицо». В основном эти выводы основываются на результатах психологических экспериментов и на неврологических исследованиях функционирования мозга. Эксперименты показывают, что у младенцев есть врожденные механизмы распознавания небольших наборов чисел и что дети спонтанно овладевают простыми арифметическими навыками даже без специального обучения. Кроме того, выявлено, что кора теменной доли головного мозга отвечает за способность обрабатывать числа и символы и обладает соответствующей нейронной структурой. Эта область в обоих полушариях анатомически расположена в месте, где пересекаются нервные связи осязания, зрения и слуха. Существует редкая форма эпилепсии, при которой припадки у больных случаются при попытке совершать арифметические действия, она так и называется epilepsia arithmetices, и электроэнцефалограмма у таких больных показывает аномалии именно в коре теменной доли. А повреждение этого участка влияет на способности к математике, письму и ориентации в пространстве.
Даже если согласиться с представлением о математике как об изобретении человеческого разума, не имеющем отношения к реальности, которое основано исключительно на физиологии и психологии, все равно придется отвечать на два интересных вопроса: почему математика так замечательно описывает Вселенную и как так вышло, что даже продукты чистейшей математики зачастую соответствуют физическим явлениям – более того, идеально к ним подходят?
Ответ, который дают на оба эти вопроса сторонники теории «человеческого изобретения», также основан на биологической модели: дело в эволюции и естественном отборе. Идея в том, что прогресс в понимании Вселенной и формулировании математических законов, описывающих происходящие в ней явления, достигается посредством масштабного и мучительного эволюционного процесса. Нынешняя модель Вселенной – результат долгой эволюции, в которой было множество фальстартов и тупиков. Естественный отбор уничтожил математические модели, не соответствовавшие наблюдениям и экспериментам, и оставил только удачные. Согласно этой точке зрения все «теории» Вселенной на самом деле не более чем «модели», качества которых определяются исключительно тем, насколько им удается соответствовать данным наблюдений и экспериментов. Безумная модель солнечной системы Кеплера, о которой он написал в своей «Mysterium Cosmographicum», была вполне приемлемой, пока объясняла и предсказывала поведение планет.
То, как часто и с каким успехом результаты чистой математики переходят в область математики прикладной, согласно этой картине, отражает всего лишь перепроизводство концепций, из которых физика отбирает самые подходящие для своих нужд: вот оно, выживание сильнейших! Вот и Годфри Г. Харди, как подчеркивают сторонники теории человеческого изобретения, гордился, что за всю жизнь «не сделал ничего «полезного». Такое представление о математике разделяет, очевидно, и Мэрилин вос Савант, обладательница самого высокого в мире IQ – целых 228! Часто цитируют ее слова: «Я склонна думать, что можно изобрести математическое объяснение чего угодно, и материя – не исключение».
По моему скромному мнению, исчерпывающего ответа на загадку эффективности математики не дает ни модифицированная платоническая точка зрения, ни теория естественного отбора (по крайней мере, в традиционной формулировке).
Утверждать, будто математика – изобретение чисто человеческое и так замечательно объясняет явления природы исключительно благодаря эволюции и естественному отбору, значит упускать некоторые важные факты, относящиеся как к природе математики, так и к истории теоретических моделей вселенной. Во-первых, хотя математические законы – например, аксиомы геометрии или теории множеств – и в самом деле творения человеческого разума, однако, сформулировав эти законы, мы сразу же теряем свободу. Определение золотого сечения берется из асиом Евклидовой геометрии, определение чисел Фибоначчи – из аксиом теории чисел. Однако тот факт, что отношение двух последовательных чисел Фибоначчи сходится к золотому сечению, нам некоторым образом навязан, мы, люди, здесь ничего не решаем и не обладаем свободой выбора. А следовательно, математические объекты, пусть и воображаемые, все же обладают реальными свойствами. Во-вторых, объяснение непостижимого могущества математики нельзя основывать исключительно на эволюции в узком смысле слова. Например, когда Ньютон выдвинул теорию гравитации, данные, которые он пытался истолковать, были точны в лучшем случае до третьего знака после запятой. Однако его математическая модель силы, возникающей между двумя массами во Вселенной, обладает необычайной точностью – больше одной миллионной. Получается, что эта модель не была навязана Ньютону имеющимися на тот момент измерениями движения планет, с одной стороны, а с другой – Ньютон не втискивал природное явление в уже имеющийся математический паттерн. Более того, естественный отбор в общепринятой интерпретации этой концепции здесь вообще ни при чем: дело не в том, что соревновались пять теорий и Ньютонова победила. Нет – теория Ньютона была единственной!
Однако и модифицированное платоническое представление тоже не без изъянов.
Во-первых, важный принципиальный момент: модифицированное платоническое представление о математике на самом деле никак не объясняет, почему математика так замечательно описывает Вселенную. Она лишь подменяет этот вопрос аксиомой, убеждением, что математика лежит в основе физического мира. Просто предполагается, что математика – это символическая копия Вселенной. Роджер Пенроуз – как я уже отмечал, горячий сторонник платонического мира математических форм, – соглашается, что то, «какую именно поразительную роль играет платонический мир математики в физическом мире», остается загадкой. Физик из Оксфордского университета Дэвид Дойч некоторым образом выворачивает этот вопрос наизнанку. В своей книге «Структура реальности» (1997) он спрашивает: «Откуда же берется математическая точность в реальности, состоящей из физики и толкуемой естественнонаучными методами?» Пенроуз добавляет к загадочной эффективности математики еще две тайны. В своей книге «Тени разума» он задается вопросами: «Каким образом столь выдающийся феномен, как разум, может быть объяснен в понятиях материального физического мира?» и «Как вышло, что разум способен «создавать» математические концепции из своего рода умственной модели?» Эти интересные вопросы, совершенно выходящие за рамки нашей книги, имеют отношение к происхождению сознания и к поразительной способности наших довольно-таки примитивных ментальных орудий пробивать дорогу в платонический мир, который для Пенроуза и составляет объективную реальность.
Вторая проблема, связанная с модифицированным платоническим представлением, – это вопрос универсальности. До какой степени мы уверены, что законы, которым обязана подчиняться Вселенная, обязательно следует представлять в виде математических уравнений именно того типа, в каком мы их формулируем? Пожалуй, большинство физиков на Земле до последнего времени твердо заявили бы, что история показала, что математические уравнения – единственный способ, которым можно формулировать законы физики. Однако все может измениться благодаря книге «Новый вид науки» Стивена Вольфрама (Stephen Wolfram. A New Kind of Science). Вольфрам – один из самых оригинальных мыслителей в области теории комплексных систем и научных компьютерных расчетов, и главное его детище – «Mathematica», пакет компьютерных программ, позволяющих производить некоторые вычисления, которые до него было невозможно делать с помощью компьютера. После создания этого пакета Вольфрам десять лет молчал, а затем представил публике провокационную книгу, где смело претендует на то, чтобы сменить самую инфраструктуру науки. В мире, где все уже более трехсот лет привыкли, что базовый строительный материал для моделей природы в естественных науках – это математические уравнения, Вольфрам предлагает перейти на простые компьютерные программы. Он предполагает, что главная тайна природы – это применение простых программ для генерирования сложности.
Сейчас, когда я пишу эти строки, книга Вольфрама еще в печати (она вышла в 2002 году. – Прим. перев.), однако мы с ним долго беседовали, и из этого разговора и интервью, которое он дал популяризатору науки Маркусу Чоуну, можно уверенно заключить, что выводы из трудов Вольфрама будут весьма и весьма далеко идущие. Однако если ограничиться лишь тем, как идеи Вольфрама соотносятся с платоническими, можно сказать, что тот математический мир, который, по мнению многих, существует независимо от нас и, как полагают, лежит в основе физической реальности, весьма вероятно, не единственный, и это еще мягко сказано. Иначе говоря, определенно возможны описания природы, радикально отличающиеся от того, которым мы располагаем. Математика в своем нынешнем виде охватывает лишь крошечный уголок в обширном пространстве всех возможных наборов правил и законов, которые могли бы описывать устройство мироздания.
Если же ни платоническое мировоззрение, ни теория естественного отбора не могут объяснить, почему математика так замечательно объясняет устройство Вселенной, существует ли точка зрения, дающая исчерпывающий ответ на этот вопрос?
Лично я убежден, что ответ должен опираться на концепции, позаимствованные из обеих систем представлений, а не из какой-то одной. Это очень напоминает историю попыток объяснить физическую природу света. И этот исторический урок настолько важен, что я позволю себе вкратце изложить, как было дело.
Первая научная работа Ньютона была по оптике, и эту тему он разрабатывал почти всю жизнь. В 1704 году он опубликовал первое издание своей книги «Оптика», которую затем трижды пересматривал и дорабатывал. Ньютон предложил корпускулярную теорию света: согласно его гипотезе, свет состоит из крошечных твердых частиц, а их движение подчиняется тем же законам, что и движение бильярдных шаров. Вот как он об этом писал: «Даже лучи света – это, по-видимому, твердые тела». В начале ХХ века были проведены два знаменитых эксперимента, в которых былы обнаружены фотоэффект и эффект Комптона, и которые стали веским доводом в пользу корпускулярной теории света. Фотоэффект – это процесс, при котором электроны в металле поглощают из падающего на него света столько энергии, что это позволяет им вырваться на свободу. В 1905 году Эйнштейн предложил объяснение этого эффекта, за что в 1922 году получил Нобелевскую премию по физике: свет передает электронам энергию словно бы по зернышку, неделимыми единицами. Так был открыт фотон – частица света. Физик Артур Холли Комптон (1892–1962) с 1918 по 1925 год и экспериментально, и теоретически анализировал рассеяние рентгеновских лучей. Этот труд, за который Комптон в 1927 году получил Нобелевскую премию по физике, подтвердил существование фотона. Однако существовала и другая теория света, волновая теория, согласно которой свет вел себя словно волны воды в пруду. Особенно горячим сторонником этой теории был голландский физик Христиан Гюйгенс (1629–1695). Волновая теория света была не особенно популярна, пока физик и врач Томас Юнг (1773–1829) в 1801 году не открыл интерференцию. Само по себе это явление совсем несложное. Представьте себе, что вы периодически макаете в воду в пруду кончики указательных пальцев. От каждого пальца будут расходиться концентрические волны, то есть гребни волны и впадины будут образовывать все расширяющиеся круги. Там, где гребень волны, отходящей от одного пальца, пересечется с гребнем волны, отходящей от второго, волны усилят друг дружку («конструктивная интерференция»). А там, где гребень волны перекроется со впадиной, они друг друга погасят («деструктивная интерференция»). Тщательный анализ неподвижного узора на воде, который образуется вдоль центральной линии между двумя пальцами, показывает, что там возникает конструктивная интерференция, а по обе стороны от нее линии деструктивной интерференции перемежаются с линиями конструктивной интерференции.
В случае света деструктивная интерференция означает попросту темную полосу. Юнг – вундеркинд, к шестнадцати годам говоривший на одиннадцати языках – проделал эксперимент, при котором свет проходил через две щели, и показал, что свет на экране «перемежался темными полосами».
Результаты Юнга, за которыми в 1815–1820 годах последовали солидные теоретические труды французского инженера Огюстена Френеля, склонили многих физиков на сторону волновой теории света. Дальнейшие эксперименты, которые провели в 1850 году французский физик Леон Фуко и в 1883 году американский физик Альберт Майкельсон, недвусмысленно показали, что рефракция света, проходящего сначала через воздух, а затем через воду, происходит в точном соответствии с волновой теорией. А главное – шотландский физик Джеймс Клерк Максвелл (1831–1879) в 1864 году опубликовал всеобъемлющую теорию электромагнетизма, которая предсказала существование электромагнитных волн, распространяющихся со скоростью света. Далее Максвелл предположил, что и свет сам по себе тоже электромагнитная волна. Наконец в 1886–1888 годах немецкий физик Генрих Герц экспериментально доказал, что свет и в самом деле электромагнитная волна, как и предсказывал Максвелл.
Так что же такое свет? Только бомбардировка частицами (фотонами) или только волна? На самом деле, ни то, ни другое. Свет – более сложное физическое явление, чем в состоянии описать каждая из этих концепций в отдельности, поскольку обе они основаны на классических физических моделях. Чтобы описать распространение света и понять явления вроде интерференции, мы можем опереться на теорию электромагнитных волн – и без нее нам не обойтись. Однако если нам надо обсудить взаимодействие света с элементарными частицами, придется описывать фотоны. Такая картина, где описания света как волны и как частицы дополняют друг друга, получила название корпускулярно-волнового дуализма. Современная квантовая теория света свела классические представления о волнах и частицах в единую вероятностную концепцию. Электромагнитное поле описывается волновой функцией, которая отражает вероятность застать поле в том или ином состоянии. А фотон – это энергия, связанная с этими состояниями.
Теперь вернемся к вопросу о природе математики и причинах ее эффективности; по моему мнению, здесь следует применить комплементарность такого же типа. Да, математика была изобретена в том смысле, в каком «правила игры» – наборы аксиом – заданы человеком. Однако стоило нам ее изобрести, и она зажила собственной жизнью, и людям пришлось, и до сих пор приходится, исследовать все ее свойства – сообразно духу платонизма. Бесконечный перечень внезапных появлений золотого сечения, бесчисленные математические связи чисел Фибоначчи и тот факт, что мы до сих пор не знаем, бесконечно ли количество простых чисел Фибоначчи, – свидетельства этого поиска открытий.
Вольфрам придерживается очень похожих взглядов. Я спрашивал его, как он считает, «изобрели» математику или «открыли». Он ответил: «Если бы не было особого выбора и нам пришлось принять именно эту систему законов и правил, имело бы смысл говорить, что ее открыли, но поскольку выбор был, и еще какой, а наша математика основана исключительно на исторической договоренности, я бы сказал, что ее изобрели». Ключевые слова – «историческая договоренность»: они заставляют предположить, что система аксиом, на которых основана наша математика, возникла случайно на основе арифметики и геометрии древних вавилонян. Это тут же наталкивает на два вопроса: (1) Почему вавилоняне развивали именно эти дисциплины, а не стали разрабатывать другие наборы правил? И, перефразируя вопрос о том, как математика описывает мироздание: (2) Почему эти дисциплины и их следствия вообще пригодились в физике?
Интересно, что ответы на оба вопроса, вероятно, взаимосвязаны. Возможно, математику как таковую породило наше субъективное восприятие устройства природы. Не исключено, что геометрия попросту отражает человеческую способность легко распознавать линии, грани и кривые. А арифметика – человеческую способность группировать дискретные объекты. При такой картине мира математика, которой мы располагаем, – следствие биологического устройства человека и того, как люди воспринимают мироздание. Таким образом, математика и вправду в некотором смысле представляет собой язык вселенной – но вселенной в человеческом восприятии. Если во Вселенной есть другие разумные цивилизации, они, вероятно, разработали совсем другие системы законов, ведь у них, наверное, совсем другие механизмы восприятия. Скажем, если капля воды сливается с другой каплей или молекулярное облако в галактике сливается с другим облаком, они составляют одну каплю и одно облако, а не два. Так что если существует цивилизация, где тела в основном жидкие, а не твердые, один плюс один для нее не обязательно равняется двум. Такая цивилизация, возможно, не знает, что такое простые числа и золотое сечение. Другой пример: едва ли можно сомневаться, что если бы гравитация на Земле была гораздо сильнее, вавилоняне и Евклид сформулировали бы не Евклидову геометрию, а какую-нибудь другую. Общая теория относительности Эйнштейна научила нас, что в очень сильном гравитационном поле пространство вокруг нас искривилось бы, перестало быть плоским: лучи света шли бы по кривой, а не по прямой линии. Геометрия Евклида – всего-навсего плод наблюдений за слабым гравитационным полем Земли (другие геометрии – на искривленных поверхностях – были открыты и разработаны только в XIX веке).
Эволюция и естественный отбор, несомненно, сыграли важнейшую роль в наших теориях мироустройства. Именно поэтому мы в наши дни больше не придерживаемся физических взглядов Аристотеля. Однако я не имею в виду, что эволюция всегда идет плавно и непрерывно. Биологической эволюции на Земле это отнюдь не было свойственно. Извилистый путь жизни на Земле то и дело формировался под воздействием внешних причин, например, массовой гибели того или иного вида. Влияние астрономических тел – комет или астероидов по нескольку миль в диаметре – истребило динозавров и проложило млекопитающим путь к доминированию. Эволюция теорий об устройстве Вселенной то и дело двигалась рывками благодаря квантовым скачкам в научной мысли. Прекрасные примеры подобных блистательных рывков – Ньютонова теория всемирного тяготения и теория общей относительности Эйнштейна («До сих пор не понимаю, как он до нее додумался», – говорил покойный физик Ричард Фейнман). Как же объяснить подобные чудесные открытия? Никак. В том же смысле, как невозможно объяснить, каким образом в мире шахмат, привыкшем к победам с перевесом в пол-очка, Бобби Фишер на пути к мировому первенству в 1971 году ни с того ни с сего разгромил гроссмейстеров Марка Тайманова и Бента Ларсена со счетом шесть – ноль. И так же трудно разобраться, как натуралисты Чарльз Дарвин (1809–1882) и Альфред Рассел Уоллес (1823–1913) независимо друг от друга вывели концепцию эволюции как таковой – что вдохновило их, что подтолкнуло к мысли, что вся жизнь на земле произошла из общего источника, развивавшись разными путями? Нужно просто признать, что кое-кто на голову выделяется из толпы и ему приходят в голову фантастические мысли. Но вписываются ли исполины-новаторы вроде Ньютона и Эйнштейна в теорию эволюции и естественного отбора? Да, вписываются, однако для этого приходится толковать естественный отбор несколько иным, не общепринятым способом. У теории всемирного тяготения во времена Ньютона не было конкуренток, однако она не дожила бы до наших дней, не будь она «самой приспособленной». Напротив, Кеплер предложил модель взаимодействия Солнца и планет, которая протянула совсем недолго: согласно этой модели Солнце, вращаясь вокруг своей оси, испускает лучи магнетической силы. Предполагалось, что эти лучи цепляются за планеты и подталкивают их по круговым орбитам.
Если принять общие определения эволюции, допускающей квантовые скачки, и естественного отбора, действующего в течение длительного времени, то, пожалуй, можно найти объяснение «непостижимой» эффективности математики. Наша математика – символическая репрезентация вселенной в том виде, в каком мы ее воспринимаем, и могущество математики постоянно растет благодаря изысканиям человека.
Джеф Раскин, создатель компьютера «Макинтош» в корпорации «Эппл», подчеркивает иной аспект – эволюцию человеческой логики. В эссе об эффективности математики, опубликованном в 1998 году, Раскин приходит к выводу, что «человеческая логика [курсив мой. – М. Л.] навязана нам физическим миром и поэтому соответствует ему. Математика выведена из логики. Вот почему математика точно описывает физический мир».
В пьесе «Тамерлан великий», где идет речь о герое-злодее маккиавеллиевского толка, который одновременно может быть и нежной душой, и жестоким убийцей, великий английский драматург Кристофер Марло (1564–1593) признает страсть человека к познанию Вселенной:
- Из четырех враждующих стихий
- Создав людей, природа в них вложила
- Тревожный и неукротимый дух:
- Он постигает стройный ход созвездий
- И дивную гармонию вселенной,
- Пылает ненасытной жаждой знанья,
- Мятется, как далекий рой планет;
- Он нам велит идти, искать, стремиться…
Золотое сечение есть продукт геометрии, которую изобрели люди. Однако люди не представляли себе, в какую волшебную страну заведет их это изобретение. Если бы мы не изобрели геометрию, то, вероятно, вообще не знали бы ничего о золотом сечении. Однако – кто знает? – возможно, мы получили бы его в результате работы короткой компьютерной программы.
Приложение 1
Мы хотим доказать, что для любых целых чисел p и q, таких, что p > q, три числа: p2 – q2; 2pq; p2 + q2 формируют пифагорову тройку. Иначе говоря, нам надо доказать, что сумма квадратов первых двух чисел равна квадрату третьего.
Для этого мы обратимся к общим формулам сокращенного умножения, справедливым для любых a и b:
(a + b)2 = (a + b) (a + b)= a2 + ab + ba + b2 = a2 + 2ab + b2
(a – b)2 = (a – b) (a – b)= a2 – ab – ba + b2 = a2 – 2ab – b2.
На основании этих формул квадрат первого числа равен
(p2 – q2)2 = p4 – 2p2q2 + q4.
Сумма первых двух квадратов равна
p4 – 2p2q2 + q4 + 4p2q2 = p4 + 2p2q2 + q4.
Квадрат третьего числа равен
(p2 + q2)2 = p4 + 2p2q2 + q4.
Итак, мы видим, что квадрат третьего числа равен сумме квадратов первых двух чисел независимо от значений p и q.
Приложение 2
Мы хотим доказать, что диагональ и сторона правильного пятиугольника несоизмеримы, то есть у них нет общей меры.
Общий принцип доказательства по методу reductio ad absurdum приведен в конце главы 2.
Обозначим сторону правильного пятиугольника ABCDE как s1, а диагональ – как d1. Из свойств равнобедренных треугольников легко вывести, что AB = AH и HC = HJ. Теперь обозначим сторону меньшего правильного пятиугольника FGHIJ как s2 и его диагональ как d2. Очевидно, что
AC= AH + HC= AB + HJ.
Следовательно,
d1 = s1 + d2 или d1 – s1 = d2.
Если у d1 и s1есть какая-либо общая мера, значит, и d1, и s1представляют собой целое произведение этой общей меры. Следовательно, существует также общая мера d1 – s1, то есть d2. Подобным же образом равенства
AG= HC= HJ
AH= AB
и
AH= AG+ GH
AB= HJ+ GH
дают нам
s1 = d2 + s2
или
s1 – d2 = s2.
Поскольку на основании нашего предположения общая мера для s1 и d1 представляет собой также общую меру для d2, последнее равенство доказывает, что она же еще и общая мера для s2. Поэтому мы обнаруживаем, что та единица, которая измеряет s1 и d1, измеряет также s2 and d2. Продолжать этот процесс можно до бесконечности, рассматривая правильные пятиугольники все меньшего и меньшего размера. Тогда мы получим, что та же единица, которая служит общей мерой стороны и диагонали первого правильного пятиугольника, служит общей мерой и для всех других пятиугольников, сколь бы крошечными они ни становились. Поскольку очевидно, что так быть не может, следовательно, наше первоначальное предположение, что у стороны и диагонали правильного пятиугольника есть общая мера, ложно, что и доказывает, что s1 и d1 несоизмеримы.
Приложение 3
Площадь треугольника равна половине произведения его основания на высоту, проведенную к основанию. У треугольника TBC основание BC равно 2а, а высота ТА равна с. Следовательно, площадь треугольника равна с а. Мы хотим показать, что если квадрат высоты пирамиды h2 равен площади ее треугольной стороны s a, то s/a равно золотому сечению.
Дано, что
h2 = s a.
Применив теорему Пифагора к прямоугольному треугольнику TOA, получаем
s2 = h2 + a2.
Теперь подставим значение h2 из первого равенства и получим
s2 = s a + a2.
Разделим обе части на a2 и получим
(s/a)2 = (s/a)+ 1.
Иными словами, если мы обозначим s/a как x, у нас получится квадратное уравнение
x2 = x+ 1.
В главе 4 показано, что именно это уравнение и описывает золотое сечение.
Приложение 4
Одна из теорем в «Началах» доказывает, что если у двух треугольников одинаковые углы, эти треугольники подобны. А это значит, что форма у этих треугольников совершенно одинаковая и длины сторон соответственно пропорциональны. Если одна сторона одного треугольника вдвое длиннее соответствующей стороны второго треугольника, то это справедливо и по отношению остальным сторонам.
Треугольники ADB и DBC подобны, поскольку у них одинаковые углы. Следовательно, отношение AB/DB, то есть отношение сторон треугольников ADB и DBC, равно DB/BC, то есть отношению оснований этих треугольников.
AB/DB= DB/BC.
Однако эти треугольники также равнобедренные, поэтому
DB= DC= AC.
Из вышеприведенных равенств следует, что
AC/BC= AB/AC,
Что означает (согласно определению Евклида), что точка C делит отрезок AB в золотом сечении. Поскольку AD = AB и DB = AC, получаем также, что AD/DB = .
Приложение 5
Квадратные уравнения – это уравнения, имеющие вид
ax2 + bx+ c= 0,
где a, b, c – произвольные числа. Например, в уравнении 2x2 + 3x+ 1 = 0 имеем a = 2, b = 3, c = 1.
Общая формула для поиска двух корней уравнения:
В вышеприведенном примере
В уравнении, описывающем золотое сечение,
x2 – x – 1 = 0,
a = 1, b = –1, c = –1, следовательно, корни:
Приложение 6
Задачу о дележе наследства можно решить следующим образом. Обозначим все наследство как E, а долю каждого из сыновей в безантах – как x (по условию, все они делят наследство поровну).
Первый сын получил
Второй сын получил
Приравниваем их доли:
Упрощаем:
x/7 = 6/7
x= 6.
Следовательно, каждому из сыновей досталось по 6 безантов.
Подставив эту величину в первое равенство, получаем:
Сумма наследства составила 36 безантов. Следовательно, количество сыновей 36/6 = 6.
А вот как выглядит решение Фибоначчи.
Сумма наследства должна представлять собой такое число, чтобы если прибавить к нему 1 раз по 6, одно делилось бы на 1 плюс 6, то есть на 7, а если прибавить к нему 2 раза по 6, оно делилось бы на 2 плюс 6, то есть на 8, если же прибавить к нему 3 раза по 6, оно делилось бы на 3 плюс 6, то есть на 9, и т. д. Такое число – 36. 1/7 от (36 – 1/7) – это 35/7, плюс 1 – это 42/7, или 6, и это и есть сумма, которую получил каждый из сыновей; общая сумма наследства, поделенная на долю каждого из сыновей, дает нам число сыновей, то есть 36/6 равно 6.
Приложение 7
Отношение между количеством субобъектов n, коэффициентом сокращения длины f и числом измерений D равно
Если положительное число А записывается в виде А = 10L, то L мы называем логарифмом (по основанию 10) числа А и записываем это так: L = log A. Иначе говоря, равенства А = 10L и L = log A тождественны. Правила логарифмов таковы:
1. Логарифм произведения есть сумма логарифмов:
log (A B) = log A+ log B.
2. Логарифм отношения есть разность логарифмов
log ( A/B ) = log A – log B.
3. Логарифм степени числа – это степень, умноженная на логарифм числа:
log Am = m log A.
Поскольку 100 = 1, по определению логарифма log 1 = 0. Поскольку 101 = 10, 102 = 100 и так далее, получаем, что log 10 = 1, log 100 = 2 и т. д. Следовательно, логарифм любого числа от 1 до 10 – это число от 0 до 1, логарифм любого числа от 10 до 100 – это число от 1 до 2 и т. д.
Если мы возьмем логарифм (по основанию 10) обеих частей вышеприведенного равенства (описывающего отношения между n, f и D), то получим
Если теперь поделить обе части на log f, мы получим
Скажем, в случае снежинки Коха каждая кривая содержит четыре «подкривые» в одну треть длины, поэтому n = 4, f = 1/3, и получаем
Приложение 8
Рассмотрим рис. 116, а, и увидим, что условие соприкосновения двух веток состоит в простом требовании, чтобы сумма всех горизонтальных длин постоянно уменьшающихся веток с длинами начиная от f 3 была равна горизонтальной составляющей большой ветки длиной f. Все горизонтальные составляющие – это общая длина, умноженная на косинус угла, величиной 30 градусов. Поэтому получаем
f cos 30° = f3 cos 30° + f4 cos 30° + f5 cos 30° + …
Поделим это выражение на cos 30° – и получим
f= f3 + f4 + f 5 + f6 + …
Сумма правой части – это сумма бесконечной геометрической прогрессии, то есть каждый ее член равен предыдущему, умноженному на константу, в которой первый член – это f 3, а отношение двух последовательных членов равно f. В целом сумма S бесконечной геометрической прогрессии с первым членом а и отношением последовательных членов q равна
Например, сумма прогрессии
где a = 1 и q = 1/2, равна
В нашем случае из вышеприведенного уравнения следует
Делим обе части на f и получаем
Умножаем на (1–f), сокращаем и получаем квадратное уравнение
f2 + f – 1 = 0,
положительный корень которого равен
То есть 1/.
Приложение 9
Согласно закону Бенфорда, вероятность P, что цифра D появится на первом месте, составляет (логарифм по основанию 10)
P= log (1 + 1/D).
Следовательно, для D = 1
P= log (1 + 1) = log 2 = 0,30.
Для D = 2
P= log (1 + 1/2) = log 1,5 = 0,176,
И так далее. Для D = 9,
P= log (1 + 1/9) = log (10/9) = 0,046.
Согласно обобщенной формулировке закона вероятность того, что первые три цифры будут, к примеру, 1, 5 и 8, равна
P= log (1 + 1/158) = 0,0027.
Приложение 10
Доказательство Евклида, что сущесвует бесконечное множество простых чисел, основано на методе reductio ad absurdum. Сначала Евклид предполагает, что верно противоположное: простых чисел существует лишь ограниченное множество. Однако, если это правда, одно из них должно быть самым большим простым числом. Обозначим самое большое простое число как P. Затем Евклид выводит новое простое число по следующему алгоритму: он перемножает все простые числа, начиная с 2 и до (включая) Р, и прибавляет к произведению единицу. Получается новое число
2 3 5 7 11 … P+ 1.
Согласно первоначальному предположению, это должно быть не простое, а составное число, поскольку оно, очевидно, больше Р, а мы решили, что Р – самое большое простое число. Следовательно, это число должно делиться по крайней мере на одно из существующих простых чисел. Однако из его конструкции следует, что если мы разделим его на любое простое число вплоть до (и включая) Р, получится остаток 1. А следовательно, если бы это число и в самом деле составное, оно должно делиться на какое-то простое число больше Р. Однако это предположение противоречит первоначальному утверждению, что Р – самое большое простое число, и мы, таким образом, доказали, что простых чисел бесконечно много.
Рекомендуемая литература
Только пустые, ограниченные люди не судят по внешности. Подлинная тайна жизни заключена в зримом, а не в сокровенном…
О. Уайлд (1854–1900) (Пер. М. Абкина)
Большинство книг и статей из этого списка – популярные, а не специальные. Те немногие, которые можно отнести к специальной литературе, отобраны за какие-то особые качества. Кроме того, я отобрал несколько веб-сайтов, где можно найти интересный материал.
1. Прелюдия к числу
Ackermann, F. “The Golden Section”, Mathematical Monthly, 2 (1895): 260–264.
Dunlap, R. A. The Golden Ratio and Fibonacci Numbers. Singapore: World Scientific, 1997.
Fowler, D. H. “A Generalization of the Golden Section”, Fibonacci Quarterly, 20 (1982): 146–158.
Gardner, M. The Second Scientific American Book of Mathematical Puzzles & Diversions. Chicago: University of Chicago Press, 1987.
Ghyka, M. The Geometry of Art and Life. New York: Dover Publications, 1977.
Grattan-Guinness, I. The Norton History of the Mathematical Sciences. New York: W. W. Norton & Company, 1997.
Herz-Fischler, R. A Mathematical History of the Golden Number. Mineola, NY: Dover Publications, 1998.
Hoffer, W. “A Magic Ratio Occurs Throughout Art and Nature”, Smithsonian (December 1975): 110–120.
Hoggatt, V. E., Jr. “Number Theory: The Fibonacci Sequence”, in Yearbook of Science and the Future. Chicago: Encyclopaedia Britannica, 1977, 178–191.
Huntley, H. E. The Divine Proportion. New York: Dover Publications, 1970.
Knott, R. http://www.mcs.surrey.ac.uk/Personal/ R. Knott/Fibonacci/fib.html.
Knott, R. http://www.mcs.surrey.ac.uk/Personal/ R. Knott/Fibonacci/fibnet2.html.
Markowski, G. “Misconceptions about the Golden Ratio”, College Mathematics Journal, 23 (1992): 2–19.
Ohm, M. Die reine Elementar-Mathematik. Berlin: Jonas Veilags-Buchhandlung, 1835.
Runion, G. E. The Golden Section. Palo Alto: Dale Seymour Publications, 1990.
2. Гаммы и пентаграммы
http://search.britannica.com/search?query=fibonacci.
Barrow, J. D. Pi in the Sky. Boston: Little, Brown and Company, 1992.
Beckmann, P. A History of . Boulder, CO: Golem Press, 1977.
Boulger, W. “Pythagoras Meets Fibonacci”, Mathematics Teacher, 82 (1989): 277–282.
Boyer, C. B. A History of Mathematics. New York: John Wiley & Sons, 1991.
Burkert, W. Lore and Science in Ancient Pythagoreanism. Cambridge, MA: Harvard University Press, 1972.
Conway, J. H., and Guy, R. K. The Book of Numbers. New York: Copernicus, 1996.
Dantzig, T. Number: The Language of Science. New York: The Free Press, 1954.
de la Fye, A. Le Pentagramme Pythagoricien, Sa Diffusion, Son Emploi dans le Syllaboire Cuneiform. Paris: Geuthner, 1934.
Guthrie, K. S. The Pythagorean Sourcebook and Library. Grand Rapids, MI: Phanes Press, 1988.
lfrah, G. The Universal History of Numbers. New York: John Wiley & Sons, 2000.
Maor, E. e: The Story of a Number. Princeton, NJ: Princeton University Press, 1994.
Paulos, J. A. Innumeracy. New York: Vintage Books, 1988.
Pickover, C. A. Wonders of Numbers. Oxford: Oxford University Press, 2001.
Schimmel, A. The Mystery of Numbers. Oxford: Oxford University Press, 1994.
Schmandt-Besserat, D. “The Earliest Precursor of Writing”, Scientific American (June 1978): 38–47.
Schmandt-Besserat, D. “Reckoning Before Writing”, Archaeology, 32–33 (1979): 22–31.
Singh, S. Fermat’s Enigma. New York: Anchor Books, 1997.
Stanley, T. Pythagoras. Los Angeles: The Philosophical Research Society, 1970.
Strohmeier, J., and Westbrook, P. Divine Harmony. Berkeley, CA: Berkeley Hills Books, 1999.
Turnbull, H. W. The Great Mathematicians. New York: Barnes & Noble, 1993.
von Fritz, K. “The Discovery of Incommensurability of Hipposus of Metapontum”.
Annals of Mathematics, 46 (1945): 242–264.
Wells, D. Curious and Interesting Numbers. London: Penguin Books, 1986.
Wells, D. Curious and Interesting Mathematics. London: Penguin Books, 1997.
3. В пирамиде, к звездам обращенной
Beard, R. S. “The Fibonacci Drawing Board Design of the Great Pyramid of Gizeh”, Fibonacci Quarterly, 6 (1968): 85–87.
Burton, D. M. The History of Mathematics: An Introduction. Boston: Allyn and Bacon, 1985.
Doczi, O. The Power of Limits. Boston: Shambhala, 1981.
Fischler, R. “Thories Mathmatiques de la Grande Pyramide”, Crux Mathematicorum, 4 (1978): 122–129.
Fischler, R. “What Did Herodotus Really Say? or How to Build (a Theory of) the Great Pyramid”, Environment and Planning B, 6 (1979): 89–93.
Gardner, M. Fads and Fallacies in the Name of Science. New York: Dover Publications, 1957.
Gazal, M. J. Gnomon. Princeton, NJ: Princeton University Press, 1999.
Gillings, R. J. Mathematics in the Time of the Pharaohs. New York: Dover Publications, 1972.
Goff, B. Symbols of Prehistoric Mesopotamia. New Haven, CT: Yale University Press, 1963.
