几种主要共轭梯度法的介绍和原理的证明,是数值计算的重要工具