Секреты числа Пи. Почему неразрешима задача о квадратуре круга (Наварро) - страница 43

и Мартин Буйе ∙ 1001 250

1983 Ясумаса Канада и Ясунори Уширо ∙ 10 013 395

1987Ясумаса Канада, Йошияки Тамура и Йошинобу Кубо ∙ 134 214 700

1989 Григорий и Давид Чудновские ∙ 1011196 691

2002 Ясумаса Канада с группой из девяти специалистов ∙ 1241100 000 000

2009ДайсукеТакахаши и группа программистов ∙ 2576 980 370 000

2011Сигеру Хондо ∙ 10 000 000 000 050

В 1973 году старинная формула Эйлера вкупе с формулой Мэчина позволила Гийу и Буйе вычислить миллион знаков π:



Любопытно, что для вычисления второго слагаемого достаточно вычислить первое и перенести запятую на несколько позиций. Вне зависимости от их абсолютной величины два первых слагаемых будут отличаться только количеством нулей.

В 1976 году Юджин Саламин и Ричард Брент предложили алгоритм, основанный на давней гипотезе Гаусса и Лежандра о последовательном вычислении средних арифметических и средних геометрических. Суть алгоритма непросто описать вкратце. Алгебраический алгоритм — это метод расчета некой величины, в данном случае Я. Саламин и Брент использовали следующие исходные равенства:

a>0 = 1; b>0 = 1/√2; t>0 = 1/4; p>0 = 1,

затем рекуррентным способом вычислили

a>n+1 = (a>n + b>n)/2;

b>n+1 = √(a>nb>n);

t>n+1 = t>np>n(a>n - a>n + 1)>2;

p>n+1 = 2p>n.

В пределе справедливо следующее соотношение:

π ~ (a>n + b>n)>2/4t>n.

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

Но и это еще не все: в 1980-е годы Петер и Джонатан Борвейны создали алгоритм со скоростью сходимости четвертой степени, с помощью которого было рассчитано 1241100 000 000 знаков. Мы не станем приводить его здесь, так как он будет понятен лишь узким специалистам.


ВЕЛИКОЛЕПНАЯ ЧЕТВЕРКА

Любой специалист, интересующийся вычислением я, знаком с выдающейся канадской семьей Борвейнов. Отец, Давид Борвейн (род. в 1924 году), литовец по происхождению, — известнейший математик своей страны. Он изучал многие разделы математики, особое внимание уделяя теории рядов. Его старший сын Джонатан (род. в 1951 году), автор множества книг, известных в компьютерном мире, отличается особым отношением к числу я. Он увлекается преподаванием математики и разрабатывает специальные обучающие программы. Питер (род. в 1953 году) — один из создателей формул ВВР для расчета числа я, названных так в честь их создателей — Бэйли, Борвейна и Плуффа. Он также достиг выдающихся результатов в информатике. Мать Джонатана и Питера, супруга Давида Борвейна, тоже известна в научных кругах, но не математических, а анатомических.