Sea ff una función real de variable real, continua en el intervalo cerrado [a,b][a, b] y derivable en el intervalo abierto (a,b)(a, b). Entonces existe al menos un punto c(a,b)c \in (a, b) tal que

f(c)=f(b)f(a)baf'(c) = \dfrac {f(b)-f(a)}{b-a}