CC BY
98
Шухман Е.В.
Оренбургский государственный педагогический университет E-mail: [email protected]
ПРИБЛИЖЕННОЕ ВЫЧИСЛЕНИЕ НЕКОТОРЫХ МАТЕМАТИЧЕСКИХ КОНСТАНТ В ОПУБЛИКОВАННЫХ И НЕОПУБЛИКОВАННЫХ РАБОТАХ Л. ЭЙЛЕРА
В статье рассмотрены опубликованные работы Эйлера и заметки из его записных книжек, связанные с вычислением константы Эйлера - Маскерони у и константы Эрдёша - Борвейна а .
Ключевые слова: история математики, Леонард Эйлер, константа Эйлера - Маскерони, константа Эрдёша - Борвейна.
С древних времен большой интерес математиков вызывали задачи вычисления математических констант с большой точностью. Наиболее богатую историю имеет задача о вычислении знаменитого числа п . Так задача о вычислении площади круга встречается в клинописных табличках вавилонско-ассирийской культуры, в древнеегипетских папирусах, в трудах Архимеда, в работах средневековых арабских, индийских и китайских математиков.
Создание и развитие анализа бесконечно малых в XVII-XVIII вв. привело как к появлению новых констант, так и к разработке новых методов их приближенного вычисления. История математических констант в XVIII в. неразрывно связана с именем великого математика Леонарда Эйлера (1707-1783). Он впервые стал широко использовать современные обозначения: п для отношения длины окружности к диаметру и е для предела lim (1 + —n. Методы вычисления константы п, использованные Эйлером, подробно проанализированы в наших работах [1, 2]. Далее в статье рассмотрены некоторые методы, предложенные Эйлером для вычисления других математических констант.
Константа Эйлера - Маскерони у наряду с константами п и е входит в тройку констант, наиболее важных для всех разделов математики. Константа Эйлера - Маскерони может быть определена следующим равенством:
У - lim
n——^
= 0,5772156649...
До настоящего времени неизвестно, является ли у иррациональным или трансцендентным числом. Отметим, что для обозначения константы Эйлер не использовал символ у, но применял разные обозначения: C, O, х, Const., д, b, п.
Существует много исследований, посвященных трудам Эйлера, имеющим отношение к константе Эйлера - Маскерони. Это прежде всего монография Дж. Хэвила [3], обзорная статья Дж. Глейшера [4], размещенное в Интернете эссе Э. Сандифира [5].
После Эйлера константу у изучал итальянский математик Лоренцо Маскерони (1750-1800). В трактате 1790 г. «Adnotationes ad Euleri Calculum Integralem» («Замечания к интегральному исчислению Эйлера») Маскерони приводит константу с точностью до 32 знаков, однако в 20-22 знаках делает ошибку [6, с.11]. Многие историки математики, в том числе Хэвил, Глэйшер и Данхем [7], ошибочно считают, что обозначение у введено именно Маскерони. Однако в работе [6] Маскерони использует для обозначения константы заглавную букву A. Сандифир предполагает, что впервые обозначение у употребил немецкий математик Карл Антон Бретшнайдер (1808-1878) [5].
Впервые связь между частичной суммой гармонического ряда и логарифмической функцией Эйлер рассмотрел в работе 1734 г. «De Progressionibus harmonicis observationes» («Исследования гармонических прогрессий») [8]. Эйлер рассматривает частичную сумму гармонического ряда с общим членом —г. как
r a + (n — 1)b
функцию s(i), где i - количество членов. Он получает дифференциальное уравнение для s(i) в
виде ds = a+db .Решение этого уравнения будет
иметь вид s(i) = с +—ln(a + ib). В частности, для b
классического гармонического ряда a = b = — = 1
и 1 +—...+- = ln(i+1) + с. Появившаяся константа 2 i
С - это и есть константа Эйлера - Маскерони. Далее Эйлер выводит равенство:
1 + - +... + - = ln(i +1) + -(1 + ^- + ...) -2 i 2 2
1 1 N 1,1 1
---(1+-Т+ к) + ~ (1 Т+ к) - к
3V 23 4К 24
(1)
К этому моменту он уже вывел выражения для сумм обратных степеней в [9]. Поэтому Эйлер легко получает приближенное равенство для константы С с 5 верными знаками после запятой: 1 + — +... + - = ln(i +1) + 0,577218 .
2 i
К вычислению y Эйлер возвращается в статье 1735 г. «Inventio summae cuiusque seriei ex dato termino generali» («Вычисление сумм рядов с заданным общим членом») [10]. В этой статье вычисление y является простым примером использования формулы суммирования Эйлера - Мак-лорена. В § 25, записывая формулу суммирования для функции — , Эйлер получает равенство
і 1 1 1 + — + к + — =
2 x
W ч 1 1 1
: Y + ІП( Х) +------ + -
. + ... (2)
2х 12х2 120х4 132х10
Далее он суммирует первые десять членов ряда с точностью до 16 десятичных знаков, получая результат 2,9289682539682539, берет с точностью до 18 знаков 1п 10 = 2,302585092994045684 и получает значение константы с точностью 15 знаков после запятой 0,5772156649015329. Этот же пример Эйлер включил в главу VI «О суммировании прогрессий с помощью рядов» второй части «Дифференциального исчисления» [11, с. 303-305].
Новые результаты, относящиеся к константе у, Эйлер получил в работе 1768 г. «Бе 8итт18 8епегит питего8 ВегпоиШапоз туо1уепйит» («О суммах рядов, включающих числа Бернулли») [12]. Константа Эйлера - Маскерони появляется в работе при описании суммы гармонического ряда. Эйлер получает выражение для у, подобное (1):
Y = -
11 -Т" +-Т" + к
22 32
11
Т + ^ + к
23 33
11
?+F+-
+K
(3)
Большое количество тождеств, содержащих константу у, Эйлер получил в статье, представленной в 1776 г., «De numero memorabili in
8иттайопе pгogгessionis Ьагтошсае па^га^ оссигге^е» («О замечательном числе, встречающемся при суммировании натуральной гармонической прогрессии») [13]. Число у является главным объектом изучения в этой статье. Эйлер устанавливает связь у с суммами рядов степеней обратных величин (в современной терминологии - со значениями дзета-функции £(х) ) и получает следующие тождества:
1 -у = 1(С(2) -1) + -1) + ^(С(4)-1) + к (4)
2Y -1
- + - - 2 Z(3) 233
(5)
2 - 2ln2-Y =
2 25-1 2
2 • - 2
|J 5
5 25
2 23-1 2
4. 2^r1z(3) - 2
3 23 3
(6)
1-2ln2 + Y =
3-23
Z(3)
Í1 1 25 Z(5)] + Í1 1 27 Z(7)]
4 5 5.25 6 7 7.27
+K
(7)
2-т=3-22?(3)+5-24«(5)+7-2г?(7)+к (8)
1-/й 12-*-1)+5т24(^(5)-1)+7:126(?(7)-1)+к(9)
Просуммировав 15 членов ряда(4), Эйлер получает значение у с точностью до 6 знаков. Из ряда (9) при суммировании 10 членов получается значение с 12 верными знаками после запятой.
Также Эйлер использовал константу у в главе XVI «О дифференцируемости непредставимых функций» II части «Дифференциального исчисления» [11, с.527-529], при дифференцировании «непредставимой функции 5 = 1-2■ 3...х » (Г-функции в современных обозначениях). Эйлер получает для логарифма Г-функции выражение:
1п 5 = - х-0,5772156649015325 +
1 2„ 1 1 Л 1 3,1 1 1
+ Тх (1 + ^Г + ^Г + •••)-Тх (1 + ^ + ^ + •••) + к
2 22 32 3 23 33
После дифференцирования он выводит разложение логарифмической производной Б в виде:
+
+
+
+
+
+
+
+
+
+
dSS_
S
-dx ■ 0,5772156649015325 +
Таблица 1. Абсолютная погрешность вычисления у
xdx +-----------+ -
xdx
xdx
1(1 + x) 2(2 + x) 3(3 + x)
Отсюда получается, что производная логарифма Г-функции в точке x = 0 равна -y.
Константа Эйлера - Маскерони, обозначаемая А, встречается во многих формулах работы «De curva hypergeometrica hac aequatione expressa y = 1 ■ 2 ■ 3 ■... ■ x » («О гипергеометрической кривой, заданной выражением y = 1- 2 ■ 3 ■...■ x ») [14]. Эта работа содержит подробное изучение свойств Г-функции. Для решения этой задачи Эйлер исследует производную логарифма Г-функции и получает для нее выражение:
dy 1 1 1 1
= -А +1 + — + — +...-------------...
ydx
23
x +1 x+2
Выражения, включающие константу у, встречаются и в переписке Эйлера с его современниками. Так в письме к Дж. Стирлингу от 18 июня 1736 г. Эйлер приводит свои результаты, на тот момент еще не опубликованные: фор-мулу(2), обозначая константу через Ь, вычисленное значение Ь = 0,5772156649015329 с точными 15 знаками после запятой, а также значения сумм тысячи и миллиона первых членов гармонического ряда [15, с. 123]. В письме к И. Бернулли от 20 июня 1740 г. также приводится формула (2), значение константы 0,57721566490153252 и значение суммы миллиона членов гармонического ряда [16, с. 264]. В письме к Гольдбаху от 23 июня 1744 г. Эйлер приводит выражение для производной логарифма Г-функции при натуральных значениях х в виде:
dy 11 1
-^- = 1 + — + - +... +------------------n,
(10)
ydx 2 3
где п = 0,5772156649 [17, с.198].
Заметки, относящиеся к вычислению константы у, можно найти в записных книжках Эйлера, хранящихся в Санкт-Петербургском филиале Архива РАН [18]. В записной книжке № 131 на л. 269 приведена формула (2) и с ее помощью вычислена сумма первых 10 членов гармонического ряда. В записной книжке № 132 на л. 234 об. Эйлер приводит выражение (10) для производной логарифма Г-функции, а также вычисляет значения производной при х = 0,...,4. Эти заметки впервые опубликованы и подробно рассмотрены в статье И.В. Игнатушиной [19].
Ряд 50 членов 100 членов 200 членов
(1) 1 10 2 5 10 3 2 10 3
(3) 9 10 16 8 10 31 6 10 61
(4) 2 10 17 8 10 33 3 10 63
(5) 2 10 3 1 10 3 6 104
(6) 2 10 51 2 10 99 3 10 195
(7) 5 10 3 2 10 3 1 10 3
(8) 3 10 33 1 10 63 3 10 124
(9) 2 10 64 6 10 125 1 10 245
Таким образом в многочисленных работах Эйлер предложил несколько рядов для вычисления константы y . Наиболее известен асимптотический ряд (2), который широко использовался вплоть до недавнего времени. Так с помощью этого ряда Дональд Кнут в 1962 г. вычислил более 1200 верных десятичных цифр y [20]. Другие ряды, предложенные Эйлером, ранее не исследовались с точки зрения точности вычислений. Мы провели сравнение абсолютной погрешности вычисления для различных рядов, рассмотренных в работах Эйлера. Была определена абсолютная погрешность вычисления константы для заданного количества членов ряда. Вычисления производились в пакете Mathematica 5.2 в режиме точных вычислений. Для вычисления дзета-функции использовалась встроенная функция Zeta. Результаты вычислений приведены в таблице 1.
Отметим, что для вычисления y в работе [13] Эйлер использовал ряд (9), действительно дающий наиболее высокую точность вычислений.
Интересным примером менее известной константы, по-видимому, впервые приближенно вычисленной Эйлером, является константа Эрдёша - Борвейна. До настоящего времени этот факт не был отмечен в литературе по истории математики. Константа Эрдёша - Борвейна а определяется как сумма бесконечного ряда величин, обратных числам Мерсенна [21]:
(11)
1 2n -1
Свое наименование константа получила в честь венгерского математика Пола Эрдёша (1913-1996) и канадского математика Питера Борвейна (род. 1953), доказавших иррациональность числа а. Эрдёш в 1948 г. доказал иррацио-
X , где г>1
нальность сумм вида
нату-
ральное число, [22]. Борвейн в 1987 году доказал более общий результат: иррациональность
Ё—
tn + r ’
n=1
где r - произвольное рациональное чис-
ло, не равное никакой степени t [23].
У Эйлера ряд (11) впервые встречается в статье «Methodus generalis summandi progressiones» («Общие методы суммирования прогрессий») [24], написанной в 1732 г., в качестве примера ряда, сумму которого невозможно найти с помощью опубликованной в этой статье формулы суммирования. Эйлер здесь не предлагает никакого метода для вычисления суммы этого ряда.
Тем не менее, ученый не оставил попыток вычислить сумму ряда (11), но следующую публикацию на эту тему выполнил только через 17 лет - в 1749 г. В статье «Consideratio quarumdam serierum, quae singularibus proprietatibus sunt praeditae» («Рассмотрение некоторых рядов, имеющих особые свойства») [25] Эйлер изучает ряд:
s( x) =1-Х + (1-x)(a - x) + (1- х)(д - х)(д2 - х) +
() 1-a a - a3 a3 - a6
(1-x)(a - x)(a2 - x)(a3 - x) (12)
06100
где показатели степени в знаменателе - сосед-
n ■ (n + 1)
ние треугольные числа вида —^—. Эйлер фактически строит бесконечное продолжение интерполяционной формулы Ньютона для функции logx в узлах 1, a, a2, a3,.., где логарифм принимает целочисленные значения. Однако полученная функция S(x) не совпадает с логарифмом. Подробности об изучении Эйлером функции s(x) приведены в статьях Э. Сандифи-ра [26] и В. Готчи [27]. Для нашего исследования важно, что значение функции S(x) в точке 0
s(0) = -
1
a — 1
1
1
1
a2 — 1
a3 — 1
a4 — 1
+K
. (13)
Заметим, что при подстановке a=2 в (13) получается величина, противоположная по знаку сумме ряда (11). Эйлер утверждает, что ряд (13) при a>1 сходится к некоторому конечному числу, в то время как логарифм в точке 0 стремится к -^. Эйлер пишет, что «значение суммы ряда при a>1 конечно и может быть легко приближенно вычислено, но не выражается через рациональные и иррациональные числа» [25, р. 105]. Под иррациональными числами Эйлер здесь понимает радикалы и известные константы, такие как п .
Для приближенного вычисления суммы ряда (13) Эйлер рассматривает более общий ряд
234 a — z a — z a — z a — z
(14)
Каждый член ряда (14) может быть представлен как сумма бесконечной геометрической прогрессии:
1—-Z-
Далее Эйлер отделяет первые п членов ряда (14), обозначая их сумму
1 1 1 1 А =----+ —-----+ —----+ к +------.
a — z a2 — z a3 — z
Остальные члены ряда (14) разворачиваются в геометрические прогрессии, после чего за скобки выносятся степени 2
1111 s — A +----- —+------------— +- +- —+...
an+1 an + an+3 an+4
+ z
+ z
1 1 1 1
2n+2 2n+4 2n+6 2n+8
aaaa
1111' a3n+3 + a 3n+6 + a3n+9 + a 3n+12 +
Выражения в каждой строке заново сворачиваются по формуле суммы геометрической прогрессии
■ A+-
1
an (a — 1) a 2n (a 2 — 1)
(16)
a3n (a3 — 1) a 4n (a 4 — 1)
Эйлер утверждает, что полученный ряд сходится гораздо быстрее, чем исходный. Подставляя а=2 в (16), он получает:
1 z z2 z3
5 = А +--+------+-----+--------+ к
2" 3■4" 7■8" 15-16"
Для вычисления константы (11) Эйлер принимает 2=1 и выбирает п=4. Тогда
А = 1 +1 +1 + -1 3 7 15
1 1 1 1 а = А + — +------ +----- +------ + • (17)
16 3 162 7 163 15 164 ( )
Эйлер вычисляет А с точностью 15 десятичных цифр после запятой, прибавляет сум-
a — z
a — z
+
+
+
и
му нескольких членов из (17) и получает приближенное значение а- 1,606695152415291 с точностью 15 десятичных цифр после запятой. Отметим, что у Эйлера не указано, сколько членов ряда (17) нужно взять для вычислений с требуемой точностью. Сандифир [26] считает, что Эйлер прибавил первые 15 членов ряда. Наши вычисления с помощью пакета Ма^ешайса 5.2 показали, что для получения нужного приближения а достаточно просуммировать первые 9 членов.
Далее Эйлер приводит еще одно выражение для (13). Для этого каждый член ряда опять представляется в виде суммы бесконечной геометрической прогрессии аналогично (15), но затем члены группируются по степеням а. Получается следующий ряд:
1 2 2 3 2 4 2
5 = _ + _Г + _Г + _Г + _Т + _6 + “ + к (18)
а а2 а3 а4 а5 а6 а7 4 '
Здесь числитель каждого члена равен количеству делителей у показателя степени а в
4
знаменателе. Так член —г имеет в числителе 4,
а
потому что показатель степени 6 имеет ровно 4 делителя. Если показатель степени - простое число, то числитель будет равен 2, если составное - то больше 2. Эйлер пишет, что это разложение позволяет легко вычислить большое число знаков суммы (13) при а=10: количества делителей, не превышающие 10, просто дадут последовательные цифры суммы:
5 - 0,122324243426244526264428344628.
Чтобы лучше понять, как Эйлер пришел к этим результатам, необходимо рассмотреть записи в записных книжках, имеющие отношение к константе Эрдёша - Борвейна. Впервые Эйлер выписывает ряд (11) на л. 89 записной книжки 131, датированной 1736-1740 гг., в виде
1 1 1 1 1 + - + — + - + - + к
3 7 15 31
Он сразу приводит другое выражение для
этой суммы, аналогичное (18)
1 2 2 3 2 4 2
--+-Т" +-Т +-Т +-7~ +-Т +-Т" + к
2 22 2 24 25 26 27
Далее записано приближенное значение
для суммы с шестью цифрами после запятой и
несколько близких по значению дробей:
1,606695 - 8 - « - 98 5 28 61 '
На следующем л. 89 об. каждый член ряда
представляется в виде суммы геометрической
прогрессии:
1111 1 1 - + —Г + —Г +-Т +-Т +-т + •
-.1
л1
о1
161 32
64
1 1 1 1 1 1
Т + ^Г + ^Г +----2 +---2 +----2 + '
22 42 82 162 322 642
— + — + — + — + — + — +
163 323
643
Фактически (в современных обозначениях) константа Эрдёша - Борвейна представлена двойным рядом
а - Ц -±-
2тп •
т-1 п-1
Далее Эйлер, начиная с п+1 строки, сворачивает суммы по столбцам по формулам суммы геометрической прогрессии и получает:
а -1 + - + • 3
1111
--1--1-1--+
2п-1 1-2п 3 ■ 4п 7 ■ 8п
1
1
1
- + ...
15 16я 31-32я 63■64я Ниже Эйлер приводит приближенное значение а, причем не только в десятичной системе 1,60669515241527, но и в двоичной 1,10011011010100000110000001110000001100100000001.
Вычисления в двоичной системе здесь удобнее, поскольку приходится суммировать дроби, в знаменателе которых стоят степени двойки. Подробно использование Эйлером двоичной системы счисления рассмотрено в статье [28].
Таким образом, Эйлер разработал методы вычисления константы Эрдёша - Борвейна и получил ее приближенное значение с точностью 13 знаков после запятой не позднее 1740 г. Однако эти результаты были опубликованы только через 10 лет. Возможно, Эйлер не считал нужным публиковать свои результаты, пока не получил обобщение (12). Кроме этого, можно предположить, что Эйлер пытался выразить значение новой константы через известные иррациональные константы, но никаких подтверждений этому мы не имеем, кроме уже процитированного утверждения из [25].
Следует отметить, что ряд (13) в истории науки оказался связан с именем Иоганна Генриха Ламберта (1728-1777), который рассматривал ряды вида
п -1
1 - чп
При яп =1 и ? =1 получаем ряд (13).
+
+
+
А.П. Юшкевич в [29, с. 206] подробно рас- называем константами Эйлера - Маскерони и
смотрел использование Эйлером рядов Лам- Эрдёша - Борвейна, нашел много полезных тож-
берта (для ая = я ) при изучении свойств сумм деств для их вычисления, смог вычислить их
делителей натуральных чисел и доказательстве значение с точностью до 15 десятичных цифр
пентагональной теоремы. Эти ряды также при- после запятой.
меняются в теории чисел для исследования рас- Нами выполнено систематическое описание
пределения простых чисел в натуральном ряду опубликованных работ Эйлера и заметок из за-
[25, с. 207]. писных книжек, имеющих отношение к вычис-
Константа Эрдёша - Борвейна находит лению упомянутых констант. Проведено экспе-
применение не только в теории чисел, но и в риментальное сравнение точности рядов для
теоретической информатике при анализе слож- вычисления константы Эйлера - Маскерони
ности алгоритмов, например, вместе с констан- при одинаковом числе суммируемых членов.
той Эйлера - Маскерони входит в формулу для Подтверждено, что Эйлер для вычислений ис-
вычислении ожидаемого числа сравнений при пользовал наиболее точный ряд. На основе об-
удачном поиске случайного элемента в дереве щепринятой датировки записных книжек уста-
цифрового поиска [30, р.355]. новлено, что основные методы вычисления кон-
Подводя итоги, отметим, что Эйлер впер- станты Эрдёша-Борвейна Эйлер получил не
вые рассмотрел константы, которые сегодня мы позднее 1740 г.
----------------------- 21.05.2010
Список использованной литературы:
1. Шухман Е.В. Приближенное вычисление числа пи с помощью ряда для arctg x в опубликованных и неопубликованных работах Леонарда Эйлера // История науки и техники. - 2008 - №4. - С. 2-17.
2. Шухман Е.В. Об оценке остатка асимптотического ряда для вычисления числа р, предложенного Л. Эйлером // История науки и техники. - 2009 - №10. - С. 2-7.
3. Havil J. Gamma. Exploring Euler’s Constant. - Princeton: Princeton University Press, 2003. - 266 p.
4. Glaisher J.W.L. On the History of Euler’s Constant // The Genius of Euler. Reflections on his Life and Work. ed. W.Dunham -Washington D.C.: Mathematical Association of America, 2007. - pp. 147-152.
5. Sandifier C.E. Gamma The Constant. [Electronic resource] - Washington D.C.: MAA, 2007. - URL: http://www.maa.org/ editorial/euler/»How Euler Did It 48 Gamma constant».pdf (date access 20.04.2010).
6. Mascheroni L. Adnotationes ad Euleri Calculum Integralem. - Ticini, 1790. - 72 p.
7. Dunham W. Euler: The master of us all. - Washington D.C.: Mathematical Association of America, 1999. - 185 p.
8. Euler L. De Progressionibus harmonicis observationes // Commentarii academiae scientiarum Petropolitanae. - 1740. - Vol. 7. -P. 150-161.
9. Euler L. De summis serierum reciprocarum // Commentarii academiae scientiarum Petropolitanae. - 1740. - Vol. 7. - P. 123-134.
10. Euler L. Inventio summae cuiusque seriei ex dato termino generali // Commentarii academiae scientiarum Petropolitanae. -1741. - Vol. 8. - P. 9-22.
11. Эйлер Л. Дифференциальное исчисление / Пер. Выготского М.Я. - М.-Л: Государственное издательство техникотеоретической литературы, 1949. - 580 с.
12. Euler L. De summis serierum numeros Bernoullianos involventium // Novi Commentarii academiae scientiarum Petropolitanae. -1770. - Vol. 14. - P. 129-167.
13. Euler L. De numero memorabili in summatione progressionis harmonicae naturalis occurrente // Acta Academiae Scientarum Imperialis Petropolitinae. - 1785. - Vol. 5. - pp. 45-75.
14. Euler L. De curva hypergeometrica hac aequatione expressa y = 1 • 2 • 3 •... • x // Novi Commentarii academiae scientiarum Petropolitanae. - 1769. - Vol. 13. - P. 3-66.
15. Красоткина Т.А. Переписка Л. Эйлера и Дж. Стирлинга // Историко-математические исследования, вып. X. - М.: Физматгиз, 1957. - С. 117-158.
16. Euler L. Briefwechsel // Leonhardi Euleri Opera Omnia. Ser. IVA: Commercium epistolicum. Vol. II .- Basel: Birkhдuser, 1998. - 757 p.
17.Juskevic A.P., Winter E. Leonhard Eulerund Christian Goldbach. Briefwechsel 1729-1764. - Berlin:Akademie-Verlag, 1965,- 420p.
18. Санкт-Петербургский филиал Архива РАН (ПФА РАН). Ф. 136. On. 1. №129-140.
19. Игнатушина И.В. Вопросы теории Г-функции в записных книжках Л. Эйлера // Из истории математики XVIII века. К предстоящему 300-летнему юбилею Леонарда Эйлера: Сборник научных статей. Выпуск 3. - Оренбург: Изд-во ОГПУ, 2002. - С. 30-53.
20. Knuth D.E. Euler’s Constant to 1271 Places / Donald E. Knut // Mathematics of Computation. - 1962. - Vol. 16, No. 79. -pp. 275-281.
21. Weisstein E.W. Erdos-Borwein Constant. [Electronic resource] // MathWorld - Wolfram Web Resource. URL: http:// mathworld.wolfram.com/Erdos-BorweinConstant.html (date access 20.04.2010)
22. Erdös P. On arithmetical properties of Lambert series//Journal of Indian Mathematical Society. - 1948. - V. 12. - pp. 63-66.
23. Borwein P. B. On the irrationality of И11(ч' +'•) //Journal of Number Theoiy. - 1991. - V. 37, 3. - pp. 253-259.
24. Euler L. Methodus generalis summandi progressions // Commentarii academiae scientiarum Petropolitanae. - 1738. - Vol. 6. -P. 68-97.
25. Euler L. Consideratio quarumdam serierum, quae singularibus proprietatibus sunt praeditae // Novi Commentarii academiae scientiarum Petropolitanae. - 1753. - Vol. 3. - P. 86-108.
26. Sandifier C.E. A false logarithm series. [Electronic resource] - Washington D.C.: Mathematical Association of America, 2007. -URL: http://www.maa.org/editorial/euler/»How Euler Did It 50 false log series».pdf (date access 20.04.2010)
27. Gautschi, W. On Euler’s attempt to compute logarithms by interpolation: A commentary to his letter of February 16, 17З4 to Daniel Bernoulli. // Journal of Computational and Applied Mathematics. - 2008 -V. 219, 2. - pp. 408-415.
28. Шухман A.E., Шухман Е.В. Заметки о недесятичных системах счисления в опубликованных работах и записных книжках Леонарда Эйлера // Математика в высшем образовании. - 2008.- №6. - С. 14З-146.
29. Юшкевич А.П. И.Г. Ламберт и Л. Эйлер // Историко-математические исследования, вып. XXV. - М.: Наука, 1980. - С. 189-217.
30. Finch, Steven R. Mathematical Constants. - Cambridge: Cambridge University Press, 200З. - 602 p.
Сведения об авторе:
Шухман Елена Владимировна, старший преподаватель кафедра информатики и методики преподавания информатики Оренбургского государственного педагогического университета 460044. г. Оренбург, ул. Конституции 9/1 кв. 25, тел. 89226217747, e-mail: [email protected]
Shukhman E.V.
Approximate calculation of some mathematical constants in the published and unpublished works of L. Eyler. There is the published work of Eyler and note from his notebooks, connected with the calculation of the constant of Eyler-Maskheroni g and constant of Erdesh -Borveyn b.
The key words: history of mathematics, Leonard Eyler, Eyler-Maskheroni constant, Erdesh -Borveyn constant.
Bibliography:
1. Shukman E.V. Approximate calculation of pi using the series for the arctg x in the published and unpublished works by Leonhard Euler. || Istoriya nauki i tekhniki. - 2008 - N.4. - pp. 2-17. (in Russian)
2. Shukman E.V. An estimate of remainder of the asymptotic series for calculating of П introduced by Euler. || Istoriya nauki i tekhniki. - 2009 - N.10. - pp. 2-7. (in Russian)
3. Havil J. Gamma. Exploring Euler’s Constant. - Princeton: Princeton University Press, 2003 - 266 p.
4. Glaisher J.W.L. On the History of Euler’s Constant. || The Genius of Euler. Reflections on his Life and Work. ed. W.Dunham -Washington D.C.: Mathematical Association of America, 2007. - pp.147-152.
5. Sandifier C.E. Gamma The Constant. [Electronic resource] - Washington D.C.: MAA, 2007. - URL: http:||www.maa.org| editorial|euler|»How Euler Did It 48 Gamma constant».pdf (date access 20.04.2010).
6. Mascheroni L. Adnotationes ad Euleri Calculum Integralem. - Ticini, 1790 - 72 p.
7. Dunham W. Euler: The master of us all. - Washington D.C.: Mathematical Association of America, 1999. - 185 p.
8. Euler L. De Progressionibus harmonicis observationes. || Commentarii academiae scientiarum Petropolitanae. - 1740 -Vol.7 - P.150-161.
9. Euler L. De summis serierum reciprocarum. || Commentarii academiae scientiarum Petropolitanae. - 1740 - Vol. 7 - P. 123-134.
10. Euler L. Inventio summae cuiusque seriei ex dato termino generali. || Commentarii academiae scientiarum Petropolitanae. - 1741 - Vol. 8 - P. 9-22.
11. Euler L. Foundations of Differential Calculus- Moscow, 1949.- 580 p. (in Russian)
12. Euler L. De summis serierum numeros Bernoullianos involventium || Novi Commentarii academiae scientiarum Petropolitanae. - 1770 - Vol. 14 - P. 129-167.
13. Euler L. De numero memorabili in summatione progressionis harmonicae naturalis occurrente. || Acta Academiae Scientarum Imperialis Petropolitinae. - 1785 - Vol. 5 - pp. 45-75
14. Euler L. De curva hypergeometrica hac aequatione expressa y = 1 ■ 2■ 3■... ■ x || Novi Commentarii academiae scientiarum Petropolitanae. - 1769 - Vol. 13 - P. 3-66.
15. Krasotkina T.A. The correspondence between Euler and Stirling. || Istoriko-matematicheskiye issledovaniya, vol. X. -M.: Fizmatgiz, 1957. - pp. 117-158. (in Russian)
16. Euler L. Briefwechsel || Leonhardi Euleri Opera Omnia. Ser. IVA: Commercium epistolicum. Vol. II - Basel: Birkf^user, 1998. - 757 p.
17. Ju^kevM A.P., Winter E. Leonhard Euler und Christian Goldbach. Briefwechsel 1729-1764. - Berlin:Akademie-Verlag, 1965.- 420 p.
18. Sankt-Petersburg’s branch of Archive Russian Science Academy, collection 136, list 1, documents 129-140.
19. Ignatushina I.V. Reviews of Gamma function theory in notebooks by L. Euler. || From the history of mathematics by XVIII sc. Vol.3 - Orenburg: OSPU, 2002. - pp. 30-53. (in Russian)
20. Knuth D.E. Euler’s Constant to 1271 Places | Donald E. Knut || Mathematics of Computation - 1962 - Vol. 16, No. 79 -pp. 275-281.
21. Weisstein E.W. Erdos-Borwein Constant. [Electronic resource] || MathWorld - Wolfram Web Resource. URL: http:|| mathworld.wolfram.comlErdos-BorweinConstant.html (date access 20.04.2010)
22. Erd^ P. On arithmetical properties of Lambert series|| Journal of Indian Mathematical Society. - 1948 - V. 12 - pp. 63-66.
23. Borwein P. B. On the irrationality of ^l/(?” + r) || Journal of Number Theory. - 1991. - V. 37, 3 - pp. 253-259.
24. Euler L. Methodus generalis summandi progressions.!! Commentarii academiae scientiarum Petropolitanae. - 1738. -Vol. 6 - P. 68-97.
25. Euler L. Consideratio quarumdam serierum, quae singularibus proprietatibus sunt praeditae || Novi Commentarii academiae scientiarum Petropolitanae. - 1753 - Vol. 3 - P. 86-108.
26. Sandifier C.E. A false logarithm series. [Electronic resource] - Washington D.C.: Mathematical Association of America, 2007. - URL: http:||www.maa.org|editorial|euler|»How Euler Did It 50 false log series».pdf (date access 20.04.2010)
27. Gautschi, W. On Euler’s attempt to compute logarithms by interpolation: A commentary to his letter of February 16, 1734 to Daniel Bernoulli. || Journal of Computational and Applied Mathematics. - 2008 -V. 219, 2 - pp. 408-415.
28. Shukhman A.E., Shukhman E.V. Notes about nondecimal numerations in the published papers and note-books by Leonard Euler. || Matematika v vysshem obrazovanii. - 2008.- №6. - pp.143-146. (in Russian)
29. Yushkevich A.P J.H. Lambert and L. Euler. || Istoriko-matematicheskiye issledovaniya, vol. XXV. - М.: Nauka, 1980. - pp. 189-217. (in Russian)
30. Finch, Steven R. Mathematical Constants. - Cambridge: Cambridge University Press, 2003. - 602 p.
