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.
limx→cf(x2)−f(x1)x2−x1=f′(c) ,c∈(x1,x2)
Eşitliğin sağ tarafı, varsayımdan negatif ve diğer tarafta olan payda pozitif. Demek ki pay kısmı negatif olmalı.
f(x2)−f(x1)≤0→f(x2)≤f(x1)
O halde fonksiyon azalanmış.