点火公式（华里士公式）详解

通过第二种积分形式的证明（我：没有向别人证实）华里士公式在零到派或者零到二分之派的积分区间上都成立，甚至二分之三派区间上都成立，因为分部积分的第一部分总为零。