Primitive of Reciprocal/Corollary

From ProofWiki
Jump to navigation Jump to search

Corollary to Primitive of Reciprocal

$\ds \int \frac {\d x} x = \ln x + C$

for $x > 0$.


Proof

From Primitive of Reciprocal:

$\ds \int \frac {\d x} x = \ln \size x + C$

for $x \ne 0$.

By definition of absolute value:

$\forall x \in \R_{>0}: \size x = x$

Hence the result.

$\blacksquare$