首页 > 其他分享 >巴塞尔问题的欧拉之解

巴塞尔问题的欧拉之解

时间:2023-04-01 13:00:50浏览次数:21  
标签:之解 frac Big 巴塞尔 cdots 2n pi sin 欧拉

前言

欧拉年少成名,这是巴塞尔问题欧拉的解法

大致证明

根据 $$\lim_{x\rightarrow 0}\frac{\sin x}x=1 $$以及 \(\sin x\) 的根为 $k\pi,k\in \mathbb{Z} $得到

\[\begin{align} \frac{\sin x}x&=\Big(1-\frac{x}{\pi}\Big)\Big(1+\frac{x}{\pi}\Big)\Big(1-\frac{x}{2\pi}\Big)\Big(1+\frac{x}{2\pi}\Big)\cdots\\ &=\Big(1-\frac{x^2}{\pi^2}\Big)\Big(1-\frac{x^2}{4\pi^2}\Big)\Big(1-\frac{x^2}{9\pi^2}\Big)\cdots\tag1 \end{align}\\ \]

根据 \(\sin x\)的泰勒展开式

\[\sin x=x-\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots+(-1)^{n}\frac{x^{2n+1}}{(2n+1)!}+\cdots\\ \]

两边同时除以 \(x\) 得到

\[\frac{\sin x}x=1-\frac{x^2}{3!}+\frac{x^4}{5!}+\cdots+(-1)^n\frac{x^{2n}}{(2n+1)!}+\cdots\\\tag2 \]

比较(1)式与(2)式中 \(x^2\) 的系数得到

\[-\frac{1}{3!}=-\frac{1}{\pi^2}-\frac{1}{4\pi^2}-\frac{1}{9\pi^2}-\cdots\\ \]

\[\frac1{1^2}+\frac{1}{2^2}+\frac{1}{3^2}+\cdots+\frac{1}{n^2}+\cdots=\frac{\pi^2}{6}\\ \]

The End

此blog并没有将欧拉的严谨证明搬到此处

标签:之解,frac,Big,巴塞尔,cdots,2n,pi,sin,欧拉
From: https://www.cnblogs.com/georgeyucjr/p/17278449.html

相关文章

  • Python爬虫利器之解析库的使用
    对于一个刚学Python爬虫的新手来说,学习Python爬虫里面的「解析库的使用」如果没有超强记忆力,估计是边学边忘,正所谓好记性不如烂笔头,在自己学些爬虫相关的知识点可以记录下来然后多次实践肯定比单凭记忆力要记得牢,下面我就把我学习的一些解析库的知识整理出来,供大家参考下。我的计......
  • 欧拉筛法求素数
    在开筛之前,我们要理解一个很好理解的概念,任何一个合数可以拆成一个最小素数和另一个数(可能质数可能合数)的乘积这个最小素数即为这个合数的最小质因子//比如12=2*6,此时2就是12的最小质因子,当然亦有12=3*4,可以看到3也是12的质因子,但不是最小的质因子//而且,对于一合数a=b*q,b为a的最......
  • 浅析数论--埃氏筛/欧拉筛/杜教筛
    \(\mathcal{0x01绪论}\)\(\mathcal{质数的判定试除法or六倍原理}\)一个合数的约数总是成对出现的,如果\(d|n\)(\(d\)能被\(n\)整除),那么\((n/d)|n\),因此我们判断一个......
  • AcWing 874. 筛法求欧拉函数
    \(AcWing\)\(874.\)筛法求欧拉函数一、题目描述给定一个正整数\(n\),求\(1∼n\)中每个数的欧拉函数之和。输入格式共一行,包含一个整数\(n\)。输出格式共一行,包......
  • 欧拉序+ST表 O(nlogn+q)求LCA
    欧拉序:每次遍历到树上的一个点,就加进欧拉序如123​45这颗树的欧拉序是121343431这样我们可以发现一个重要的性质:两个点的LCA是欧拉序之间dep最小的点......
  • [线筛|欧拉筛]线性筛选素数
    来源:模板题目描述:用线行筛筛选素数,将指定范围的素数找出,达到O(n)的效果。思路时间复杂度0(n)思路任意值必然可以被分解为:​​a=b1^c1*b2*c2*...​​​例如​​9=3^3,15=3*5,......
  • 关于欧拉定理与费尔马定理
    关于欧拉定理:看到很多地方包括百科上都是下面方式定义的如果a,m都属于正整数,且gcd(a,m)=1,则会有a^φ(m)≡1(modm) 但这样说不是很严谨的,实际上应该要再加一个条件(m......
  • 变相欧拉
    ProblemDescriptionThegreatestcommondivisorGCD(a,b)oftwopositiveintegersaandb,sometimeswritten(a,b),isthelargestdivisorcommontoaandb,F......
  • 【洛谷】P4139 上帝与集合的正确用法(扩展欧拉定理)
    原题链接题意求:\[2^{2^{2^{\ldots}}}\modp\]可以证明这个式子一定为一个常数。\(1\leqp\leq10^7\)思路根据扩展欧拉定理,可以得到:\[2^{2^{2^{\ldots}}}\equi......
  • 欧拉定理学习笔记
    费马小定理:当$a,p\in\mathbb{Z}$且\(p\)为质数,$a\not\equiv0\pmod{p}$时,有:\[a^{p-1}\equiv1\pmod{p}\]故\(a^b\equiva^{b\mod(p-1)}\pmod{p}\)欧......