Creo que la diferencia finita
$$\frac{f(x_0 + \frac12 \Delta x) - f(x_0 - \frac12 \Delta x)}{\Delta x}$$
se aproxima a $f'$ y tiene límite $f'(x_0)$ como $\Delta x \to 0$ . ¿Estoy en lo cierto al razonar a partir de esto que dadas dos funciones $\alpha (x)$ , $\beta(x)$ diferenciable en $x_0$ tenemos que
$$\lim_{\Delta x \to 0}\frac{\alpha(x_0 - \Delta x)\beta(x_0 - \Delta x) - \alpha(x_0 + \Delta x)\beta(x_0 + \Delta x)}{\Delta x}\\ = -2(\alpha \beta)'(x_0) = -2\alpha'(x_0)\beta(x_0) - 2\alpha(x_0) \beta'(x_0)?$$
Gracias