Sum, Constant Multiple, and Product Rules for One-Dimensional Derivatives
lemmalem:derivative-arithmetic-1d-2026aLet be the real numbers. Let be an interval, let , let , and let be an interior point of . Here , and denote the pointwise sum, scalar multiple and product on , given by , and .
Then the following hold.
1. (Constants) For every , the function on with constant value is differentiable at with derivative .
2. (Sum and constant multiple) If and are differentiable at , then and are differentiable at , with
3. (Product rule) If and are differentiable at , then is differentiable at , with
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.