In the above figure, let
be a right triangle, arcs
and
be segments of circles centered
at
and
respectively, and define
(1)
| |||
(2)
| |||
(3)
|
Then
(4)
|
This can be seen by letting ,
, and
and then solving the equations
(5)
| |||
(6)
| |||
(7)
|
to obtain
(8)
| |||
(9)
| |||
(10)
|
Plugging in the above gives
(11)
|
by the Pythagorean theorem, so plugging in , the figure yields the algebraic identity
(12)
|
The area of intersection formed (inside the triangle) by the circular sectors determined by arcs is given by
(13)
|