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

Theorem

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

for $a > 0$.