Chapter 2 一元非线性方程-109P.pptx

上午11时27分26秒; 阐明了误差理论的基本概念，误差在近似值运算中的传播规律及其估算方法，以及数值稳定性的概念。 按照误差产生的来源不同，有“过失误差”和“非过失误差”之分。后者又可分为“模型误差”、“观测误差”、“截断误差”和“舍入误差”等。 误差的表示法有两种：绝对误差和相对误差。 计算机中进行的都是有限位数的运算，因此有效数字的概念是重要的，它与误差之间有着密切的关联。;减少计算误差的措施： 减少运算次数，避免相近数相减，避免小除数、大乘数和“溢出”，注意运算顺序（如若干数相加时先加绝对值较小的数，避免大数吃小数），防止误差影响扩大（采用稳定算法）。;4;5; f (x) 是单变量x的函数，当f (x) 不是 x的线性函数时，称对应的函数方程为非线性方程。 f (x)可以是代数多项式： f (x)= anxn+ an-1xn-1+ … +a1x+a0 (an≠0) 称f (x)＝0为n次代数方程，当n1时，方程是非线性的。 当 f(x)包含指数函数或三角函数等特殊函数时，即不能表为代数多项式的形式时称为超越函数，则f(x)＝0称为超越方程。;7;远在公元前1700年的古巴比伦人就已有关于一、二次方程的解法。《九章算术》(公元前50-100年)其中“方程术”有联立一次方程组的一般解法。 1535年意大利数学家坦特格里亚(TorTaglia)发现了三次方程的解法，卡当(H·Cardano)从他那里得到了这种解法，于1545年在其名著《大法》中公布了三次方程的公式解，称为卡当算法。 后来卡当的学生弗瑞里(Ferrari)又提出了四次方程的解法。此成果更激发了数学家们的情绪，但在以后的二个世纪中，求索工作始终没有成效，导致人们对高次代数方程解的存在性产生了怀疑。;1799年，高斯证明了代数基本定理，并由此可以立刻推理n次代数方程必有n个实根或复根。 但在以后的几十年中仍然没有找出高次代数方程的公式解。一直到18世纪，法国数学家拉格朗日用根置换方法统一了二、三、四方程的解法。但求解五次方程时未能如愿，开始意识到有潜藏其中的奥妙。 在继续探索5次以上方程解的艰难历程中，第一个重大突破的是挪威数学家阿贝尔(N·Abel1802-1829) 1824年阿贝尔发表了“五??方程代数解法不可能存在”的论文，但并未受到重视，连数学大师高斯也未理解这项成果的重要意义。;1828年17岁的法国数学家伽罗华(E·Galois 1811-1832)写出了划时代的论文“关于五次方程的代数解法问题”，指出即使在公式中容许用n次方根，并用类似算法求五次或更高次代数方程的根是不可能的 文章呈交法兰西科学院后，因辈份太低遭到冷遇，且文稿丢失。1830年伽罗华再进科学院递稿，得到泊松院士的判词“完全不能理解”。 后来伽罗华命运不佳，投考名校巴黎工科大学落榜，屈就高等师院，并卷入政事两次入狱，被开除学籍，又决斗受伤，死于1832年。决斗前，他把关于五次代数求解的研究成果写成长信，留了下来。;十四年后，法国数学家刘维尔(J·Liouville)整理并发表了伽罗华的遗作，人们才意识到这项近代数学发展史上的重要成果的宝贵。 38年后，即1870年，法国数学家若当(C·Jordan)在专著《论置换与代数方程》中阐发了伽罗华的思想，一门现代数学的分支——群论诞生了。 在前几个世纪中，曾开发出一些求解代数方程的有效算法，它们构成了数值分析中的古典算法。;12;13;14;15;画出y = f (x)的草图，从而看出曲线与x轴交点的大致位置。 也可将f (x) = 0分解为?1(x)= ?2(x)的形式，?1(x)与 ?2(x)两曲线交点的横坐标所在的子区间即为含根区间。 例如x(lgx) –1 = 0 可以改写为lg x =1/x 画出对数曲线 y =lg x,与双曲线 y = 1/x,它们交点的横坐标位于区间[2,3]内;17;18; 搜索法：对于给定的f (x)，设有根区间为[A,B]，从x0=A出发，以步长h=(B-A)/n(n是正整数)，在[A,B]内取定节点：xi=x0＋ih (i=0，1，2，…，n)，从左至右检查f (xi)的符号，如发现xi 与端点x0的函数值异号，则得到一个缩小的有根子区间［xi-1,xi］。;20;21;22; 二分法的基本思想：用对分区间的方法，通过判别函数f(x)的符号，逐步将有根区间缩小，使在足够小的区间内，方程有且仅有一根。;24;25;26;27;28;29;30;31;32;33;34;35;36;37;38;39;40;41;42;43;44;45;46;47;48;49;50;51;52;53;54;55;56;57;58;59;60;61;62;63;64;65