noun Mathematics. the theorem that a differentiable function having equal values at the endpoints of an interval has a derivative equal to zero at some point in the interval.