RealDerivative

Input: RealDerivative(f(x), For(x, a))
$$f'(a)$$

Real derivative. See Derivative for further information about the call syntax.

Input: RealDerivative(f(x), For(x, a, n))
$${f}^{(n)}(a)$$

Real $n$-th derivative. See Derivative for further information about the call syntax.

Input: Equal(RealDerivative(f(x), For(x, x)), RealLimit((f(x+h)-f(x))/h, For(h, 0)))
$$f'(x) = \lim_{h \to 0} \frac{f\!\left(x + h\right) - f(x)}{h}$$

Real means that the limit is taken with respect to a real variable.

Last updated: 2020-03-06 00:22:16