由固定点 在半径为 的小 圆 的 圆周 上生成,该小圆在一个半径为 的大 圆 的内部滚动。 因此,内摆线是 外旋轮线,其中 。
为了推导内摆线的方程,将小 圆 上的点绕其中心旋转的 角度 称为 ,将大 圆 的中心到小 圆 的中心的 角度 称为 。 则
(1)
|
因此
(2)
|
称 。 如果 ,则第一个点在最小半径处,内摆线的笛卡尔参数方程为
(3)
| |||
(4)
| |||
(5)
| |||
(6)
|
如果 ,因此第一个点在最大半径处(在 圆 上),则内摆线的方程为
(7)
| |||
(8)
|
(9)
| |||
(10)
| |||
(11)
|
一个 尖瓣内摆线具有 。 对于 为整数且 ,因此内摆线的方程变为
(12)
| |||
(13)
|
因此 弧长 和面积为
(14)
| |||
(15)
|
一个 2 尖瓣内摆线是一个 线段(Steinhaus 1999, p. 145; Kanas 2003),通过在方程 (◇) 和 (◇) 中设置 并注意到方程简化为
(16)
| |||
(17)
|
波斯天文学家和数学家纳西尔丁·图西 (Nasir Al-Din al-Tusi) (1201-1274) 注意到这一结果,有时被称为“图西夫妇”,以纪念他(Sotiroudis 和 Paschos 1999, p. 60; Kanas 2003)。
下表总结了对于 的特殊整数值,赋予此内摆线和其他内摆线的名称。
如果 是有理数,则曲线最终会闭合自身,并具有 个尖瓣。 上面说明了许多 有理数 值的 的内摆线。
如果 是 无理数,则曲线永远不会闭合自身。 上面说明了许多 无理数 值的 的内摆线。
也可以通过从 圆 的 直径 开始构造 尖瓣内摆线,将一端偏移一系列步长,同时将另一端在相反方向偏移 倍的步长,并延伸到 圆 的边缘之外。 绕 圆 行驶一周后,会产生一个 尖瓣内摆线,如上图所示(Madachy 1979)。
设 为到固定点的径向距离。 对于 挠率半径 和 弧长 ,内摆线可以由方程给出
(18)
|
(Kreyszig 1991, pp. 63-64)。 内摆线也满足
(19)
|
其中
(20)
|
内摆线的方程可以写成一种形式,这种形式在解决具有径向对称性的 变分法 问题时很有用。 考虑 的情况,则
(21)
|
但是 ,所以 ,这给出
(22)
| |||
(23)
| |||
(24)
| |||
(25)
| |||
(26)
| |||
(27)
|
现在让
(28)
|
因此
(29)
|
(30)
|
然后
(31)
| |||
(32)
|
极角 是
(33)
|
但是
(34)
| |||
(35)
| |||
(36)
|
因此
(37)
| |||
(38)
| |||
(39)
| |||
(40)
| |||
(41)
|
计算
(42)
| |||
(43)
| |||
(44)
|
然后给出
(45)
|
最后,代入得到
(46)
| |||
(47)
|
这种形式在解决 带隧道的球体 问题时很有用,这是 最速降线问题 的推广,目的是找到在重力场中穿过 球体(重力根据高斯定律变化)的隧道的形状,使得在重力作用下,球体 表面上两点之间的旅行时间最小化。