梯度下降算法的公式非常简单，”沿着梯度的反方向（坡度最陡）“是我们日常经验得到的，其本质的原因到底是什么呢？为什么局部下降最快的方向就是梯度的负方向呢？也许很多朋友还不太清楚。没关系，接下来我将以通俗的语言来详细解释梯度下降算法公式的数学推导过程。

假设我们位于黄山的某个山腰处，山势连绵不绝，不知道怎么下山。于是决定走一步算一步，也就是每次沿着当前位置最陡峭最易下山的方向前进一小步，然后继续沿下一个位置最陡方向前进一小步。这样一步一步走下去，一直走到觉得我们已经到了山脚。这里的下山最陡的方向就是梯度的负方向。

首先理解什么是梯度？通俗来说，梯度就是表示某一函数在该点处的方向导数沿着该方向取得最大值，即函数在当前位置的导数。

上式中，θ 是自变量，f(θ) 是关于 θ 的函数，θ 表示梯度。

如果函数 f(θ) 是凸函数，那么就可以使用梯度下降算法进行优化。梯度下降算法的公式我们已经很熟悉了：

其中，θo 是自变量参数，即下山位置坐标，η 是学习因子，即下山每次前进的一小步（步进长度），θ 是更新后的 θo，即下山移动一小步之后的位置。

这里需要一点数学基础，对泰勒展开式有些了解。简单地来说，一阶泰勒展开式利用的就是函数的局部线性近似这个概念。我们以一阶泰勒展开式为例：

不懂上面的公式？没有关系。我用下面这张图来解释。

凸函数 f(θ) 的某一小段 [θo,θ] 由上图黑色曲线表示，可以利用线性近似的思想求出 f(θ) 的值，如上图红色直线。该直线的斜率等于 f(θ) 在 θo 处的导数。则根据直线方程，很容易得到 f(θ) 的近似表达式为：

这就是一阶泰勒展开式的推导过程，主要利用的数学思想就是曲线函数的线性拟合近似。

知道了一阶泰勒展开式之后，接下来就是重点了！我们来看一下梯度下降算法是如何推导的。

先写出一阶泰勒展开式的表达式：

其中，θ−θo 是微小矢量，它的大小就是我们之前讲的步进长度 η，类比于下山过程中每次前进的一小步，η 为标量，而 θ−θo 的单位向量用 v 表示。则 θ−θo 可表示为：

特别需要注意的是，θ−θo 不能太大，因为太大的话，线性近似就不够准确，一阶泰勒近似也不成立了。替换之后，f(θ) 的表达式为：

重点来了，局部下降的目的是希望每次 θ 更新，都能让函数值 f(θ) 变小。也就是说，上式中，我们希望 f(θ)。则有：

因为 η 为标量，且一般设定为正值，所以可以忽略，不等式变成了：

上面这个不等式非常重要！v 和 ∇f(θo) 都是向量，∇f(θo) 是当前位置的梯度方向，v 表示下一步前进的单位向量，是需要我们求解的，有了它，就能根据 vθ−θo=ηv 确定 θ 值了。

想要两个向量的乘积小于零，我们先来看一下两个向量乘积包含哪几种情况：

A 和 B 均为向量，α 为两个向量之间的夹角。A 和 B 的乘积为：

||A|| 和 ||B|| 均为标量，在 ||A|| 和 ||B|| 确定的情况下，只要 cos(α)=−1，即 A 和 B 完全反向，就能让 A 和 B 的向量乘积最小（负最大值）。

顾名思义，当 v 与 ∇f(θo) 互为反向，即 v 为当前梯度方向的负方向的时候，能让 v⋅∇f(θo) 最大程度地小，也就保证了 v 的方向是局部下降最快的方向。

知道 v 是 ∇f(θo) 的反方向后，可直接得到：

之所以要除以 ∇f(θo) 的模 ||∇f(θo)||，是因为 v 是单位向量。

求出最优解 v 之后，带入到 θ−θo=ηv 中，得：

一般地，因为 ||∇f(θo)|| 是标量，可以并入到步进因子 η 中，即简化为：

这样，我们就推导得到了梯度下降算法中 θ 的更新表达式。

我们通过一阶泰勒展开式，利用线性近似和向量相乘最小化的思想搞懂了梯度下降算法的数学原理。也许你之前很熟悉梯度下降算法，但也许对它的推导过程并不清楚。看了本文，你是否有所收获呢？

交流群

欢迎加入公众号读者群一起和同行交流，目前有SLAM、三维视觉、传感器、自动驾驶、计算摄影、检测、分割、识别、医学影像、GAN、算法竞赛等微信群（以后会逐渐细分），请扫描下面微信号加群，备注：”昵称+学校/公司+研究方向“，例如：”张三 + 上海交大 + 视觉SLAM“。请按照格式备注，否则不予通过。添加成功后会根据研究方向邀请进入相关微信群。请勿在群内发送广告，否则会请出群，谢谢理解~