数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 1700|回复: 0

从几何的角度来看正弦函数的导数

[复制链接]
发表于 2024-7-25 18:42 | 显示全部楼层 |阅读模式
从几何的角度来看正弦函数的导数

原创 围城里的猫 MathSpark 2024 年 06 月 23 日 07:30 陕西

不管是在高中,还是大学很多人已经了解下面这个结果,即正弦函数的一阶导数是余弦函数:



在这期推送中,我们将尝试从几何的角度来说明这个结果,以便对这个问题提供一种不同的看法。

单位圆内的正弦

下面这张图显示了以 O 为中心的单位圆的一部分:



直角三角形 OPA 的圆心角为 θ 。根据正弦值的定义,我们得出下面的公式:



这里我们将 AP 的长度记为 y ,由于 OA 是单位圆的半径,所以它的长度是 1 。因此 θ 的正弦很简单,即



还有一点值得注意的是 X 和 A 之间的圆弧长度为 θ 。这可以由圆的弧长公式看出,我们已经知道这段圆弧所对的圆心角为 θ 。圆弧的长度可以由 rθ 给出(这里假设 θ 以弧度为单位),由于单位圆的半径为 1 ,因此圆弧的长度就是 θ 。过会我们会用到这个结果,因此提一下。

增加 θ

当我们将 θ 稍微增加 Δθ 时,会发生以下情况:



我们在图中标记了相关的点,我们之前注意到,AP( A 到 x 轴的垂直高度)等于 θ 的正弦。即



B 到 x 轴的垂直高度为 BQ 。我们将这个新距离称为 y + Δy 。同样是在单位圆上,根据正弦的定义,这等于 θ + Δθ 的正弦,即:



现在,我们可以写出正弦 θ 随 θ 变化的差分公式:



当 Δθ 趋向于零时,上面的极限给出了正弦函数的导数:



如果我们可以找到 Δy 作为 θ 的函数的表达式,我们就应该能够求解右边的表达式来找到正弦函数的导数。

寻找 Δy 的表达式

现在我们将添加一个额外的点 C ,来构造一个三角形 ABC 。我们将 C 垂直放置在点 A 上方,并与点 B 水平对齐:



关于三角形 ABC ,我们做一些小观察:

● 由于 AC 是垂直的,而 BC 是水平的,所以角 C 必定是直角。

● 由于 A 到 x 轴的距离为 y ,而 B 到 x 轴的距离为 y + Δy ,因此边 AC 的长度为 Δy 。

● 由于我们之前讨论过的原因,弧长 AB 的长度为 Δθ 。

当 Δθ 趋向于零时,圆弧 AB 趋向于一条直线,而且我们知道那条直线是圆的切线,此时直线 AB 的长度趋向于圆弧 AB 的长度,即 Δθ 。



而且,由于圆的切线与半径相交于 90 度,因此角 OAB 趋向于直角。通过简单的几何图形很容易验证,当 OAB 为直角时,角 BAC 等于角 AOP ,即 θ 。

求正弦的导数

我们已经做好了我们所需的一切准备,关于三角形 ABC ,我们已经了解了它的一切。



上图表示当 Δθ 趋向于零时三角形的形状。在三角形中,基本三角函数定义告诉我们:



我们从前面已经知道:



这就证明了:



尽管这种方法不是很严谨,但它确实提供了另一种角度让我们来看待正弦函数的导数。好了,今天就到这里吧。



围城里的猫

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-24 15:00 , Processed in 0.901813 second(s), 17 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: