Definite Integral from 0 to a of Reciprocal of Root of a Squared minus x Squared

Theorem

 * $\displaystyle \int_0^a \dfrac {\rd x} {\sqrt {a^2 - x^2} } = \frac \pi 2$

for $a > 0$.