İ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.