术语“槽弓形”在希腊语中意为鞋匠的刀,这个术语被应用于上图中阴影区域,它类似于古代鞋匠使用的刀的刀片(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)。