Let R be the real numbers. Let I⊆R be an interval, let f,g:I→R, let c∈R, and let x0∈I be an interior point of I. Here f+g, cf and fg denote the pointwise sum, scalar multiple and product on I, given by (f+g)(z)=f(z)+g(z), (cf)(z)=cf(z) and (fg)(z)=f(z)g(z).
Then the following hold.
1. (Constants) For every b∈R, the function on I with constant value b is differentiable at x0 with derivative 0.
2. (Sum and constant multiple) If f and g are differentiable at x0, then f+g and cf are differentiable at x0, with
(f+g)′(x0)=f′(x0)+g′(x0),(cf)′(x0)=cf′(x0).
3. (Product rule) If f and g are differentiable at x0, then fg is differentiable at x0, with
(fg)′(x0)=f′(x0)g(x0)+f(x0)g′(x0).