术语“槽弓形”在希腊语中意为鞋匠的刀,这个术语被应用于上图中阴影区域,它类似于古代鞋匠使用的刀的刀片(Gardner 1979)。阿基米德本人被认为是第一个研究这个图形的数学性质的数学家。中心凹口的位置是任意的,可以位于直径上的任何位置。
槽弓形满足许多意想不到的恒等式(Gardner 1979,Schoch)。
1. 将左右半圆的直径分别称为 和 ,因此外围半圆的直径为 1。那么沿着槽弓形底部的弧长为
(1)
|
因此,沿着外围半圆的弧长与沿着两个较小半圆的弧长相同。
2. 从两个半圆的切线到大圆的边缘绘制垂线 。那么槽弓形的面积与直径为 的圆的面积相同。设 且 ,然后同时求解方程
(2)
| |||
(3)
| |||
(4)
|
对于边
(5)
| |||
(6)
| |||
(7)
|
3. 在槽弓形上 的每一半上内切的圆 和 (称为阿基米德圆)各自具有直径 ,或半径 。
可以使用上面显示的三角形找到圆的位置。水平边和斜边的长度是已知的,如所示,因此可以使用勾股定理找到垂直边。然后这给出了圆心为
(8)
| |||
(9)
|
和
(10)
| |||
(11)
|
4. 令 为以 为中心且半径为 的圆与外围半圆的交点,令 为以 为中心且半径为 的圆与外围半圆的交点。那么通过 且与 相切的最小圆 等于通过 且与 相切的最小圆 (Schoch)。此外,这些圆的半径 与阿基米德圆的半径相同。求解
(12)
|
(13)
|
得到 ,因此 的中心为
(14)
| |||
(15)
|
类似地,求解
(16)
|
(17)
|
得到 ,因此 的中心为
(18)
| |||
(19)
|
5. 弧 、 和 的圆的阿波罗尼斯圆 位于位置
(20)
| |||
(21)
|
并且具有与阿基米德圆相同的半径 (Schoch),通过 且与 相切的最小圆 也是如此。
此外,令 为通过圆 中心且平行于 的直线,中心在 上且与槽弓形的较小半圆相切的圆 也具有半径 (Schoch)。 的中心位置由下式给出
(22)
| |||
(23)
| |||
(24)
|
的垂直 位置是
(25)
| |||
(26)
|
6. 令 为 的中点,令 为 的中点。然后绘制以 为直径,中心为 的半圆。这个圆的半径为
(27)
|
通过 且与弧 相切的最小圆 也具有半径 (Schoch)。使用相似三角形,这个圆的中心位于
(28)
| |||
(29)
|
类似地,令 为 和 半圆 的交点,那么通过 、 和 的圆也具有半径 (Schoch)。这个圆的中心位于
(30)
| |||
(31)
|
考虑半径为 的圆 ,它与两个内部半圆相切。其位置和半径通过求解以下联立方程获得
(32)
|
(33)
|
(34)
|
给出
(35)
| |||
(36)
| |||
(37)
|
令 为通过 且与 相切的最小圆,因此 的半径为 (Schoch),其中心位于
(38)
| |||
(39)
|
7. 在槽弓形的每个小半圆内,构造类似于原始槽弓形的槽弓形。那么圆 和 是全等的,并且具有半径 (Schoch)。此外,连接弧的中点及其尖点以形成矩形 和 。那么这些矩形相对于点 是相似的 (Schoch)。这个点位于直线 上,并且以 为中心且半径为 的圆也具有半径 ,因此 的坐标为 。下表总结了矩形顶点的位置。
坐标 | 坐标 | ||
8. 令 为 的垂直平分线,令 为槽弓形的尖点, 位于其上方,令 和 分别为大半圆和小半圆的顶部。令 与直线 和 相交于点 和 。那么通过 且与弧 在 处相切的最小圆 ,通过 且与外侧半圆在 处相切的最小圆 ,以及以 为直径的圆 都是阿基米德圆 (Schoch)。圆 称为班克夫圆,并且也是点 和第一个帕普斯圆链的切点 和 的外接圆。圆 、 和 的中心由下式给出
(40)
| |||
(41)
| |||
(42)
| |||
(43)
| |||
(44)
| |||
(45)
|
非常令人惊讶的是,点 、 、 、 、 、 和 是共圆的 (Schoch),位于中心为 且半径为
(46)
|
10. 与半圆 和 相切的直线包含点 和 ,它们分别位于直线 和 上。此外, 和 互相平分,并且点 、 、 和 是共圆的。
11. 构造一个相切圆链,从与两个小圆和一个大圆相切的圆开始。这个链被称为帕普斯链,其圆的中心位于一个椭圆上,该椭圆的焦点位于界定它的半圆的中心。此外,第 个圆 的直径是到半圆底边的垂直距离的 () 分之一。这个结果最容易使用反演来证明,但帕普斯就知道这个结果,他称之为古代定理(Hood 1961,Cadwell 1966,Gardner 1979,Bankoff 1981)。
12. 公切线 (见 10)和大半圆和第一个帕普斯圆的公切线在直线 上相交。
13. 如果 以黄金比例 分割 ,那么链中的圆满足许多其他特殊性质 (Bankoff 1955)。