根据直角三角形的勾股定理得
AC^2+BC^2=AB^2
半圆的面积分别为,(1/8)π*(AC)^2,(1/8)π*(BC)^2,(1/8)π*(AB)^2
则由AC和BC画的半圆的面积之和等于AB所画半圆的面积