Пи (число)

Если диаметр окружности равен единице, то длина окружности — это число «пи»

Полупериод синуса в «пи» раз больше его амплитуды

Иррациональные числа ζ(3) — ρ — √2 — √3 — √5 — ln 2 — φ,Φ — ψ — α,δ — e — eπ и π
Система счисления	Оценка числа $\pi$
Десятичная	3,1415926535897932384626433832795…
Двоичная	11,00100100001111110110…
Шестнадцатеричная	3,243F6A8885A308D31319…
Шестидесятеричная	3; 08 29 44 00 47 25 53 07 …
Рациональные приближения	22⁄7, 179⁄57, 223⁄71, 333⁄106, 355⁄113, 103 993⁄33 102 (перечислено в порядке увеличения точности)
Непрерывная дробь	[3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1, 14, 2, 1, 1, … ] (Эта непрерывная дробь не периодическая. Записана в линейной нотации)
Тригонометрия	$\pi$ радиан = 180°

3,1415926535 8979323846 2643383279 5028841971 6939937510 5820974944 5923078164 0628620899 8628034825 3421170679 8214808651 3282306647 0938446095 5058223172 5359408128 4811174502 8410270193 8521105559 6446229489 5493038196 4428810975 6659334461 2847564823 3786783165 2712019091 4564856692 3460348610 4543266482 1339360726 0249141273 7245870066 0631558817 4881520920 9628292540 9171536436 7892590360 0113305305 4882046652 1384146951 9415116094 3305727036 5759591953 0921861173 8193261179 3105118548 0744623799 6274956735 1885752724 8912279381 8301194912 9833673362 4406566430 8602139494 6395224737 1907021798 6094370277 0539217176 2931767523 8467481846 7669405132 0005681271 4526356082 7785771342 7577896091 7363717872 1468440901 2249534301 4654958537 1050792279 6892589235 4201995611 2129021960 8640344181 5981362977 4771309960 5187072113 4999999837 2978049951 0597317328 1609631859 5024459455 3469083026 4252230825 3344685035 2619311881 7101000313 7838752886 5875332083 8142061717 7669147303 5982534904 2875546873 1159562863 8823537875 9375195778 1857780532 1712268066 1300192787 6611195909 2164201989
…

---

Число $\pi$ с первой тысячей высших разрядов десятичной дроби

${\boldsymbol {\pi }}$ (произносится «пи») — математическая постоянная, равная отношению длины окружности к её диаметру. Числу «пи» также можно дать множество других определений, например это отношение полупериода функции $y=\sin(x)$ к её максимальному значению. Обозначается буквой греческого алфавита «π». На июнь 2022 года известны первые 100 триллионов знаков числа «пи» после запятой.

Свойства

Трансцендентность и иррациональность

Число $\pi$ иррационально, то есть его значение не может быть точно выражено в виде дроби ${\frac {m}{n}}$, где $m$ — целое число, а $n$ — натуральное. Следовательно, его десятичное представление никогда не заканчивается и не является периодическим. Иррациональность числа $\pi$ была впервые доказана Иоганном Ламбертом в 1761 году путём разложения тангенса в непрерывную дробь. В 1794 году Лежандр привёл более строгое доказательство иррациональности чисел $\pi$ и $\pi ^{2}$. Несколько доказательств подробно приведено в статье Доказательства иррациональности π.

$\pi$ — трансцендентное число, то есть оно не может быть корнем какого-либо многочлена с целыми коэффициентами. Трансцендентность числа $\pi$ была доказана в 1882 году профессором Кёнигсбергского, а позже Мюнхенского университета Линдеманом. Доказательство упростил Феликс Клейн в 1894 году. Поскольку в евклидовой геометрии площадь круга и длина окружности являются функциями числа $\pi$, то доказательство трансцендентности $\pi$ положило конец попыткам построить квадратуру круга, длившимся более 2,5 тысяч лет.

В 1934 году Гельфонд доказал трансцендентность числа $e^{\pi }$. В 1996 году Юрий Нестеренко доказал, что для любого натурального $n$ числа $\pi$ и $e^{\pi {\sqrt {n}}}$ алгебраически независимы, откуда, в частности, следует трансцендентность чисел $\pi +e^{\pi },\pi e^{\pi }$ и $e^{\pi {\sqrt {n}}}$.

$\pi$ является элементом кольца периодов (а значит, вычислимым и арифметическим числом). Но неизвестно, принадлежит ли $1/\pi$ к кольцу периодов.

Соотношения

Известно много формул для вычисления числа $\pi$:

• Формула Виета для приближения числа π:

${\dfrac {2}{\pi }}={\dfrac {\sqrt {2}}{2}}\cdot {\dfrac {\sqrt {2+{\sqrt {2}}}}{2}}\cdot {\dfrac {\sqrt {2+{\sqrt {2+{\sqrt {2}}}}}}{2}}\cdot \ldots$

Это первое известное явное представление $\pi$ с бесконечным числом операций. Доказать его можно следующим образом. Применив тождество $\sin 2\varphi =2\sin \varphi \cos \varphi$ рекурсивно и перейдя к пределу, получим

$\varphi \cos {\dfrac {\varphi }{2}}\cos {\dfrac {\varphi }{4}}\cdots =\sin \varphi .$

Остаётся подставить $\varphi ={\dfrac {\pi }{2}}$ и воспользоваться формулой косинуса двойного угла: $\cos 2\varphi =\cos ^{2}\varphi -\sin ^{2}\varphi .$

• Формула Валлиса:

${\dfrac {2}{1}}\cdot {\dfrac {2}{3}}\cdot {\dfrac {4}{3}}\cdot {\dfrac {4}{5}}\cdot {\dfrac {6}{5}}\cdot {\dfrac {6}{7}}\cdot {\dfrac {8}{7}}\cdot {\dfrac {8}{9}}\cdots ={\dfrac {\pi }{2}}$

• Ряд Лейбница:

${\dfrac {1}{1}}-{\dfrac {1}{3}}+{\dfrac {1}{5}}-{\dfrac {1}{7}}+{\dfrac {1}{9}}-\cdots ={\dfrac {\pi }{4}}$

• Ряд с использованием двойного факториала:

$2+{1 \over 3}\left(2+{2 \over 5}\left(2+{3 \over 7}\left(2+{4 \over 9}(\dots )\right)\right)\right)=2\sum _{k=0}^{\infty }{\dfrac {k!}{(2k+1)!!}}=\pi$

$1+{2 \over 2}\left(1+{1 \over 3}\left(1+{4 \over 4}\left(1+{2 \over 5}\left(1+{6 \over 6}(\dots )\right)\right)\right)\right)=\pi$

• Формула, найденная Сринивасой Рамануджаном:

$1-5\left({\frac {1}{2}}\right)^{3}+9\left({\frac {1\times 3}{2\times 4}}\right)^{3}-13\left({\frac {1\times 3\times 5}{2\times 4\times 6}}\right)^{3}+\ldots ={\frac {2}{\pi }}$

• Ряд Нилаканты:

$3+{\dfrac {4}{2\times 3\times 4}}-{\dfrac {4}{4\times 5\times 6}}+{\dfrac {4}{6\times 7\times 8}}-{\dfrac {4}{8\times 9\times 10}}+{\dfrac {4}{10\times 11\times 12}}-\cdots ={\pi }$

• Другие ряды:

${\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+{\frac {1}{5^{2}}}+\dots ={\frac {\pi ^{2}}{6}}$ (ряд обратных квадратов)

${\frac {1}{1^{2}}}-{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}-{\frac {1}{4^{2}}}+{\frac {1}{5^{2}}}-\dots ={\pi ^{2} \over 12}$

${\frac {1}{1^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{5^{2}}}-\dots ={\pi ^{2} \over 8}$ (следует из предыдущих формул)

${\frac {1}{2^{2}}}+{\frac {1}{4^{2}}}+{\frac {1}{6^{2}}}-\dots ={\pi ^{2} \over 24}$

${\frac {1}{1^{4}}}+{\frac {1}{2^{4}}}+{\frac {1}{3^{4}}}+{\frac {1}{4^{4}}}+{\frac {1}{5^{4}}}+\dots ={\frac {\pi ^{4}}{90}}$

${\frac {1}{1^{6}}}+{\frac {1}{2^{6}}}+{\frac {1}{3^{6}}}+{\frac {1}{4^{6}}}+{\frac {1}{5^{6}}}+\dots ={\frac {\pi ^{6}}{945}}$

$\pi =2{\sqrt {3}}\sum \limits _{k=0}^{\infty }{\frac {(-1)^{k}}{\,3^{k}\,(2k+1)}}$

$\pi =\;\;\sum _{k=0}^{\infty }{\frac {(-1)^{k}}{4^{k}}}\left({\frac {2}{4k+1}}+{\frac {2}{4k+2}}+{\frac {1}{4k+3}}\right)$

Следующие ряды позволяют вычислять знаки в шестнадцатеричной записи числа пи без вычисления предыдущих знаков:

${\begin{aligned}\pi &={\frac {1}{2}}\sum _{k=0}^{\infty }{\frac {1}{16^{k}}}\left({\frac {8}{8k+2}}+{\frac {4}{8k+3}}+{\frac {4}{8k+4}}-{\frac {1}{8k+7}}\right)=\\&={\frac {1}{4}}\sum _{k=0}^{\infty }{\frac {1}{16^{k}}}\left({\frac {8}{8k+1}}+{\frac {8}{8k+2}}+{\frac {4}{8k+3}}-{\frac {2}{8k+5}}-{\frac {2}{8k+6}}-{\frac {1}{8k+7}}\right)\end{aligned}}$

• Кратные ряды:

$\pi =8\sum \limits _{k=1}^{\infty }\sum \limits _{m=1}^{\infty }{\frac {1}{(4m-2)^{2k}}}=4\sum \limits _{k=1}^{\infty }\sum \limits _{m=1}^{\infty }{\frac {m^{2}-k^{2}}{(m^{2}+k^{2})^{2}}}={\sqrt[{4\,\,}]{360\sum \limits _{k=1}^{\infty }\sum \limits _{m=1}^{k}{\frac {1}{m(k+1)^{3}}}}}$

• Пределы:

$\pi =\lim \limits _{m\rightarrow \infty }{\frac {(m!)^{4}\,{2}^{4m}}{\left[(2m)!\right]^{2}\,m}}$

$\pi ={\sqrt {\frac {6}{\lim \limits _{n\to \infty }\prod \limits _{k=1 \atop p_{k}\in \mathbf {P} }^{n}\,\left(1-{\frac {1}{p_{k}^{2}}}\right)}}}\quad \to$ здесь $p_{k}$ — простые числа

$\pi =\lim _{n\to \infty }2^{n}{\sqrt {2-{\sqrt {2+{\sqrt {2+{\sqrt {2+\dots +{\sqrt {2}}}}}}}}}},$ где $n$ равно числу корней в выражении.

• Тождество Эйлера:

$e^{i\pi }+1=0\;$

• Другие связи между константами:

${\frac {\pi }{e}}=2\prod \limits _{k=1}^{\infty }\left({\frac {2k+1}{2k-1}}\right)^{2k-1}\left({\frac {k}{k+1}}\right)^{2k}$

$\pi \cdot e=6\prod \limits _{k=1}^{\infty }\left({\frac {2k+3}{2k+1}}\right)^{2k+1}\left({\frac {k}{k+1}}\right)^{2k}$

${\frac {e}{\sqrt {2\pi }}}=\prod _{n=1}^{\infty }{\frac {(1+{\frac {1}{n}})^{n+{\frac {1}{2}}}}{e}}$

Формула, найденная Сринивасой Рамануджаном:

$1+{\frac {1}{1\cdot 3}}+{\frac {1}{1\cdot 3\cdot 5}}+{\frac {1}{1\cdot 3\cdot 5\cdot 7}}+{\frac {1}{1\cdot 3\cdot 5\cdot 7\cdot 9}}+\ldots +{\frac {1}{1+\displaystyle {\frac {1}{1+\displaystyle {\frac {2}{1+\displaystyle {\frac {3}{1+\displaystyle {\frac {4}{1+\displaystyle {\frac {5}{1+\ldots }}}}}}}}}}}}={\sqrt {\frac {e\cdot \pi }{2}}}$

• Т. н. интеграл Пуассона или интеграл Гаусса:

$\int \limits _{-\infty }^{+\infty }\ e^{-x^{2}}{dx}={\sqrt {\pi }}$

$\int \limits _{0}^{\infty }{\frac {Br(x)}{\displaystyle e^{Br^{4}(x)}}}dx={\sqrt {\pi }},$ где $Br(x)$ — корень Бринга.

• Интегральный синус:

$\int \limits _{-\infty }^{+\infty }{{\frac {\sin x}{x}}dx}=\pi$

• Выражение через дилогарифм:

$\pi ={\sqrt {6\ln ^{2}2+12\ \operatorname {Li} _{2}\left({\frac {1}{2}}\right)}}$

• Через несобственный интеграл:

$\int \limits _{0}^{+\infty }{\frac {dx}{(x+1){\sqrt {x}}}}=\pi$;

$\int \limits _{-\infty }^{+\infty }{\frac {dx}{(x^{2}+1)}}=\pi$

История

Символ константы

Впервые обозначением этого числа греческой буквой $\pi$ воспользовался британский математик Уильям Джонс в 1706 году, а общепринятым оно стало после работ Леонарда Эйлера в 1737 году. Это обозначение происходит от начальной буквы греческих слов περιφέρεια — окружность, периферия и περίμετρος — периметр.

Исследование числа $\pi$ и уточнение его значения шли параллельно с развитием всей математики и занимают несколько тысячелетий. Сначала $\pi$ изучалось с позиции геометрии, затем развитие математического анализа в XVII веке показало универсальность этого числа.

Геометрический период

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

В Древнем Вавилоне принимали $\pi$ равным трём, что соответствовало замене длины окружности на периметр вписанного в неё шестиугольника. Площадь круга определялась как квадрат длины окружности, делённый на 12, что также соответствует допущению $\pi =3.$ Самые ранние из известных более точных приближений датируются примерно 1900-ми годами до н. э.: это ²⁵/₈ = 3,125 (глиняная табличка из Суз периода Старовавилонского царства) и ²⁵⁶/₈₁ ≈ 3,16 (египетский папирус Ахмеса периода Среднего царства); оба значения отличаются от истинного не более, чем на 1 %. Ведийский текст «Шатапатха-брахмана» даёт в качестве приближения $\pi$ дробь ³³⁹/₁₀₈ ≈ 3,139.

Китайский философ и учёный Чжан Хэн во II веке предложил для числа $\pi$ два эквивалента: 92/29 ≈ 3,1724 и ${\sqrt {10}}$ ≈ 3,1622. В священных книгах джайнизма, написанных в V—VI веках до н. э., обнаружено, что тогда и в Индии $\pi$ принимали равным ${\sqrt {10}}$

Алгоритм Лю Хуэя для вычисления $\pi$

Архимед, возможно, первым предложил математический способ вычисления $\pi$. Для этого он вписывал в окружность и описывал около неё правильные многоугольники. Принимая диаметр окружности за единицу, Архимед рассматривал периметр вписанного многоугольника как нижнюю оценку длины окружности, а периметр описанного многоугольника — как верхнюю оценку. Рассматривая правильный 96-угольник, Архимед получил оценку $3{\frac {10}{71}}<\pi <3{\frac {1}{7}}$ и предложил для приближённого вычисления $\pi$ верхнюю из найденных им границ: — 22/7 ≈ 3,142857142857143.

Следующее приближение в европейской культуре связано с астрономом Клавдием Птолемеем (ок. 100 — ок. 170), который создал таблицу хорд, дав значение хорды для углов в диапазоне от 1/2 градуса до 180 градусов с шагом в полградуса, что позволило ему получить для $\pi$ приближение ³⁷⁷/₁₂₀, равное приближённо вычисленной им половине периметра 720-угольника, вписанного в единичную окружность. Леонардо Пизанский (Фибоначчи) в книге «Practica Geometriae» (около 1220 г.), видимо, принимая приближение Птолемея за нижнюю границу для $\pi$, приводит своё приближение — ⁸⁶⁴/₂₇₅. Но оно оказалось хуже, чем у Птолемея, поскольку последний ошибся при определении длины хорды в полградуса в большую сторону, в результате чего приближение ³⁷⁷/₁₂₀ оказалось верхней границей для $\pi$.

В Индии Ариабхата и Бхаскара I использовали приближение 3,1416. Варахамихира в VI веке пользуется в «Панча-сиддхантике» приближением ${\sqrt {10}}$.

Около 265 года н. э. математик Лю Хуэй из царства Вэй предоставил простой и точный итеративный алгоритм для вычисления $\pi$ с любой степенью точности. Он самостоятельно провёл вычисление для 3072-угольника и получил приближённое значение для $\pi$ по следующему принципу:

$\pi \approx A_{3072}={3\cdot 2^{8}\cdot {\sqrt {2-{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+{\sqrt {2+1}}}}}}}}}}}}}}}}}}}\approx 3,14159.$

Позднее Лю Хуэй придумал быстрый метод вычисления $\pi$ и получил приближённое значение 3,1416 только лишь с 96-угольником, используя преимущества того факта, что разница в площади следующих друг за другом многоугольников формирует геометрическую прогрессию со знаменателем 4.

В 480-х годах китайский математик Цзу Чунчжи продемонстрировал, что $\pi$ ≈ ³⁵⁵/₁₁₃, и показал, что 3,1415926 < $\pi$ < 3,1415927, используя алгоритм Лю Хуэя применительно к 12288-угольнику. Это значение оставалось самым точным приближением числа $\pi$ в течение последующих 900 лет.

Классический период

До II тысячелетия было известно не более 10 цифр $\pi$. Дальнейшие крупные достижения в изучении $\pi$ связаны с развитием математического анализа, в особенности с открытием рядов, позволяющих вычислить $\pi$ с любой точностью, суммируя подходящее количество членов ряда.

Ряд Мадхавы — Лейбница

В 1400-х годах Мадхава из Сангамаграмы нашёл первый из таких рядов:

${\pi }={\frac {4}{1}}-{\frac {4}{3}}+{\frac {4}{5}}-{\frac {4}{7}}+\cdots$

Этот результат известен как ряд Мадхавы — Лейбница, или ряд Грегори — Лейбница (после того, как он был заново обнаружен Джеймсом Грегори и Готфридом Лейбницем в XVII веке). Однако этот ряд сходится к $\pi$ очень медленно, что приводит к сложности вычисления многих цифр числа на практике — необходимо сложить около 4000 членов ряда, чтобы улучшить оценку Архимеда. Однако преобразованием этого ряда в

$\pi ={\sqrt {12}}\,\left(1-{\frac {1}{3\cdot 3}}+{\frac {1}{5\cdot 3^{2}}}-{\frac {1}{7\cdot 3^{3}}}+\cdots \right)$

Мадхава смог вычислить $\pi$ как 3,14159265359, верно определив 11 цифр в записи числа. Этот рекорд был побит в 1424 году персидским математиком Джамшидом ал-Каши, который в своём труде под названием «Трактат об окружности» привёл 17 цифр числа $\pi$, из которых 16 верные.

Лудольфово число

Первым крупным европейским вкладом со времён Архимеда был вклад голландского математика Людольфа ван Цейлена, затратившего десять лет на вычисление числа $\pi$ с 20 десятичными цифрами (этот результат был опубликован в 1596 году). Применив метод Архимеда, он довёл удвоение до n-угольника, где n = 60·2²⁹. Изложив свои результаты в сочинении «Об окружности» («Van den Circkel»), Лудольф закончил его словами: «У кого есть охота, пусть идёт дальше». После смерти в его рукописях были обнаружены ещё 15 точных цифр числа $\pi$. Лудольф завещал, чтобы найденные им знаки были высечены на его надгробном камне. В честь него число $\pi$ иногда называли «лудольфовым числом» или «константой Лудольфа».

Лудольфово число — приближённое значение для числа $\pi$ с 35 верными десятичными знаками.

Формула Виета для приближения π

Примерно в это же время в Европе начали развиваться методы анализа и определения бесконечных рядов. Первым таким представлением была формула Виета для приближения числа π:

${\frac {2}{\pi }}={\frac {\sqrt {2}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2+{\sqrt {2}}}}}}{2}}\cdot \cdots$,

найденная Франсуа Виетом в 1593 году.

Формула Валлиса

Другим известным результатом стала формула Валлиса:

${\frac {\pi }{2}}={\frac {2}{1}}\cdot {\frac {2}{3}}\cdot {\frac {4}{3}}\cdot {\frac {4}{5}}\cdot {\frac {6}{5}}\cdot {\frac {6}{7}}\cdot {\frac {8}{7}}\cdot {\frac {8}{9}}\cdots$,

выведенная Джоном Валлисом в 1655 году.

Аналогичные произведения:

$\pi =3\cdot {\frac {\sqrt {3}}{2}}\prod \limits _{k=1}^{\infty }{\frac {k^{2}}{k^{2}-\left({\frac {1}{3}}\right)^{2}}}$

$\pi ={\frac {3}{2}}\cdot {\frac {\sqrt {3}}{2}}\prod \limits _{k=1}^{\infty }{\frac {k^{2}}{k^{2}-\left({\frac {2}{3}}\right)^{2}}}$

$\pi =4\cdot {\frac {\sqrt {2}}{2}}\prod \limits _{k=1}^{\infty }{\frac {k^{2}}{k^{2}-\left({\frac {1}{4}}\right)^{2}}}$

$\pi ={\frac {4}{3}}\cdot {\frac {\sqrt {2}}{2}}\prod \limits _{k=1}^{\infty }{\frac {k^{2}}{k^{2}-\left({\frac {3}{4}}\right)^{2}}}$

$\pi =6\cdot {\frac {1}{2}}\prod \limits _{k=1}^{\infty }{\frac {k^{2}}{k^{2}-\left({\frac {1}{6}}\right)^{2}}}$

$\pi ={\frac {6}{5}}\cdot {\frac {1}{2}}\prod \limits _{k=1}^{\infty }{\frac {k^{2}}{k^{2}-\left({\frac {5}{6}}\right)^{2}}}$

$\pi =4\cdot \prod \limits _{k=1}^{\infty }{\frac {k^{2}+k}{k^{2}+k+{\frac {1}{4}}}}$

$\pi ={\frac {9}{2}}\cdot {\frac {\sqrt {3}}{2}}\prod \limits _{k=1}^{\infty }{\frac {k^{2}+k}{k^{2}+k+{\frac {2}{9}}}}$

$\pi ={\frac {16}{3}}\cdot {\frac {\sqrt {2}}{2}}\prod \limits _{k=1}^{\infty }{\frac {k^{2}+k}{k^{2}+k+{\frac {3}{16}}}}$

$\pi ={\frac {36}{5}}\cdot {\frac {1}{2}}\prod \limits _{k=1}^{\infty }{\frac {k^{2}+k}{k^{2}+k+{\frac {5}{36}}}}$

Произведение, доказывающее родственную связь с числом e

$\pi =2{\sqrt {3}}\prod \limits _{k=1}^{\infty }{\frac {\left(2k+3\right)^{k+{\frac {1}{2}}}\left(2k-1\right)^{{\frac {1}{2}}-k}}{2k+1}}\left({\frac {k}{k+1}}\right)^{2k}$

Методы, основанные на тождествах

В Новое время для вычисления $\pi$ используются аналитические методы, основанные на тождествах. Перечисленные выше формулы малопригодны для вычислительных целей, поскольку либо используют медленно сходящиеся ряды, либо требуют сложной операции извлечения квадратного корня.

Формулы Мэчина

Первый эффективный и современный способ нахождения числа $\pi$ (а также натуральных логарифмов и других функций), основанный на развитой им теории рядов и математического анализа, дал в 1676 году Исаак Ньютон во втором письме к Ольденбургу, разлагая в ряд $\mathrm {arctg} {\frac {1}{2}}$. На основе этого метода наиболее эффективную формулу нашёл в 1706 году Джон Мэчин

${\frac {\pi }{4}}=4\,\mathrm {arctg} {\frac {1}{5}}-\mathrm {arctg} {\frac {1}{239}}$

Разложив арктангенс в ряд Тейлора

$\mathrm {arctg} \ x=x-{\frac {x^{3}}{3}}+{\frac {x^{5}}{5}}-{\frac {x^{7}}{7}}+\cdots$,

можно получить быстро сходящийся ряд, пригодный для вычисления числа $\pi$ с большой точностью.

Формулы такого типа, в настоящее время известные как формулы Мэчина, использовались для установки нескольких последовательных рекордов и остались наилучшими из известных методов для быстрого вычисления $\pi$ компьютерами. Выдающийся рекорд был поставлен феноменальным счётчиком Иоганном Дазе, который в 1844 году по распоряжению Гаусса применил формулу Мэчина для вычисления 200 цифр $\pi$. Наилучший результат к концу XIX века был получен англичанином Уильямом Шенксом, у которого ушло 15 лет для того, чтобы вычислить 707 цифр. Однако он допустил ошибку в 528-й цифре, в результате чего все последующие цифры оказались неверными. Чтобы избежать подобных ошибок, современные вычисления подобного рода проводятся дважды. Если результаты совпадают, то они с высокой вероятностью верные. Ошибку Шенкса обнаружил один из первых компьютеров в 1948 году; он же за несколько часов подсчитал 808 знаков $\pi$.

Пи — трансцендентное число

Теоретические достижения в XVIII веке привели к постижению природы числа $\pi$, чего нельзя было достичь лишь только с помощью одного численного вычисления. Иоганн Ламберт доказал иррациональность $\pi$ в 1761 году, а Адриен Лежандр в 1774 году доказал иррациональность $\pi ^{2}$. В 1735 году была установлена связь между простыми числами и $\pi$, когда Леонард Эйлер решил знаменитую Базельскую проблему — проблему нахождения точного значения

${\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots$,

которое оказалось равно ${\frac {\pi ^{2}}{6}}$. И Лежандр, и Эйлер предполагали, что $\pi$ может быть трансцендентным, что было в конечном итоге доказано в 1882 году Фердинандом фон Линдеманом.

В 1945 году Картрайт упростила элементарное доказательство Шарля Эрмита иррациональности числа $\pi$.

Символ «$\pi$»

Основная статья: История математических обозначений

Считается, что книга Уильяма Джонса «Обозрение достижений математики» (Synopsis Palmoriorum Mathesios, 1706 год) первая ввела в использование греческую букву $\pi$ для обозначения этой константы, но эта запись стала общепринятой после того, как Леонард Эйлер принял её (или пришёл к ней независимо) в 1737 году. Эйлер писал: «Существует множество других способов отыскания длин или площадей соответствующей кривой или плоской фигуры, что может существенно облегчить практику; например, в круге диаметр относится к длине окружности как 1 к $\left({\frac {16}{5}}-{\frac {4}{239}}\right)-{\frac {1}{3}}\cdot \left({\frac {16}{5^{3}}}-{\frac {4}{239^{3}}}\right)+\cdots =3{,}14159\cdots =\pi$».

Эра компьютерных вычислений

История точности вычисления числа $\pi$

Эпоха цифровой техники в XX веке привела к увеличению скорости появления вычислительных рекордов. Джон фон Нейман и другие использовали в 1949 году ЭНИАК для вычисления 2037 цифр $\pi$, которое заняло 70 часов. В 1961 году Дэниел Шенкс на IBM 7090 рассчитал 100 000 знаков, а отметка в миллион была пройдена в 1973 году. Такой прогресс имел место не только благодаря более быстрому аппаратному обеспечению, но и благодаря новым алгоритмам.

Голландский математик Лёйтзен Брауэр в первой половине XX века привёл в качестве примера бессмысленной задачи поиск в десятичном разложении $\pi$ последовательности $0123456789$ — по его мнению, нужная для этого точность никогда не будет достигнута. В конце XX века эта последовательность была обнаружена, она начинается с 17 387 594 880-го знака после запятой.

В начале XX века индийский математик Сриниваса Рамануджан обнаружил множество новых формул для $\pi$, некоторые из которых стали знаменитыми из-за своей элегантности и математической глубины. Одна из этих формул — это ряд:

${\frac {1}{\pi }}={\frac {2{\sqrt {2}}}{9801}}\sum _{k=0}^{\infty }{\frac {(4k)!(1103+26390k)}{(k!)^{4}396^{4k}}}$.

Братьями Чудновскими в 1987 году найдена похожая на неё:

${\frac {1}{\pi }}={\frac {1}{426880{\sqrt {10005}}}}\sum _{k=0}^{\infty }{\frac {(6k)!(13591409+545140134k)}{(3k)!(k!)^{3}(-640320)^{3k}}}$,

которая даёт примерно по 14 цифр на каждый член ряда. Чудновские использовали эту формулу для того, чтобы установить несколько рекордов в вычислении $\pi$ в конце 1980-х, включая тот, в результате которого в 1989 году была получена 1 011 196 691 цифра десятичного разложения.

Эта формула используется в программах, вычисляющих $\pi$ на персональных компьютерах, в отличие от суперкомпьютеров, которые устанавливают современные рекорды.

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

Прорыв в этом отношении был сделан в 1975 году, когда Ричард Брент и Юджин Саламин независимо друг от друга открыли алгоритм Брента — Саламина, который, используя лишь арифметику, на каждом шагу удваивает количество известных знаков. Алгоритм состоит из установки начальных значений

$a_{0}=1\quad \quad \quad b_{0}={\frac {1}{\sqrt {2}}}\quad \quad \quad t_{0}={\frac {1}{4}}\quad \quad \quad p_{0}=1$

и итераций:

$a_{n+1}={\frac {a_{n}+b_{n}}{2}}\quad \quad \quad b_{n+1}={\sqrt {a_{n}b_{n}}}$

$t_{n+1}=t_{n}-p_{n}(a_{n}-a_{n+1})^{2}\quad \quad \quad p_{n+1}=2p_{n}$,

пока a_n и b_n не станут достаточно близки. Тогда оценка $\pi$ даётся формулой

$\pi \approx {\frac {(a_{n}+b_{n})^{2}}{4t_{n}}}.$

При использовании этой схемы 25 итераций достаточно для получения 45 миллионов десятичных знаков. Похожий алгоритм, увеличивающий на каждом шаге точность в четыре раза, был найден Джонатаном Боруэйном Питером Боруэйном. При помощи этих методов Ясумаса Канада и его группа, начиная с 1980 года, установили большинство рекордов вычисления $\pi$ вплоть до 206 158 430 000 знаков в 1999 году. В 2002 году Канада и его группа установили новый рекорд — 1 241 100 000 000 десятичных знаков. Хотя большинство предыдущих рекордов Канады было установлено при помощи алгоритма Брента — Саламина, вычисление 2002 года использовало две формулы типа мэчиновских, которые работали медленнее, но радикально снижали использование памяти. Вычисление было выполнено на суперкомпьютере Hitachi из 64 узлов с 1 терабайтом оперативной памяти, способном выполнять 2 триллиона операций в секунду.

Важным развитием недавнего времени стала формула Бэйли — Боруэйна — Плаффа, открытая в 1997 году Саймоном Плаффом и названная по авторам статьи, в которой она впервые была опубликована. Эта формула,

$\pi =\sum _{k=0}^{\infty }{\frac {1}{16^{k}}}\left({\frac {4}{8k+1}}-{\frac {2}{8k+4}}-{\frac {1}{8k+5}}-{\frac {1}{8k+6}}\right),$

примечательна тем, что она позволяет извлечь любую конкретную шестнадцатеричную или двоичную цифру числа $\pi$ без вычисления предыдущих. С 1998 до 2000 года проект распределённых вычислений PiHex использовал видоизменённую формулу Беллара для вычисления квадриллионного бита числа $\pi$, который оказался нулём.

В 2006 году Саймон Плафф, используя алгоритм PSLQ, нашёл ряд красивых формул. Пусть q = e^π, тогда

${\frac {\pi }{24}}=\sum _{n=1}^{\infty }{\frac {1}{n}}\left({\frac {3}{q^{n}-1}}-{\frac {4}{q^{2n}-1}}+{\frac {1}{q^{4n}-1}}\right)$

${\frac {\pi ^{3}}{180}}=\sum _{n=1}^{\infty }{\frac {1}{n^{3}}}\left({\frac {4}{q^{n}-1}}-{\frac {5}{q^{2n}-1}}+{\frac {1}{q^{4n}-1}}\right)$

и другие вида

$\pi ^{k}=\sum _{n=1}^{\infty }{\frac {1}{n^{k}}}\left({\frac {a}{q^{n}-1}}+{\frac {b}{q^{2n}-1}}+{\frac {c}{q^{4n}-1}}\right)$,

где q = e^π, k — нечётное число, и a, b, c — рациональные числа. Если k — вида 4m + 3, то эта формула имеет особенно простой вид:

$p\pi ^{k}=\sum _{n=1}^{\infty }{\frac {1}{n^{k}}}\left({\frac {2^{k-1}}{q^{n}-1}}-{\frac {2^{k-1}+1}{q^{2n}-1}}+{\frac {1}{q^{4n}-1}}\right)$

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

В августе 2009 года учёные из японского университета Цукубы рассчитали последовательность из 2 576 980 377 524 десятичных разрядов.

19 октября 2011 года Александр Йи и Сигэру Кондо рассчитали последовательность с точностью в 10 триллионов цифр после запятой. 28 декабря 2013 года они же рассчитали последовательность с точностью до 12,1 триллиона цифр после запятой.

14 марта 2019 года, когда отмечался неофициальный праздник числа пи, компания Google представила данное число с 31,4 триллиона знаков после запятой. Вычислить его с такой точностью сумела сотрудница Google в Японии Эмма Харука-Ивао.

В августе 2021 года швейцарские учёные Университета прикладных наук Граубюндена смогли вычислить число $\pi$ с точностью до 62,8 триллиона знаков после запятой, обновив прошлые рекорды. Расчёты производились на суперкомпьютере 108 дней и девять часов. Скорость вычислений в два раза превысила рекорд, установленный Google в 2019 году, и в 3,5 раза — рекорд 2020 года, когда в числе $\pi$ было рассчитано более 50 триллионов цифр после запятой.

9 июня 2022 года команда Google под руководством Эммы Харука-Ивао рассчитала первые 100 триллионов знаков числа «пи» после запятой, потратив на это почти 158 дней.

Программа «Супер Пи», фиксирующая время, за которое вычисляется заданное количество знаков (до 32 миллионов) числа Пи, может быть использована для тестирования производительности компьютеров.

Рациональные приближения

• ${\frac {22}{7}}$ — Архимед (III век до н. э.) — древнегреческий математик, физик и инженер;
• ${\frac {377}{120}}$ — Клавдий Птолемей (II век н. э.) — древнегреческий астроном и географ, и Ариабхата (V век н. э.) — индийский астроном и математик;
• ${\frac {355}{113}}$ — Цзу Чунчжи (V век н. э.) — китайский астроном и математик.

Сравнение точности приближений

Число	Округлённое значение	Точность (совпадения разрядов)
$\pi$	3,14159265…
${\frac {22}{7}}$	3,14285714…	2 разряда после запятой
${\frac {377}{120}}$	3,14166667…	3 разряда после запятой
${\frac {355}{113}}$	3,14159292…	6 разрядов после запятой

Открытые проблемы

• Неизвестна точная мера иррациональности для чисел $\pi$ и $\pi ^{2}$ (но известно, что для $\pi$ она не превышает 7.103205334137).
• Неизвестна мера иррациональности ни для одного из следующих чисел: $\pi +e,\pi -e,\pi \cdot e,{\frac {\pi }{e}},\pi ^{e},\pi ^{\sqrt {2}},\ln \pi ,\pi ^{\pi },e^{\pi ^{2}}.$ Ни для одного из них неизвестно даже, является ли оно рациональным числом, алгебраическим иррациональным или трансцендентным числом. Следовательно, неизвестно, являются ли числа $\pi$ и $e$ алгебраически независимыми.
• Неизвестно, является ли ${^{n}\pi }$ целым числом при каком-либо положительном целом $n$ (см. тетрация).
• До сих пор ничего неизвестно о нормальности числа $\pi$; неизвестно даже, какие из цифр 0—9 встречаются в десятичном представлении числа $\pi$ бесконечное количество раз. Компьютерная проверка 200 млрд десятичных знаков $\pi$ показала, что все 10 цифр встречаются в этой записи практически одинаково часто:

Цифра	Сколько раз появляется
0	20 000 030 841
1	19 999 914 711
2	20 000 013 697
3	20 000 069 393
4	19 999 921 691
5	19 999 917 053
6	19 999 881 515
7	19 999 967 594
8	20 000 291 044
9	19 999 869 180

Однако строгое доказательство отсутствует.

• Неизвестно, принадлежит ли ${\frac {1}{\pi }}$ к кольцу периодов.

Метод иглы Бюффона

Основная статья: Задача Бюффона о бросании иглы

На разлинованную равноудалёнными прямыми плоскость произвольно бросается игла, длина которой равна расстоянию между соседними прямыми, так что при каждом бросании игла либо не пересекает прямые, либо пересекает ровно одну. Можно доказать, что отношение числа пересечений иглы с какой-нибудь линией к общему числу бросков стремится к ${\frac {2}{\pi }}$ при увеличении числа бросков до бесконечности. Данный метод иглы базируется на теории вероятностей и лежит в основе метода Монте-Карло.

Мнемонические правила и рекорды запоминания

Стихотворения для запоминания 8—11 знаков числа $\pi$:

Чтобы нам не ошибаться, Надо правильно прочесть: Три, четырнадцать, пятнадцать, Девяносто два и шесть. Надо только постараться И запомнить всё как есть: Три, четырнадцать, пятнадцать, Девяносто два и шесть.

Три, четырнадцать, пятнадцать, Девять, два, шесть, пять, три, пять. Чтоб наукой заниматься, Это каждый должен знать. Можно просто постараться И почаще повторять: «Три, четырнадцать, пятнадцать, Девять, двадцать шесть и пять».

Запоминанию может помогать соблюдение стихотворного размера:

Три, четырнадцать, пятнадцать, девять два, шесть пять, три пять
Восемь девять, семь и девять, три два, три восемь, сорок шесть
Два шесть четыре, три три восемь, три два семь девять, пять ноль два
Восемь восемь и четыре, девятнадцать, семь, один

Существуют стихи, в которых первые цифры числа $\pi$ зашифрованы в виде количества букв в словах:

Это я знаю и помню прекрасно: Пи многие знаки мне лишни, напрасны. Доверимся знаньям громадным Тех, пи кто сосчитал, цифр армаду. Учи и знай в числе известном За цифрой цифру, как удачу примечать.

Раз у Коли и Арины Распороли мы перины. Белый пух летал, кружился, Куражился, замирал, Ублажился, Нам же дал Головную боль старух. Ух, опасен пуха дух! — Георгий Александров

Подобные стихи существовали и в дореформенной орфографии, поэтому во всех словах, заканчивающихся на согласную, в конце стоит «ъ». Например, следующее стихотворение, сочинённое преподавателем Нижегородской гимназии Шенроком:

Кто и шутя и скоро пожелаетъ
Пи узнать число, ужъ знаетъ.

Мировой рекорд по запоминанию знаков числа $\pi$ после запятой принадлежит 21-летнему индийскому студенту Раджвиру Мина (Rajveer Meena), который в марте 2015 года воспроизвёл 70 000 знаков после запятой за 9 часов 27 минут. До этого, на протяжении почти 10 лет, рекорд держался за китайцем Лю Чао, который в 2006 году в течение 24 часов и 4 минут воспроизвёл 67 890 знаков после запятой без ошибки. В том же 2006 году японец Акира Харагути заявил, что запомнил число $\pi$ до 100-тысячного знака после запятой, однако проверить это официально не удалось.

В России рекорд по запоминанию был установлен в 2019 году Денисом Бабушкиным (13 202 знака).

В культуре

• В штате Индиана (США) в 1897 году была предпринята попытка принять Законопроект о числе пи, устанавливающий его значение равным 3,2. Данный билль не стал законом благодаря своевременному вмешательству профессора Университета Пердью, присутствовавшего в законодательном собрании штата во время рассмотрения данного закона;
• Существует художественный фильм, названный в честь числа Пи;
• Неофициальный праздник «День числа пи» ежегодно отмечается 14 марта, которое в американском формате дат (месяц/день) записывается как 3.14 , что соответствует приближённому значению числа $\pi$. Считается, что праздник придумал в 1987 году физик из Сан-Франциско Ларри Шоу, обративший внимание на то, что 14 марта ровно в 01:59 дата и время совпадают с первыми разрядами числа Пи = 3,14159;
  • Ещё одной датой, связанной с числом $\pi$, является 22 июля, которое называется «Днём приближённого числа Пи» (англ. Pi Approximation Day), так как в европейском формате дат этот день записывается как 22/7, а значение этой дроби является рациональным приближённым значением числа $\pi$.
• Американская прогрессив-метал-группа After The Burial записала песню Pi — The Mercury God of Infinity, в которой партия ритм-гитары и бас-бочки основана на высших разрядах десятичной дроби числа $\pi$.
• Франсуа Араго в «Общепонятной астрономии» писал:

Посмотрим, с какою точностью возможно, пользуясь цифрами Пи (числа Пи), вычислить длину окружности, радиус которой равен среднему расстоянию Земли от Солнца (150 000 000 км). Если для Пи взять 18 цифр, то ошибка на одну единицу в последней цифре повлечет за собой в длине вычисляемой окружности погрешность в 0,0003 миллиметра; это гораздо меньше толщины волоса.

Мы взяли 18 цифр Пи. Легко представить себе, какую невообразимо малую погрешность сделали бы, при огромности вычисляемой окружности, если бы воспользовались для Пи всеми известными его цифрами. Из сказанного ясно, как заблуждаются те, которые думают, будто науки изменили бы свой вид, и их применения много выиграли бы от нахождения точного Пи, если бы оно существовало.

Итак, даже для астрономии‚ — науки, прибегающей к наиболее точным вычислениям‚ — не требуется вполне точного решения…

См. также

• Точка Фейнмана
• Число τ
• e (число)

Примечания

Комментарии

Источники

Литература

• Жуков А. В. О числе π (рус.). — М.: МЦМНО, 2002. — 32 с. — ISBN 5-94057-030-5.
• Жуков А. В. Вездесущее число «пи». — 2-е изд. — М.: Издательство ЛКИ, 2007. — 216 с. — ISBN 978-5-382-00174-6.
• Кымпан, Флорика. История числа пи. — М.: Наука, 1971. — 217 с.
• Наварро, Хоакин. Секреты числа $\pi .$ Почему неразрешима задача о квадратуре круга. — М.: Де Агостини, 2014. — 143 с. — (Мир математики: в 45 томах, том 7). — ISBN 978-5-9774-0629-1.
• Перельман Я. И. Квадратура круга. — Л.: Дом занимательной науки, 1941. Переиздание: ЁЁ Медиа, ISBN 978-5-458-62773-3.
• Шумихин С., Шумихина А. Число Пи. История длиною в 4000 лет. — М.: Эксмо, 2011. — 192 с. — (Тайны мироздания). — ISBN 978-5-699-51331-4. — ISBN 5-4574041-9-6. — ISBN 978-5-4574041-9-9.
• David H. Bailey, Jonathan M. Borwein. Pi: The Next Generation A Sourcebook on the Recent History of Pi and Its Computation. — Springer, 2016. — 507 с. — ISBN 978-3-319-32375-6.
• Arndt, Jörg; Haenel, Christoph. Pi Unleashed (англ.). — Springer-Verlag, 2006. — P. 194–196. — 270 p. — ISBN 978-3-540-66572-4.

Ссылки

• pi.delivery Архивная копия от 10 ноября 2020 на Wayback Machine 50 трлн знаков числа пи (мировой рекорд).
• Weisstein, Eric W. Pi Formulas (англ.) на сайте Wolfram MathWorld.
• Различные представления числа Пи Архивная копия от 12 августа 2011 на Wayback Machine на WolframAlpha (англ.)
• https://functions.wolfram.com/Constants/Pi/ Архивная копия от 12 января 2021 на Wayback Machine
• последовательность A000796 в OEIS
• 22,4 трлн знаков числа пи Архивная копия от 10 ноября 2020 на Wayback Machine (англ.)