2017年秋七年级数学上册 5.1 一元一次方程 了解方程小史素材 （新版）冀教版.docVIP

了解方程小史 “方程”是《九章算术》中的一章．在这一章里的所谓“方程”，是指一次方程组．例如其中的第一个问题实际上就是求解三元一次方程组 古代是将它用算筹布置起来解的，如图所示，图中各行由上而下列出的算筹表示x，y，z的系数与常数项．我国古代数学家刘徽注释《九章算术》说，“程，课程也．二物者二程，三物者三程，皆如物数程之，并列为行，故谓之方程．”这里所谓“如物数程之”，是指有几个未知数就必须列出几个等式．一次方程组各未知数的系数用算筹表示时好比方阵，所以叫做方程． 上述方程的概念，在世界上要数《九章算术》中的“方程”章最早出现其中解方程组的方法，不但是我国古代数学中的伟大成就，而且是世界数学史上一份非常宝贵的遗产．这一成就进一步证明：中华民族是一个充满智慧和才干的伟大民族 在上古时代，中国就有着完美的10进位制，用以表达任意大的正整数，不仅如此，中国的10进位制还具有独到的位值制。正是由于这种进位的位值制，为古代中国高度发展的计算技术奠定了基础，铺平了道路。这也使中国古算构造性、算法化与可计算的机械化特色得以自然形成与充分发扬。中国古算着重实际问题的解决，由此自然导致方程问题，即现代意义下的多项式方程求解问题。为了解这种方程，由简单到复杂，中国古算逐步引进了分数、负数、小数、与无理数的概念，并给出了这种数的计算方法与规律。这实质上使中国早在公元3世纪时，就已完成了现代的所谓实数系统及其计算的方法与规律。正是为了解决各种具体问题，多项式方程（组）的求解，成为中国古算发展的核心。特别是从几何问题产生的方程，其解答往往表现成公式的形式，相当于现代的几何定理。这已包含了从解方程可应用于证定理的某种途径。方程的发展至宋时，已得到了任意次代数方程求数值解的一般方法。宋元时期更创立了天元术，引进了天元等相当于未知数的概念，使向来依题意立方程这一无规可循需要高度技巧的难题，从此轻而易举。不仅如此，天元术还导致了多项式与有理函数的表达方式，与运算法则，并使几何代数化，成为后世解析几何与多项式代数以及一般消去法的先导。此外，公元1303年，元朱世杰在他的《四元玉镒》一书中，提出了解多至四个未知元的任意多项式方程组的方法：先把各未知元排一次序，然后通过消元方法得出一对未知元整然有序的新的方程组，由此逐个求解即得原方程组的解答。自然朱的方法有不少缺陷与不完整之处。这些缺陷在当时的历史条件下在所难免。但朱的思路与方法则正确无误，且对未知元的个数并无限制。正是遵循了这一思路与方法，我们在上世纪的70年代，借助于现代数学的某些技术，对于任意多个未知元的代数方程组，得出了所谓整序原理，由此完成了解任意代数方程组的机械化一般算法。我们还遵循中国古算的启示，应用解方程的算法于几何定理的机器证明，使后者成为前者多种多样的具体应用之一。代数几何讲究多项式方程组的零点集即解答的集合，通称代数簇。这是当代最活跃也最艰深的数学领域之一。与国外基本上是存在性的研究方法不同，我们遵循中国古算法的思想路线，建立了代数几何构造性、算法化与可计算的研究方法。国外对于没有奇点的代数簇，可定义陈（省身）类与陈（省身）数。但一般说来代数簇总是有奇点的，此时国外方法就难以引入陈类和陈数。但我们的方法则无此限制，且引入的陈类与陈数都易于计算。对于无奇点的某些特殊类型二维曲面的极端情形，Miyaoka与丘成桐曾分别证明陈数间不等。若用我们的方法，则对于任意维数具有任意奇点的代数簇，只须经过简单计算，即可得出一大批陈数间的不等式与等式关系。上世纪80年代末，有数学家提出Miyaoka-丘不等式可导致Fermat大问题的解决，引起轰动。但旋以失败告终。失败的原因之一是可能牵涉到的代数簇有奇点。依照我们的方法，这种不等式依然成立而无关于奇点的限制。是否因此会对Fermat大问题以及其它类似问题起某些作用，值得耐人深思。整系数代数方程在求整数解或有理数解时，称为不定方程。勾股弦定律（勾2+股2＝弦2）以及整勾股数是世界各古代民族都普遍关注的问题。但只有中国早在两千多年前就有完整的解答：勾股：弦＝（m2-n2）:2mn:（m2+n2）其中，m=勾+弦，n=股，都有几何意义。具见《九章算术》。公元263年，刘徽在《九章注》中给出了严格的证明。在中国以外，只有印度在7世纪与以后给出了类似公式，但意义不详，更无证明。此外，中国历代天文历法要求计算上元积年，这导致一组现代所称的同余方程，经过千年以上的努力于宋代总结成大衍求一术，19世纪传入欧洲后被称为中国剩余定理，在现代数学中起着重要作用。同余方程是一种特殊形式的一次不定方程，在印度，则在11世纪时对较一般的一次不定方程有求整数解的算法。在中国与印度以外，则由于3世纪丢番图（Diophantus）的著作，不定方程又称丢番图方程。所谓 Fermat 大问题即指不