在上图中,设 为一个 直角三角形,弧 和 分别是以 和 为圆心的 圆 的一部分,并定义
(1)
| |||
(2)
| |||
(3)
|
则
(4)
|
这可以通过设 , , 和 然后解方程得到
(5)
| |||
(6)
| |||
(7)
|
得到
(8)
| |||
(9)
| |||
(10)
|
代入上述式子得到
(11)
|
根据勾股定理,代入 ,该图得出代数恒等式
(12)
|
由弧确定的扇形形成的交集(在三角形内部)的面积由下式给出
(13)
|