Льюис Кэрролл: Придирки оксфордского прохожего

Это была модификация «метода конечных Разностей», которую вкратце можно описать так.

Пусть Е— Очерки, а R — Рецензии, тогда геометрическая область точек (Е + R) в мультилинейнойсистеме координат оказывается поверхностью (т. е. эта область имеет длину и ширину, но не имеет глубины) [11]. Пусть v — это новизна; предположим, что (Е + R) является функцией v .

Принимая эту поверхность в качестве базисной плоскости, получаем:

Е = R = B

=> EB = B 2= HL (См. предыдущий пункт).

Умножив на Р, получаем EBP = HPL [12].

Теперь оставалось исследовать геометрическое место ЕВР [13]; было показано, что оно является родом Цепной Линии [14], называемым Цепной Патристикой [15], которая обычно определяется как « ориг е нальныйпаттерн, содержащий много кратных точек». Геометрическое место HPL практически полностью с ней совпало.

Основные результаты ожидались из допущения, что (E + R) есть функция от v , но так как оппоненты этой теоремы решительно преуспели в доказательстве того, что переменная v даже не входит в данную функцию, то на получение реального значение π этим методом не осталось никакой надежды.

Это была изнуряющая процедура вытягивания численного выражения пая рядом соглашений через нескончаемые голосования [16]. Получаемый таким способом ряд производил впечатление сходящегося, однако после всех вычетов результат всегда оказывался отрицательным, что, разумеется, делало процедуру вытягивания невозможной.

Следующая теорема ведёт своё происхождение от радикального ряда в Арифметической Прогрессии: обозначим сам ряд как АР, а его сумму как (А.Р.)S. Было найдено, что функция (А.Р.)S. в различных формах участвует в вышеописанной процедуре. Тогда эксперимента радирешили преобразовать ( А.Р.)S. в какую-нибудь новую систему счисления, ведь первоначально, на протяжении длинного ряда... семестров, она существовала то в семир е чной, то в дву ре чнойсистемах счисления; отражённая в этих системах, наша функция предоставила нам много красивых выражений. Ныне она переведена в десятер и чный вид [17].

Произведя эти преобразования, процедуру разделения голосов повторили, но с темже отрицательным результатом, после чего попытки были оставлены, хоть и не без надежды на будущих математиков, которым после привлечения некоторого количества прежде не определившихся постоянных, возведённых во вторую степень, возможно, удастся достичь положительного результата.

Давно было ясно, что основное препятствие к вычислению π — это присутствие J. В предыдущую эпоху развития математики ради устранения J не ограничились бы даже двумя секущими на прямоугольной площади, а произвели бы вдобавок отделение меньшей части от большей— так называемая процедура устранения по произволу, которая ныне считается не вполне законной.

Ныне же одни предлагали исключить J на основании процедуры, состоящей из двух действий, одно из которых называется «получением достатка», а второе — «обращением остатка»; до её применения, однако, дело не дошло, поскольку J сделались нерешительными. Другие сторонники данного метода предпочли бы, чтобы J исключались in toto [18]. Получившим классическое образование едва ли стоит напоминать, что totoесть аблятив от tumtum [19]и что это прекрасное и выразительное словцо знаменует желание устранить J через принудительное религиозное освидетельствование.

Затем предлагалось устранить J посредством канонизанта [20]. Главное возражение по поводу этой процедуры заключалось в том, что в результате J возводится в неоправданно высокую степень, аπ в конечном счёте приобретает иррациональное значение [21].

Для оценки π предлагались и другие процедуры, которых нам нет нужды здесь рассматривать. Согласно одной из них, π должна считаться заданной величиной: эта теория была поддержана многими выдающимися мужами в Кембридже и кое-где ещё, но стоило её применить, как оказалось, что J отвечают отрицательным знаком — а это, разумеется, не способствовало делу.

Теперь мы приступаем к описанию новейшего метода, который увенчался блистательным и неожиданным успехом и который может быть назван как

Математики уже исследовали геометрическое место точек HPL и ввели эту функцию в свои расчёты. Это, однако, не способствовало получению столь чаемого численного значения — даже при переносе HPL в противоположную сторону уравнения с изменением знака. Процедура, которую мы собираемся описать, заключается главным образом в подстановке G на место Ри в приложении давления.