Which yields the upper half of the circle on the domain interval . Let represent the area of the circle. Then, Our integral resists solution as is, impeded by the radical. Note that . Equivalently: Substituting the trigonometric identity into the integral, we obtain: Which cannot be evaluated without changing the variable of integration. Beginning with: Substituting back into the integral and taking care to change the interval of integration, we arrive at: QED