导数
导数（）是微积分学中的一個概念。函数在某一点的导数是指这个函数在这一点附近的变化率。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数formula_1的自变量在一点formula_2上产生一个增量formula_3时，函數输出值的增量與自變量增量formula_3的比值在formula_3趋于0时的極限如果存在，即為formula_1在formula_2处的导数，记作formula_8、formula_9或formula_10。例如在运动学中，物体的位移对于时间的导数就是物体的瞬时速度。
导数是函数的局部性质。不是所有的函数都有导数，一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在，则称其在这一点可导(可微分)，否则称为不可导(不可微分)。如果函数的自变量和取值都是实数的话，那么函数在某一点的导数就是该函数所代表的曲线在這一点上的切线斜率。
对于可导的函数formula_1，formula_12也是一个函数，称作formula_1的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导。反之，已知导函数也可以倒过来求原来的函数，即不定积分。微积分基本定理说明了求原函数与积分是等价的。求导和积分是一对互逆的操作，它们都是微积分学中最为基础的概念。
设有定义域和取值都在实数域中的函数 formula_14。若 formula_15 在点 formula_16 的某个邻域内有定义，则当自变量 formula_17 在 formula_16 处取得增量 formula_19（点 formula_20 仍在该邻域内）时，相应地 formula_21 取得增量 formula_22；如果 formula_23 与 formula_24 之比当 formula_25 时的极限存在，则称函数 formula_26 在点 formula_16 处可导，并称这个极限为函数 formula_26 在点 formula_16 处的导数，记为 formula_30，即：
也可记作 formula_31、 formula_32、 formula_9或 formula_10。
对于一般的函数，如果不使用增量的概念，函数 formula_15 在点 formula_36 处的导数也可以定义为：当定义域内的变量 formula_37 趋近于 formula_36 时， 的极限。也就是说，
当函数定义域和取值都在实数域中的时候，导数可以表示函数的曲线上的切线斜率。如右图所示，设formula_40为曲线上的一个定点，formula_41为曲线上的一个动点。当formula_41沿曲线逐渐趋向于点formula_40时，并且割线formula_44的极限位置formula_45存在，则称formula_45为曲线在formula_40处的切线。
若曲线为一函数formula_48的图像，那么割线formula_44（粉紅色）的斜率为：
当formula_40处的切线formula_45（橘紅色），即formula_44的极限位置存在时，此时formula_53，formula_54，则formula_45的斜率formula_56为：
上式与一般定义中的导数定义完全相同，也就是说formula_57，因此，导数的几何意义即曲线formula_48在点formula_59处切线的斜率。
若函数 formula_60 在其定义域包含的某区间 formula_61 内每一个点都可导，那么也可以说函数formula_60 在区间 formula_61 内可导，这时对于 formula_61 内每一个确定的formula_17 值，都对应着 formula_66 的一个确定的导数值，如此一来就构成了一个新的函数formula_12，这个函数称作原来函数 formula_60 的导函数，记作：formula_69、formula_70 或者 formula_71。值得注意的是，导数是一个数，是指函数 formula_15 在点 formula_36 处导函数的函数值。但在不至于混淆的情况下，通常也可以说导函数为导数。
由于对每一个可导的函数 formula_60，都有它的导函数 formula_70 存在，我们还可以定义将函数映射到其导函数的算子。这个算子称为微分算子，一般记作 formula_76 或 formula_77。例如： 由于微分算子的输出值仍然是函数，可以继续求出它在某一点的取值。比如说对于函数 formula_79， 所以formula_81，formula_82。
微分也是一种线性描述函数在一点附近变化的方式。微分和导数是两个不同的概念。但是，对一元函数来说，可微与可导是完全等价的。可微的函数，其微分等于导数乘以自变量的微分formula_83，换句话说，函数的微分与自变量的微分之商等于该函数的导数。因此，导数也叫做微商。函数formula_84的微分又可记作formula_85。
导数和积分的发现是微积分发明的关键一步。17世纪以来，光学透镜的设计以及炮弹弹道轨迹的计算促使欧洲的数学家对曲线的切线进行研究。1630年代，法国数学家吉尔·德·罗伯瓦尔作出了最初的尝试。与此同时，同是法国人的费马在计算切线时已经使用了无穷小量的概念。
如右图，费马考虑曲线 formula_86 在 formula_87 处的切线。他声称，对于切线，有以下的关系成立：
对上式变形后得到：
对于具体的函数 formula_86，比如 formula_91，费马计算 formula_92 的值，并将 formula_3设为0，就得到 formula_94，从而确定切线的斜率。可以看出，费马的方法实质上已经是求导。费马还给出了 formula_86 为多项式时切线的公式。英国的巴罗、荷兰的于德（Johnann Van Waveren Hudde）和瓦隆的斯卢兹（René Francoiss Walther de Sluze）继续了费马的工作。然而，费马和巴罗等人并没有将求导归纳为一种独立的工具，只是给出了具体的计算技巧。
1660年代，英国人伊萨克·牛顿提出了“流数”的概念。牛顿在写于1671年的《流数法与无穷级数》中对流数的解释是：“我把时间看作是连续的流动或增长，而其他的量则随着时间而连续增长。我从时间流动性出发，把所有其他量的增长速度称为流数。”也就是说，流数就是导数。牛顿将无穷小的时间间隔定义为“瞬间”（moment），而一个量的增量则是流数与瞬间的乘积。求导数时，牛顿将自变量和因变量两边展开，同时除以瞬间，再将剩下的项中含有瞬间的项忽略掉。而在他的第三篇微积分论文中，牛顿使用了新的概念：最初比和最后比。他说： 相比于牛顿，德国数学家莱布尼兹使用了更清晰的记号来描述导数（见导数的记法一节）。他利用了巴罗的“微分三角形”概念，将自变量和因变量的增量记为 formula_96 和 formula_97。他把 formula_96 理解为“比任何给定的长度都要小”，而 formula_97 则是 formula_87 移动时 formula_101“瞬刻的增长”。而导数则是两者之间的比例。他还研究了函数之和、差、积、商的求导法则。
牛顿和莱布尼兹的差别在于，牛顿将无穷小量作为求流数或导数的工具，而莱布尼兹则用无穷小量的比值来表示导数。这与二人的哲学思想差异有关。
微积分的理论面世后，遭到了有关无穷小量定义的攻击与质疑。导数的定义自然也包括在内。莱布尼兹和牛顿对无穷小量的认识都是模糊的。不仅如此，莱布尼兹甚至引入了formula_102 和 formula_103，称其为“未消失的量”，用以进行求导前部的计算。在完成计算后再用“消失的量”formula_96 和 formula_97来代替它们，并假定前两者之比等于后两者之比，认为这是一个不容置疑的真理。
许多数学家，包括伯努利兄弟、泰勒、麦克劳林、达朗贝尔、拉格朗日和欧拉都想要对微积分的严密性辩护或将微积分严密化。但受限于对无穷小量的认识，十八世纪的数学家并没有做出太大的成果。微积分的强烈抨击者，英国的乔治·贝克莱主教在攻击无穷小量时认为，流数实际上是“消失的量的鬼魂”，是0与0之比。欧拉承认后者，并认为0与0之比可以是有限值。拉格朗日则假定函数都可以展开为幂级数，并在此基础上定义导数。
十九世纪后，随着对函数连续性和极限的更深刻认识，微积分终于趋于严谨。波尔查诺是首先将导数定义为函数值的改变量与自变量增量之比在自变量增量无限接近0时趋向的量。波尔查诺强调导数不是0与0之比，而是前面的比值趋向的数。柯西在他的著作《无穷小分析教程概论》中也使用了同样的定义，并定义formula_97 为导数与 formula_96 的乘积。这样，导数和微分的概念得到了统一。
从微积分发轫至如今，不同的数学家都曾使用过不同的记号来表示函数的导数。部分记号至今仍然使用，成为现代的通用记法。
作为微积分的发明人之一，牛顿在1704年著作中将导数用函数符号上方的点来表示。例如 formula_84的导数就记作formula_109，而二阶导数则记为formula_110。他以后的数学家也会将formula_109用来表示函数的微分。牛顿的记法中没有明确自变量，因此 formula_101 对 formula_87 的导数在牛顿的著作中也会被记成formula_114，因为这可以理解为两个函数formula_101 和 formula_87 对于另一个变量formula_117 的导数比。而这个导数比（使用莱布尼兹的记号）： 牛顿的记号多见于物理学或与之有关的方面，如微分方程中。以及直到现在，使用函数符号上加一点来表示某一变量的变化率（即对时间的导数）依然常见于各类物理学教材中（如使用formula_119来表示加速度等）。注意到对于高阶的导数，这种记法就无法表示了。
莱布尼兹在他的研究中分别使用 formula_120 和 formula_121 来表示函数自变量和應变量（输出值）的有限变化量，而使用 formula_96 和 formula_97 来表示“无限小”的变化量（即所谓的“无穷小量”）。如果将函数记为formula_84的话，那么在莱布尼兹的记法下，其导数记为： 这个记法最早出现在莱布尼兹1684年的论文中，莱布尼兹在之前的文章中会将 formula_96 记成 formula_130，把 formula_131 记成 formula_132。莱布尼兹记法的好处是明确了自变量和應变量。要注意的是记号formula_96是一个整体，formula_97也是，而formula_125可以看成一个整体，也可以不严谨地看成formula_97和formula_96的比值。此外，formula_125 表示的是导函数，在某一点 formula_139 的导数则记为：formula_140  对于更高阶的导数（比如说n阶，见高阶导数一节），莱布尼兹的记法是： 这种记法是在1695年出现的。这里的分子和分母不再具有单独的意义。莱布尼兹的记法中使用 formula_144 来表示微分算子，比如说二阶的导数 formula_145 就可以看成： 莱布尼兹记法的另一个好处是便于记忆导数计算的法则。例如链式法则（见导数的计算一节）应用莱布尼兹的记法就是： 可以想象为右边是两个分式的乘积，消去formula_148之后就变成左边。
由于牛顿和莱布尼兹之间关于微积分创始人称号的持久纠纷，在十八世纪早期的很长时间里，英国数学界与欧洲大陆的数学界分别采用牛顿和莱布尼兹的记号，泾渭分明。这种情况直到十八世纪后期才开始改变，随着拉格朗日记法的出现而变得多样化起来。
另一种现今常见的记法是十八世纪拉格朗日于1797年率先使用的，以在函数的右上角加上一短撇作为导数的记号。函数 formula_84 的导数就记作 formula_150 或 formula_151。二阶和三阶导数记为formula_152、formula_153 和 formula_86、formula_101。如果需要处理更高阶的导数，则用括号内的求导阶数n来代替短撇，记为：formula_156、formula_157。当十九世纪的数学家柯西处理微分学时，他认为莱布尼兹的记法“模糊不便”，而采用更为“紧凑”的记法，将 formula_125 记为formula_159。这种记法可说是拉格朗日记法的变种。后来这种记法曾继续被精简为formula_160。
十九世纪以前，尽管大部分数学家会选择采用牛顿、莱布尼兹或拉格朗日的记号来表示导数，但也有很多的数学家希望使用自己的方法来记录。在不同数学家的著作中可以看到各种主流记法的混合或变体。数学家之间关于什么样的记法最为简便和严谨也是各执一词。同时，由于函数的微分、导数、偏导数以及无穷小量等概念尚未成熟，记号的不统一更增加了数学家之间相互理解的难度。十九世纪初期的德国数学家马尔丹·欧姆采用formula_161来表示导数，而同时期的雅可比则采用formula_162来表示偏导数。同时许多数学家采用formula_163、formula_164或 formula_165表示偏导数。
用大写字母formula_76表示导数从十八世纪末就开始。1800年，法国数学家路易斯·弗朗索瓦·安托内·阿伯加斯特（）使用formula_167表示函数 formula_1 的m阶导数或全微分。而其后本杰明·佩尔斯（）也使用formula_169表示 formula_1 对 formula_87 的导数。而柯西也采用类似的记号，用formula_172表示函数 formula_1 对 formula_87 的m阶偏导数。
如果一个函数的定义域为全体实数，即函数在formula_175上都有定义，那么该函数是不是在定义域上处处可导呢？答案是否定的。函数在定义域中一点可导需要一定的条件。首先，要使函数formula_1在一点可导，那么函数一定要在这一点处连续。换言之，函数若在某点可导，则必然在该点处连续。这个结论来自于连续性的定义。
符号函数（sgn函数）是一个不连续的函数在断点处不可导的例子：
首先注意到这个函数在formula_177处不连续。作为验证，可以求出函数在formula_178处附近的变化率，根据函数可导的条件再进行判断：
然而，连续性并不能保证可导性。即使函数在一点上连续，也不一定就在这一点可导。事实上，存在着在每一点都连续，但又在每一点都不可导的“病态函数”。1931年，斯特凡·巴拿赫甚至证明，事实上“绝大多数”的连续函数都属于这种病态函数（至少在一点可导的连续函数在所有连续函数中是贫集）。在连续而不可导的函数里，一种常见的情况是，函数在某一点连续，并且可以定义它的左导数和右导数： \frac{f(x_0+\Delta x)-f(x_0)}{\Delta x}
右导数：formula_183 然而左导数和右导数并不相等，因而函数在该处不可导。实际上，若函数导数存在，则必然可以推出左右导数相等，这是由极限的性质（极限存在则左右极限相等）得来：
下面以绝对值函数作为例子：
该函数在formula_178处的左导数为：formula_185
该函数在formula_178处的右导数为：formula_187
绝对值函数在formula_178处的左右导数皆存在，但由于左右导数不相等，故绝对值函数在formula_178处不可导。
如果函数在一点的左右导数都存在并且相等，那么函数在该处可导。
通过认识可导函数的导数，可以推断出不少函数本身的性质。
根据微积分基本定理，对于可导的函数formula_1，有： 如果函数的导函数在某一区间内恒大于零（或恒小于零），那么函数在这一区间内单调递增（或单调递减），这种区间也称为函数的单调区间。导函数等于零的点称为函数的驻点（或极值可疑点），在这类点上函数可能会取得极大值或极小值。进一步判断则需要知道导函数在附近的符号。对于满足 formula_192 的一点 formula_2，如果存在 formula_194 使得 formula_195 在区间formula_196 上都大于等于零，而在区间 formula_197 上都小于等于零，那么 formula_2 是一个极大值点，反之则为极小值点。如果formula_199 並且 formula_152 在 formula_2 改變加減號，則称这个点是拐点；否則这个点不是拐点。
如果函数在 formula_2 处的二阶导数 formula_203 存在，极值点也可以用它的正负性判断（已确定formula_204）。如果formula_205，那么 formula_2 是一个极小值点，反之为极大值点。
可导函数的凹凸性与其导数的单调性有关。如果函数的导函数在某个区间上单调递增，那么这个区间上函数是向下凸的，反之则是向上凸的。如果二阶导函数存在，也可以用它的正负性判断，如果在某个区间上 formula_207 恒大于零，则这个区间上函数是向下凸的，反之这个区间上函数是向上凸的。
原则上，函数的导数可以通过考虑差商和计算其极限来从定义计算。在实践中，一旦知道了一些简单函数的导数，就可以使用从更简单的函数获得更复杂函数的导数的规则，来更容易地计算其他函数的导数。
所谓基本函数是指一些形式简单并且容易求出导数的函数。这些基本函数的导函数可以通过定义直接求出。formula_208
其中formula_209是任意实数，那么
formula_210函数formula_1的定义域可以是整个实数域，但导函数的定义域则不一定与之相同。例如当 formula_212时：
导函数的定义域只限所有正实数而不包括0。需要注意的是，不会有多项式函数的导数为formula_214。当 formula_215 时，常函数的导数是0。自然对数函数的导数则是 formula_221：formula_222 同样的，一般的对数函数导数则还需要乘以一个系数：formula_223 由基本函数的和、差、积、商或相互复合构成的函数的导函数则可以通过函数的求导法则来推导。基本的求导法则如下：若要求某个函数在某一点的导数，可以先运用以上方法求出这个函数的导函数，再看导函数在这一点的值。
欲求函数 在formula_239处的导数。可以先求出其导函数： 其中第二项使用了复合函数的求导法则，而第三项则使用了乘积的求导法则。求出导函数后，再将formula_239代入，得到导数为：
如果函数的导数formula_243在formula_244处可导，则称formula_245为formula_244的二阶导数。记做：formula_247，formula_248，formula_249或formula_250、
二阶导数可用于求解函数凹凸性问题。 formula_251函数在x上凹。 formula_252函数在x下凹。
二阶导数的导数称为三阶导数，记做formula_253，formula_254，formula_255或formula_256
三阶导数的导数称为四阶导数，记做formula_257，formula_258，formula_259或formula_260
一般的formula_253的formula_262阶导数的导数称为formula_253的formula_264阶导数，记为formula_265，formula_266，formula_267或formula_268
一般来说，高阶导数的计算和导数一样，可以按照定义逐步求出。同时，高阶导数也有求导法则： 因此，可以利用已知的高阶导数求导法则，通过四则运算, 变量代换等方法，求出formula_272阶导数。一些常见的有规律的高阶导数的公式如下：
formula_276 formula_276
当函数 formula_101 的取值不再是实数，而是一般的formula_284中的向量时，仍然可能对其求导。这时的函数值是：formula_285。每个 formula_286 都是一个实数值的函数。具体的例子如二维或者三维空间里的参数方程。因此，对 formula_84 求导实际上是对每个分量函数 formula_288 求导。 这也符合定义
设formula_291为formula_284的一组基，那么对函数：formula_293
其导函数为：formula_294
如果有函数 formula_1 其自变量不是单个实数，而是多于一个元素，例如： 这时可以把其中一个元素（比如 formula_87 ）看做参数，那么 formula_1 可以看做是关于另一个元素的参数函数： 也就是说，对于某个确定的 formula_87，函数 formula_301 就是一个关于 formula_101 的函数。在 formula_139 固定的情况下，可以计算这个函数 formula_301 关于 formula_101 的导数。 这个表达式对于所有的 formula_307 都对。这种导数称为偏导数，一般记作： 这里的符号 ∂ 是字母 formula_309 的圆体变体，一般读作 formula_310 的首音节或读“偏”，以便与 formula_309 区别。
更一般地来说，一个多元函数 formula_312 在点 formula_313 处对 formula_314 的偏导数定义为： 上面的极限中，除了 formula_314 外所有的自变元都是固定的，这就确定了一个一元函数： 因此，按定义有： 偏导数的实质仍然是一元函数的导数。
多变量函数的一个重要的例子，是从formula_284（例如 formula_320 或 formula_321）映射到formula_322上的标量值函数 formula_312。在这种情况下，formula_1 关于每一个变量 formula_314 都有偏导数formula_326。在点 formula_327，这些偏导数定义了一个向量：
这个向量称为 formula_1 在点 formula_330 的梯度。如果 formula_1 在定义域中的每一个点都是可微的，那么梯度便是一个向量值函数 formula_332，它把点 formula_333 映射到向量 formula_334。这样，梯度便决定了一个向量场。
方向导数是比偏导数更加广泛的概念。导数的本质是函数值增量与自变量增量之比的极限。在多元函数 formula_1 中，可以选定一个确定的方向（以这个方向上的单位向量 formula_336 表示），并考虑函数在这个方向上的增量： formula_337 这个增量为关于 formula_117 的一元函数。函数 formula_1 的方向导数定义为这个增量与 formula_117 的比值在 formula_117 趋于0时的极限，记为formula_342。 formula_343 方向导数表示了函数从某点开始在某个方向上的变化率。
在formula_284中，如果将向量 formula_336 选为正规基 formula_346 之中的一个，如formula_347，那么方向导数就是关于 formula_348 的偏导数。 导数的概念建立在变量为实数之上，但也可以推广到更加广泛的意义上。推广的导数本质上仍旧是函数在局部一点上的线性逼近。
对于变量为复数的函数，也可以定义导数的概念。假设有复变函数formula_349。如果 formula_1 在某一点 formula_351 及附近有定义，并且极限： 存在，那么就说函数 formula_1 在 formula_351 可导。其中 formula_355 表示 formula_356 的模长趋向于0。如果将复变量 formula_357 视作 formula_358，那么 formula_1 可以视作一个formula_360上的函数。如果作为复变函数的 formula_1 可导，那么作为formula_360上函数的 formula_1 的偏导数也存在，但反之则不然。只有当柯西-黎曼条件满足的时候才能保证复变函数的复可导性。
在分布理论里，弱微分的概念使得对更多严格意义上无法求导的函数也可以定义导函数。设formula_364是一个局部勒贝格可积（比如说在formula_365中）的函数，称formula_366是formula_364的一个弱微分，如果对所有的测试函数formula_368，都有： 成立。其中测试函数是指紧支撑的光滑函数。弱微分包括了强微分，也就是通常意义上的导数。
在凸分析，也就是对凸函数的研究中，可以定义凸函数的次导数。次导数的概念是导数的几何意义的推广。由于函数是凸的，过它的图像上每一点总可以作一条直线，使得函数的图像在直线上方。这种直線的斜率称为函数在这点的次导数。如果函数在某点可导，那么次导数只有一个，等于其导数。如果函数像绝对值函数一样在零点有突然的转折，那么次导数可能不止一个。比如过零点而斜率在formula_370之间的直线都在绝对值函数下方，因此formula_370之间的每个数都是绝对值函数在零点的次导数。
早在十九世纪，在数学家明确了求导与积分的互逆关系以后，就出现了负阶次导数的记号：formula_372（表示求n次积分）。而非整数阶导数的概念则进一步将其推广。比如，半微分算子formula_373表示其作用于函数上两次以后的效果将等于一次求导： 定义非整数阶导数的方法不止一种，最常用的非整数阶导数定义为黎曼-刘维尔定义：
方向导数在无穷维向量空间如巴拿赫空间和弗雷歇空间上可以推广为加托导数和弗雷歇导数。二者都经常用于形式化泛函导数的概念，常见于物理学，特别是量子场论。
微分代数中有导子的概念。导子是具备了微分算子的某些特征的运算子，例如向量场的李导数，或非交换代数中的交换子。给定一个环或域 formula_322 上的一个代数 formula_383，formula_383 上的一个formula_322-导子 formula_310 是一个从 formula_383 射到自身的formula_322-线性映射（线性自同态），并满足导数的乘积法则：
所有formula_322-导子构成了 formula_383 上线性自同态集 formula_392 的子空间。
物理学、几何学、工程科学、经济学等学科中的一些重要概念都可以用导数来表示。如，导数可以表示运动物体的瞬时速度和加速度，也可以表示曲线在一点的斜率。 经济学中，所谓边际和弹性的概念与导数紧密相关。比如边际成本就是产量增加一个单位所带来的成本的增加，若將其連續化，得到的便是成本函数的导数。又如需求的弹性是指价格变化一个单位时，需求量的变化，連續化後相應的也是需求函数关于价格的导数。