一道应用勾股定理的证明以RT三角形ABC的三边长为直径做三个半圆（也就是每条边中点为圆心,所谓半圆就是这个直角三角形外的部分）.每边长分别设为a\b\c（左边起,依次下边,斜边）,而左边

一道应用勾股定理的证明以RT三角形ABC的三边长为直径做三个半圆（也就是每条边中点为圆心,所谓半圆就是这个直角三角形外的部分）.每边长分别设为a\b\c（左边起,依次下边,斜边）,而左边
一道应用勾股定理的证明
以RT三角形ABC的三边长为直径做三个半圆（也就是每条边中点为圆心,所谓半圆就是这个直角三角形外的部分）.每边长分别设为a\b\c（左边起,依次下边,斜边）,而左边为直径的半圆面积是S1,下边为直径的是S2,斜边为直径的是S3.如果将此图中斜边上的半圆沿斜边翻折180度,与S1,S2不重合的部分涂上阴影,翻折的图形应与RT三角形一点B重合,成为最终图形.请验证：两个阴影部分面积之和正好等于直角三角形的面积.（此阴影部分在数学史上称为“希波克拉底月牙”）
PS：因为无法提供原题图,所以描述的啰嗦了点,是出现在勾股定理这章里的练习,思路.

一道应用勾股定理的证明以RT三角形ABC的三边长为直径做三个半圆（也就是每条边中点为圆心,所谓半圆就是这个直角三角形外的部分）.每边长分别设为a\b\c（左边起,依次下边,斜边）,而左边
因为三角形ABC是直角三角形,所以,以斜边为直径的圆就是其外接圆,于是,“将此图中斜边上的半圆沿斜边翻折180度”必过直角顶点.所以,
两个阴影部分面积之和=以a为直径的半圆面积+以b为直径的半圆面积-（以c为直径的半圆面积-三角形ABC面积）=
π(a/2)^2+π(b/2)^2-π(c/2)^2+三角形ABC面积=
(π/4)(a^2+b^2-c^2)+三角形ABC面积=三角形ABC面积