Задача нахождения суммы этого ряда долгое время оставалась нерешённой. Поскольку внимание европейских математиков на данную проблему обратил базельский профессор математики Якоб Бернулли (1689 год), в истории она нередко называется «базельской задачей» (или «базельской проблемой»). Первым сумму ряда сумел найти в 1735 году 28-летний Леонард Эйлер, она оказалась равна
Эта сумма встречается во многих других задачах теории чисел.
Решение данной проблемы (и смежных с ней) не только принесло молодому Эйлеру мировую славу, но и оказало значительное влияние на дальнейшее развитие анализа, теории чисел, а впоследствии — комплексного анализа. В очередной раз (после открытия ряда Лейбница) число вышло за пределы геометрии и подтвердило свою универсальность. Наконец, ряд обратных квадратов оказался первым шагом к введению дзета-функции Римана. Начал этот путь сам Эйлер, рассмотрев обобщение ряда обратных квадратов — ряд для произвольной чётной степени s, а также выведя фундаментальное тождество Эйлера:
Произведение в правой части берётся по всем простым числам.
Впервые рассуждения о ряде обратных квадратов историки обнаружили в диссертации итальянского математика Пьетро Менголи (Novae quadraturae arithmeticae seu de additione fractionum, 1644 год, опубликована в 1650), но тогда задача не вызвала общего интереса. Менголи определил, что ряд сходится, и нашёл сумму первых 10 членов:
Позднее найти сумму ряда безуспешно пытались многие выдающиеся математики, в том числе Лейбниц, Стирлинг, де Муавр, Христиан Гольдбах, братья Якоб и Иоганн Бернулли. Они также вычислили несколько значащих цифр суммы ряда. Гольдбах показал, что сумма заключена в интервале (41/25; 5/3), Стирлинг в трактате «Methodus Differentialis» (1730) сумел вычислить довольно точное значение суммы: 1,644934066, однако никто не мог точно определить, с чем это значение может быть связано.
Якоб Бернулли призвал в своей книге «Арифметические предложения о бесконечных рядах» (1689): «Если кому-либо удастся найти то, что до сих пор не поддавалось нашим усилиям, и если он сообщит это нам, то мы будем очень ему обязаны». Но при жизни Якоба Бернулли решение так и не появилось.
Первым успеха добился Эйлер, спустя почти полвека после обращения Бернулли. Скорее всего, о данной проблеме Эйлеру рассказал Иоганн Бернулли, брат Якоба. Эйлер сообщил об открытии в заметке «О суммах обратных рядов» (De summis serierum reciprocarum, 1735 год) для журнала «Commentarii Academiae Scientiarum Imperialis Petropolitanae» Петербургской академии наук. Найденное им значение суммы Эйлер также сообщил письмом своему другу Даниилу Бернулли, сыну Иоганна Бернулли:
Недавно я нашёл, и совсем неожиданно, изящное выражение для суммы ряда, связанного с квадратурой круга… А именно, шестикратная сумма этого ряда равна квадрату периметра круга, диаметр которого 1.
Даниил рассказал отцу, который выразил сомнение в справедливости использованного Эйлером разложения синуса в бесконечное произведение (см. ниже). Поэтому в 1748 году Эйлер более строго обосновал результат в своей монографии «Введение в анализ бесконечно малых» (Introductio in analysin infinitorum, том I, глава X).
Как отмечает Джон Дербишир, второе (после ряда Лейбница) появление числа в неожиданном, совершенно не геометрическом контексте, произвело на математиков XVIII века сильное впечатление.
Для контроля Эйлер вычислил вручную сумму ряда с 20 знаками (видимо, используя формулу Эйлера — Маклорена, так как ряд обратных квадратов сходится довольно медленно). Далее он сопоставил сумму со значением используя уже известное в тот период приближённое значение числа , и убедился, что оба значения, в пределах точности счёта, совпадают. Впоследствии (1743) Эйлер опубликовал ещё два разных способа суммирования ряда обратных квадратов.
Сходимость ряда
Чтобы убедиться, что ряд обратных квадратов сходится, достаточно доказать, что сходится следующий ряд:
Этот ряд мажорирует ряд обратных квадратов, потому что каждое слагаемое в нём (кроме первого) больше, чем в ряде обратных квадратов. Его можно представить в виде телескопической суммы:
Частичная сумма этого ряда равна поэтому ряд сходится, и его сумма равна 2. Следовательно, по признаку сравнения, и ряд обратных квадратов сходится к некоторому числу в интервале(1, 2).
Сумма в середине формулы представляет собой разность ряда и его -й частичной суммы, то есть абсолютную погрешность частичной суммы. Из формулы видно, что сходимость ряда довольно медленная — тысяча первых членов ряда () дают погрешность порядка , то есть в третьем десятичном знаке. Чтобы получить 6 верных знаков, понадобится сложить миллион членов ряда.
В 1988 году Рой Норт (Roy D. North) из Колорадо-Спрингс подсчитал на компьютере сумму миллиона членов ряда обратных квадратов и обнаружил странную закономерность — шестой знак после запятой, как и следовало ожидать, ошибочен, но следующие за ним 6 цифр верны. Далее один знак ошибочен, а после него пять цифр снова верны:
Полная сумма ряда ()
1,644934066848226436472415166646025189218949901…
Частичная сумма миллиона членов
1,644933066848726436305748499979391855885616544…
Погрешность
0,000000999999500000166666666666633333333333357…
Данная погрешность может быть представлена в виде суммы
в которой коэффициентами при степенях 10 выступают числа Бернулли. Доказательство этого факта можно найти в статье Борвейна, Борвейна и Дилчера 1989 года.
Первый метод Эйлера для нахождения суммы ряда
К концу XVII века, благодаря работам Ньютона и других математиков, было известно разложение в ряд функции синуса:
Эйлер сумел получить другое разложение синуса — не в сумму, а в бесконечное произведение:
Приравняв оба выражения и сократив на можно получить:
(1)
Поскольку это тождество выполняется при всех коэффициенты при в обеих его частях должны быть равны:
Умножив обе части равенства на можно окончательно получить:
Изложенный метод основан на разложении синуса в бесконечное произведение, однако Эйлер не дал этому разложению должного обоснования, ограничившись ссылкой на то, что и левая, и правая части, рассматриваемые как многочлены, имеют одни и те же корни: Иоганн и Даниил Бернулли указали на некорректность такого вывода, поскольку он применим только к многочленам конечной степени, а не к бесконечным рядам. В связи с этим Эйлер опубликовал ещё несколько способов суммирования, обоснованных более строго и приводящих к тому же результату. Тем не менее указанное разложение оказалось верным и было впоследствии доказано.
Второй метод Эйлера
В 1741 году Эйлер учёл указанную выше критику своего первоначального метода и опубликовал другой метод суммирования, основанный на интегрировании рядов. Для этого рассматривается интеграл вида
Для вычисления интеграла можно воспользоваться разложением арксинуса в ряд на промежутке :
Первый интеграл равен , а второй после подстановки оказывается равен отсюда:
Эта сумма содержит обратные квадраты нечётных чисел. Требуемая же сумма ряда обратных квадратов состоит из двух частей, первая из которых равна а вторая содержит обратные квадраты чётных чисел:
То есть откуда
Альтернативные способы нахождения суммы
Ряд Фурье
Один из простейших методов получения данной суммы — использование аппарата разложения в ряд Фурье функции . Для чётной функции это разложение имеет вид
Коэффициенты вычисляются по стандартным формулам:
В итоге разложение приобретает вид
Подстановка в эту формулу значения даёт результат
или
Окончательный результат получается при делении обеих сторон на 4.
Если же вместо подставить получится знакочередующаяся сумма:
Другой путь к решению задачи через Фурье-анализ — использовать равенство Парсеваля для функции
Метод разложения гиперболического котангенса
Данный способ позволяет найти суммы для всех рядов обратных чётных степеней:
Интересное физико-геометрическое представление суммирования ряда обратных квадратов изложено в статье Йохана Вестлунда и в видеолекции на ютуб-канале 3Blue1Brown.
Вариации и обобщения
Исходя из формулы (1), Эйлер рассчитал суммы не только для ряда обратных квадратов, но и для рядов из других чётных степеней, вплоть до 26-й, например:
и т. д. Эйлер также выяснил, что суммы таких рядов связаны с числами Бернулли следующим образом:
Эйлер просуммировал и модификацию ряда обратных квадратов, содержащую (в знаменателях) квадраты или иные чётные степени нечётных чисел; суммы рядов оказались также связаны с числом
Для рядов из нечётных степеней теоретическое выражение их сумм до сих пор не известно. Доказано лишь, что сумма ряда обратных кубов (постоянная Апери) — иррациональное число.
Если рассматривать показатель степени в общем ряде обратных степеней как переменную (не обязательно целочисленную), то получится дзета-функция Римана, играющая огромную роль в анализе и теории чисел:
Таким образом, сумма ряда обратных квадратов есть
Первые исследования свойств дзета-функции выполнил Эйлер. В 1748 году он опубликовал монографию «Введение в анализ бесконечно малых», где доказал «тождество Эйлера»:
здесь произведение берётся по всем простым числам Это равенство сыграло большую роль в развитии аналитической теории чисел, на него опирались исследования Чебышёва и Римана по распределению простых чисел в натуральном ряду. В 1859 году появилась глубокая работа Римана, которая расширила определение дзета-функции на комплексную область. Риман детально рассмотрел связь дзета-функции с распределением простых чисел.
В 1768 году Эйлер предложил ещё одно обобщение ряда обратных квадратов — дилогарифм Эйлера:
Сумма ряда обратных квадратов, она же появляется во многих задачах теории чисел.
Сумма делителей натурального числа растёт в среднем как линейная функция .
Вероятность того, что два случайным образом выбранных натуральных числа в интервале от 1 до окажутся взаимно простыми, с ростом стремится к Другими словами, средняя плотность взаимно простых чисел в числовом ряду равна
↑Стюарт, Иэн. Невероятные числа профессора Стюарта = Professor Stewart's incredible numbers. — М.: Альпина нон-фикшн, 2016. — С. 222—223. — 422 с. — ISBN 978-5-91671-530-9.
↑ 12Вилейтнер Г. История математики от Декарта до середины XIX столетия. — М.: ГИФМЛ, 1960. — С. 143—144. — 468 с.
↑ 12Воробьёв Н. Н.Теория рядов. — 4-е изд. — М.: Наука, 1979. — С. 52. — 408 с. — (Избранные главы высшей математики для инженеров и студентов втузов).
↑Pappalardi F.A Survey on k-freeness // Number Theory. Proceeding of the Conference in Analytic Number Theory in Honor of Prof. Subbarao (англ.) / Vol. Eds.: S. D. Adhikari, R. Balasubramanian, K. Srinivas. — Mysore: Ramanujan Mathematical Society, 2002. — P. 77—88. — 161 p. — (Lecture Notes Series: Number 1). — ISBN 9788190254510.
Дербишир, Джон. Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике. — Астрель, 2010. — С. 90—92, 103—109. — 464 с. — ISBN 978-5-271-25422-2.
Дуран, Антонио. Поэзия чисел. Прекрасное и математика. — М.: Де Агостини, 2014. — 160 с. — (Мир математики: в 45 томах, том 27). — ISBN 978-5-9774-0722-9.
Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. — изд. 6-е. — М.: Наука, 1966. — Т. II. — С. 461—462, 490, 496, 671. — 800 с. — ISBN 5-9221-0155-2.