TheoremBase

Sum, Constant Multiple, and Product Rules for One-Dimensional Derivatives

Statement

Let R\mathbb{R} be the real numbers. Let I⊆RI\subseteq\mathbb{R} be an interval, let f,g:I→Rf,g:I\to\mathbb{R}, let c∈Rc\in\mathbb{R}, and let x0∈Ix_0\in I be an interior point of II. Here f+gf+g, cfcf and fgfg denote the pointwise sum, scalar multiple and product on II, given by (f+g)(z)=f(z)+g(z)(f+g)(z)=f(z)+g(z), (cf)(z)=c f(z)(cf)(z)=c\,f(z) and (fg)(z)=f(z) g(z)(fg)(z)=f(z)\,g(z).

Then the following hold.

1. (Constants) For every b∈Rb\in\mathbb{R}, the function on II with constant value bb is differentiable at x0x_0 with derivative 00.

2. (Sum and constant multiple) If ff and gg are differentiable at x0x_0, then f+gf+g and cfcf are differentiable at x0x_0, with

(f+g)′(x0)=f′(x0)+g′(x0),(cf)′(x0)=c f′(x0).(f+g)'(x_0)=f'(x_0)+g'(x_0),\qquad (cf)'(x_0)=c\,f'(x_0).

3. (Product rule) If ff and gg are differentiable at x0x_0, then fgfg is differentiable at x0x_0, with

(fg)′(x0)=f′(x0) g(x0)+f(x0) g′(x0).(fg)'(x_0)=f'(x_0)\,g(x_0)+f(x_0)\,g'(x_0).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…