Without loss of generality, the circle can be centered at the origin, so it will have the Cartesian representation . To continue working in Cartesian coordinates, obtain . Apply the "formula" to obtain
|
|
|
|
|
|
|
|
Now an antiderivative for is . Since this will then be evaluated at the endpoints where vanishes, it is better to use the two-argument form of the arctangent function. Consequently, the computed value for will be
as expected.
An alternative evaluation for the integral of starts with the trigonometric substitution .