零点存在定理是数学中的基本定理，指出函数在区间的两个端点上取值异号，则函数在该区间内至少有一个零点。在零点存在定理中，强调严格小于0而不能在小于等于0的情况下下结论，这是因为在小于等于0的情况下，函数没有零点。