点火公式一般指Wallis公式，Wallis（华里士）公式是关于圆周率的无穷乘积的公式，但Wallis公式中只有乘除运算，连开方都不需要，形式上十分简单。虽然Wallis公式对π的近似计算没有直接影响，但是在导出Stirling公式中起到了重要作用。
点火公式在三角函数的积分里非常常用，也是考研最爱考的一个数学公式。
这个公式通常不会直接出现，而是要和换元法、对称性等题目结合使用。在定积分的计算中也占有重要的地位。
