f : [a,b] --> R fonksiyonu, [a,b] aralığında sürekli, (a,b) aralığında türevlenebilir olsun.
∃x₀∈(a,b) için

f '(x₀)=

f(b) - f(a)

b-a

dır.