# Primitive of Exponential Function/Real

Jump to navigation Jump to search

## Theorem

$\displaystyle \int e^x \rd x = e^x + C$

where $C$ is an arbitrary constant.

## Proof for Real Numbers

Let $x \in \R$ be a real variable.

 $\displaystyle \map {D_x} {e^x}$ $=$ $\displaystyle e^x$ Derivative of Exponential Function

The result follows by the definition of the primitive.

$\blacksquare$