Інтегруючи вроздріб , знаходь :
Продовжимо цей процес, поки не дійдемо до похідної порядку
де
Підставляючи в (1.4.2) замість
Надаючи
Розкладання
, (1.4.5)
де
а
Розкладання
де всі коефіцієнти
Диференціюючи (1.4.6), легко бачити, що при всіх таких
У сумі
перший доданок не ділиться на
Ціле число, відмінне від нуля, має модуль, більший або дорівнюючий одиниці, так що
Оцінимо тепер величину
У всіх інтегралах, що входять в
так , що при всіх
що суперечить отриманій раніше нерівності
Таким чином, припущення, що
Теорема доведена.
РОЗДІЛ ІІ
НАБЛИЖЕНЕ ОБЧИСЛЕННЯ ЧИСЛА „π”
2.1 Методи наближеного обчислення числа „π” за допомогою числових рядів
Число pз'являється не тільки при рішенні геометричних задач. Із часу Ф.Віета (1540–1603) розвідка меж деяких арифметичних послідовностей, що встановлені простими законами, приводило до того ж числа p. У зв'язку із цим у визначенні числа pбрали участь майже всі відомі математики: Ф.Віет, Х.Гюйгенс, Дж.Валліс, Г.В.Лейбніц, Л.Ойлер [21]. Вони одержували різні вирази для pу вигляді нескінченного добутку, суми ряду, нескінченного дробу.
Наприклад, в 1593 Ф.Виет (15401603) вивів формулу [21]
В 1665 Джон Валліс (16161703) довів, що [21]
,
Або
.
Ця формула має його ім'я. Для практичного знаходження числа pвона мало придатна, але корисна в різних теоретичних міркуваннях. В історію науки вона ввійшла як один з перших прикладів нескінченних добутків.
Готфрид Вільгельм Лейбниц (16461716) в 1673 установив наступну формулу [21]:
яка представляє число p/4 як суму ряду. Однак цей ряд сходиться дуже повільно. Щоб обчислити pз точністю до десяти знаків, треба було б, як показав Ісаак Ньютон, знайти суму 5 млрд чисел і затратити на це біля тисячі років безперервної роботи.
Леонарду Ойлеру належать і інші гарні формули рядів повільної східності, що включають p [21]:
,
,
.
В останній формулі в чисельнику розташовані всі прості числа, а знаменники відрізняються від них на одиницю, причому знаменник більше чисельника, якщо той має вигляд 4n + 1, і менше в противному випадку.
Лондонський математик Джон Мэчин (16801751) в 1706, застосовуючи формулу [21]
одержав вираження
arctg 1 = 4 arctg
Підстановка в нього arctg 1 =
(arctg x =