一元二次方程

通过化简后，只含有一个未知数（一元），并且未知数的最高次数是2（二次）的整式方程，叫做一元二次方程（quadratic equation with one unknown）。

简介

一元二次方程的一般形式是，其中是二次项，是二次项系数；是一次项，是一次项系数；是常数项。

使一元二次方程左右两边相等的未知数的值叫做一元二次方程的解，也叫做一元二次方程的根（root）。

发展简史

通过分析古巴比伦泥板上的代数问题，可以发现，在公元前2250年古巴比伦人就已经掌握了与求解一元二次方程相关的代数学知识，并将之应用于解决有关矩形面积和边的问题。相关的算法可以追溯到乌尔第三王朝。

在发现于卡呼恩（Kahun）的两份古埃及纸草书上也出现了用试位法求解二次方程的问题。

公元前300年前后，活跃于古希腊文化中心亚历山大的数学家欧几里得（Euclid）所著的《几何原本》（Euclid’s Elements）中卷II命题5、命题6以及卷VI命题12、命题13的内容相当于二次方程的几何解。

继欧几里得之后，亚历山大数学发展第二次高潮“白银时代”的代表人物丢番图（Diophantus）发表了《算术》（Arithmetica）。该书出现了若干二次方程或可归结为二次方程的问题。这足以说明丢番图熟练掌握了二次方程的求根公式，但仍限于正有理根。不过他始终只取一个根，如果有两个正根，他就取较大的一个。

中国古代数学很早就涉及二次方程问题。在中国传统数学最重要的著作《九章算术》中就已涉及相关问题。因此可以肯定，二次方程及其解法自东汉以来就已为人们所熟知了。

公元628年，印度数学家婆罗摩笈多（Brahmagupta，公元598-665年以后卒）完成了《婆罗摩修正体系》（Brahma-sphuta-siddhanta），其中有两章专论数学。

但婆罗摩笈多当时是用语言来表述的，没有使用符号。

前面叙述的这些数学成就大多是后来的数学史家们考证的成果，而近现代数学中方程思想的源头一般明确追溯到9世纪初的阿拉伯世界。

公元5-11世纪，是欧洲历史上的黑暗时期。天主教会成为欧洲社会的绝对势力。封建宗教统治，使一般人笃信天国，追求来世，从而淡漠世俗生活，对自然不感兴趣。教会宣扬天启真理，并拥有解释这种真理的绝对权威，导致了理性的压抑，欧洲文明在整个中世纪处于凝滞状态。由于罗马人偏重于实用而没有发展抽象数学，终使黑暗时代的欧洲在数学领域毫无成就。在此期间，阿拉伯人在保存和传播希腊、印度甚至中国的文化，最终为近代欧洲的文艺复兴准备学术前提方面作出了巨大贡献。

在推翻倭马亚王朝之后，阿拔斯王朝将首都迁往巴格达，其第二任哈里发曼苏尔（al-Mansur，公元754-775年在位）仿效波斯旧制，建立起了完整的行政体制。在最初的100年时间里，特别是第五任哈里发哈伦·拉希德（Harunal-Rashid，公元786-809年在位）和第七任哈里发马蒙（al-Ma'mūn，公元813-833年在位）执政时期，是阿拉伯帝国极盛时期，同时阿拉伯帝国的科学文化事业在广泛吸收古希腊、印度等文明成果的基础上进入了繁荣昌盛阶段。

阿拉伯数学的突出成就首先表现在代数学方面。中世纪阿拉伯数学家对世界影响最大的可说是花拉子密（al-Khwārizmī，约公元783-850年）。约公元820年，花拉子密的著作《还原与对消之书》（al-Kitāb al-jabr wal-muqābala，简称《代数学》）问世。在该书中，他将“还原（al-jabr）”定义为这样一种运算，即将方程一侧的一个减去的量移到方程的另一侧变为加上的量；单词“wa”是“和”的意思；“al-muqābala”的意思是将方程两侧相等的同类正项消去，此处译为“对消”。后来的阿拉伯数学家通常用“还原（al-jabr）”一词来代替整个还原与对消算法，并逐渐用来表示一个数学分支，最终其演变为当代的“代数（algebra）”一词。

其中，这样便穷尽了有正根的一元二次方程的所有可能，同时花拉子密给出了与当代相同的公式解。《代数学》全书没有符号，但有明确的方程思想，其中“还原与对消”方法作为代数学的基本特征被长期保留下来，并基本确立了后世阿拉伯代数学中方程化简（多项式理论）和方程求解这两条主要发展脉络。正因如此，著名数学史家鲍耶（C.B.Boyer，1906-1976年）将花拉子密称为“代数学之父”。

花拉子密的工作很快被阿布·卡米尔（Abū Kāmil，约公元850-930年）等阿拉伯数学家继承并发展。虽然花拉子密的《代数学》在12世纪初已被译成拉丁文并开始在伊比利亚半岛传播，但对花拉子密代数思想在欧洲传播起到关键作用的是意大利数学家斐波那契（Fibonacci，约1170-1250）。斐波那契在其著作《计算之书》（Liber Abaci，1202）中系统介绍了印度－阿拉伯数码，二次和三次方程以及不定方程理论。斐波那契参阅了卡米尔的代数学著作，并指出与一元二次方程有关的理论源自花拉子密。《计算之书》对改变欧洲数学的面貌产生了很大影响，并最终引导了16世意大利代数方程求解方向的突破。

随着欧洲人在代数学领域的深入研究，包括一元二次方程在内的数学知识进一步向前发展。法国数学家韦达（F.Vieta，1540-1603）给出了代数方程的近似解法与代数方程的多项式分解因式解法，并将数学符号系统化。1637年，笛卡儿（René Descartes，1596-1650）完成了对韦达代数符号的改进并首次应用待定系数法将四次方程分解成两个二次方程求解。