Derivative of Constant Multiple

Theorem

Real

Let $f$ be a real function which is differentiable on $\R$.

Let $c \in \R$ be a constant.


Then:

$\map {\dfrac \d {\d x} } {c \map f x} = c \map {\dfrac \d {\d x} } {\map f x}$


Complex

Let $D$ be an open subset of the set of complex numbers $\C$.

Let $f: D \to \C$ be a complex-differentiable function on $D$.

Let $c \in \C$ be a constant.

Then:

$\forall z \in D : \map {D_z} {c \map f z} = c \map {D_z} {\map f z}$


Sources

  • 1964: Milton Abramowitz and Irene A. Stegun: Handbook of Mathematical Functions ... (previous) ... (next): $3$: Elementary Analytic Methods: $3.3$ Rules for Differentiation and Integration: Derivatives: $3.3.1$
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.