计算实习课程设计报告之线性方程组的求解

计算实习课程设计报告课题名称：线性方程组的求解系（院）：理学院专业：数学与应用数学班级：学生姓名：学号：指导教师：开课时间：2024-2024学年一学期摘要本文主要考虑了一类系数矩阵为正定对称矩阵的线性方程组的求解问题，基等价转换可将该问题的求解转化为一个二次函数极小值点的求解。基这种等价性，我们可以从构造二次函数的极小值点的算法入手，寻求解线性方程组的算法。这里考虑了一种基迭代思想构造的算法，对该算法的两个关键部分给出了证明和推导，并给出相应的MATLAB程序，从而解出线性方程组。最后用两个实例验证了所给程序的正确性。关键字：线性方程组MATLAB程序

一、问题重述：第一题是要证明线性方程组A_=b的解等价求解二次函数的极小值点，即。第二题是要给出最佳步长的推导过程。第三题是要给出上述算法的MATLAB程序（写成函数的形式）。第四题是：设方程组为试用第三题给出的程序进行求解，取，并作图表示迭代结果。第五题是要借助第三题的程序计算的极小值，取，。

二、问题分析：第一题：将展开得到一个n元函数，对它求一阶导即可得到A_=b，再求二阶导即可证明取极小值；第二题：运用第一题的结论很容易得到第二题的答案，此为证法一；也可以将视为关的一元函数，对求一阶导也能得到所需的结果，再求二阶导大零即可，此为证法二；第三题要求给出文中所给迭代算法的程序，该算法满足一定条件就结束迭代，可用while循环结构表示，将迭代结果保存在一个矩阵y中，y的第k列表示第k次迭代结果；第四题直接调用第三题的程序，把相应的数据输进去就可以得到所需的答案了，再通过作图命令即可得到所需的图像了；第五题由将展开有常数项，与上述的展开式形式不一样；故我们可先作变量代换_3=_3-1；这样形式上就与一样了；再由可得A_=b的矩阵形式：再调用第三题给出的程序进行求解，最后将结果回代。

三、问题求解及程序：第一题：证明：由A_=b有：==因为：所以：=由该函数的表达式可以看出：该二次函数是关的多元函数。故：===令=0，=0，=0得：此为n元线性方程组，将它写成矩阵形式有：=.

(1)因为A是对称矩阵，所以：=故

(1)式变为：=即A_=b,又：=，=，=，=，=因为Hesse矩阵为：H=A由题知A为正定矩阵，所以H0故取极小值，也就是说：线性方程组A_=b的解等价求解二次函数的极小值点，即。证毕！第二题：证法一：由第一题的结论知：满足min的值必满足A_=b！故.

(2)由得：将它代入

(2)式得：化简之后有：因为为一参数，所以：=所以：证毕！证法二：我们先证明几个命题：A为正定对称矩阵；

(1)

(2)(a_,Y)=a(_,Y)=(_,aY)

(3)（A_，Y）=（_，AY）

(4)（_，Y Z）=（_,Y） （_,Z）

(5)（_ Y，Z）=Z=Z=Z=（_,Z） (Y,Z)

(6)（_ Y）（Z Q）=(_,Z Q) (Y,Z Q)=(_,Z) (_,Q) (Y,Z) (Y,Q)由及上述公式有有：=（A A，）-（b，）= -此为关的一元函数，故对求导，并将代入有：=-令=0有：对求二阶导有：=因为只要0；就大0；所以:0故：取极小值；所以：证毕！第三题：functiony=w4(a,_,b,e)%定义一个函数以求解线性方程组；这个程序需要输入a,_,b,e四个参数；a表示正定对称矩阵A；_表示初始向量；b表示矩阵b；e表示；运行程序后得到的值y是一个矩阵；其最后一列就是线性方程组的解；r=b-a _;%计算；y(:,1)=_;%记录的值；l=(r r)/(a r) r);%计算第0步步长_=_ l r;%计算第0步迭代值；y(:,2)=_;%记录的值；r=r-l a r;%计算第1步的；i=2;%i的初始值为2是为了方便的记录循环过程中变化着的_的值；whilesqrt(r r)e%给出循环结束的条件；i=i 1;%开始循环；l=(r r)/(a r) r);%计算第k步长，其中k=i-1；_=_ l r;%计算第k步迭代值r=r-l a r;%计算第k 1步的：y(:,i)=_;%记录的值；end第四题：将上述程序在M文件中以w

4.m命名并保存后，在主界面输入y=w4(63;32,0;0,0;-1,0.0001)即得最终结果：_=真实值为_=输入plot(y(1,:),y(2,:)得到：迭代结果的图像：第五题：在主界面输入y=w4(800;020;004,1;1;-1,0;0;0,0.01)即得最终结果：_=，换成原来的形式得_故的极小值真实值为_=，故的极小值感谢：非常感谢 老师的精彩教授、耐心指导及对实验报告的精心修改！谨在此致以我最诚挚的感激！