根的存在性定理