Primitive of Constant

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $c$ be a constant.

$\ds \int c \rd x = c x + C$ where $C$ is an arbitrary constant.


Proof

Let:

$\ds \map F x = \int c \rd x$

From the definition of primitive:

$\map {F'} x = c$

From Derivative of Function of Constant Multiple:

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

From Primitives which Differ by Constant:

$\map {\dfrac \d {\d x} } {c x + C} = c$

Hence the result.

$\blacksquare$


Sources