Finsler递归定理和S-引理,是二次约束二次优化问题的2个基本结果。它们以及由Finsler递归定理发展起来的双边投影定理在鲁棒优化和控制领域扮演十分重要的角色。利用二次函数的连通特性证明了Finsler递归定理和S-引理的等价性,并给出了双边投影定理的一个新证明。