π的莱布尼茨公式

✍ dations ◷ 2025-06-29 12:32:43 #级数,圆周率算法,包含证明的条目,数学公式,戈特弗里德·莱布尼茨

在数学领域,π的莱布尼茨公式说明

右边的展式是一个无穷级数,被称为莱布尼茨级数,这个级数收敛到 π 4 {\displaystyle {\frac {\pi }{4}}}  = 1 代入,便得莱布尼兹公式(1的反正切是π ⁄ 4)。这种推理产生的一个问题是1不在幂级数的收敛半径以内。因此,需要额外论证当 = 1时级数收敛到tan−1(1)。一种方法是利用交替级数判别法,然后使用阿贝尔定理证明级数收敛到tan−1(1)。然而,也可以用一个完全初等的证明。

考虑如下分解

对于|| < 1,右侧的分式是余下的几何级数的和。然而,上面的方程并没有包含无穷级数,并且对任何实数成立。上式两端从0到1积分可得:

n {\displaystyle n\rightarrow \infty \!} 时,除积分项以外的项收敛到莱布尼茨级数。同时,积分项收敛到0:

这便证明了莱布尼茨公式。

相关

  • 虔诚者路易虔诚者路易,即路易一世(法语:Louis Ier,778年4月16日-840年6月20日),法兰克王国的国王和皇帝(814年1月28日—840年6月20日在位),查理大帝的儿子与继位者。781年,查理大帝平定亚奎丹后,让
  • 路易八世路易八世(狮子)(法语:Louis VIII le Lion,1187年9月5日-1226年11月8日),法兰西卡佩王朝国王(1223年—1226年在位),且在1216年—1217年要求英格兰王位。他生于巴黎,是法兰西国王腓力二世
  • 伦弗鲁伦弗鲁郡(英语:Renfrewshire;苏格兰盖尔语:Siorrachd Rinn Friù),是英国苏格兰32个一级行政区之一。虽然面积很小,但是地处苏格兰第一大城市格拉斯哥西南,人口密集,交通繁忙。面积26
  • 路易斯安纳州路易斯安那州(法语:État de la Louisiane; 英语:State of Louisiana),简称路州,是美国的一个州,位于墨西哥湾沿岸。此州以对比强烈的文化、地理景观著名。如嘉年华会的狂欢和荒野
  • 吴毓江吴毓江(1898年3月-1977年6月),名继刚,号墨生,别号墨村,男,苗族,四川省秀山县(现属重庆市)雅江乡人。吴氏出身经济学,后在历史学、哲学等方面多有建树,以治墨学著名,是墨子研究专家。1925年
  • 察隅假毛蕨察隅假毛蕨(学名:)为金星蕨科假毛蕨属下的一个种。
  • 上海轨道交通嘉闵线上海轨道交通嘉闵线为上海市规划的一条嘉定区至闵行区的市域铁路,为上海市市郊铁路示范线之一,为上海市域快线的南北干线。线路全长41.6公里,起自嘉定北站,终至莘庄北站。主要沿
  • 2005年2月逝世人物列表2005年逝世人物列表:1月 - 2月 - 3月 - 4月 - 5月 - 6月 - 7月 - 8月 - 9月 - 10月 - 11月 - 12月下面是2005年2月逝世的知名人士列表:
  • 奥拉奇哈奥拉奇哈(Orachha),又拼作Orchha(欧洽),是印度中央邦Niwari县的一个城镇。总人口8499(2001年)。城内有16世纪建筑的土邦宫殿及印度教神庙,是受欢迎的观光景点。该地2001年总人口8499
  • 朱逌然朱逌然(1836年-1882年;逌读音:yōu),清朝末年学者。字肯夫,亦字肯甫;号味莲,室名孱守斋。浙江余姚(今宁波余姚市)人,有误作义乌人。同族远祖朱之瑜。祖父朱文治,父亲内阁学士朱兰,夫人钱卿