Ortalama Değer teoremini kullanıp göstericem
f′(x)≤0 olsun ve x1,x2∈(a,b) alıcaz öyle ki x1<x2 olsun. Şimdi f(x) fonksiyonuna (x1,x2) aralığında ortalama değer teoremini uyguluyorum.
lim ,c\in (x_1,x_2)
Eşitliğin sağ tarafı, varsayımdan negatif ve diğer tarafta olan payda pozitif. Demek ki pay kısmı negatif olmalı.
f(x_2)-f(x_1)\le 0 \to f(x_2) \le f(x_1)
O halde fonksiyon azalanmış.