如何用微分符号推导表示r=1的摆线参数方程中的x？

嘿，我来帮你把这个摆线的微分推导完整理清楚，一步步来：

首先明确我们的目标：处理半径$r=1$的摆线，其参数方程为：
$$x=\theta-\sin(\theta),~~~y=1-\cos(\theta)$$
我们要从$x=\theta-\sin(\theta)$出发，推导$x$的微分表示形式。

你已经写出了推导的起始步骤：
$$\implies x+dx=(\theta+d\theta)-\sin(\theta+d\theta)$$
接下来我们继续完成推导：

第一步：展开三角函数项 #

利用三角函数的和角公式，再结合微分的一阶无穷小近似（只保留$d\theta$的一次项，忽略高阶小项）：

当$d\theta$为无穷小量时，$\cos(d\theta)\approx1$，$\sin(d\theta)\approx d\theta$，这是泰勒展开到一阶的结果。

展开$\sin(\theta+d\theta)$：
$$\sin(\theta+d\theta)=\sin\theta\cos(d\theta) + \cos\theta\sin(d\theta)\approx\sin\theta + \cos\theta \cdot d\theta$$

第二步：代入并整理 #

把展开后的结果代入到$x+dx$的表达式中：
$$x+dx = \theta + d\theta - \left(\sin\theta + \cos\theta \cdot d\theta\right)$$
整理右边的项，把不含$d\theta$的项和含$d\theta$的项分开：
$$x+dx = (\theta - \sin\theta) + d\theta(1 - \cos\theta)$$
注意到$\theta - \sin\theta$就是原来的$x$，将其替换进去：
$$x+dx = x + d\theta(1 - \cos\theta)$$

第三步：得到x的微分 #

两边同时减去$x$，就得到了$x$的微分表示：
$$dx = (1 - \cos\theta)d\theta$$

补充：延伸到dy与dx的关系（可选） #

如果需要推导$y$关于$x$的导数，我们可以对$y=1-\cos\theta$做同样的微分推导：
$$dy = \sin\theta \cdot d\theta$$
结合刚才得到的$dx=(1-\cos\theta)d\theta$，就能得到导数：
$$\frac{dy}{dx} = \frac{\sin\theta}{1 - \cos\theta}$$

这里要强调一下，整个推导的核心是微分的一阶近似，也就是只保留无穷小量的一次项，这完全符合微分的定义——微分就是函数增量的线性主部。

内容的提问来源于stack exchange，提问作者joshuaheckroodt