鞋匠刀形计算器

鞋匠刀（Arbelos，希腊语"皮匠刀"）由同一直线上的三个半圆构成：直径 R₁+R₂ 的大半圆内挖去直径分别为 2R₁、2R₂ 的两个小半圆。阿基米德在《引理集》中证明：其面积=π·R₁·R₂，恰等于以两小圆公共切线为直径的圆面积。

证明极为简洁：S=π(R₁+R₂)²/2−πR₁²/2−πR₂²/2=πR₁R₂。阿基米德还发现了"孪生圆"性质：在刀形内两侧所作的两个特定内切圆面积恒相等。这一图形至今仍是几何竞赛与趣味数学的常客。

鞋匠刀（Arbelos）由三个两两内切的半圆构成：大半圆直径 AB = 2(R₁+R₂)，内部挖去以 AC、CB 为直径的两个小半圆，剩余月牙形区域酷似古希腊皮匠裁皮的弯刀，故得名。阿基米德在《引理集》（Book of Lemmas）中以它为对象证明了 15 条命题，使这个看似简单的图形成为古典几何中性质密度最高的图形之一。

面积公式 S = πR₁R₂ 隐藏着第一个惊喜：以分割线 CD（C 处公切线到大半圆的弦，长度 2√(R₁R₂)）为直径的圆，面积恰为 π(√(R₁R₂))² = πR₁R₂——鞋匠刀的面积恒等于这个「分割线圆」的面积，与 R₁:R₂ 的分配无关。R₁ = R₂ 时它就是 yin-yang 图形的半边，S = πR²。

周长恒定是第二个惊喜：外大半圆弧长 π(R₁+R₂)，两小半圆弧长之和 πR₁+πR₂ = π(R₁+R₂)——内外弧长恒等，总周长 2π(R₁+R₂) 只取决于总直径。无论分割点 C 在 AB 上如何滑动，鞋匠刀的周长纹丝不动，这类「等周巧合」源于半圆弧长与直径的线性关系。

阿基米德双圆是《引理集》最著名的命题：在分割弦 CD 两侧、与 CD 及两半圆都相切的两个小圆，半径恒为 R₁R₂/(R₁+R₂)——不论 C 的位置，两圆面积永远相等。这个「对称中的对称」结果两千年来不断被推广：Bankoff 三圆、帕波斯链（Pappus chain，鞋匠刀内逐个相切的无穷圆列，第 n 个圆心高度恰为 n 倍直径）都以鞋匠刀为母图。

三维类比与物理对应同样丰富：三个半球两两内切构成的立体鞋匠刀（旋转体）体积为 (4/3)πR₁R₂(R₁+R₂) 的对应比例；光学上，三个半圆镜面构成的光线陷阱有确定的反射路径。鞋匠刀还频繁出现在数学竞赛与趣味几何教材中，因为它用三个圆就同时演示了面积不变量、周长不变量与相切圆系的深度结构。