Definite Integral of Reciprocal of Root of a Squared minus x Squared

Theorem

 * $\displaystyle \int_0^x \frac {\d t} {\sqrt{1 - t^2} } = \arcsin x$