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

Theorem

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

for $a > 0$.