方程

title: 「方程」一词的来历.
content: 方程一词出现在中国早期的数学专著《九章算术》中,其「卷第八」即名「方程」。卷第八(一)为: 翻成白话即为:  现在这里有上等黍3捆、中等黍2捆、下等黍1捆,打出的黍共有39斗;有上等黍2捆、中等黍3捆、下等黍1捆,打出的黍共有34斗;有上等黍1捆、中等黍2捆、下等黍3捆,打出的黍共有26斗。问1捆上等黍、1捆中等黍、1捆下等黍各能打出多少斗黍?  其「方程术」用阿拉伯数字表示即为:  formula_5  《九章算术》采用直除法即以一行首项系数乘另一行再对减消元来解方程。  若设可打出黍的斗数分别为1捆上等黍formula_6斗、1捆中等黍formula_7斗、1捆下等黍formula_8斗,可列方程组如下:  formula_9 解得 formula_10  由此可知,此时的「方程」指的是包含多个未知量的联立一次方程组,即现在的线性方程组(直线方程序)。  到了魏晋时期,大数学家刘徽注《九章算术》时,给这种「方程」下的定义是:  这里所谓的「课程」指的是按不同物品的数量关系列出的式子。「实」就是式中的常数项。「令每行为率」,就是由一个条件列一行式子,横列代表一个未知量。「如物数程之」,就是有几个未知数就必须列出几个等式。「方」的本义是并,将两条船并起来,船头拴在一起,谓之方。故而列出的一系列式子称「方程」。
title: 已知数及未知数.
content: 方程常用来表示一些已知的量和未知的量之间的关系,前者称为已知数,后者称为未知数。一般表示未知数的符号会用英文字母最后的几个,如formula_11等,而已知数若以符号表示时,会用英文字母前面的几个,如formula_12等。将未知数用已知数来表示的过程称为解方程。若方程只有一个未知数,使方程成立的未知数数值称为方程的根或是解。方程组是由几个方程所组成,其中也有数个未知数,此时方程的解是一组未知数的值,使得所有方程均成立。  若方程的解可以由有限次常见运算的组合,这种解称为解析解,较复杂的方程序不一定可以找出解析解,或解析解根本不存在,但仍可以利用数值分析的方式解方程,此时得到的解称为数值解。
title: 用天平来类比方程.
content: 天平或翘翘板可以用来类比方程。  天平的两边对应方程等号的两侧,可以放不同的表示式数值。若天平两侧平衡,表示等号两侧的数值相等。若天平两侧不平衡,此情形可以用不等式表示。  在图示中,formula_2,formula_14和formula_15都表示不同的量(例如实数),方程两侧同加一数对应在天平两侧加等重重物,同减一数对应在天平两侧移去等重重物,只要等式成立,就表示二侧的数值相等。
title: 方程组.
content: 方程组也称为联合方程序,是指两个或两个以上的方程序,一般也会有多个未知数。方程组的解是指一组未知数的值可以使这几个方程序同时成立。例如以下的系统  有唯一解formula_17。
title: 方程的种类.
content: 方程可以依其中用到的运算及未知数的条件加以分类,以下是一些重要的种类:  整式方程与分式方程统称“有理方程”。  有理方程与无理方程统称“代数方程”。
title: 整式方程.
content: 整式方程为等式两边均为多项式的方程,若以formula_18表示多项式,则以下的方程即为整式方程:  多项式formula_18的零点即为代数方程的解,整式方程还可以依多项式的次数细分为一次方程、二次方程等。 四次方程及次数较低的一元整式方程,其所有根都可以用多项式系数的有限次的四则运算及开方来表示。为了解决高次方程的根能否用上述方式表示,引进伽罗瓦理论,也证明五次方程及更高次的方程无法用公式求解,这也是19世纪代数学的重大发现。  数学史上许多重大的发现都和一元整式方程有关,例如边长为1的正方数,其对角线为无理数formula_21,也就是二次方程formula_22的解。而在三次方程formula_23的一个解可用以下公式求得  三次方程的计算过程中有时需要为负数开平方,因此需导入复数的概念及相关计算。
title: 函数方程.
content: 函数方程是指未知量为一函数的方程。常见的是方程中出现函数导数的微分方程,微分方程在物理学中有许多的应用,微分方程又可以分为常微分方程及偏微分方程。  离散系统下的差分方程可以对应连续系统的微分方程。在数值分析中也会用差分方程来近似微分方程的解。
title: 函数方程解的种类.
content: 微分方程及差分方程的解,可以分为一般解(general solution)及奇解(singular solution)二种:  例如以下的克莱罗方程  其一般解为  而其奇解为
title: 不定方程和丢番图方程.
content: 不定方程是不止有一个解的方程序或方程组,例如formula_28有无限多组解,就是一种简单的不定方程。  若不定方程中有多个未知数,有时其解可以用参数方程来表示。例如上式的解可以表示为以下的 参数方程:  丢番图方程属于不定方程,是变量仅容许是整数的整数系数多项式等式;即形式如formula_30 的等式,并且其中所有的formula_31、formula_32和formula_33均是整数,若其中能找到一组整数解formula_34者则称之有整数解。  丢番图问题一般可以有数条等式,其数目比未知数的数目少;丢番图问题要求找出对所有等式都成立的整数组合。用另一种语言来说,丢番图问题定义代数曲线或者代数曲面,或更为一般的几何形,要求找出其中的栅格点。对丢番图问题的数学研究称为丢番图分析。线性丢番图方程为线性整数系数多项式等式,即此多项式为次数为0或1的单项式的和。  丢番图方程的名字来源于3世纪希腊数学家亚历山大城的丢番图,他曾对这些方程进行研究,并且是第一个将符号引入代数的数学家。  关于丢番图方程的理论的形成和发展是二十世纪数学一个很重要的发展。丢番图方程的例子有贝祖等式、勾股定理的整数解、四平方和定理和费马最后定理等。
title: 性质.
content: 对一方程进行以下的处理,处理后的方程和原方程会有相同的解:  上述的性质1至4,表示在抽象代数中,方程是体的一种同余关系。  最常见可进行上述运算的数体是实数,不过若方程序的数体是自然数,则不能进行减法及除法的运算,因为会产生负数或非整数等不是自然数的数。若方程序的数体是整数,则不能进行除法的运算,但可以进行减法的运算。  若一不是单射函数的函数套用在等式二边,原方程的解也是新方程的解,但新方程的解会比原方程多(即增根),新方程的用处较少,上述性质1、2和4是单射函数,性质3在不乘以0时也符合单射函数的条件,一些广义的乘积(如内积)就不是单射函数。  上述性质可以用在代数方程的求解。

Summary: 数学中方程可以简单的理解为含有未知数的等式。例如以下的方程:

Equation: In mathematics, an equation is a statement that asserts the equality of two expressions. The word "equation" and its cognates in other languages may have subtly different meanings; for example, in French an "équation" is defined as containing one or more variables, while in English any equality is an equation.