勘根定理的定义：假设一个函数在a至b的闭区间中连续，且a的函数值与b的函数值异号，即一为正一为负，则在a至b区间中找到一个数c，使得c的函数值等于0，则c为这个函数的根。

伯纳德·波尔查诺与1817年证明了这个定理，同时证明了这个定理的一般情况，即介值定理。