MathLabs
定理已证明

普通最小二乘估计量

命题陈述

在所有直线 y=b0+b1xy=b_0+b_1x 中,使残差平方和 ∑i=1n(yi−b0−b1xi)2\sum_{i=1}^n (y_i-b_0-b_1x_i)^2 最小的选择是 b1=β^1=SxySxxb_1=\hat\beta_1=\dfrac{S_{xy}}{S_{xx}} 与 b0=β^0=yˉ−β^1xˉb_0=\hat\beta_0=\bar y-\hat\beta_1\bar x,其中 Sxy=∑i=1n(xi−xˉ)(yi−yˉ)S_{xy}=\sum_{i=1}^n(x_i-\bar x)(y_i-\bar y),Sxx=∑i=1n(xi−xˉ)2S_{xx}=\sum_{i=1}^n(x_i-\bar x)^2。

为什么成立?

残差平方和是关于 b0b_0 与 b1b_1 的光滑(二次、凸)函数,因此其最小值恰好出现在两个偏导数同时为零之处——这与通过让碗在各个方向上的坡度都为零来找到碗底是同一个思路。

证明思路

记 Q(b0,b1)=∑i=1n(yi−b0−b1xi)2Q(b_0,b_1)=\sum_{i=1}^n (y_i-b_0-b_1x_i)^2。对 b0b_0 求偏导并令其为零:∂Q∂b0=−2∑i=1n(yi−b0−b1xi)=0\dfrac{\partial Q}{\partial b_0}=-2\sum_{i=1}^n(y_i-b_0-b_1x_i)=0,化简得第一正规方程 ∑i=1nyi=nb0+b1∑i=1nxi\sum_{i=1}^n y_i = nb_0+b_1\sum_{i=1}^n x_i,即 b0=yˉ−b1xˉb_0=\bar y-b_1\bar x。

对 b1b_1 求偏导并令其为零:∂Q∂b1=−2∑i=1nxi(yi−b0−b1xi)=0\dfrac{\partial Q}{\partial b_1}=-2\sum_{i=1}^n x_i(y_i-b_0-b_1x_i)=0,即第二正规方程 ∑i=1nxiyi=b0∑i=1nxi+b1∑i=1nxi2\sum_{i=1}^n x_iy_i = b_0\sum_{i=1}^n x_i+b_1\sum_{i=1}^n x_i^2。

将第一式 b0=yˉ−b1xˉb_0=\bar y-b_1\bar x 代入第二式:∑i=1nxiyi=(yˉ−b1xˉ)nxˉ+b1∑i=1nxi2=nxˉyˉ+b1(∑i=1nxi2−nxˉ2)\sum_{i=1}^n x_iy_i = (\bar y-b_1\bar x)n\bar x+b_1\sum_{i=1}^n x_i^2 = n\bar x\bar y+b_1\left(\sum_{i=1}^n x_i^2-n\bar x^2\right)。整理分离出 b1b_1:b1(∑i=1nxi2−nxˉ2)=∑i=1nxiyi−nxˉyˉb_1\left(\sum_{i=1}^n x_i^2-n\bar x^2\right)=\sum_{i=1}^n x_iy_i-n\bar x\bar y。

直接的代数展开表明 ∑i=1nxi2−nxˉ2=∑i=1n(xi−xˉ)2=Sxx\sum_{i=1}^n x_i^2-n\bar x^2=\sum_{i=1}^n(x_i-\bar x)^2=S_{xx},∑i=1nxiyi−nxˉyˉ=∑i=1n(xi−xˉ)(yi−yˉ)=Sxy\sum_{i=1}^n x_iy_i-n\bar x\bar y=\sum_{i=1}^n(x_i-\bar x)(y_i-\bar y)=S_{xy},故 b1=Sxy/Sxxb_1=S_{xy}/S_{xx}。代回即得 b0=yˉ−b1xˉb_0=\bar y-b_1\bar x。由于 QQ 是当 ∣b0∣,∣b1∣→∞|b_0|,|b_1|\to\infty 时无限增长的二次型平方和,这个唯一的驻点必是全局最小值。

用到此定理的主题

分步证明

该定理暂无分步证明。