海涅归结原理海涅定理是德国数学家海涅（Heine）给出的，应用海涅定理人们可把函数极限问题转化（归结）成数列问题，因而人们又称它为归结原则。
海涅原理搭建起了数列极限和函数极限之间的桥梁，求函数极限问题可以转化成为求数列极限的问题，求数列极限的问题也可以转化成为求函数极限的问题。
同样也可以利用此定理及间接的判断敛散性。
定义：若函数f(x)在Uo(x0)有定义 , limx→x0f(x)=A∈R⟺∀xn∈Uo(x0) limn→∞xn=x0, limn→∞f(xn)=A 注：是子数列(注：xn是子数列)应用一：证明函数极限不存在时可以用海涅定理1∘: 若存在子数列xn∈U∘(x0),limn→∞xn=x0 使{f(xn)} 发散，则limx→x0f(x) 不存在。
2∘: (双子数列方法)若存在xn,yn∈U∘(x0),limn→∞xn=x0,limn→∞yn=x0 ,且满足limn→∞f(xn)=A,limn→∞f(yn)=B ，若A≠B ,则limx →x0f(x) 不存在,反之则存在。
3∘: 若limx→x0f(x) 存在，xn∈U∘(x0), 且xn≠x0 , limn→∞xn=x0，limn→∞f(xn)=A ⟹limx→x0f(x)=A例：求证limx→∞sinx 不存在。
证明：方法一：任取子数列：时xn=π2+nπ(n→∞时,xn→∞)f(xn)=1,−1,1,−1,1,−1,1,−1⋯⋯由于limn→∞f(xn) 不存在，所以limx→∞sinx .方法二：任取两个收敛的子数列，但是可证出极限值不相等——发散令yn=nπ,limn→∞yn=0,xn=2nπ+π2,limn→∞xn=1 ,两个子数列均是收敛的，但是收敛的极限值不同，所以函数f(x)=sinx 是发散的.例：若f(x) 为R 上以t 为周期的周期函数，limx→∞f(x)=A ,求f(x) . 在证明过后应当作结论记住(在证明过后应当作结论记住)注解：利用周期函数的性质找出趋向于∞的子数列.解：xn=x,x+t,x+2t⋯⋯x+ntf(x)=f(x+t)=f(x+2t)=⋯⋯=f(x+nt) , 则当x→∞时，[xn+nt]⟶+∞，∀x0 , limn→∞f(x0+nt)=f(x0) ,所以limn→∞f(x)=f(x0)又∵x0 的任意性∴f(x0)=f(x)=A例：设f(x) 在(0,+∞) 上有定义，∀x∈R+, 有f(x)=f(3x) , limn→0+f(x)=A求f(x)解：∵f(x)=f(x3)=f(x32)=f(x33)=⋯⋯=f(x3n)limn→+∞x3n=0+ ⇒∀x0 , limn→∞f(x03n)=f(x0) ⇒limx→0+f(x)=f(x0)因为x0 的任意性，所以f(x0)=f(x)=A例：设f(x) 在(0,+∞) 上有定义，∀x∈R+, 有f(x)=f(x3) , limx→∞f(x)=A∈R求f(x)解：f(x)=f(3x)=f(32x)=⋯⋯=f(3nx) ，limn→∞3nx→∞∀固定x0 ,有limn→∞f(3nx0)=f(x0) limn→∞f(x)=f(x0)又由于x0 的任意性，推广得到f(x0)=f(x)所以：f(x)=A总结：先依据周期性找到合适的递推公式，先固定任意的x0 ,根据海涅定理得到limx→∞f(x)=f(x0) ,最后根据x0 的任意性推广到所有的x .。
