希波克拉底月牙的面积证明
前提条件:设直角三角形ABC,∠C=90°。以AC、BC为直径向外作半圆S1、S2。以AB为直径作半圆S3,经过点C。
证明步骤:
1. 观察图形组成:整个图形由直角三角形ABC、半圆S1、半圆S2组成。同时,这个整体也可以看作由半圆S3和两个月牙形(Lune1, Lune2)组成。
2. 建立等式:
总面积 = S1 + S2 + S(△ABC)
总面积 = S3 + S(Lune1) + S(Lune2)
3. 联立等式:
S1 + S2 + S(△ABC) = S3 + S(Lune1) + S(Lune2)
4. 移项:
S(Lune1) + S(Lune2) = S(△ABC) + (S1 + S2 - S3)
5. 根据勾股定理:AC² + BC² = AB²。由于半圆面积与直径平方成正比(S = π(d/2)²/2 = πd²/8),故 S1 + S2 = S3。
6. 结论:S(Lune1) + S(Lune2) = S(△ABC)。
即:两个月牙形面积之和等于直角三角形的面积。
代数推导视角
从代数角度看,月牙定理题目是勾股定理的面积推广。设直角边为a, b,斜边为c。
半圆S1面积 = πa²/8
半圆S2面积 = πb²/8
半圆S3面积 = πc²/8
月牙面积 = (S1 + S2 + S△) - S3
代入勾股定理 a² + b² = c²,可得 π(a²+b²)/8 = πc²/8,即 S1 + S2 = S3。
因此,月牙面积 = S△ = ab/2。
这种方法适用于所有基于勾股定理构建的月牙形问题,计算效率极高。
推广:任意相似图形
希波克拉底的结论可以推广到以直角三角形三边为边长构造的任意相似图形上。
若以三边为对应边,构造三个相似的平面图形(如正三角形、正五边形、半椭圆等),则两个直角边上的图形面积之和等于斜边上的图形面积。
这一推广是月牙定理题目在竞赛中的常见变式,核心依然是利用相似图形面积比等于相似比平方(即边长平方比)的性质。