c语言正弦函数求导,正弦函数求导公式基本推导

以前背过正弦函数的求导公式，就是sin'x = cos x，可是总也没推导过。这两天看了很多网上的推导做法，简直是误人子弟。含糊不清的，曲线救国的，各种做法满天飞，也是好笑。在这儿，我尽量地再仔细地推导一遍，本着“为往圣继绝学”的远大理想，为伟大的科普事业添砖加瓦罢。

函数式求导公式的推导是有一个基本原则的：用极限的手段，推导函数式在自变量变化的同时，因变量的变化趋势。用几何中的说法就是，导式就是斜率的函数式。

废话不多说，以下正弦函数的求导公式证明，会用到导数的定义、三角函数的部分推导式、三角函数的几何特性和高等数学的夹逼定理等手段，来做一次“步骤无跳跃”的推导。

第一阶段的推导：

上图中第一行是求导公式的定义，第二行是借助了三角函数的和差化积公式(如下)

第三行是简单化简，第四行推导的理由是第三行中的因式可如下推导

至此，第一阶段推导的结果归结到求下式的值

这个式子的值等价于

这个式子中除了△x外并没有其他变量，所以这个式子的值是一个常数(其实就是sin’(0)的值)。求得这个常数，就能得到正弦公式的导式了，我们把这个求值过程交给第二阶段来做。

第二阶段的求解：

其实第一阶段最后的式子，是需要使用夹逼定理和一些几何特性来证明的，不可以用任何微积分的结果来证明这个式子的值。

我不重复解释夹逼定理了，直接搬来维基的答案，如下：

怎么样，这份答案够详细了吧。不过啊不过，这份维基的推导中，有一行，我是无论如何都没弄明白为啥会直接列出来，就是那句arcAD

那么，有没有严谨的做法来证明：当0

第三阶段的证明：

想要证明线段AE比弧AD长呢，需要先做一条辅助线，做法是过D点做一条线段与OD垂直且与线段AE交于点I，得到一条线段ID，如下图：

注意，图中三角形IDE是一个直角三角形，其中∠IDE是直角，根据直角三角形特性斜边长于直角边可得IE>ID，所以，AE = AI + IE > AI + ID。那么，证明AI + ID大于弧AD就可以了。

从直觉来说，我觉得AI + ID是大于弧AD的，但是，就像上面说的，数学求解是不能靠直觉的，那怎么办呢？有办法，看下图：

连接IO，交弧AD于点J，然后过J做弧AD的切线交AI和ID于点K、L，于是得到上图。从这个图里容易得到一个结论：AI + ID > AK + KJ + JL + LD(在三角形KIL中，利用两点之间线段最短原理可得)。

直觉告诉我AK + KJ + JL + LD还是长于弧AD的，可我还是得继续证明才行。所以，我在四边形AOJK和四边形DOJL中重复刚才在四边形AODI中的做辅助线的做法，继续绘制辅助线，可以得到新的四个子四边形，然后再在新的子四边形中重复做辅助线的做法，可以得到新的八个子四边形，然后再在新的子四边形中重复做辅助线的做法，可以得到新的十六个子四边形……当我画到1024个子四边形的时候，我的眼睛，我的胃，我的手，我的腰，都感觉到强烈的不适，上吐下泻涕泗横流啊……

然而，我发现直觉总是成立的。每条新做的切线的连线都比上一次的辅助切线要短，而且切线连起来越来越逼近弧AD了。

随着脑海中一句“智商上线中”的弹幕闪过，我想起了一个数学家的名字——刘徽。这位数学大佬的经典之一就是发明了割圆术。

回过头来看，一遍遍画辅助线的做法不正是在割圆么？根据极限的思路，辅助线画到无穷遍的时候，切线之和自然就是弧长了啊。

于是倒推回来可证，弧长AD < AI + ID，于是，第三阶段得证。

The end.

c语言正弦函数求导,正弦函数求导公式基本推导相关推荐

R语言学习之科学计算——求导与积分
文章目录说明 1 R中的表达式 2 求导 2.1 求一阶导数 2.2求高阶导数 2.3 求偏导数 3 积分 3.1 定积分 3.2 不定积分说明 R语言的版本为4.0.2,IDE为Rstudio, ...
5.2 matlab多项式计算（多项式的四则运算、求导、求值、求根）
1.多项式的表示在MATLAB中创建多项式向量时,注意三点: (1)多项式系数向量的顺序是从高到低. (2)多项式系数向量包含0次项系数,所以其长度为多项式最高次数加1. (3)如果有的项没有,系数 ...
二阶矩阵转置怎么求_矩阵求导术（下）
本文承接上篇 https://zhuanlan.zhihu.com/p/24709748,来讲矩阵对矩阵的求导术.使用小写字母x表示标量,粗体小写字母表示列向量,大写字母X表示矩阵.矩阵对矩阵的求导 ...
luogu P4725 多项式对数函数 (模板题、FFT、多项式求逆、求导和积分)
luogu P4725 多项式对数函数 (模板题.FFT.多项式求逆.求导和积分) 手动博客搬家: 本文发表于20181125 13:25:03, 原地址https://blog.csdn.net/s ...
python求函数一二阶导_python：利用多种方式解微分方程(以二阶微分系统零状态响应为例)...
1.问题:求系统的零状态响应 image.png 2.引入首先用高数知识求解非齐次常系数微分方程 image.png 再利用信号与系统中冲激响应求解验证 image.png 利用MATLAB求解验证 ...
MATLAB新手简明使用教程（七）——使用matlab建立多项式以及求导，商求导乘积求导等——新手来看，保证看懂。
前期回顾上一期中,我们学了下面的知识: 定积分的基本概念和一些简单的几何意义. 使用 int 函数计算不定积分. 使用 int 函数计算定积分. 本期内容本期我打算给大家介绍一下使用matlab对 ...
函数求导及求微分的基本公式
函数求导及求微分的基本公式
高等数学期末总复习 DAY4. 利用莱布尼茨定理求高阶导隐函数求导对数求导法参数函数求导用导数求切线、法线函数的微分
DAY 4. 这世上总要有个明白人,懂得克制. 文章目录 DAY 4. 1. 利用莱布尼茨定理求高阶导 2.隐函数求导 3.对数求导 4.参数函数求导 5.用导数求切线.法线 6.函数的微分 1. 利 ...
二元函数对xy同时求导_高等数学期末总复习 DAY4. 利用莱布尼茨定理求高阶导隐函数求导对数求导法参数函数求导等...
DAY 4. 这世上总要有个明白人,懂得克制. DAY 4. 1. 利用莱布尼茨定理求高阶导 2.隐函数求导 3.对数求导 4.参数函数求导 5.用导数求切线.法线 6.函数的微分 1. 利用莱布尼茨 ...
矩阵求导（本质、原理与推导）详解
矩阵求导是机器学习与深度学习的基础,它是高等数学.线性代数知识的综合,并推动了概率论与数理统计向多元统计的发展.在一般的线性代数的课程中,很少会提到矩阵导数的概念:而且在网上寻找矩阵求导的知识点,也是 ...

c语言正弦函数求导,正弦函数求导公式基本推导

c语言正弦函数求导,正弦函数求导公式基本推导相关推荐

最新文章

热门文章