İlk eşitliği, hesabın temel teoremine göre (Bkz: https://tr.wikipedia.org/wiki/Hesab%C4%B1n_temel_teoremi) b'ye göre türev alırsak,
f(b)=\frac{f(a)+f(b)}{2}+\frac{1}{2}f'(b)(b-a)
Aynı şekilde a'ya göre türev alırsak,
-f(a)=-\frac{f(a)+f(b)}{2}+\frac{1}{2}f'(a)(b-a)
İki ifadenin farkını alalım:
f(a)+f(b)=f(a)+f(b)+\frac{1}{2}(b-a)(f'(b)-f'(a))
Eşitliğin sağlanabilmesi için tüm a ve b değerleri için f'(a)=f'(b) olmalıdır ki bu yüzden f' fonksiyonu sabit ve m,n \in \mathbb{R} için
f=mx+n tipinde bir fonksiyondur.