術語“槽弓形”在希臘語中意為鞋匠的刀,這個術語被應用於上圖中陰影區域,它類似於古代鞋匠使用的刀的刀片(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)。