Пи (число)
Список чисел | |
---|---|
Иррациональные числа ζ(3) (англ.) — √2 (англ.) — √3 (англ.) — √5 (англ.) — φ — α — e — π — δ — τ | |
Система счисления | Оценка числа |
Двоичная | 11,00100100001111111… |
Десятичная | 3,141592653589793238462… |
Шестнадцатеричная | 3,243F6A8885A308D31319… |
Рациональное приближение | 22⁄7,223⁄71, 355⁄113 …
(в порядке увеличения точности) |
Цепная дробь | [3; 7, 15, 1, 292, 1, 1, 1, 2, 1, 3, 1,... ]
(Цепная дробь не периодическая. Дана в линейной нотации) |
Евклидова геометрия | радиан = 180° |
Пи (число) — (произносится «пи») — математическая константа, выражающая отношение длины окружности к длине её диаметра.[1] Обозначается буквой греческого алфавита «пи».
— иррациональное число, то есть его значение не может быть точно выражено в виде дроби m/n, где m и n — целые числа. Следовательно, его десятичное представление никогда не заканчивается и не является периодическим. также не может представлено как конечная последовательность алгебраических операций над целыми числами (возведение в степень, извлечение корня, суммирование и т. д.).
— трансцендентное число, это означает, что оно не может быть корнем какого-либо многочлена с целыми коэффициентами; доказательство этого Ф. Линдеманом было крупным достижением математики XIX столетия. На всём протяжении истории математики было множество попыток более точно определить и понять природу числа ; привлекательность этого числа перекинулась даже на нематематическую культуру.
Впервые обозначением этого числа греческой буквой воспользовался британский математик Джонс (1706), а общепринятым оно стало после работ Леонарда Эйлера в 1737. Это обозначение происходит от начальной буквы греческих слов περιφέρεια — окружность, периферия и περίμετρος — периметр.
ИсторияПравить
История числа шла параллельно с развитием всей математики. Некоторые авторы разделяют весь процесс на 3 периода: древний период, в течение которого изучалось с позиции геометрии, классическая эра, последовавшая за развитием математического анализа в Европе в XVII веке, и эра цифровых компьютеров.
Геометрический периодПравить
То, что отношение длины окружности к диаметру одинаково для любой окружности, и то, что это отношение немногим более 3, было известно ещё древнеегипетским, вавилонским, древнеиндийским и древнегреческим геометрам. Самое раннее из известных приближений датируется 1900 годом до н. э.; это 25/8 (Вавилон) и 256/81 (Египет), оба значения отличаются от истинного не более, чем на 1 %. Индийский текст «Шатапатха Брахмана» даёт как 339/108 ≈ 3,139. По-видимому, в еврейской Библии, в третьей книге Царств, предполагается, что = 3, что является гораздо более худшей оценкой, чем имевшиеся на момент написания (600 год до н. э.).
Архимед, возможно, первым предложил математический способ вычисления . Для этого он вписывал в окружность и описывал около неё правильные многоугольники. Принимая диаметр окружности за единицу, Архимед рассматривал периметр вписанного многоугольника как нижнюю оценку длины окружности, а периметр описанного многоугольника как верхнюю оценку. Рассматривая правильный 96-угольник, Архимед получил оценку .
В Индии Арьябхата и Бхаскара использовали приближение 3,1416. Брахмагупта предложил в качестве приближения .
Около 265 года н. э. математик Лю Хуэй из царства Вэй предоставил простой и точный итеративный алгоритм (англ. Liu Hui's π algorithm) для вычисления с любой степенью точности. Он самостоятельно провёл вычисление для 3072-угольника и получил приближённое значение для по следующему принципу:
Позднее Лю Хуэй придумал быстрый метод вычисления и получил приближённое значение 3,1416 только лишь с 96-угольником, используя преимущества того факта, что разница в площади следующих друг за другом многоугольников формирует геометрическую прогрессию со знаменателем 4.
В 480-х годах китайский математик Цзу Чунчжи (англ. Zu Chongzhi) продемонстрировал, что ≈ 355/113, и показал, что 3,1415926 < < 3,1415927, используя алгоритм Лю Хуэя применительно к 12288-угольнику. Это значение оставалось самым точным приближением числа в течение последующих 900 лет.
Классический периодПравить
До 2-го тысячелетия было известно не более 10 цифр . Дальнейшие крупные достижения в изучении связаны с развитием математического анализа, в особенности с открытием рядов, позволяющих вычислить с любой точностью, суммируя подходящее количество членов ряда. В 1400-х годах Мадхава из Сангамаграма (англ. Madhava of Sangamagrama) нашёл первый из таких рядов:
Этот результат известен как ряд Мадхавы-Лейбница (англ. Leibniz formula for pi) или ряд Грегори-Лейбница (после того как он был заново обнаружен Джеймсом Грегори и Готфридом Лейбницем в XVII веке). К сожалению, этот ряд сходится к очень медленно, что приводит к сложности вычисления многих цифр числа на практике — необходимо сложить около 4000 членов ряда, чтобы улучшить оценку Архимеда. Однако преобразованием этого ряда в
Мадхава (англ. Madhava of Sangamagrama) смог вычислить как 3,14159265359, верно определив 11 цифр в записи числа. Этот рекорд был побит в 1424 году персидским математиком Джамшидом ал-Каши, который в своём труде под названием «Трактат об окружности» привёл 17 цифр числа , из которых 16 верные.
Первым крупным европейским вкладом со времён Архимеда был вклад голландского математика Лудольфа ван Цейлена (1540—1610), затратившего десять лет на вычисление числа с 20-ю десятичными цифрами (этот результат был опубликован в 1596 году). Применив метод Архимеда, он довёл удвоение до n-угольника, где n = 60 229. Изложив свои результаты в сочинении «Об окружности» («Van den Circkel»), Лудольф закончил его словами: «У кого есть охота, пусть идёт дальше». После смерти в его рукописях были обнаружены ещё 15 точных цифр числа . Лудольф завещал, чтобы найденные им знаки были высечены на его надгробном камне. В честь него число иногда называли «лудольфовым числом», или «константой Лудольфа».
Примерно в это же время в Европе начали развиваться методы анализа и определения бесконечных рядов. Первым таким представлением была формула Виета (англ. Viète's formula)
найденная Франсуа Виетом в 1593 году. Другим известным результатом стала Формула Валлиса[убрать шаблон],
выведенная Джоном Валлисом в 1655 году.
В Новое время для вычисления используются аналитические методы, основанные на тождествах. Перечисленные выше формулы малопригодны для вычислительных целей, поскольку либо используют медленно сходящиеся ряды, либо требуют сложной операции извлечения квадратного корня.
Первую эффективную формулу нашёл в 1706 году Джон Мэчин (John Machin):
Разложив арктангенс в ряд Тейлора можно получить быстро сходящийся ряд, пригодный для вычисления числа с большой точностью. Эйлер, автор обозначения , получил 153 верных знака.
Формулы такого типа, в настоящее время известные как Формулы Мэчина (англ. Machin-like formula), использовались для установки нескольких последовательных рекордов и остались наилучшими из известных методов для быстрого вычисления в эпоху компьютеров. Выдающийся рекорд был поставлен феноменальным счетчиком Иоганном Захариусом Дазе (англ. Zacharias Dase), который в 1844 году по распоряжению Гаусса применил формулу Мэчина для вычисления 200 цифр в уме. Наилучший результат к концу XIX века был получен англичанином Вильямом Шенксом (англ. William Shanks), у которого ушло 15 лет для того, чтобы вычислить 707 цифр, хотя из-за ошибки только первые 527 были верными. (Чтобы избежать подобных ошибок, современные вычисления подобного рода проводятся дважды. Если результаты совпадают, то они с высокой вероятностью верные.) Ошибку Шенкса обнаружил один из первых компьютеров в 1948 году; он же за несколько часов подсчитал 808 знаков .
Теоретические достижения в XVIII веке привели к постижению природы числа , чего нельзя было достичь лишь только с помощью одного численного вычисления. Иоганн Генрих Ламберт доказал иррациональность в 1761 году, а Адриен Мари Лежандр в 1774 году доказал иррациональность . В 1735 году была установлена связь между простыми числами и , когда Леонард Эйлер решил знаменитую Базельскую проблему (англ. Basel problem) — проблему нахождения точного значения
которое составляет . И Лежандр, и Эйлер предполагали, что может быть трансцендентным, что было в конечном итоге доказано в 1882 году Фердинандом фон Линдеманом.
Считается, что книга Уильяма Джонса Новое введение в математику c 1706 года первая ввела в использование греческую букву для обозначения этой константы, но эта запись стала особенно популярной после того, как Леонард Эйлер принял её в 1737 году. Он писал:
|
- См. также: История математических обозначений
Эра компьютерных вычисленийПравить
Эпоха цифровой техники в XX веке привела к увеличению скорости появления вычислительных рекордов. Джон фон Нейман и др. использовали в 1949 году ЭНИАК для вычисления 2037 цифр , которое заняло 70 часов. Ещё одна тысяча цифр была получена в последующие десятилетия, а отметка в миллион была пройдена в 1973 году. Такой прогресс имел место не только благодаря более быстрому аппаратному обеспечению, но и благодаря алгоритмам. Одним из самых значительных результатов было открытие в 1960-м году быстрого преобразования Фурье (БПФ), что позволило быстро осуществлять арифметические операции над очень большими числами.
В начале 20-го столетия индийский математик Сриниваса Рамануджан обнаружил множество новых формул для , некоторые из которых стали знаменитыми из-за своей элегантности и математической глубины. Одна из этих формул — это ряд
и похожая на неё, найденная братьями Чудновскими (англ.) в 1987,
который вычисляет по 14 цифр за ход. Чудновские использовали эту формулу для того, чтобы установить несколько рекордов в вычислении в конце 1980-х, включая то, в результате которого было получено более миллиарда (1,011,196,691) цифр десятичного разложения (1989 год). Эта формула используется в программах, вычисляющих на персональных компьютерах, в отличие от суперкомпьютеров, которые устанавливают современные рекорды.
В то время как последовательность обычно повышает точность на фиксированную величину с каждым следующим членом, существуют итеративные алгоритмы, которые на каждом шагу умножают количество правильных цифр, требуя, правда, высоких вычислительных затрат на каждом из таких шагов. Прорыв в этом отношении был сделан в 1975 году, когда Ричард Брент (англ.) и Юджин Саламин (англ.) независимо друг от друга открыли алгоритм Брента — Саламина (англ.), который, используя лишь арифметику, на каждом шагу удваивает количество известных знаков.[2] Алгоритм состоит из установки начальных значений
и итераций:
пока an и bn не станут достаточно близки. Тогда оценка даётся формулой
При использовании этой схемы 25 итераций достаточно для получения 45 миллионов десятичных знаков. Похожий алгоритм, увеличивающий на каждом шаге точность в четыре раза, был найден Джонатаном Боруэйном (Jonathan Borwein) и Питером Боруэйном (en:Peter Borwein).[3] При помощи этих методов Ясумаса Канада (en:Yasumasa Kanada) и его группа, начиная с 1980 года, установили большинство рекордов вычисления вплоть до 206,158,430,000 знаков в 1999. Текущий рекорд — 1 241 100 000 000 десятичных знаков, установлен Канадой и его группой в 2002 году. Хотя большинство предыдущих рекордов Канады были установлены при помощи алгоритма Брента-Саламина, вычисление 2002 года использовало две формулы типа мэчиновских, которые работали медленнее, но радикально снижали использование памяти. Вычисление было выполнено на суперкомпьютере Хитачи из 64 узлов с 1 терабайтом оперативной памяти, способном выполнять 2 триллиона операций в секунду.
Важным развитием недавнего времени стала формула Бэйли—Боруэйна—Плаффа (en:Bailey–Borwein–Plouffe formula) (формула ББП), открытая Саймоном Плаффом (en:Simon Plouffe) и названная по авторам статьи, в которой она впервые была опубликована — David H. Bailey, Peter Borwein, and Plouffe.[4] Эта формула,
примечательна тем, что она позволяет извлечь любую конкретную шестнадцатеричную или двоичную цифру числа без вычисления предыдущих.[4] С 1998 до 2000 года распределённый проект PiHex использовал видоизменённую формулу ББП Фабриса Беллара для вычисления квадриллионного (1 000 000 000 000 000-го) бита числа , который оказался нулём.[5]
В 2006 году Саймон Плафф, используя en:integer relation algorithm PSLQ, нашёл ряд красивых формул.[6] Пусть q = eπ, тогда
и другие вида
где q = eπ, k — нечётное число, и a, b, c — рациональные числа. Если k — вида 4m + 3, то эта формула имеет особенно простой вид:
для рационального p у которго знаменатель — число, хорошо разложимое на множители, хотя строгое доказательство ещё не предоставлено.
В 2009 году учёные из Университета Цукубо (Япония) рассчитали последовательность из 2 576 980 377 524 десятичных разрядов.[7]
ОценкиПравить
- (Архимед),
- (дана в книге индийского мыслителя и астронома Арьябхаты в V веке н. э.),
- (оценка приписывается современнику Арьябхаты древнекитайскому астроному Цзу Чун-цжи).
- (приближение дал великий индийский математик С.Рамануджан)
- 510 знаков после запятой:
- π ≈ 3,141 592 653 589 793 238 462 643 383 279 502 884 197 169 399 375 105 820 974 944 592 307 816 406 286 208 998 628 034 825 342 117 067 982 148 086 513 282 306 647 093 844 609 550 582 231 725 359 408 128 481 117 450 284 102 701 938 521 105 559 644 622 948 954 930 381 964 428 810 975 665 933 446 128 475 648 233 786 783 165 271 201 909 145 648 566 923 460 348 610 454 326 648 213 393 607 260 249 141 273 724 587 006 606 315 588 174 881 520 920 962 829 254 091 715 364 367 892 590 360 011 330 530 548 820 466 521 384 146 951 941 511 609 433 057 270 365 759 591 953 092 186 117 381 932 611 793 105 118 548 074 462 379 962 749 567 351 885 752 724 891 227 938 183 011 949 129 833 673 362…
- Двести миллиардов знаков после запятой (2000 ZIP архивов, средний размер файла около 57 мегабайт)
СвойстваПравить
СоотношенияПравить
Известно много формул с числом :
- Формула Валлиса:
- Модифицированная формула Валлиса:
- Произведения:
- Тождество Эйлера:
- Интегральный косинус
- Интегральный тангенс
- Интегральный котангенс
- Интегральный арктангенс
Трансцендентность и иррациональностьПравить
- Иррациональность числа была впервые доказана Иоганном Ламбертом в 1767 году путём разложения числа в непрерывную дробь. В 1794 году Лежандр привёл более строгое доказательство иррациональности чисел и .
- В 1882 годe профессору Кёнигсбергского, а позже Мюнхенского университета Фердинанду Линдеману удалось доказать трансцендентность числа . Доказательство упростил Феликс Клейн в 1894 году[8]
- Поскольку в геометрии Евклида площадь круга и длина окружности являются функциями числа , то доказательство трансцендентности положило конец спору о квадратуре круга, длившемуся более 2,5 тысяч лет.
Нерешённые проблемыПравить
- Неизвестно, являются ли числа и алгебраически независимыми.
- Неизвестно, являются ли числа , , , , , , трансцендентными.
- До сих пор ничего не известно о нормальности числа ; неизвестно даже, какие из цифр 0—9 встречаются в десятичном представлении числа бесконечное количество раз.
История вычисленияПравить
В 1997 году Дэйвид Х. Бэйли, Питер Боруэйн и Саймон Плуфф открыли способ быстрого вычисления произвольной двоичной цифры числа без вычисления предыдущих цифр, основанный на формуле
Метод иглы БюффонаПравить
На разлинованную равноудалёнными прямыми плоскость произвольно бросается игла, длина которой равна расстоянию между соседними прямыми, так что при каждом бросании игла либо не пересекает прямые, либо пересекает ровно одну. Можно доказать, что отношение числа пересечений иглы с какой-нибудь линией к общему числу бросков стремится к при увеличении числа бросков до бесконечности. Данный метод иглы базируется на теории вероятностей и лежит в основе метода Монте-Карло.[9]
Дополнительные фактыПравить
- Неофициальный праздник «День числа Пи» отмечается 14 марта, которое в американском формате дат (месяц/день) записывается как 3.14, что соответствует приближённому значению числа .
- Ещё одной датой, связанной с числом , является 22 июля, которое называется «Днём приближённого числа Пи» (англ. Pi Approximation Day), так как в европейском формате дат этот день записывается как 22/7, а значение этой дроби является приближённым значением числа .
- 17 июня 2009 года украинский нейрохирург, доктор медицинских наук, профессор Андрей Слюсарчук установил мировой рекорд, запомнив 30 миллионов знаков числа Пи, которые были напечатаны в 20 томах текста.[10] С установлением нового рекорда Андрея Слюсарчука официально поздравил Президент Украины Виктор Андреевич Ющенко.[11] [12] Поскольку устное перечисление 30 млн цифр со скоростью одна цифра в секунду заняло бы почти год (347 дней) при непрерывном перечислении 24 часа в сутки, 7 дней в неделю, то был применён следующий подход для проверки рекорда: во время демонстраций г. Слюсарчука просят назвать произвольно выбранные проверяющими последовательности цифр числа Пи, расположенные на произвольно выбранных местах произвольных страниц 20-томной распечатки, группированной в упорядоченные таблицы. Он многократно успешно проходит этот тест. Свидетелями демонстраций были уважаемые учёные, доктора и кандидаты наук, заведующие кафедрами Институтов и Университетов. Книга рекордов Украины перечисляет членов комиссии, участвовавших в демонстрациях. Приведены их научные звания и занимаемые должности. Уникальная память Андрея Слюсарчука основана на эйдетическом восприятии информации.
- По данным Книги рекордов Украины, в 2006 году Андрей Слюсарчук установил предыдущий мировой рекорд, запомнив 1 миллион знаков числа Пи. [13]
- Предыдущий мировой рекорд по запоминанию знаков числа принадлежит японцу Акире Харагути (Akira Haraguchi). Он запомнил число до 100-тысячного знака после запятой. Ему понадобилось почти 16 часов, чтобы назвать всё число целиком. (на запоминание ушло 10 лет)[14]
- В штате Индиана (США) в 1897 году был выпущен билль (см.: en:Indiana Pi Bill), законодательно устанавливающий значение числа Пи равным 3,2.[15] Данный билль не стал законом благодаря своевременному вмешательству профессора Университета Пердью (англ. Purdue University), присутствовавшего в законодательном собрании штата во время рассмотрения данного закона.
- «число Пи для гренландских китов равно 3.14» написано в «Справочнике китобоя» 60-х годов выпуска.[16]
- Существует художественный фильм, названный в честь числа Пи.
- Существует альбом французской поп-группы Rockets с названием P=3,14
См. такжеПравить
ПримечанияПравить
- ↑ Это определение пригодно только для евклидовой геометрии. В других геометриях отношение длины окружности к длине её диаметра может быть произвольным. Например, в геометрии Лобачевского это отношение меньше, чем .
- ↑ Brent, Richard (1975), Traub, J F, ed., "Multiple-precision zero-finding methods and the complexity of elementary function evaluation", Analytic Computational Complexity (New York: Academic Press): 151–176, retrieved 2007-09-08
- ↑ Jonathan M Borwein Pi: A Source Book. — Springer, 2004. — ISBN 0387205713о книге
- ↑ а б Bailey, David H., Borwein, Peter B., and Plouffe, Simon (April 1997). "On the Rapid Computation of Various Polylogarithmic Constants" (PDF). Mathematics of Computation 66 (218): 903–913. DOI:10.1090/S0025-5718-97-00856-9.
- ↑ Bellard, Fabrice. "A new formula to compute the nth binary digit of pi". Archived from the original on 2007-03-09. Retrieved 2007-10-27.
- ↑ Plouffe, Simon. "Indentities inspired by Ramanujan's Notebooks (part 2)" (PDF). Retrieved 2009-4-10. Check date values in:
|accessdate=
(help) - ↑ Установлен новый рекорд точности вычисления числа π
- ↑ Доказательство Клейна приложено к работе «Вопросы элементарной и высшей математики», ч. 1, вышедшей в Гёттингене в 1908 году
- ↑ Г. А. Гальперин. Биллиардная динамическая система для числа пи.
- ↑ Профессор Андрей Слюсарчук установил мировой рекорд по возможностям человеческой памяти http://www.mk.ru/health/303812.html?phrase_id=1446233
- ↑ Президент поздравил профессора Андрея Слюсарчука с установлением нового мирового рекорда по запоминанию и воспроизведению человеком сверхбольшого объема информации http://www.president.gov.ua/ru/news/14234.html
- ↑ Ющенко привітав Слюсарчука зі світовим рекордом із запам’ятовування надвеликого обсягу інформації http://news.liga.net/ukr/news/NU094415.html
- ↑ Книга рекордов Украины http://www.book.adamant.ua/akt/2slysar4uk/1.htm
- ↑ "Japanese man recites pi from memory to 100,000 decimal places, claims world record". The Associated Press. 04/10/06. Archived from the original on 2013-01-03. Retrieved 22 сентября 2008. Check date values in:
|date=, |accessdate=
(help) - ↑ The Indiana Pi Bill, 1897
- ↑ В. И. Арнольд любит приводить этот факт, см. например здесь (ps)
ЛитератураПравить
- Жуков А. В. О числе π М.: МЦМНО, 2002. 32 с. ISBN 5-94057-030-5
- Перельман Я. И. Квадратура круга. Л.: Дом занимательной науки, 1941. Текст в формате djv/zip.
СсылкиПравить
- 200 миллиардов знаков числа ПИ
- Различные формулы для вычисления числа ПИ
- Различные представления числа Пи на WolframAlpha
- Представления числа Пи через произведения
- Зона ПИ на «Арбузе»
- Поиск-online различных числовых последовательностей, среди первых 200 000 000 знаков числа Пи
- Клуб числа Пи
- 100 000 знаков числа ПИ
- 100 миллиардов знаков числа ПИ