被轮子创飞了

发表于 2025-06-23 分类于被文化课创飞了 Waline：

2024的烟台一模数学压轴题是一道新定义题,是说证明摆线上一点$M ( x_0 , y_0 )$的切线的倾斜角为$\theta$,求证$\frac{ 1 + \cos 2 \theta }{ y_0 } = 1$.在这个题下选用的参数方程是$x = t - \sin t , y = 1 - \cos t$.

这个怎么做呢?我的文化课同学们纷纷使用强大的隐函数求导技巧把它杀穿了啊.可惜我不会隐函数求导,我只会链式法则.但是我考场只记得链式法则怎么用了而完全忘记了这个东西为啥是对的,所以就有了这篇复健博客.

首先来复习一下微分$\text{ d } y$的定义啊,下面这段抄自我原本的高数笔记:

考察$\Delta y = f ( x_0 + \Delta x ) - f ( x_0 )$,不妨假设$f ( x )$在$x_0$处导数存在,自然有$\lim_{ \Delta x \rightarrow 0 } \frac{ \Delta y }{ \Delta x } = f ' ( x_0 ) \\$.考察$\eta ( \Delta x ) = \frac{ \Delta y }{ \Delta x } - f ' ( x_0 )$,显然$\Delta x \rightarrow 0$时$\eta ( \Delta x )$是一个无穷小量.

那么,我们自然有:

\[ \begin{aligned} \Delta y & = f ' ( x_0 ) \Delta x + \eta ( \Delta x ) \Delta x \\ & = f ' ( x_0 ) \Delta x + o ( \Delta x ) , \Delta x \rightarrow 0 \end{aligned} \]

同时,如果我们有这个式子,可以两边同时除以$\Delta x$以证明可导.

这就将一阶导数转化成了无穷小量的形式,我们借此给出微分的定义:

设$y = f ( x )$在$x_0$处有定义,假设有一个常数$A$使得$f ( x_0 + \Delta x ) - f ( x_0 ) = A \Delta x + o ( \Delta x ) , \Delta x \rightarrow 0$,称$f ( x )$在$x_0$处可微,并把$\text{ d } f = \text{ d } y = A \Delta x$称为$f ( x )$在$x_0$处的微分,由于后半部分是一个更高阶的无穷小量,我们说微分是函数改变量的线性主要部分.这个时候结合导数极限的定义,就可以得到$\text{ d } y = f ' ( x ) \text{ d } x$,$f ' ( x ) = \frac{ \text{ d } y }{ \text{ d } x } \\$.这就是我们将导数称作微商的原因.

一阶微分具有形式不变性.换言之就是,我们在求导的时候是需要选定一个自变量的,当选定的自变量是$y$的时候,根据上面自然会有$z = g ( y ) , \text{ d } z = g ' ( y ) \text{ d } y$.

但是当选定的自变量不是$y$的时候,上面的形式是同样成立的.我们下面证明这个结论,令$y = f ( x )$:

$$ \[\begin{aligned} [ g ( f ( x ) ) ] ' & = g ' ( f ( x ) ) f ' ( x ) \\ \text{ d } z & = g ' ( f ( x ) ) f ' ( x ) \text{ d } x \\ \text{ d } z & = g ' ( y ) \text{ d } y \\ \end{aligned}\]

必须提出高阶微分不存在形式不变性,换句话说,$z = g ( y )$的二阶微分的形式不等价于$z = g ( y = f ( x ) )$的二阶微分,你不能乱换元.

根据上面的操作,我们很自然引出了链式法则,也就是:

\[ \frac{ \text{ d } y }{ \text{ d } x } = \frac{ \text{ d } y }{ \text{ d } t } \frac{ \text{ d } t }{ \text{ d } x } = \frac{ \text{ d } y }{ \text{ d } t } \frac{ 1 }{ \frac{ \text{ d } x }{ \text{ d } t } } \]

这样上面的题就可以迎刃而解了.