本文系统总结了点火公式（Wallis公式）及其变形与应用。主要内容包括：1）基本点火公式的递推关系及奇偶情况下的表达式；2）进阶形式的递推关系及偶数情况的解；3）非整数指数的Beta函数推广形式；4）三角恒等变换技巧，包括m+n为偶数和m=n时的简化方法；5）特殊积分技巧，如奇数次幂替换、降幂公式和乘积转和差等变换方法。这些公式和技巧为求解含有三角函数的积分提供了系统化的解决方案。