Primitive of Constant Multiple of Function

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $f$ be a real function which is integrable.

Let $c$ be a constant.


Then:

$\displaystyle \int c \map f x \rd x = c \int \map f x \rd x$


Proof 1

From Linear Combination of Integrals:

$\displaystyle \int \paren {\lambda \map f x + \mu \map g x} \rd x = \lambda \int \map f x \rd x + \mu \int \map g x \rd x$

The result follows by setting $\lambda = c$ and $\mu = 0$.

$\blacksquare$


Proof 2

From Derivative of Constant Multiple:

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

The result follows from the definition of primitive.


Sources