[足式机器人]Part3机构运动微分几何学分析与综合Ch01-1 平面运动微分几何学——【读书笔记】

本文仅供学习使用
本文参考：
《机构运动微分几何学分析与综合》-王德伦、汪伟
《微分几何》吴大任

---

0. 前言

• 以微分几何学（标架微分运动）考察刚体连续运动轨迹的局部性质，梳理了刚体平面和球面运动几何学，并发展到空间运动几何学，形成了刚体运动微分几何学理论体系。以鞍点规划方法评价刚体离散运动轨迹的整体性质，从不变量与不变式的视角讨论刚体离散运动几何学，建立了平面、球面和空间机构离散运动鞍点综合的统一方法。
• 刚体运动几何学研究瞬时连续运动轨迹的局部性质和离散运动轨迹的整体性质，常用的方法是几何法与代数法。刚体瞬时运动几何学本是刚体瞬时运动学与图形几何学的结合，理应是从运动视角研究图形的几何性质，而刚体瞬时微小运动则可视为标架微分。
• 微分几何学是用微分方法研究图形性质的数学分支，微分几何学以矢量代数和矢量解析为基本手段，以活动标架为基本方法，把图形的几何形状与所研究的点或线在图形上的运动有机地联系起来，得到图形的不变量和不变式，并以其描述图形的性质。通过把复杂图形的不变量和不变式与简单、规范图形的不变量和不变式相比较，从差异中把握所研究复杂图形的性质。刚体运动的动定瞬轴面（瞬心线）与运动刚体上点（线）轨迹、约束曲线（曲面）的不变量及不变式关系（广义曲率），建立了平面、球面到空间的刚体运动微分几何学理论体系。而关于图形（曲线、曲面）的矢量方程、不变量和不变式、活动标架以及相伴曲线与曲面方法等，形成了本书的微分几何学语言，贯穿全书的始终。
• 作者采用约束曲线与约束曲面的不变量与不变式，通过鞍点规划使离散轨迹与约束曲线、曲面整体比较的最大误差最小，建立刚体离散运动相关位置的约束曲线、曲面对应关系，从不变量与不变式的视角讨论刚体离散运动几何学，从而建立了平面、球面和空间机构离散运动鞍点综合的统一方法。由于以最大拟合误差极小为评价标准，得到统一的法向误差评价体系，对各类曲线、曲面评价拟合准确一致，加之采用不变量，使得求解迭代过程中每一步拟合误差评价在目标函数上都能体现每个变量的实际影响。同时，由于曲线、曲面误差评价拟合的非线性性质，使得机构近似综合解的存在性和局部迭代收敛性得到保证，结合遗传算法可以得到较大范围的局部最优解。
• 本书系统地介绍了刚体运动微分几何学理论体系及机构离散运动鞍点综合的统一方法，为机构运动几何分析与综合方法能够在工程实践中应用提供了理论基础。

1. 平面运动微分几何学

• 平面运动几何学研究图形或刚体平面运动位移的几何性质，即运动刚体上点、线在固定坐标系中轨迹的几何性质，而此处的运动是指刚体占据一系列位置，不涉及具体的时间长短。运动刚体占据位置有连续的，也有分离的，前者称为无限接近位置的运动几何学或瞬时运动几何学，后者称为有限分离位置的运动几何学或离散运动几何学，它们是机构运动综合的理论基础，在机构学研究中具有重要地位。本章仅讨论前者，后者在下一章论述。
• 但对于刚体运动学与轨迹图形几何学性质及其相互联系的研究，还是现代微分几何学方法见长，不仅采用不变量与不变式刻画几何学性质，消除坐标系影响，从而使表达式简洁明了，同时以活动标架方式将运动学与几何学联系起来，以运动方式研究几何学问题，尤其是三维空间乃至多维空间运动几何学，更彰显微分几何学方法的优势。

1.1 平面曲线微分几何学

1.1.1 平面曲线微分几何学

• 对于平面曲线$\Gamma$存在直角坐标参数：$\{\begin{array}{c}x=x(t)\\ y=y(t)\end{array}$，其中：$t$为曲线参数，上式消去/置换参数$t$可得关系表达式：$y=F(x)$，可得坐标参数的隐函数形式：$F(x,y)=0$。
  将上述坐标参数置于坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中，则可得曲线$\Gamma$的矢量方程：$\Gamma :\vec{R}=x(t)\vec{i}+y(t)\vec{j}$，或简化为：$\Gamma :\vec{R}=\vec{R}(t)$，其中：$t$为曲线参数。

• 在平面坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中，与$i$轴夹$\phi$角的单位矢量函数：${\vec{e}}_{I(\phi )}$称为圆矢量函数，将平面曲线$\Gamma$用圆矢量表示为：$\vec{R}=r(\phi ){\vec{e}}_{I(\phi )}$，其中：$r(\phi )$决定$\vec{R}$的大小，${\vec{e}}_{I(\phi )}$决定$\vec{R}$的方向。
  若将${\vec{e}}_{I(\phi )}$绕单位矢量$k$逆时针转动90°，可得圆矢量${\vec{e}}_{II(\phi )}={\vec{e}}_{I(\phi +\pi /2)}$
  

圆矢量具有如下性质（易证）：
1. 展开式：
$\{\begin{array}{c}{\vec{e}}_{I(\phi )}=\cos \phi \vec{i}+\sin \phi \vec{j}\\ {\vec{e}}_{II(\phi )}=-\sin \phi \vec{i}+\cos \phi \vec{j}\end{array}$
2. 正交性：
约定 { O : e ⃗ I ( φ ) , e ⃗ I I ( φ ) , k ⃗ } \{O:{{{\vec{e}}}_{I(\varphi )}},{{{\vec{e}}}_{II(\varphi )}},\vec{k}\} {O:e I(φ)​,e II(φ)​,k }构成单位正交右手系，即：${\vec{e}}_{I(\phi )}\cdot {\vec{e}}_{II(\phi )}=0$，${\vec{e}}_{I(\phi )}\times {\vec{e}}_{II(\phi )}=\vec{k}$
3. 合角公式：
$\{\begin{array}{c}{\vec{e}}_{I(\theta +\phi )}=\cos (\theta +\phi )\vec{i}+\sin (\theta +\phi )\vec{j}=\cos \theta {\vec{e}}_{I(\phi )}+\sin \theta {\vec{e}}_{II(\phi )}\\ {\vec{e}}_{II(\theta +\phi )}=-\sin (\theta +\phi )\vec{i}+\cos (\theta +\phi )\vec{j}=-\sin \theta {\vec{e}}_{I(\phi )}+\cos \theta {\vec{e}}_{II(\phi )}\end{array}$
4. 微分公式：
$\frac{d{\vec{e}}_{I(\phi )}}{d\phi }={\vec{e}}_{II(\phi )},\frac{d{\vec{e}}_{II(\phi )}}{d\phi }=-{\vec{e}}_{I(\phi )}$

例1-1 用圆矢量函数表示圆的矢量方程：

圆在平面直角坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中的方程为：
$\{\begin{array}{c}x=x_c+r\cos \phi \\ y=y_c+r\sin \phi \end{array}(0\le \phi <2\pi )$，其中$r$为圆的半径，$(x_c,y_c)$为圆心$C$在坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中的坐标。
若采用圆矢量函数表示圆的矢量方程，则有：
$$\vec{R}={\vec{R}}_C+r{\vec{e}}_{I(\phi )}$$

例1-2 用圆矢量函数表示渐开线的矢量方程：

渐开线在极坐标系中的坐标参数为：
$\{\begin{array}{c}r=\frac{r_b}{\cos \alpha }\\ \theta =\tan \alpha -\alpha \end{array}$
在直角坐标系中的坐标参数为：
$\{\begin{array}{c}x=r_b\cos \phi +r_b\phi \sin \phi \\ y=r_b\sin \phi -r_b\phi \cos \phi \end{array}$
若采用圆矢量函数表达渐开线的矢量方程，则有：
$$\vec{R}=r_b{\vec{e}}_{I(\phi )}-r_b{\vec{e}}_{II(\phi )}$$

例1-3：用圆矢量函数表示平面全铰链四连杆机构连杆的曲线矢量方程：

建立连杆坐标系： { B : i ⃗ m , j ⃗ m } \{B:{{{\vec{i}}}_{m}},{{{\vec{j}}}_{m}}\} {B:i m​,j ​m​}，机架固定坐标系： { A : i ⃗ f , j ⃗ f } \{A:{{{\vec{i}}}_{f}},{{{\vec{j}}}_{f}}\} {A:i f​,j ​f​}，点P在连杆上极坐标坐标参数为：$(r_p,{\theta }_p)$:

• 点P在连杆坐标系 { B : i ⃗ m , j ⃗ m } \{B:{{{\vec{i}}}_{m}},{{{\vec{j}}}_{m}}\} {B:i m​,j ​m​}的坐标为：$\{\begin{array}{c}{x}_m=r_p\cos {\theta }_p\\ y_m=r_p\sin {\theta }_p\end{array}$
• 通过坐标变换可得P在固定坐标系 { A : i ⃗ f , j ⃗ f } \{A:{{{\vec{i}}}_{f}},{{{\vec{j}}}_{f}}\} {A:i f​,j ​f​}的轨迹曲线的坐标参数为：$\{\begin{array}{c}x=r_p\cos ({\theta }_p+\gamma )+a_1\cos \phi \\ y=r_p\sin ({\theta }_p+\gamma )+a_1\sin \phi \end{array}$

用圆矢量函数${\vec{e}}_{I(\phi )}$表示B点的位移矢量，圆矢量函数${\vec{e}}_{I({\theta }_p+\gamma )}$表示P点相对于B点的位移矢量，则机构的连杆曲线的矢量方程为：
$${\vec{R}}_P=a_1{\vec{e}}_{I(\phi )}+r_p{\vec{e}}_{I({\theta }_p+\gamma )}$$

根据上述例子可见，采用圆矢量函数对平面曲线进行矢量表达，不但使得表达式简洁，更重要的是，由于圆矢量函数固有的性质，使得对平面曲线矢量方程的求导等计算更为简便。

微分几何学指出：曲线的不变量与所选择的坐标系无关，以弧长$s$为例：是曲线的不变量，被称为曲线的自然参数，弧长$s$在直角坐标系的表达式中建立与参数$t$的关系为：$ds=\left|d\vec{R}\right|=\sqrt{{(\frac{dx}{dt})}^2+{(\frac{dy}{dt})}^2}dt,s={\int }_{t_a}^{t_b}\left|\frac{d\vec{R}}{dt}\right|dt$。若把曲线$\Gamma$的矢量方程用弧长参数$s$表示：$\Gamma :\vec{R}=\vec{R}(s),s_a\le s\le s_b$。由于$ds=\left|d\vec{R}\right|$，即$\left|\frac{d\vec{R}}{ds}\right|=1$，若把曲线$\Gamma$放在某点$s$的邻域$\Delta s$内进行泰勒展开，则有：$\vec{R}(s+\Delta s)=\vec{R}(s)+\frac{d\vec{R}(s)}{ds}\Delta s+\frac{1}{2!}\frac{d^2\vec{R}(s)}{d{s}^2}{(\Delta s)}^2+...+\frac{1}{n!}\frac{d^n\vec{R}(s)}{d{s}^n}{(\Delta s)}^n+{\epsilon }_n(s,\Delta s){(\Delta s)}^n$，其中：$\lim {\epsilon }_n(s,\Delta s)=0$。

1.1.2 Frenet标架

• 平面曲线$\vec{R}=\vec{R}(s)$的单位切矢$\vec{\alpha }=\frac{d\vec{R}(s)}{ds}$始终指向曲线弧长增加的方向，依旧坐标轴正交右手系约定，定义法线矢量$\vec{\beta }$，即$\vec{\beta }=\vec{k}\times \vec{\alpha }$，从而构件平面曲线的右手坐标系 { R ⃗ : α ⃗ , β ⃗ } \{\vec{R}:\vec{\alpha },\vec{\beta }\} {R :α ,β ​}，即Frenet标架（也称活动标架）。
• 由于利用了曲线本身的切线与法线，因而与曲线的几何性质建立了密切联系，且其微分运算公式为：
  $\{\begin{array}{c}\frac{d\vec{R}(s)}{ds}=\vec{\alpha }\\ \frac{d\vec{\alpha }}{ds}=k\vec{\beta }\\ \frac{d\vec{\beta }}{ds}=-k\vec{\alpha }\end{array}$（也称为平面曲线的Frenet公式，其中$k$为平面曲线的曲率）
  
• 曲率$k$的表达式为：$k=\frac{d\vec{\alpha }}{ds}\cdot \vec{\beta }=(\frac{d\vec{\alpha }}{ds},\vec{k}\times \vec{\alpha })=(\vec{k},\frac{d\vec{R}(s)}{ds},\frac{d^2\vec{R}(s)}{d{s}^2})$
• 若平面曲线$\Gamma$以一般参数矢量形式：$\vec{R}=x(t)\vec{i}+y(t)\vec{j}$给出，则其曲线切矢$\vec{\alpha }$为：$\vec{\alpha }=\frac{d\vec{R}(s)}{ds}=\frac{d\vec{R}(s)}{dt}\cdot \frac{dt}{ds}=\frac{dt}{ds}(\frac{dx}{dt}\vec{i}+\frac{dy}{dt}\vec{j})$
• 由$\vec{\beta }=\vec{k}\times \vec{\alpha }$可得曲线法矢量$\vec{\beta }$为：$\vec{\beta }=\frac{dt}{ds}(-\frac{dy}{dt}\vec{i}+\frac{dx}{dt}\vec{j})$，又已知：$\frac{dt}{ds}=1/\sqrt{{(\frac{dx}{dt})}^2+{(\frac{dy}{dt})}^2}$，则曲线$\Gamma$的曲率$k$为：$k=\frac{d\vec{\alpha }}{ds}\cdot \vec{\beta }=\frac{dt}{ds}\frac{d\vec{\alpha }}{dt}\cdot \vec{\beta }=\frac{\frac{dx}{dt}\cdot \frac{d^{2}y}{d{t}^2}-\frac{dy}{dt}\cdot \frac{d^{2}x}{d{t}^2}}{{[{(\frac{dx}{dt})}^2+{(\frac{dy}{dt})}^2]}^{\frac{3}{2}}}$
• 在平面固定坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中，切矢$\vec{\alpha }$为单位矢量，假设其方向角为$\theta$，则$\vec{\alpha }=\cos \theta \vec{i}+\sin \theta \vec{j},\vec{\beta }=-\sin \theta \vec{i}+\cos \theta \vec{j}$，将切矢$\vec{\alpha }$对弧长$s$求导，可得：$\frac{d\vec{\alpha }}{ds}=\frac{d\vec{\alpha }}{d\theta }\frac{d\theta }{ds}=\frac{d\theta }{ds}(-\sin \theta \vec{i}+\cos \theta \vec{j})=\frac{d\theta }{ds}\vec{\beta }$
• 即$k=\frac{d\vec{\alpha }}{ds}\cdot \vec{\beta }=\frac{d\theta }{ds}\vec{\beta }\cdot \vec{\beta }=\frac{d\theta }{ds}$，即平面曲线曲率的几何意义是曲线的切矢量的方向角$\theta$关于弧长$s$的变化率，其正负号反映了平面曲线的凹凸变化。当$\vec{\beta }$指向凹入一侧，则$k>0$，反之，$k<0$，而在曲线凹凸的转折点处，曲率$k=0$，称为平面曲线的拐点。

• 将曲率$k$的倒数$\rho$称为平面曲线的曲率半径（同样具有正负号）：$\rho =\frac{1}{k}=\frac{ds}{d\theta }$。对于平面曲线上的点，若曲率半径$\rho \ne 0$，则存在曲率中心，其矢量表达为${\vec{R}}_C=\vec{R}+\rho \cdot \vec{\beta }$

定理1.1 在区间$(s_a,s_b)$上任意给定一个连续函数$k(s)$，同时给定一个初始点（矢量）${\vec{R}}_a$。以及单位矢量${\vec{\alpha }}_a$。，则一定有且仅有一条以$s$为弧长，以$k(s)$为其曲率的平面有向曲线。

由于曲率$k$是平面曲线的不变量，并且不依赖于所选定的坐标系，便能够唯一地确定平面曲线，因而将$k=k(s)$称为平面曲线的自然方程。平面曲线中，直线和圆是最常见的两种特殊曲线，前者的曲率为零，而后者的曲率则为常数。

• 若平面曲线上一点及其邻域内的曲率为常数，则该平面曲线在该点的局部范围内接近于圆曲线。通常地，两条曲线在某一点的接触阶数可以用来描述两条曲线在该接触点处的逼近程度。若两条平面曲线之间有两个无限接近位置的共同点，则这两条曲线相切接触，可称为一阶接触。同理，若两条平面曲线之间在无限接近位置有n＋1个共同点，则它们形成n阶接触。因此，若一条平面曲线与一圆一阶接触，表明该圆相切于这条平面曲线；而若二阶接触，则它们在无限接近三个位置有共同点，称该圆为这条平面曲线的密切圆，其半径恰为该平面曲线在接触点处曲率半径的绝对值，密切圆也称为曲率圆。若平面曲线与圆三阶接触，或者说它们在无限接近四个位置有共同点，该平面曲线在接触点处的曲率对弧长参数的一阶导数应为零，即$\frac{dk}{ds}=0$。类似地，若平面曲线与圆的接触阶数为n，则该平面曲线在接触点处曲率对弧长参数直至n-2阶导数均为零。
  

• 平面曲线$\Gamma$上点P（对应的自然参数为$s$）处密切圆的圆心矢径为：
  ${\Gamma }_C:{\vec{R}}_C=\vec{R}+\frac{1}{k}\vec{\beta }$
  若曲线$\Gamma$为一圆，则密切圆中心的曲线${\Gamma }_C$为一固定点，不随自然参数$s$变化而变化，有$\frac{d{\vec{R}}_C}{ds}=\frac{d(1/k)}{ds}\vec{\beta }=0$，即$k$为常数，曲率圆的半径为常数

• 直线可看作曲率半径趋于无穷大的圆，即$k=0$。当平面曲线在一点处与直线形成一阶接触，即该点邻域内无限接近位置两个点在一直线上，则直线即为曲线在该点的切矢所在直线；若曲线在一点处与直线形成二阶接触，则该点邻域内无限接近位置三个点在直线上，也就是曲线在该点的曲率为零，曲线出现拐点；若曲线在一点处与直线形成三阶接触，则该点邻域内无限接近位置四个点在直线上，则曲线在该点的曲率需同时满足$k=0$以及$\frac{dk}{ds}=0$

平面闭曲线：首尾相接的平面曲线称为平面闭曲线，即$\vec{R}(s_a)=\vec{R}(s_b)$；
平面简单闭曲线：若平面闭曲线上无自交点，或者说无而充电，则为平面简单闭曲线；
平面凸闭曲线：如果平面简单闭曲线上每处的切矢都在曲线正向的同一侧，则称该简单闭曲线为平面凸闭曲线。（也成为卵形线）

定理1.2 一条平面简单闭曲线为凸闭曲线的充要条件是，适当地选择曲线的正向后，可使曲线上的各点的曲率$k\ge 0$。

如果一条凸闭曲线上各点处的曲率k不等于零，则为卵形线。

推论1 一条平面简单闭曲线，在其正向选定后，曲线上各点的曲率$k$的符号不变，则该曲线必为卵形线

1.1.3 相伴方法（Cesaro方法）

平面固定坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中有一曲线${\Gamma }_P$，在曲线${\Gamma }_P$外一点$P\ast$伴随着${\Gamma }_P$上的点P运动，形成另一条平面曲线${\Gamma }_P\ast$，称曲线${\Gamma }_P$为原曲线，曲线${\Gamma }_P\ast$为${\Gamma }_P$的相伴曲线。

在原曲线${\Gamma }_P$上建立Frenet标架 { R ⃗ P : α ⃗ , β ⃗ } \{{{{\vec{R}}}_{P}}:\vec{\alpha },\vec{\beta }\} {R P​:α ,β ​}，则相伴曲线${\Gamma }_P\ast$的矢量方程为：
$${\Gamma }_P\ast :{\vec{R}}_P\ast ={\vec{R}}_P+u_1\vec{\alpha }+u_2\vec{\beta }$$
其中：$(u_1,u_2)$为点$P\ast$关于曲线${\Gamma }_P$上$P$点处Frenet标架 { R ⃗ P : α ⃗ , β ⃗ } \{{{{\vec{R}}}_{P}}:\vec{\alpha },\vec{\beta }\} {R P​:α ,β ​}的相对坐标（参数）。对上式求导，可得：
$$\{\begin{array}{c}\frac{d{\vec{R}}_P\ast }{ds}=A_1\vec{\alpha }+A_2\vec{\beta }\\ A_1=1+\frac{d{u}_1}{ds}-k{u}_2\\ A_2=k{u}_1+\frac{d{u}_2}{ds}\end{array}$$

详细推导：
$\frac{d{\vec{R}}_P\ast }{ds}=\frac{d{u}_1}{ds}\vec{\alpha }+u_1\frac{d\vec{\alpha }}{ds}+\frac{d{u}_2}{ds}\vec{\beta }+u_2\frac{d\vec{\beta }}{ds}+\frac{d{\vec{R}}_P}{ds}=\frac{d{u}_1}{ds}\vec{\alpha }+u_{1}k\vec{\beta }+\frac{d{u}_2}{ds}\vec{\beta }+(-u_{2}k\vec{\alpha })+\vec{\alpha }$
$=(1+\frac{d{u}_1}{ds}-k{u}_2)\vec{\alpha }+(k{u}_1+\frac{d{u}_2}{ds})\vec{\beta }$

其中：

• $\frac{d{\vec{R}}_P\ast }{ds}$为平面曲线${\Gamma }_P\ast$的切线矢量。
• 点$P\ast$在固定坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中的绝对运动则可在原曲线${\Gamma }_P$上的Frenet标架 { R ⃗ P : α ⃗ , β ⃗ } \{{{{\vec{R}}}_{P}}:\vec{\alpha },\vec{\beta }\} {R P​:α ,β ​}中描述。
• $(\frac{d{u}_1}{ds},\frac{d{u}_2}{ds})$为点$P\ast$在活动标架 { R ⃗ P : α ⃗ , β ⃗ } \{{{{\vec{R}}}_{P}}:\vec{\alpha },\vec{\beta }\} {R P​:α ,β ​}中的相对坐标（参数）变化率分量。
• $(A_1,A_2)$则是点$P\ast$在固定坐标系中的坐标（参数）变化率并在活动标架 { R ⃗ P : α ⃗ , β ⃗ } \{{{{\vec{R}}}_{P}}:\vec{\alpha },\vec{\beta }\} {R P​:α ,β ​}中描述。
• 当$P\ast$是平面坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中一固定点时，该点绝对坐标并不随原曲线${\Gamma }_P$自然参数弧长s的变化而变化，即绝对运动变化率为零$\frac{d{\vec{R}}_P\ast }{ds}=0$，则有：
  $\{\begin{array}{c}{A}_1=1+\frac{d{u}_1}{ds}-k{u}_2\\ A_2=k{u}_1+\frac{d{u}_2}{ds}\end{array}$
  称为平面曲线的Cesaro不动点条件，即在活动标架 { R ⃗ P : α ⃗ , β ⃗ } \{{{{\vec{R}}}_{P}}:\vec{\alpha },\vec{\beta }\} {R P​:α ,β ​}所描述的点在某一瞬时的固定平面上保持绝对静止的条件。反应了活动标架 { R ⃗ P : α ⃗ , β ⃗ } \{{{{\vec{R}}}_{P}}:\vec{\alpha },\vec{\beta }\} {R P​:α ,β ​}本身的运动与所描述点$P\ast$相对活动标架运动的关系。

平面固定坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中，在曲线${\Gamma }_P$外一点$P\ast$伴随着${\Gamma }_P$上点$P$运动的同时，过点$P\ast$的 一条直线L也伴随着${\Gamma }_P$上点$P$运动，形成另一过平面曲线${\Gamma }_P\ast$上点的直线族${\Gamma }_l\ast$，称曲线${\Gamma }_P$为原曲线，${\Gamma }_l\ast$为${\Gamma }_P$的相伴直线族。

在原曲线${\Gamma }_P$上建立Frenet标架 { R ⃗ P : α ⃗ , β ⃗ } \{{{{\vec{R}}}_{P}}:\vec{\alpha },\vec{\beta }\} {R P​:α ,β ​}，则相伴直线族${\Gamma }_l\ast$的矢量方程为：
${\Gamma }_l\ast :{\vec{R}}_l\ast ={\vec{R}}_P+u_1\vec{\alpha }+u_2\vec{\beta }+\lambda (l_1\vec{\alpha }+l_2\vec{\beta }),{l_1}^2+{l_2}^2=1$
其中：$\lambda$为直线L的参数，而$\vec{l}$为直线的单位方向矢量，是原曲线${\Gamma }_P$弧长$s$的函数。依据Frenet标架的微分运算公式，对上式求导，可得：
$$\{\begin{array}{c}\frac{d{\vec{R}}_l\ast }{ds}=A_1\vec{\alpha }+A_2\vec{\beta }+\lambda (B_1\vec{\alpha }+B_2\vec{\beta })\\ A_1=1+\frac{d{u}_1}{ds}-k{u}_2,A_2=k{u}_1+\frac{d{u}_2}{ds}\\ B_1=\frac{d{l}_1}{ds}-k{l}_2,B_2=k{l}_1+\frac{d{l}_2}{ds}\end{array}$$

• 若直线$L$为固定坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中的一条固定直线，直线上每一点都固定且不随圆曲线弧长$s$的变化而变化，称该直线为绝对不动直线：
  $\{\begin{array}{c}{A}_1=1+\frac{d{u}_1}{ds}-k{u}_2=0,A_2=k{u}_1-k{u}_2=0\\ B_1=\frac{d{l}_1}{ds}-k{l}_2=0,B_2=k{l}_1+\frac{d{l}_2}{ds}=0\end{array}$
• 若直线$L$为固定坐标系 { O : i ⃗ , j ⃗ } \{O:\vec{i},\vec{j}\} {O:i ,j ​}中的一条固定直线，但直线上每点可沿该直线方向滑动，称该直线为准不动直线：
  $\frac{d\vec{l}}{ds}=0,\frac{d{\vec{R}}_p\ast }{ds}\times \vec{l}=0\Rightarrow B_1=0,B_2=0,l_1{A}_2=l_2{A}_1$

例1.4： 平面机构连杆曲线的相伴表示

连杆平面上任意点$P$的运动可看做连杆上铰链点$B$的相伴运动，相伴运动仅为（连杆）相对（连架杆）转动——即连杆平面上极坐标为$(r_p,{\theta }_p)$的连杆点$P$的轨迹曲线${\Gamma }_p$是以${\Gamma }_B$为原曲线的相伴曲线，其方程为：
${\vec{R}}_p={\vec{R}}_B+u_1\vec{\alpha }+u_2\vec{\beta }=u_1\vec{\alpha }+(u_2-a_1)\vec{\beta }$
其中：$\{\begin{array}{c}{u}_1=r_p\sin ({\theta }_p-\phi +\gamma )\\ u_2=-r_p\cos ({\theta }_p-\phi +\gamma )\end{array}$（角度逆时针为正）