Шрифт:
Умножив на Р, получаем EBP = HPL [12] .
Теперь оставалось исследовать геометрическое место ЕВР [13] ; было показано, что оно является родом Цепной Линии [14] , называемым Цепной Патристикой [15] , которая обычно определяется как «оригенальный паттерн, содержащий много кратных точек». Геометрическое место HPL практически полностью с ней совпало.
12
Буквами EBP и HPL обозначены соответственно Эдвард Бувери Пьюзи (1800—1882) и Генри Парри Лиддон (1829—1890). Первый — видный теолог и выдающаяся фигура англиканской церкви, лидер Оксфордского движения (которое даже называли часто пьюзизмом, хотя Пьюзи не стоял у его истоков), он ратовал за возвращение Высокой церкви к идеалам конца семнадцатого столетия; на протяжении пятидесяти четырёх лет (до самой смерти) состоял каноником Оксфордского собора (получил место в двадцать восемь лет одновременно с назначением на Королевскую кафедру древнееврейского языка). Второй — занимавший кафедру экзегезы профессор из Крайст Чёрч и друг Доджсона на всю жизнь: вдвоём они совершили путешествие в Россию (1867 г.). Будучи близким другом и впоследствии даже биографом Эдварда Пьюзи, присоединился к противникам одновременного с Джоуэттом увеличения содержания профессорам иных кафедр, отчего вынудил Пьюзи отказаться от своего требования.
13
Геометрическим местом точек называется совокупность всех точек, удовлетворяющих заданным условиям. Например, окружность есть геометрическое место точек плоскости, равноудалённых от некоторой точки (называемой центром этой окружности).
14
Такое название соответствующему классу математических кривых дал открывший их в 1610 году Гюйгенс. Цепную линию образует, например, горизонтально подвешенная за оба конца цепь — наподобие тех, что перекрывают проезд.
15
Так иронически можно переиначить респектабельное, традиционно латинообразное название сборника трудов отцов церкви («Patristic Catenary»), в издании которого Пьюзи принимал участие наряду с другими деятелями Высокой церкви (в этой же фразе обыгрывается имя одного из отцов церкви, Оригена).
Основные результаты ожидались из допущения, что (E + R) есть функция от v, но так как оппоненты этой теоремы решительно преуспели в доказательстве того, что переменная v даже не входит в данную функцию, то на получение реального значение этим методом не осталось никакой надежды.
Это была изнуряющая процедура вытягивания численного выражения пая рядом соглашений через нескончаемые голосования [16] . Получаемый таким способом ряд производил впечатление сходящегося, однако после всех вычетов результат всегда оказывался отрицательным, что, разумеется, делало процедуру вытягивания невозможной.
16
Как уже говорилось, в оригинале эту фразу, как и большинство других фраз памфлета, можно понять и в строгом математическом смысле: «Это была исчерпывающая процедура извлечения численной величины в виде ряда членов путём повторяющегося деления». Исторически первым такой способ деления изложил в трактате «Логарифмотехника» Меркатор (1668 г.), а к разложению в ряд (для последующего суммирования) иррационального выражения, появляющегося при решении задач на квадратуру круга, его применил Лейбниц.
Следующая теорема ведёт своё происхождение от радикального ряда в Арифметической Прогрессии: обозначим сам ряд как АР, а его сумму как (А.Р.)S. Было найдено, что функция (А.Р.)S. в различных формах участвует в вышеописанной процедуре. Тогда эксперимента ради решили преобразовать (А.Р.)S. в какую-нибудь новую систему счисления, ведь первоначально, на протяжении длинного ряда... семестров, она существовала то в семиречной, то в двуречной системах счисления; отражённая в этих системах, наша функция предоставила нам много красивых выражений. Ныне она переведена в десятеричный вид [17] .
17
Буквенное выражение (А.Р.)S. означает не только сумму радикального ряда арифметической прогрессии, но и самого Артура Пенрина Стэнли (1815—1881), который «рядом соглашений через нескончаемые разногласия» настойчиво склонял мнение Университета на сторону Джоветта. Преобразование (А.Р.)S. «в десятеричный (правильнее — десятичный) вид» — намёк на состоявшееся в 1864 году назначение Пенрина Стэнли деканом (т. е., как нам уже известно, настоятелем и главой капитула) Вестминстерского собора (до этого Пенрин Стэнли занимал Королевскую кафедру церковной истории в Оксфорде, одновременно являясь членом собрания каноников Христовой Церкви — Крайст Чёрч). Это назначение знаменовало смену всего прежнего руководства Высокой церкви, стремившегося добиться осуждения взглядов, выдвинутых Джоветтом и Темплем в «Очерках и рецензиях». Знаменитый «декан Стэнли» занимал активную умеренную позицию и в других церковных спорах — например, в деле епископа Коленсо (см. «Аннотированный Снарк — 2»). Он стремился к примирению Высокой и Низкой церквей, интересовался Православием и тоже посетил Россию — зимой 1874 года, в свите Альфреда, герцога Эдинбургского, вступавшего в брак с великой княжной Марией Александровной. Вообще Пенрин Стэнли много путешествовал по Востоку, о чём увлекательно рассказал в своих книгах «многими красивыми выражениями». Ср., например, книгу «Синай и Палестина», откуда не так далеко до Двуречья, а дальше на восток и Семиречье существует.
Произведя эти преобразования, процедуру разделения голосов повторили, но с тем же отрицательным результатом, после чего попытки были оставлены, хоть и не без надежды на будущих математиков, которым после привлечения некоторого количества прежде не определившихся постоянных, возведённых во вторую степень, возможно, удастся достичь положительного результата.
Давно было ясно, что основное препятствие к вычислению — это присутствие J. В предыдущую эпоху развития математики ради устранения J не ограничились бы даже двумя секущими на прямоугольной площади, а произвели бы вдобавок отделение меньшей части от большей — так называемая процедура устранения по произволу, которая ныне считается не вполне законной.
Ныне же одни предлагали исключить J на основании процедуры, состоящей из двух действий, одно из которых называется «получением достатка», а второе — «обращением остатка»; до её применения, однако, дело не дошло, поскольку J сделались нерешительными. Другие сторонники данного метода предпочли бы, чтобы J исключались in toto [18] . Получившим классическое образование едва ли стоит напоминать, что toto есть аблятив от tumtum [19] и что это прекрасное и выразительное словцо знаменует желание устранить J через принудительное религиозное освидетельствование.
18
всем скопом (лат).
19
В ортодоксальном иудейском праве Галахе это слово означает существо неопределённого пола (наподобие андрогина). Здесь может означать ‘то, не знаю что’. И всё-таки toto — косвенный падеж не от tumtum, а от totum ‘всё, весь’, ‘целое’; Доджсон шутит.
Затем предлагалось устранить J посредством канонизанта [20] . Главное возражение по поводу этой процедуры заключалось в том, что в результате J возводится в неоправданно высокую степень, а в конечном счёте приобретает иррациональное значение [21] .
Для оценки предлагались и другие процедуры, которых нам нет нужды здесь рассматривать. Согласно одной из них, должна считаться заданной величиной: эта теория была поддержана многими выдающимися мужами в Кембридже и кое-где ещё, но стоило её применить, как оказалось, что J отвечают отрицательным знаком — а это, разумеется, не способствовало делу.
20
Первоначально возникнув во французском, где означал канонизирующего (церковн.), этот термин возродился в новом качестве в 1852 году, когда Джеймс Джозеф Сильвестр ввёл его в свои работы по теории квадратичных форм (каковой принадлежат процедуры так называемого приведения к каноническому виду, исключения переменной и проч.). Сильвестр (1814—1897) был одним из трёх наиболее выдающихся алгебраистов Англии XIX века; имя другого, Джорджа Сальмона, читатель встретит в следующем памфлете настоящего сборника (третьим был Артур Кэли). Подобно Доджсону, Сильвестр был не только математиком, но и острословом, а также автором нескольких стихотворений; он считается вторым наиболее плодовитым создателем новых терминов за всю историю математики после Лейбница (см.: Стройк Д. Я. Краткий очерк истории математики. М., «Наука», С. 237.). Именно ему алгебра, а также связанная с ней физика, обязаны названием важного функционального определителя — якобиана, в честь Карла Густава Якоба Якоби, которого Доджсон также упоминает в «Динамике партийной горячки». Сильвестру принадлежат и другие вошедшие в обиход науки термины: инвариант, ковариант, конгредиентный и проч. Ирония при упоминании здесь канонизанта заключается ещё и в том, что в англиканстве, как и в протестантизме вообще, отсутствует культ святых, третируемый как папистское мракобесие, только оскверняющее католицизм; Сильвестр же под пару весело и «подозрительно» звучащему термину «канонизант» вводит в соответствующих работах ещё и термин «католикант».
В свою очередь и Доджсон не пренебрегал созданием новых терминов, когда это казалось ему необходимым (см., например, работу «Евклид и его современные соперники»).
21
Слово «иррациональный» тут, опять же, имеет двойной смысл. Употребляясь в качестве бытового синонима понятиям «неразумный», «противоречащий здравому смыслу» (и тогда символ «пи» везде следует прочитывать как «пай»), это слово есть также особый термин теории чисел. Числа подразделяются, во-первых, на рациональные и иррациональные. Рациональные — это целые или дробные числа, как положительные, так и отрицательные, которые можно представить в виде m/n, где m и n — целые числа. Таким образом, рациональные числа — это числа, выражающие собой то отношение, в котором одно целое число находится к другому целому числу. Иррациональные числа не способны выражать такие отношения точно; но приближённо их можно заменить рациональным числом m/n, причём с любой степенью точности. В любом случае можно найти правильную или неправильную десятичную дробь, которая как угодно мало отличалась бы от данного иррационального числа. Самые простые и исторически первые известные иррациональные числа — это 2, 2 и другие, в том числе составные, выражения под знаком корня; это так называемые иррациональные числа, выражающиеся через радикалы.
Иррациональность числа доказал в 1767 г. Иоганн Ламберт, исследуя сходимость разложения в цепную дробь. Для получения численного значения числа с заданной точностью разложением в каноническую цепную дробь применяли процесс многократного чередования двух действий, которые и в самом деле носили названия «получение достатка» и «обращение остатка»: достатком называется целая часть числа (т. е. 3), а остатком — дробная (0,14159265…), обращение остатка есть запись последней в виде дроби 1/(7,062515…), у которой теперь достаток равен 7, а остаток, соответственно, 0,62515… и т. д. Тогда непрерывная каноническая цепная дробь, представляющая число , записывается так:
=3+1/(7+ 1/(15+ 1/(1+ 1/(292+···)))).
Числа, являющиеся корнями алгебраических уравнений с целыми коэффициентами (а таково любое число, выражающееся в квадратных радикалах), называются алгебраическими числами. Во второй половине XIX века Георг Кантор доказал, что алгебраических чисел меньше, чем вещественных, из чего следовало, что должны существовать иррациональные числа, не являющиеся алгебраическими. Такие числа предвидел ещё Эйлер, назвавший их (в 1775 г.) трансцендентными, т. е. ‘выходящими за пределы’. Доказательство Кантора существования трансцендентных чисел, однако, не позволяло назвать и тем более вычислить хотя бы одно трансцендентное число. Но затем (в 1871 г.) Эрмит доказал трансцендентность числа e. Число является вторым числом в истории математики, для которого была установлена трансцендентность — Линдеманом в 1882 году.
Доджсон об этом ещё не знал; свой памфлет он написал в 1865 г. Однако тот факт, что, как трансцендентное, число есть такое выражение пая, которое и невозможно свести к целочисленному значению наподобие 40, 400 и т. п. или ряду (числовой последовательности) целочисленных значений никаким алгебраическим преобразованием, является прекрасным дополнением к изложению истории потуг оксфордского истеблишмента.
Теперь мы приступаем к описанию новейшего метода, который увенчался блистательным и неожиданным успехом и который может быть назван как
Математики уже исследовали геометрическое место точек HPL и ввели эту функцию в свои расчёты. Это, однако, не способствовало получению столь чаемого численного значения — даже при переносе HPL в противоположную сторону уравнения с изменением знака. Процедура, которую мы собираемся описать, заключается главным образом в подстановке G на место Р и в приложении давления.
Пусть функция (HGL) [22] развёрнута в ряд; допустим, что его сумма есть абсолютно твёрдое тело, двигающееся по фиксированной прямой. Буквой µ обозначим коэффициент морального обязательства, а буквой е — целесообразность. Буквой F обозначим Силу, действующую равным образом во всех направлениях и изменяющуюся обратно пропорционально Т; символ А пусть означает Компетентного, а символ Е — Просвещённого [23] .
22
Буквы HGL — это инициалы Генри Джорджа Лидделла, главы (декана) как собрания каноников Христовой Церкви, так и относящегося к ней колледжа (по отечественному словоупотреблению, его «ректора») . Доджсон говорит, что функция декана Лидделла в деле Джоветта заключалась в уступке давлению и отказе от моральных обязательств ради заявленной собранием каноников целесообразности (см. прим. [5]).
23
Здесь e — от англ. expediency, A — от Able, а E — от Enlightened. При переводе памфлета везде было важно сохранить обозначения абстрактных понятий по их первым английским буквам, поскольку эти буквы в дальнейшем складываются автором в инициалы участвовавших в деле Джоветта персон.