查看“︁高中数学/微积分初步/一阶导数的概念与求导法则”︁的源代码

== 阅读指南 ==
[[File: Crystal Clear app gnome.png | Crystal Clear app gnome | 50px]]
希望快速了解或快速回顾高中数学的读者可以只看基础知识部分。其余部分是为需要参加学科考试或需要一定知识提升的读者准备的。

导数主要用于解决求函数的极值、平滑曲线的切线。本节只涉及导数的基本定义和计算公式，顺便提及了洛必达法则。导数的更多具体运用（求切线方程、求最值、求单调区间等）会留到后面几节继续学习。

=== 预备知识 ===
阅读本节，一般需要先学习有关[[高中数学/微积分初步/极限|极限及其计算]]的知识，特别是常见函数的导函数公式的推导过程需要使用极限运算规律。如果读者暂时不希望了解导数公式的由来，只想关心导数是什么及其公式用法，也可以先跳过极限的学习。

=== 考试要求 ===
在中国大陆，导数这个知识点曾一度排除在高考范围以外。1978年中国大陆高考制度恢复正常后，微积分入门知识也跟着加入高考内容大纲。但是由于当时的中学缺乏微积分教与学的经验，学生普遍反映难学，所以不久后变为只考察简单的极限计算，其它微积分学知识仅供学生自由选学。从2001年推广的试验本教材又重新将导数等知识纳入考试大纲。<ref>{{cite web |url= http://math.ecnu.edu.cn/~llin/Lunwen01.doc |format=pdf |title=高中微积分教学探究 |author=张哓波 |publisher=[[w:华东师范大学|华东师范大学]] |language=zh-cn |date= |access-date=2021年5月24日}}</ref>

== 基础知识 ==
=== 知识引入 ===
导数是一种'''差商'''（'''difference quotient'''）的极限，也被翻译为'''微商'''。最常见的例子就是物理量随时间的瞬时变化率。

=== 导数的定义与直接计算 ===
<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
假定函数f(x)在某一点a及其领域上有定义，若函数值在该点附近的平均变化率的极限<math>\lim_{h \to 0} \frac{f(a+h) - f(a)}{h}</math>存在，就将此极限称为f(x)在点a处的'''导数'''（'''derivative'''），记作“<math>f'(a)</math>”；若此极限不存在，就称f(x)在a不存在导数，简称在a点'''不可导'''。<ref name="人教社大纲版数学_2004_导数的概念">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (选修) |volume=第3册 (选修2) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17448-7 |section=第3章“导数”第1部分“导数”第3.1节“导数的概念” |pages=108-114 |language=zh-cn |year=2004}}</ref>

函数在点a上的导数，就是对应的平面曲线在点(a, f(a))处的切线斜率。<ref name="人教社大纲版数学_2004_导数的概念" />
</font>
</blockquote>

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：为区别后面会接触到的[[高中数学/微积分初步/二阶导数与函数的凹凸性|二阶与高阶导数]]，我们将这里定义的导数称为函数的'''一阶导数'''。

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：可以类比极限和单侧极限的关系，定义出2种单侧导数：左导数为<math>f'_{-}(a) = \lim_{h \to 0^{-}} \frac{f(a+h)-f(a)}{h}</math>，右导数为<math>f'_{+}(a) = \lim_{h \to 0^{+}} \frac{f(a+h)-f(a)}{h}</math>。

=== 导数不存在的例子 ===

=== 导函数与常用求导公式 ===
<blockquote style="padding: 1em; border: 2px dotted;">
<font color="#008000">
若函数f(x)在区间A上的每一点都可求导，就称f(x)在A上是'''可导的'''。<ref name="人教社大纲版数学_2004_导数的概念" />

按照可导性的定义，对于一个区间A上可导的函数f(x)，它在A上的每一个点都有一个确定的导数值。此时，这种点与导数之间的对应关系构成一个新的函数，叫做f(x)的'''导函数'''，简称'''导数'''<ref name="人教社大纲版数学_2004_导数的概念" />，记作f'(x)或<math>\frac{d}{dx} f(x)</math>。
</font>
</blockquote>

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：(1)在英文中并不用2个不同的词区分导函数和导数，而只有“'''函数在一点处的导出量'''”（'''derivative of the function at a point'''）和“'''函数的导出量'''（'''derivative of the function'''）”的说法。(2)由于导数和另一个叫做'''微分'''（'''differential'''）的概念之间存在直接联系，所以英文中把“可导”直接叫做'''可微'''（'''differentiable'''），把“求导的过程”叫做'''微分化'''（'''differentiation'''）。大体上讲，可导和可微分的概念出发点并不同，但是至少对于一元函数来说，是可以证明其可导性和可微分性是相互等价的。汉语中区分“导数”的概念和“微分”的概念是一个好的做法，但是由于英文中经常不区分二者，所以在英汉互译时会出现术语混淆。例如许多汉语微积分教材都会明确区分“一元函数的导数”和“一元函数的微分”，但是却将“多元函数的微分”译为“多元函数的导数”。还有“全导数”（total derivative）和“全微分”（total differential）到底是否需要作区分也是译法混乱不堪。某些名为《高等数学》的圈钱教材甚至有出现正文中从未定义过全导数是什么，但是在课后习题中却又明确要求读者计算全导数的情况。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
我们将常见函数的导函数公式总结如下<ref name="人教社大纲版数学_2004_常见函数的导数">{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (选修) |volume=第3册 (选修2) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17448-7 |section=第3章“导数”第1部分“导数”第3.2节“几种常见函数的导数” |pages=114-115 |language=zh-cn |year=2004}}</ref>
<ref>{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (选修) |volume=第3册 (选修2) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17448-7 |section=第3章“导数”第1部分“导数”第3.5节“对数函数与指数函数的导数” |pages=123-125 |language=zh-cn |year=2004}}</ref>：
* <math>C' = 0</math>（其中C是常数。）
* <math>(x^n)' = n x^{n-1} \quad (n \in \mathbb{Q})</math>
* <math>(\sin x)' = \cos x</math>
* <math>(\cos x)' = - \sin x</math>
* <math>(\ln x)' = \frac 1 x</math>
* <math>(\log_a x)' = \frac 1 x \log_a e</math>

此公式列表也叫做'''导数公式表'''（'''table of derivatives'''）。
</blockquote>

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
2个可导函数的四则运算结果的导数公式如下<ref>{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (选修) |volume=第3册 (选修2) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17448-7 |section=第3章“导数”第1部分“导数”第3.3节“函数的和、差、积、商的导数” |pages=118-120 |language=zh-cn |year=2004}}</ref>：
* <math>(f(x) \pm g(x))' = f'(x) \pm g'(x)</math>（求导运算的'''线性'''（'''linearity'''）。）
* <math>(f(x) \cdot g(x))' = f'(x) \cdot g(x) + f(x) \cdot g'(x)</math>
* <math>(\frac{f(x)}{g(x)})' = \frac{f'(x) \cdot g(x) - f(x) \cdot g'(x)}{(g(x))^2}</math>
</blockquote>

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：注意导数乘法公式和除法公式中加减号的差异。

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：求导运算是一种从一个函数到另一个函数的映射（函数）。如果按照线性[[w:泛函分析|泛函分析]]的讲法，将函数比作抽象的向量，那么求导就是一种抽象向量之间的[[高中数学/线性变换与矩阵代数/向量的线性变换与矩阵运算|线性变换]]。如果这种变换是可逆的，当然也有可能定义其逆变换。而关于求导的逆运算有何含义，我们将在[[高中数学/微积分初步/不定积分与微积分基本定理简介|不定积分与微积分基本定理简介]]一节中再继续讨论这个话题。

<!-- 本小节例题1 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
利用基本函数的求导公式和函数四则运算的求导公式，分别求下列函数的导数：
:(1) <math>f(x) = x^3 + 2x^2 + 3x + 4</math>；
:(2) <math>f(x) = 3 (x - a)(x - b) \quad (a, b \in \mathbb{R})</math>；
:(3) <math>f(x) = x \ln x</math>；
:(4) <math>f(x) = \ln (x^3)</math>；
:(5) <math>f(x) = e^{x + \ln x}</math>；
:(6) <math>f(x) = 2 (\sqrt{\ln x})' \sqrt{\ln x}</math>。

<!-- 本小节例题2 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
利用导数的四则运算公式，化简下列各式：
:(1) <math>(c f(x))' \quad (c \in \mathbb{R})</math>；
:(2) <math>(f(x)^3)'</math>；
:(3) <math>(\frac{f(x)}{(g(x))^2})'</math>。

=== 复合函数求导的链式法则 ===
单靠上述几个基础的求导公式，还不足以充分解决[[高中数学/函数与三角/分段函数、复合函数与反函数的概念|复合函数]]的求导问题。我们实际经常遇到的各种函数往往也是由若干个基本函数复合而成的。关于复合函数的求导，也能摸索出下列公式：

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
'''链式法则'''（'''chain rule'''）：设<math>f(z)</math>和<math>g(x)</math>为2个可导函数，则复合函数<math>f(g(x))</math>的导数<math>(f \circ g)'(x)</math>为<ref>{{cite book |title=数学 |author=人民教育出版社中学数学室 |series=全日制普通高级中学教科书 (选修) |volume=第3册 (选修2) |publisher=[[w:人民教育出版社|人民教育出版社]] |location=中国北京沙滩后街55号 |edition=1 |isbn=7-107-17448-7 |section=第3章“导数”第1部分“导数”第3.4节“复合函数的导数” |pages=121-123 |language=zh-cn |year=2004}}</ref>：
:<math>(f \circ g)'(x) = f'(g(x)) \cdot g'(x)</math>
</blockquote>

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：对于内外复合多次的函数，可以多次使用链式法则，得到像链条一样常常的计算公式，这就是链式法则的得名原因。

<!-- 本小节例题1 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
分别求下列函数的导函数：
:(1) <math>f(x) = \ln (x^3)</math>；
:(2) [[高中数学/函数与三角/双曲函数及其恒等变换|双曲正弦函数]]<math>\sinh x = \frac{e^x - e^{-x}}{2}</math>；
:(3) <math>f(x) = \frac{\tan x}{\sin^2 x}</math>；
:(4) <math>f(x) = e^{x^2 + 2x + 1}</math>；
:(5) <math>f(x) = \frac{1}{\sqrt{1 - e^x}}</math>。

<!-- 本小节例题2 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
将下列函数看作复合函数（不进行化简），直接验证链式法则所得结果的合理性：
:(1) <math>f(x) = e^{\ln x}</math>；
:(2) <math>f(x) = \sqrt{1 - \cos^2 x}</math>。

<!-- 本小节例题3 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
假设函数f(z)、z = g(x)都是在各自定义域内的可导函数。请利用链式法则验证复合函数的下列[[高中数学/函数与三角/函数的单调性|单调性]]规律（即“同增异减”规律）：<br />
①如果f(z)与g(x)同为增函数或同为减函数，则复合函数f(g(x))是增函数；<br />
②如果f(z)与g(x)一个是增函数，另一个是减函数，则复合函数f(g(x))是减函数。

由正弦函数与余弦函数的导数关系，结合其[[高中数学/函数与三角/函数的周期性|周期性]]和[[高中数学/函数与三角/函数的奇偶性|奇偶性]]，可以猜想下列命题：

<!-- 本小节例题4 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
分别求证下列命题：
:(1) 如果函数f(x)是周期函数，那么导函数f'(x)也是周期函数，且导函数的周期与原函数的周期相同；
:(2) 如果函数f(x)是奇函数，那么其导函数是偶函数；如果函数f(x)是偶函数，那么其导函数是奇函数。

上述事实说明：
<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
对于可求导的函数，原函数与导函数的周期一致，而奇偶性互换。
</blockquote>

<!-- 本小节例题5 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
分别求函数<math>y_1 = \ln x, y_2 = \ln (2x), y_3 = \ln (3x)</math>的导函数，并总结其规律。

相比有关奇偶性与周期性的简单规律之外，求导更多的是用于分析可导函数的单调性。我们将在后续的[[高中数学/微积分初步/导数与单调性和极值的关系|导数与单调性和极值的关系]]一节中再继续讨论这个内容。

== 常用结论与常见模型 ==
=== 先变形再求导 ===
<!-- 本小节例题1 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
求函数<math>f(x) = \ln (3e^x)</math>的导函数。

<!-- 本小节例题2 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题2：
求下列函数的导函数：
:(1)<math>f(x) = \frac{x \sin x}{\cos x}</math>；
:(2)<math>f(x) = \sin^2 x \sin 2x</math>；
:(3)<math>f(x) = \sin \frac x 2 \cdot (1 - 2 \cos^2 \frac x 4)</math>。

<!-- 本小节例题3 -->
[[File: Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题3：
求下列函数的导函数：
:(1) <math>f(x) = \ln \frac{2x-1}{2x+1}</math>；
:(2) <math>f(x) = \ln (\frac{1}{x^2-1})</math>；
:(3) <math>f(x) = \ln \sqrt{\frac{e^{2x}}{e^{2x} - 1}}</math>。

<!-- 本小节例题4 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题4：
求幂指函数<math>f(x) = x^x (x > 0)</math>的导函数。

[[File:Crystal Clear app kdict.png | Crystal Clear app kdict | 50px]]
知识背景：上例中的这类技巧实际上涉及[[高中数学/微积分初步/参数方程的求导与曲率计算|对隐函数求导]]的理论，感兴趣的读者可以自行参阅相关章节的知识。

<!-- 本小节例题5 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题5：
分别求下列函数的导函数：
:(1) <math>f(x) = \sin^x x</math>；
:(2) <math>f(x) = \log_x e \quad (x > 0, x \neq 1)</math>；
:(3) <math>f(x) = \log_x x^{\frac 1 x} (x > 1)</math>。

<!-- 本小节例题6 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题6：
求函数<math>f(x) = \sqrt[k]{x \sqrt[k]{x \sqrt[k]{x}}} \quad (k \in \mathbb{N}^+)</math>的导函数。

最后，对于实变量的复值函数，也可以以类似的方式定义并求出导函数。并且可以在复数域内作因式分解等化简工作。

<!-- 本小节例题7 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题7：
设i是[[高中数学/向量与复数/复数的概念与基本运算|虚数单位]]，求函数<math>f(x) = e^x \sin x - i e^x \cos x \quad (x \in \mathbb{R})</math>的导函数。

=== 洛必达法则 ===
[[File: Guillaume de l'Hôpital.jpg |thumb |150px | 洛必達侯爵（Marquis de l'Hôpital）的本名是紀堯姆·弗朗索瓦·安托萬（Guillaume François Antoine，1661年－1704年）。传说就是他花钱从发明人[[w:約翰·伯努利|約翰·伯努利]]手中买下了这个法则的命名版权。]]

导数是从极限的思想出发来定义的，常见的导数公式也是通过计算极限推知的。不过反过来，有了导数公式以后，也能利用它轻松地求解某些在以往不太好办的未定式极限，这要说到下面的法则。

<blockquote style="padding: 1em; border: 2px dotted;">
[[File: Crystal Project Warehause.png | Crystal Project Warehause | 50px]]
对于形如<math>\lim \frac{f(x)}{g(x)}</math>的未定式，如果极限<math>\lim \frac{f(x)}{g(x)}</math>存在，那么二者一定相等，即：
:<math>\lim \frac{f(x)}{g(x)} = \lim \frac{f'(x)}{g'(x)}</math>

这个公式叫做'''洛必达法则'''（'''L'Hôpital's rule'''），以法国学者[[w:紀堯姆·德·洛必達|紀堯姆·德·洛必達]]（Guillaume de l'Hôpital）命名。
</blockquote>

洛必达法则提供了一种对分式型未定式上下同时求导，然后再取极限的办法。在很多习题中，对分子或分母分别求导后，能够降低其解析式的复杂程度（特别是对于多项式可以起到降幂的效果），所以起到简化问题的效果。

[[File:Crystal Clear app games.png | Crystal Clear app games | 50px]]
玩笑：根据维基百科上似乎来历不明的说法，L'Hôpital古時寫作帶s的L'Hospital。考虑到法语中的字母“h”永远不发音，所以我们有理由称其为“医院法则”（hospital rule）。

[[File: Crystal Clear app error.png | Crystal Clear app error | 50px]]
注意：使用洛必达法则前，应该注意验证使用它的前提条件。

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：洛必达法则是非常顺手的求极限工具，使用它对付考试中的选择题和填空题很好用，但是不建议初学者滥用它，使用基础的方法更能锻炼运算方面的技巧。

<!-- 本小节例题1 -->
[[File:Crystal Clear action edit.png | Crystal Clear action edit | 50px]]
相关例题1：
使用洛必达法则求下列极限：
:(1)<math>\lim_{x \to 0} \frac{\sin x}{\tan x}</math>；
:(2)<math>\lim_{x \to 0} \frac{1 - \cos x}{\ln x}</math>。

当使用洛必达法则对未定式处理过一次后，只要仍然符合使用条件，还可以继续使用洛必达法则。话句话说，只要条件合适，洛必达法则可以多次使用。

== 计算机技术辅助 ==
=== Mathematica ===
在[[Mathematica]]软件中，直接使用“D”命令求导函数<ref>{{cite web |url= https://reference.wolframcloud.com/language/ref/D.html.zh |title=D——Wolfram语言与系统 参考资料中心 |author= |publisher=Wolfram语言与系统 参考资料中心 |language=zh-cn |date= |access-date=2021年5月25日}}</ref>：
<syntaxhighlight lang="Mathematica">
fun[x_] := x^7 + Sin[x] + x * Log[x]; (* 自定义要求导的函数，并取名为fun *)
D[fun[x], x] (* 以x为自变量，求f的导函数 *)
</syntaxhighlight>

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：在Mathematica的Wolfram语言中，“=”表示赋值，“==”表示相等，“:=”表示符号的定义。

也可以更痛快一点，直接把定义函数和求导写成一行代码<ref>{{cite web |url= https://www.cs.princeton.edu/courses/archive/fall09/cos323/differential/math.html |title=
Calculating Derivatives with Mathematica |author=Michael Carreno |publisher=[[w:普林斯顿大学|普林斯顿大学]]计算机系 |location= |language=en |date= |access-date=2021年5月25日}}</ref><ref>{{cite book |title=The Mathematica Book |trans-title=Mathematica全书 (特别版) |author=[[w:Stephen Wolfram|斯蒂芬·沃尔夫雷姆]] |editor= |others=赫孝良 (汉译者); 周义仓 (汉译者) |publisher=[[w:西安交通大学出版社|西安交通大学出版社]] |location= |edition=4 |isbn=9787560515441 |section=第3章“Mathematica中的高级数学”第3.5节“微积分”第3.5.1小节“微分” |pages=504 |language=zh-cn |year=2002}}</ref>：
<syntaxhighlight lang="Mathematica">
D[5 Sin[x] + Cos[3x], {x, 2}]
</syntaxhighlight>

可以直接定义新函数的导函数，而不直接定义函数本身<ref>{{cite book |title=The Mathematica Book |trans-title=Mathematica全书 (特别版) |author=斯蒂芬·沃尔夫雷姆 |editor= |others=赫孝良 (汉译者); 周义仓 (汉译者) |publisher=西安交通大学出版社 |edition=4 |isbn=9787560515441 |section=第3章“Mathematica中的高级数学”第3.5节“微积分”第3.5.5小节“定义导数” |pages=508-509 |language=zh-cn |year=2002}}</ref>：
<syntaxhighlight lang="Mathematica">
fun'[x_] := Sin[x]; (* 直接定义fun(x)的导数为正弦函数 *)
D[fun[x], x] (* 对f(x)求导 *)
D[fun[x^2], x] (* 对复合函数f(x^2)求导 *)
</syntaxhighlight>

=== MATLAB ===
使用[[MATLAB]]的符号数学工具箱，可以计算函数的导函数。求导运算主要是用到“diff”命令<ref name="MATLAB_help">{{cite web |url= https://www.mathworks.com/help/symbolic/differentiation.html |title=Differentiation |author= |publisher=MathWorks Help Center |language=en |date= |access-date=2021年5月25日}}</ref>：
<syntaxhighlight lang="MATLAB">
syms x %定义一个新的符号量，取名为x
fun = sin( 5*x ); %定义一个以x为自变量的正弦型的函数，取名为fun
diff( fun ) %求f的导函数
</syntaxhighlight>

对常数求导，也是需要先将其转换为符号才行<ref name="MATLAB_help" />：
<syntaxhighlight lang="MATLAB">
cons = sym('5');
diff( cons )
</syntaxhighlight>

[[File: Crystal Clear action info.png | Crystal Clear action info | 50px]]
提示：MATLAB的diff命令其实既可以计算向量的差，也可以计算导函数。它会针对不同类型的参数，自动选择合适的行为（也就是说实现了[[w:函数重载|功能重载]]）。<ref name="Smyth_MATLAB">{{cite web |url= http://faculty.cooper.edu/smyth/TechCompanion/Calc1/Ch03/DifferentiationRules.htm |title=3.3 Differentiation Rules |author=Robert Smyth |publisher=[[w:柯柏聯盟學院|The Cooper Union]] for the Advancement of Science and Art |language=en |date= |access-date=2021年5月25日}}</ref>

MATLAB对于多项式函数可以采用向量式的记法，即将多项式的各个系数按顺序写成向量。MATLAB也单独提供了计算这种形式的多项式的导函数的“polyder()”方法。例如求<math>4x^3 + x^2 + 3</math>的导函数（输入和输出都是多项式的系数向量）<ref name="Smyth_MATLAB" />：
<syntaxhighlight lang="MATLAB">
polyder( [ 4 1 0 3 ] )
</syntaxhighlight>

=== Octave ===
[[GNU Octave]]只提供了计算多项式导函数的“polyder()”方法<ref>{{cite web |url= https://octave.org/doc/v4.2.2/Derivatives-_002f-Integrals-_002f-Transforms.html#Derivatives-_002f-Integrals-_002f-Transforms |title=28.4 Derivatives / Integrals / Transformss |author=John W. Eaton |publisher=GNU Octave官方网站 |language=en |date=2018年 |access-date=2021年5月25日}}</ref>（功能和用法模仿自MATLAB），但未直接提供计算一般函数的导数值或导函数的功能。

Octave虽然像MATLAB一样提供了名为“diff”的命令，但是这个命令只有求2个向量之差的功能，而没有实现求导数的功能<ref>{{cite web |url= https://octave.sourceforge.io/octave/function/diff.html |title=Function Reference: diff |author= |publisher=[[w:SourceForge|Octave Forge]] |language=en |date=2018年 |access-date=2021年5月25日}}</ref>。

=== Python ===
[[Python]]的符号计算包[[w:SymPy|SymPy]]提供了“diff()”方法可以在符号对象上执行求导函数的操作<ref>{{cite web |url= https://docs.sympy.org/latest/tutorial/calculus.html |title=SymPy 1.8 documentation » SymPy Tutorial » Calculus |author= |publisher=SymPy官方网站 |language=en |date=2021年1月31日 |access-date=2021年5月25日}}</ref>：
<syntaxhighlight lang="Python">
from sympy import * #导入SymPy包中的所有功能

x = Symbol('x') #定义x为代数符号
y = x**2 + 1 #定义y与x的解析表达式
y_prime = y.diff( x ) #用y对x求导
print( y_prime ) #输出结果查看

fun = lambdify(x, y_prime) #使用刚才得到的求导结果构造新函数，取名为fun
print( fun(5) ) #输出x=5时的导函数值
</syntaxhighlight>

除符号式计算外，Python也有其它数值式计算的功能包可以计算函数在特定点处的导数值。

== 补充习题 ==
[[File:Crystal Clear app ksirtet.png | Crystal Clear app ksirtet | 50px]]
[[File:Crystal Clear app laptop battery.png | Crystal Clear app laptop battery | 50px]]
* 解释这则笑话的数学含义（求导运算就是一种[[w:微分算子|微分算子]]，<math>\frac{d}{dx}</math>是对x求导的运算，而<math>\frac{d}{dy}</math>是对y求导的运算）：
常函数和指数函数走在街上，远远看到一个微分算子。常函数吓得慌忙躲藏，说：“被它微分一下，我就什么都没有啦！”指数函数不慌不忙道：“它可不能把我怎么样，我是<math>e^x</math>！”指数函数与微分算子相遇，指数函数自我介绍道：“你好，我是<math>e^x</math>。”微分算子道：“你好，我是<math>\frac{d}{dy}</math>！”

== 参考资料 ==
{{Reflist}}

== 外部链接 ==
{{Wikipedia|差商}}
{{Wikipedia|导数}}
{{Wikipedia|导数列表}}
{{Wikipedia|链式法则}}
{{Wikipedia|洛必达法则}}

{{DEFAULTSORT: derivatives and related rules}}
[[category:微积分]]
[[category:高中数学]]