沃利斯公式

圆周率π的有理数极限表达式.形如

＝².

它可以通过

∫₀sin^m xdx=∫₀cos^mxdx

　=

得到.这个公式最早由沃利斯(Wallis，J.)得到，并于1655年发表.他原来的结果是

这不仅是数学史上较早的无穷乘积的例子，也是第一个将π表为容易计算的有理数列的极限的公式.但对π的计算，现在已有快速的方法.