本人初学计量，在推导普通最小二乘法公式时遇到一比较弱的问题，希望有会的人可以给讲一下！
首先是百度百科上的推导：


Y计= a0 + a1 X （式1-1) 　　其中：a0、a1 是任意实数 　　为建立这直线方程就要确定a0和a1，应用《最小二乘法原理》，将实测值Yi与利用（式1-1）计算值（Y计=a0+a1X）的离差（Yi-Y计）的平方和〔∑（Yi - Y计）2〕最小为“优化判据”。 　　令：φ = ∑（Yi - Y计）2 （式1-2) 　　把（式1-1）代入（式1-2）中得： 　　φ = ∑（Yi - a0 - a1 Xi)2 （式1-3) 　　当∑（Yi-Y计）平方最小时，可用函数 φ 对a0、a1求偏导数，令这两个偏导数等于零。 　　（式1-4) 　　（式1-5) 　　亦即： 　　m a0 + （∑Xi ) a1 = ∑Yi （式1-6) 　　（∑Xi ) a0 + （∑Xi2 ) a1 = ∑（Xi,Yi) （式1-7) 　　得到的两个关于a0、 a1为未知数的两个方程组，解这两个方程组得出： 　　a0 = （∑Yi) / m - a1（∑Xi) / m （式1-8) 　　a1 = [m∑Xi Yi - （∑Xi ∑Yi)] / [m∑Xi2 - （∑Xi)2 )] （式1-9) 　　这时把a0、a1代入（式1-1）中， 此时的(式1-1）就是我们回归的元线性方程即：数学模型。

我的问题是，式1-9是如何推出的，这也是教科书上没有说清楚的。

谢谢！