Базельская проблема

Проблема Базель является проблемой в математическом анализе , имеющих отношение к теории чисел , первой создаваемой Пьетро Менголи в 1650 году и решаемой Леонарда Эйлера в 1734, ^[1] и читать на 5 декабря 1735 года в Санкт - Петербургской Академии наук . ^[2] Поскольку задача выдержала нападки ведущих математиков того времени, решение Эйлера сразу же принесло ему известность, когда ему было двадцать восемь лет. Эйлер значительно обобщил проблему, и его идеи спустя годы были подхвачены Бернхардом Риманом в его основополагающей статье 1859 г. "О числе простых чисел, меньших заданной величины », в которой он определил свою дзета-функцию и доказал ее основные свойства. Проблема названа в честь Базеля , родного города Эйлера, а также семьи Бернулли, которая безуспешно приступила к решению этой проблемы.

Проблема Базеля просит для точного суммирования из обратных этих квадратов этих натуральных чисел , то есть точная суммы бесконечного ряда :

${\ displaystyle \ sum _ {n = 1} ^ {\ infty} {\ frac {1} {n ^ {2}}} = {\ frac {1} {1 ^ {2}}} + {\ frac { 1} {2 ^ {2}}} + {\ frac {1} {3 ^ {2}}} + \ cdots.}$

Сумма ряда примерно равна 1,644934. ^[3] Задача Базеля требует точной суммы этого ряда (в замкнутой форме ), а также доказательства того, что эта сумма верна. Эйлер нашел точную суммуπ ²/6и объявил об этом открытии в 1735 году. Его аргументы были основаны на манипуляциях, которые в то время не были оправданы, хотя позже он оказался прав. В 1741 году он представил действительно строгое доказательство.

Подход Эйлера [ править ]

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

Конечно, первоначальные рассуждения Эйлера требуют обоснования (100 лет спустя Карл Вейерштрасс доказал, что представление Эйлера синус-функции как бесконечного произведения справедливо, с помощью теоремы факторизации Вейерштрасса ), но даже без обоснования, просто получив правильное значение, он удалось проверить это численно на частичных суммах ряда. Согласие, которое он наблюдал, вселило в него достаточно уверенности, чтобы объявить свой результат математическому сообществу.

Чтобы следовать аргументу Эйлера, вспомним разложение синусоидальной функции в ряд Тейлора

${\ displaystyle \ sin x = x - {\ frac {x ^ {3}} {3!}} + {\ frac {x ^ {5}} {5!}} - {\ frac {x ^ {7} } {7!}} + \ Cdots}$

Разделив на x , имеем

${\ displaystyle {\ frac {\ sin x} {x}} = 1 - {\ frac {x ^ {2}} {3!}} + {\ frac {x ^ {4}} {5!}} - {\ frac {x ^ {6}} {7!}} + \ cdots}$

Используя теорему факторизации Вейерштрасса , можно также показать, что левая часть является произведением линейных множителей, заданных его корнями, точно так же, как мы делаем для конечных многочленов (которые Эйлер принял как эвристику для разложения многочлена бесконечной степени в терминах своих корней, но на самом деле не всегда верно для общих ): ^[4]${\ Displaystyle P (x)}$

${\displaystyle {\begin{aligned}{\frac {\sin x}{x}}&=\left(1-{\frac {x}{\pi }}\right)\left(1+{\frac {x}{\pi }}\right)\left(1-{\frac {x}{2\pi }}\right)\left(1+{\frac {x}{2\pi }}\right)\left(1-{\frac {x}{3\pi }}\right)\left(1+{\frac {x}{3\pi }}\right)\cdots \\&=\left(1-{\frac {x^{2}}{\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{4\pi ^{2}}}\right)\left(1-{\frac {x^{2}}{9\pi ^{2}}}\right)\cdots \end{aligned}}}$

Если мы формально умножим это произведение и соберем все члены x ² (нам разрешено это сделать из-за тождества Ньютона ), мы увидим по индукции, что коэффициент x ² пригрех х/Иксэто ^[5]

${\displaystyle -\left({\frac {1}{\pi ^{2}}}+{\frac {1}{4\pi ^{2}}}+{\frac {1}{9\pi ^{2}}}+\cdots \right)=-{\frac {1}{\pi ^{2}}}\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}.}$

Но из исходной бесконечной серии разложения грех х/Икс, коэффициент при x ² равен -1/3! = -1/6. Эти два коэффициента должны быть равны; таким образом,

${\displaystyle -{\frac {1}{6}}=-{\frac {1}{\pi ^{2}}}\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}.}$

Умножение обеих частей этого уравнения на - π ² дает сумму, обратную положительным целым квадратным числам.

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}.}$

Этот метод вычисления подробно описан в пояснительной форме, в частности, в книге Хэвила « Гамма», в которой подробно описаны многие дзета-функции и логарифмические ряды и интегралы, а также историческая перспектива, связанная с гамма-константой Эйлера . ^[6]${\displaystyle \zeta (2)}$

Обобщения метода Эйлера с использованием элементарных симметричных многочленов [ править ]

Используя формулы, полученные из элементарных симметричных многочленов , ^[7] тот же подход можно использовать для перечисления формул для четных дзета-констант с четными индексами, которые имеют следующую известную формулу, расширенную числами Бернулли :

${\displaystyle \zeta (2n)={\frac {(-1)^{n-1}(2\pi )^{2n}}{2\cdot (2n)!}}B_{2n}.}$

Например, пусть частичный продукт для расширенного, как указано выше, определяется как . Затем, используя известные формулы для элементарных симметричных многочленов (иначе говоря, формулы Ньютона, расширенные в терминах тождеств степенной суммы ), мы можем увидеть (например), что${\displaystyle \sin(x)}$${\displaystyle {\frac {S_{n}(x)}{x}}:=\prod \limits _{k=1}^{n}\left(1-{\frac {x^{2}}{k^{2}\cdot \pi ^{2}}}\right)}$

${\displaystyle {\begin{aligned}\left[x^{4}\right]{\frac {S_{n}(x)}{x}}&={\frac {1}{2\pi ^{4}}}\left(\left(H_{n}^{(2)}\right)^{2}-H_{n}^{(4)}\right)\qquad \xrightarrow {n\rightarrow \infty } \qquad {\frac {1}{2}}\left(\zeta (2)^{2}-\zeta (4)\right)\\&\qquad \implies \zeta (4)={\frac {\pi ^{4}}{90}}=-2\pi ^{2}\cdot [x^{4}]{\frac {\sin(x)}{x}}+{\frac {\pi ^{4}}{36}}\\\left[x^{6}\right]{\frac {S_{n}(x)}{x}}&=-{\frac {1}{6\pi ^{6}}}\left(\left(H_{n}^{(2)}\right)^{3}-2H_{n}^{(2)}H_{n}^{(4)}+2H_{n}^{(6)}\right)\qquad \xrightarrow {n\rightarrow \infty } \qquad {\frac {1}{6}}\left(\zeta (2)^{3}-3\zeta (2)\zeta (4)+2\zeta (6)\right)\\&\qquad \implies \zeta (6)={\frac {\pi ^{6}}{945}}=-3\cdot \pi ^{6}[x^{6}]{\frac {\sin(x)}{x}}-{\frac {2}{3}}{\frac {\pi ^{2}}{6}}{\frac {\pi ^{4}}{90}}+{\frac {\pi ^{6}}{216}},\end{aligned}}}$

и так далее для последующих коэффициентов . Существуют и другие формы тождеств Ньютона, выражающие (конечные) степенные суммы в терминах элементарных симметричных многочленов , но мы можем пойти более прямым путем к выражению нерекурсивных формул для использования метода элементарных симметричных многочленов . А именно, у нас есть рекуррентное соотношение между элементарными симметричными полиномами и полиномами степенной суммы, указанными на этой странице как${\displaystyle [x^{2k}]{\frac {S_{n}(x)}{x}}}$${\displaystyle H_{n}^{(2k)}}$${\displaystyle e_{i}\equiv e_{i}\left(-{\frac {\pi ^{2}}{1^{2}}},-{\frac {\pi ^{2}}{2^{2}}},-{\frac {\pi ^{2}}{3^{2}}},-{\frac {\pi ^{2}}{4^{2}}},\cdots \right),}$${\displaystyle \zeta (2k)}$

${\displaystyle (-1)^{k}ke_{k}(x_{1},\ldots ,x_{n})=\sum _{j=1}^{k}(-1)^{k-j-1}p_{j}(x_{1},\ldots ,x_{n})e_{k-j}(x_{1},\ldots ,x_{n}),}$

что в нашей ситуации приравнивается к предельному рекуррентному отношению (или свертке производящей функции , или произведению ), разложенному как

${\displaystyle {\frac {\pi ^{2k}}{2}}\cdot {\frac {(2k)\cdot (-1)^{k}}{(2k+1)!}}=-[x^{2k}]{\frac {\sin(\pi x)}{\pi x}}\times \sum _{i\geq 1}\zeta (2i)x^{i}.}$

Тогда путем дифференцирования и перестановки слагаемых в предыдущем уравнении получаем, что

${\displaystyle \zeta (2k)=[x^{2k}]{\frac {1}{2}}\left(1-\pi x\cot(\pi x)\right).}$

Последствия доказательства Эйлера [ править ]

К доказательству Эйлера для пояснялось выше и расширение его метода по элементарных симметрических многочленов в предыдущем пункте, можно сделать вывод , что это всегда рационально кратен . Таким образом, по сравнению с относительно неизвестными или, по крайней мере, неисследованными до сих пор свойствами дзета-констант с нечетным индексом , включая константу Апери , мы можем сделать гораздо больше об этом классе дзета-констант . В частности, поскольку и его целые степени трансцендентны , мы можем сделать вывод, что здесь иррационально , а точнее, трансцендентно для всех.${\displaystyle \zeta (2)}$${\displaystyle \zeta (2k)}$${\displaystyle \pi ^{2k}}$ ${\displaystyle \zeta (3)}$${\displaystyle \pi }$${\displaystyle \zeta (2k)}$${\displaystyle k\geq 1}$.

Дзета-функция Римана [ править ]

Дзета - функция Римана ζ ( s ) является одним из наиболее важных функций в математике из - за его связь с распределением простых чисел . Дзета-функция определяется для любого комплексного числа s, действительная часть которого больше 1, по следующей формуле:

${\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}.}$

Взяв s = 2 , мы видим, что ζ (2) равно сумме обратных квадратов всех положительных целых чисел:

${\displaystyle \zeta (2)=\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots ={\frac {\pi ^{2}}{6}}\approx 1.644934.}$

Сходимость может быть доказана интегральным тестом или следующим неравенством:

${\displaystyle {\begin{aligned}\sum _{n=1}^{N}{\frac {1}{n^{2}}}&<1+\sum _{n=2}^{N}{\frac {1}{n(n-1)}}\\&=1+\sum _{n=2}^{N}\left({\frac {1}{n-1}}-{\frac {1}{n}}\right)\\&=1+1-{\frac {1}{N}}\;{\stackrel {N\to \infty }{\longrightarrow }}\;2.\end{aligned}}}$

Это дает нам верхнюю границу 2, и поскольку бесконечная сумма не содержит отрицательных членов, она должна сходиться к значению строго между 0 и 2. Можно показать, что ζ ( s ) имеет простое выражение в терминах чисел Бернулли всякий раз, когда s - четное положительное целое число. При s = 2 n : ^[8]

${\displaystyle \zeta (2n)={\frac {(2\pi )^{2n}(-1)^{n+1}B_{2n}}{2\cdot (2n)!}}.}$

Строгое доказательство с использованием формулы Эйлера и правила Л'Опиталя [ править ]

Функция sinc имеет представление факторизации Вейерштрасса как бесконечное произведение:${\displaystyle {\text{sinc}}(x)={\frac {\sin(\pi x)}{\pi x}}}$

${\displaystyle {\frac {\sin(\pi x)}{\pi x}}=\prod _{n=1}^{\infty }\left(1-{\frac {x^{2}}{n^{2}}}\right).}$

Бесконечное произведение является аналитическим , поэтому, используя натуральный логарифм обеих частей и дифференцируя выходы

${\displaystyle {\frac {\pi \cos(\pi x)}{\sin(\pi x)}}-{\frac {1}{x}}=-\sum _{n=1}^{\infty }{\frac {2x}{n^{2}-x^{2}}}.}$

После деления уравнения на и перегруппировки получается${\displaystyle 2x}$

${\displaystyle {\frac {1}{2x^{2}}}-{\frac {\pi \cot(\pi x)}{2x}}=\sum _{n=1}^{\infty }{\frac {1}{n^{2}-x^{2}}}.}$

Делаем замену переменных ( ):${\displaystyle x=-it}$

${\displaystyle -{\frac {1}{2t^{2}}}+{\frac {\pi \cot(-\pi it)}{2it}}=\sum _{n=1}^{\infty }{\frac {1}{n^{2}+t^{2}}}.}$

Формулу Эйлера можно использовать для вывода, что

${\displaystyle {\frac {\pi \cot(-\pi it)}{2it}}={\frac {\pi }{2it}}{\frac {i\left(e^{2\pi t}+1\right)}{e^{2\pi t}-1}}={\frac {\pi }{2t}}+{\frac {\pi }{t\left(e^{2\pi t}-1\right)}}.}$

или используя гиперболическую функцию :

${\displaystyle {\frac {\pi \cot(-\pi it)}{2it}}={\frac {\pi }{2t}}{i\cot(\pi it)}={\frac {\pi }{2t}}\coth(\pi t).}$

Затем

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}+t^{2}}}={\frac {\pi \left(te^{2\pi t}+t\right)-e^{2\pi t}+1}{2\left(t^{2}e^{2\pi t}-t^{2}\right)}}=-{\frac {1}{2t^{2}}}+{\frac {\pi }{2t}}\coth(\pi t).}$

Теперь мы возьмем предел в ноль подходы и использовать правило Лопиталя трижды:${\displaystyle t}$

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=\lim _{t\to 0}{\frac {\pi }{4}}{\frac {2\pi te^{2\pi t}-e^{2\pi t}+1}{\pi t^{2}e^{2\pi t}+te^{2\pi t}-t}}}$

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=\lim _{t\to 0}{\frac {\pi ^{3}te^{2\pi t}}{2\pi \left(\pi t^{2}e^{2\pi t}+2te^{2\pi t}\right)+e^{2\pi t}-1}}}$

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}=\lim _{t\to 0}{\frac {\pi ^{2}(2\pi t+1)}{4\pi ^{2}t^{2}+12\pi t+6}}}$

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {\pi ^{2}}{6}}.}$

Строгое доказательство с использованием ряда Фурье [ править ]

Используйте тождество Парсеваля (примененное к функции f ( x ) = x ), чтобы получить

${\displaystyle \sum _{n=-\infty }^{\infty }|c_{n}|^{2}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }x^{2}\,dx,}$

где

${\displaystyle {\begin{aligned}c_{n}&={\frac {1}{2\pi }}\int _{-\pi }^{\pi }xe^{-inx}\,dx\\[4pt]&={\frac {n\pi \cos(n\pi )-\sin(n\pi )}{\pi n^{2}}}i\\[4pt]&={\frac {\cos(n\pi )}{n}}i\\[4pt]&={\frac {(-1)^{n}}{n}}i\end{aligned}}}$

для n ≠ 0 и c ₀ = 0 . Таким образом,

${\displaystyle |c_{n}|^{2}={\begin{cases}{\dfrac {1}{n^{2}}},&{\text{for }}n\neq 0,\\0,&{\text{for }}n=0,\end{cases}}}$

и

${\displaystyle \sum _{n=-\infty }^{\infty }|c_{n}|^{2}=2\sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{2\pi }}\int _{-\pi }^{\pi }x^{2}\,dx.}$

Следовательно,

${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{4\pi }}\int _{-\pi }^{\pi }x^{2}\,dx={\frac {\pi ^{2}}{6}}}$

как требуется.

Еще одно строгое доказательство, использующее личность Парсеваля [ править ]

Учитывая полный ортонормированный базис в пространстве в L2 периодических функций над (т.е. подпространство квадратично интегрируемых функций , которые также являются периодическими ), обозначаемых , идентичность замкнутости говорит нам , что${\displaystyle L_{\operatorname {per} }^{2}(0,1)}$ ${\displaystyle (0,1)}$${\displaystyle \{e_{i}\}_{i=-\infty }^{\infty }}$

${\displaystyle \|x\|^{2}=\sum _{i=-\infty }^{\infty }|\langle e_{i},x\rangle |^{2},}$

где определяется в терминах скалярного произведения на этом гильбертовом пространстве, задаваемого формулой${\displaystyle \|x\|:={\sqrt {\langle x,x\rangle }}}$

${\displaystyle \langle f,g\rangle =\int _{0}^{1}f(x){\overline {g(x)}}\,dx,\ f,g\in L_{\operatorname {per} }^{2}(0,1).}$

Мы можем рассматривать ортонормированный базис на этом пространстве, определяемый таким образом, что . Тогда, если мы возьмем , мы сможем вычислить и то, что${\displaystyle e_{k}\equiv e_{k}(\vartheta ):=\exp(2\pi \imath k\vartheta )}$${\displaystyle \langle e_{k},e_{j}\rangle =\int _{0}^{1}e^{2\pi \imath (k-j)\vartheta }\,d\vartheta =\delta _{k,j}}$${\displaystyle f(\vartheta ):=\vartheta }$

${\displaystyle {\begin{aligned}\|f\|^{2}&=\int _{0}^{1}\vartheta ^{2}\,d\vartheta ={\frac {1}{3}}\\\langle f,e_{k}\rangle &=\int _{0}^{1}\vartheta e^{-2\pi \imath k\vartheta }\,d\vartheta ={\Biggl \{}{\begin{array}{ll}{\frac {1}{2}},&k=0\\-{\frac {1}{2\pi \imath k}}&k\neq 0,\end{array}}\end{aligned}}}$

элементарным исчислением и интегрированием по частям соответственно. Наконец, по тождеству Парсеваля, сформулированному в приведенной выше форме, получаем, что

${\displaystyle {\begin{aligned}\|f\|^{2}={\frac {1}{3}}&=\sum _{\stackrel {k=-\infty }{k\neq 0}}^{\infty }{\frac {1}{(2\pi k)^{2}}}+{\frac {1}{4}}=2\sum _{k=1}^{\infty }{\frac {1}{(2\pi k)^{2}}}+{\frac {1}{4}}\\&\implies {\frac {\pi ^{2}}{6}}={\frac {2\pi ^{2}}{3}}-{\frac {\pi ^{2}}{2}}=\zeta (2).\end{aligned}}}$

Обобщения и повторяющиеся отношения [ править ]

Обратите внимание, что, рассматривая степени более высокого порядка, мы можем использовать интегрирование по частям, чтобы расширить этот метод до перечисления формул для когда . В частности, предположим, что мы положили${\displaystyle f_{j}(\vartheta ):=\vartheta ^{j}\in L_{\operatorname {per} }^{2}(0,1)}$${\displaystyle \zeta (2j)}$${\displaystyle j>1}$

${\displaystyle I_{j,k}:=\int _{0}^{1}\vartheta ^{j}e^{-2\pi \imath k\vartheta }\,d\vartheta ,}$

так что интегрирование по частям дает рекуррентное соотношение, что

${\displaystyle {\begin{aligned}I_{j,k}&={\Biggl \{}{\begin{array}{ll}{\frac {1}{j+1}},&k=0;\\-{\frac {1}{2\pi \imath \cdot k}}+{\frac {j}{2\pi \imath \cdot k}}I_{j-1,k},&k\neq 0\end{array}}\\&={\Biggl \{}{\begin{array}{ll}{\frac {1}{j+1}},&k=0;\\-\sum \limits _{m=1}^{j}{\frac {j!}{(j+1-m)!}}\cdot {\frac {1}{(2\pi \imath \cdot k)^{m}}},&k\neq 0\end{array}}.\end{aligned}}}$

Затем, применяя тождество Парсеваля, как мы сделали для первого случая выше, вместе с линейностью внутреннего продукта дает, что

${\displaystyle {\begin{aligned}\|f_{j}\|^{2}={\frac {1}{2j+1}}&=2\sum _{k\geq 1}I_{j,k}{\bar {I}}_{j,k}+{\frac {1}{(j+1)^{2}}}\\&=2\sum _{m=1}^{j}\sum _{r=1}^{j}{\frac {j!^{2}}{(j+1-m)!(j+1-r)!}}{\frac {(-1)^{r}}{\imath ^{m+r}}}{\frac {\zeta (m+r)}{(2\pi )^{m+r}}}+{\frac {1}{(j+1)^{2}}}.\end{aligned}}}$

Доказательство Коши [ править ]

Хотя в большинстве доказательств используются результаты продвинутой математики , такие как анализ Фурье , комплексный анализ и многомерное исчисление , нижеследующее даже не требует исчисления одной переменной (до тех пор, пока в конце не будет взят единственный предел ).

Доказательство с использованием теоремы о вычетах см. В связанной статье.

История этого доказательства [ править ]

Доказательство восходит к Августину Луи Коши (Cours d'Analyse, 1821, примечание VIII). В 1954 году это доказательство появилось в книге Акивы и Исаака Яглома «Неэлементарные задачи в элементарном изложении». Позже, в 1982 году, оно появилось в журнале Eureka , приписываемом Джону Скоулзу, но Скоулз утверждает, что узнал доказательство от Питера Суиннертон-Дайера , и в любом случае он утверждает, что доказательство было «общеизвестным в Кембридже в конце 1960-х».

Доказательство [ править ]

Показано неравенство . Возврат и возведение в квадрат дают .
${\displaystyle {\tfrac {1}{2}}r^{2}\tan \theta >{\tfrac {1}{2}}r^{2}\theta >{\tfrac {1}{2}}r^{2}\sin \theta }$

${\displaystyle \cot ^{2}\theta <{\tfrac {1}{\theta ^{2}}}<\csc ^{2}\theta }$

Основная идея доказательства - оценить частные (конечные) суммы

${\displaystyle \sum _{k=1}^{m}{\frac {1}{k^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+\cdots +{\frac {1}{m^{2}}}}$

между двумя выражениями, каждое из которых будет стремиться к π ²/6когда m стремится к бесконечности. Эти два выражения являются производными от тождеств, включающих функции котангенса и косеканса . Эти идентичности, в свою очередь, происходят из формулы де Муавра , и теперь мы переходим к установлению этих идентичностей.

Пусть x будет действительным числом с 0 < x <π/2, и пусть n - положительное нечетное целое число. Тогда из формулы де Муавра и определения функции котангенса имеем

${\displaystyle {\begin{aligned}{\frac {\cos(nx)+i\sin(nx)}{\sin ^{n}x}}&={\frac {(\cos x+i\sin x)^{n}}{\sin ^{n}x}}\\[4pt]&=\left({\frac {\cos x+i\sin x}{\sin x}}\right)^{n}\\[4pt]&=(\cot x+i)^{n}.\end{aligned}}}$

Из биномиальной теоремы имеем

${\displaystyle {\begin{aligned}(\cot x+i)^{n}=&{n \choose 0}\cot ^{n}x+{n \choose 1}(\cot ^{n-1}x)i+\cdots +{n \choose {n-1}}(\cot x)i^{n-1}+{n \choose n}i^{n}\\[6pt]=&{\Bigg (}{n \choose 0}\cot ^{n}x-{n \choose 2}\cot ^{n-2}x\pm \cdots {\Bigg )}\;+\;i{\Bigg (}{n \choose 1}\cot ^{n-1}x-{n \choose 3}\cot ^{n-3}x\pm \cdots {\Bigg )}.\end{aligned}}}$

Объединение двух уравнений и приравнивание мнимых частей дает тождество

${\displaystyle {\frac {\sin(nx)}{\sin ^{n}x}}={\Bigg (}{n \choose 1}\cot ^{n-1}x-{n \choose 3}\cot ^{n-3}x\pm \cdots {\Bigg )}.}$

Возьмем это тождество, зафиксируем натуральное число m , положим n = 2 m + 1 и рассмотрим x _r =г π/2 м + 1для r = 1, 2, ..., m . Тогда nx _r делится на π и, следовательно, sin ( nx _r ) = 0 . Так,

${\displaystyle 0={{2m+1} \choose 1}\cot ^{2m}x_{r}-{{2m+1} \choose 3}\cot ^{2m-2}x_{r}\pm \cdots +(-1)^{m}{{2m+1} \choose {2m+1}}}$

для каждого r = 1, 2, ..., m . Значения x _r = x ₁ , x ₂ , ..., x _m являются различными числами в интервале 0 < x _r <π/2. Поскольку функция кровати ² х это один-к-одному на этом интервале, число т _г = кроватка ² х _г различны при г = 1, 2, ..., м . По приведенному выше уравнению эти m чисел являются корнями многочлена m- й степени

${\displaystyle p(t)={{2m+1} \choose 1}t^{m}-{{2m+1} \choose 3}t^{m-1}\pm \cdots +(-1)^{m}{{2m+1} \choose {2m+1}}.}$

По формулам Виета мы можем вычислить сумму корней непосредственно, исследуя первые два коэффициента многочлена, и это сравнение показывает, что

${\displaystyle \cot ^{2}x_{1}+\cot ^{2}x_{2}+\cdots +\cot ^{2}x_{m}={\frac {\binom {2m+1}{3}}{\binom {2m+1}{1}}}={\frac {2m(2m-1)}{6}}.}$

Подставляя тождество csc ² x = cot ² x + 1 , имеем

${\displaystyle \csc ^{2}x_{1}+\csc ^{2}x_{2}+\cdots +\csc ^{2}x_{m}={\frac {2m(2m-1)}{6}}+m={\frac {2m(2m+2)}{6}}.}$

Теперь рассмотрим неравенство cot ² x <1/х ²<csc ² x (геометрически показано выше). Если сложить все эти неравенства для каждого из чисел x _r =г π/2 м + 1, и если мы воспользуемся двумя приведенными выше тождествами, мы получим

${\displaystyle {\frac {2m(2m-1)}{6}}<\left({\frac {2m+1}{\pi }}\right)^{2}+\left({\frac {2m+1}{2\pi }}\right)^{2}+\cdots +\left({\frac {2m+1}{m\pi }}\right)^{2}<{\frac {2m(2m+2)}{6}}.}$

Умножая на (π/2 м + 1)²
, это становится

${\displaystyle {\frac {\pi ^{2}}{6}}\left({\frac {2m}{2m+1}}\right)\left({\frac {2m-1}{2m+1}}\right)<{\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+\cdots +{\frac {1}{m^{2}}}<{\frac {\pi ^{2}}{6}}\left({\frac {2m}{2m+1}}\right)\left({\frac {2m+2}{2m+1}}\right).}$

Когда m приближается к бесконечности, каждое из левых и правых выражений приближаетсяπ ²/6, Поэтому по теореме гармони ,

${\displaystyle \zeta (2)=\sum _{k=1}^{\infty }{\frac {1}{k^{2}}}=\lim _{m\to \infty }\left({\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+\cdots +{\frac {1}{m^{2}}}\right)={\frac {\pi ^{2}}{6}}}$

и это завершает доказательство.

Другие личности [ править ]

См. Специальные случаи тождеств для дзета-функции Римана, когда в разделах ниже появляются другие, особенно специальные тождества и представления этой константы.${\displaystyle s=2.}$

Представления серий [ править ]

Ниже приведены представления константы рядами: ^[9]

${\displaystyle {\begin{aligned}\zeta (2)&=3\sum _{k=1}^{\infty }{\frac {1}{k^{2}{\binom {2k}{k}}}}\\&=\sum _{i=1}^{\infty }\sum _{j=1}^{\infty }{\frac {(i-1)!(j-1)!}{(i+j)!}}.\\\end{aligned}}}$

Существуют также разложения в ряды типа BBP для ζ (2) . ^[9]

Интегральные представления [ править ]

Ниже приведены интегральные представления ^{[10] [11] [12].}${\displaystyle \zeta (2){\text{:}}}$

${\displaystyle {\begin{aligned}\zeta (2)&=-\int _{0}^{1}{\frac {\log x}{1-x}}\,dx\\[6pt]&=\int _{0}^{\infty }{\frac {x}{e^{x}-1}}\,dx\\[6pt]&=\int _{0}^{1}{\frac {(\log x)^{2}}{(1+x)^{2}}}\,dx\\[6pt]&=2+2\int _{1}^{\infty }{\frac {\lfloor x\rfloor -x}{x^{3}}}\,dx\\[6pt]&=\exp \left(2\int _{2}^{\infty }{\frac {\pi (x)}{x(x^{2}-1)}}\,dx\right)\\[6pt]&=\int _{0}^{1}\int _{0}^{1}{\frac {dx\,dy}{1-xy}}\\[6pt]&={\frac {4}{3}}\int _{0}^{1}\int _{0}^{1}{\frac {dx\,dy}{1-(xy)^{2}}}\\[6pt]&=\int _{0}^{1}\int _{0}^{1}{\frac {1-x}{1-xy}}\,dx\,dy+{\frac {2}{3}}.\end{aligned}}}$

Непрерывные дроби [ править ]

В ван дер классической статье Poorten в хронику доказательство обезьянничание в иррациональности ζ ( 3 ) {\displaystyle \zeta (3)} , ^[13] автор отмечает несколько параллелей в доказательстве иррациональности для доказательства обезьянничание в. В частности, он документирует рекуррентные отношения для почти целочисленных последовательностей, сходящихся к константе, и непрерывные дроби для константы. Другие непрерывные дроби для этой константы включают ^[14]${\displaystyle \zeta (2)}$

${\displaystyle {\frac {\zeta (2)}{2}}={\cfrac {1}{v_{1}-{\cfrac {1^{4}}{v_{2}-{\cfrac {2^{4}}{v_{3}-{\cfrac {3^{4}}{v_{4}-\ddots }}}}}}}},}$

и ^{[15] [ ненадежный источник? ]}

${\displaystyle {\frac {\zeta (2)}{5}}={\cfrac {1}{{\widetilde {v}}_{1}-{\cfrac {1^{4}}{{\widetilde {v}}_{2}-{\cfrac {2^{4}}{{\widetilde {v}}_{3}-{\cfrac {3^{4}}{{\widetilde {v}}_{4}-\ddots }}}}}}}},}$

где и .${\displaystyle v_{n}=2n-1\mapsto \{1,3,5,7,9,\ldots \}}$${\displaystyle {\widetilde {v}}_{n}=11n^{2}-11n+3\mapsto \{3,25,69,135,\ldots \}}$

См. Также [ править ]

• Дзета-функция Римана
• Постоянная Апери

Ссылки [ править ]

• Вейль, Андре (1983), Теория чисел: подход через историю , Springer-Verlag, ISBN 0-8176-3141-0.
• Данэм, Уильям (1999), Эйлер: Мастер всех нас , Математическая ассоциация Америки , ISBN 0-88385-328-0.
• Дербишир, Джон (2003), Основная одержимость: Бернхард Риман и величайшая нерешенная проблема математики , Джозеф Генри Press, ISBN 0-309-08549-7.
• Айгнер, Мартин ; Циглер, Гюнтер М. (1998), Доказательства из КНИГИ , Берлин, Нью-Йорк: Springer-Verlag
• Эдвардс, Гарольд М. (2001), дзета-функция Римана , Дувр, ISBN 0-486-41740-9.

Заметки [ править ]

Внешние ссылки [ править ]

• Бесконечная серия сюрпризов от CJ Sangwin
• От ζ (2) до. Доказательство. пошаговое доказательство
• «Ремарки о прекрасном раппорте между сериями мощностей, направленных на взаимные действия» (PDF) ., Английский перевод с примечаниями к статье Эйлера Лукаса Уиллиса и Томаса Дж. Ослера
• Эд Сандифер. «Как это сделал Эйлер» (PDF) .
• Джеймс А. Селлерс (5 февраля 2002 г.). «За пределами простой конвергенции» (PDF) . Проверено 27 февраля 2004 .
• Робин Чепмен. «Оценка ζ (2) » (PDF) . (четырнадцать доказательств)
• Визуализация факторизации Эйлера синусоидальной функции
• Йохан Эстлунд (8 декабря 2010 г.). «Суммирование обратных квадратов евклидовой геометрией» (PDF) .
  • Почему здесь пи? А почему квадрат? Геометрический ответ на проблему Базеля на YouTube (анимированное доказательство на основе вышесказанного)