Boa tarde a todos ...
Alternativamente , fixado

, defina

. Dizer que

equivale dizer que para qualquer

dado , existe

(correspondente ) tal que se

então

.
Segue que
![\frac{f(a+h) -f(a-h) }{2h} -f'(a) = \frac{f(a+h) -f(a) -(f(a-h) -f(a)) }{2h} -f'(a) = g(h) - \frac{f(a +(-h) ) -f(a)}{2h} -f'(a) = \frac{1}{2} \left[ g(h) - f'(a) - g(-h) - f'(a) \right] \frac{f(a+h) -f(a-h) }{2h} -f'(a) = \frac{f(a+h) -f(a) -(f(a-h) -f(a)) }{2h} -f'(a) = g(h) - \frac{f(a +(-h) ) -f(a)}{2h} -f'(a) = \frac{1}{2} \left[ g(h) - f'(a) - g(-h) - f'(a) \right]](/latexrender/pictures/b84640858021fb205aac98b2736dbc3d.png)
.
. Aplicando o módulo e usando a desigualdade triangular , temos

.
Mas , se

então

. Desta forma , obtemos que ambas quantidades

e

são limitadas por

e por isso

o que prova formalmente que o limite

existe e vale

.
Viva a matemática ...