∫(0->2π) e^(-x^2)(cosx)^2 dx=∫(0->π) e^(-x^2)(cosx)^2 dx +∫(π->2π) e^(-x^2)(cosx)^2 dx>∫(0->π) e^(-x^2)(cosx)^2 dxe^(-x^2)(cosx)^2 >0 ; x∈(π,2π)=>∫(π->2π) e^(-x^2)(cosx)^2 dx >0
是定理，俗称点火公式。
