方程

數學中，方程。例如以下的方程：formula_1其中的formula_2為未知數。如果把數學當作語言，那麼方程可以為人們提供一些用來描述他們所感興趣的物件的語法，它可以把未知的元素包含到陳述句當中。求出方程的解或說明方程無解這一過程叫做「方程求解」。可以用方程的解的存在狀況為方程分類，例如，恆等式即恆成立的方程，例如formula_3，在所指定的某個集合中沒有元素滿足這個等式。等式中的等號則是16世紀英國科學教育家發明。「-{方程}-」一詞的來歷.-{方程}-一詞出現在中國早期的數學專著《九章算術》中，其「卷第八」即名「-{方程}-」。卷第八為：今有上禾三秉，中禾二秉，下禾一秉，實三十九鬥；上禾二秉，中禾三秉，下禾一秉，實三十四鬥；上禾一秉，中禾二秉，下禾三秉，實二十六鬥。問上、中、下禾實一秉各幾何？答曰：上禾一秉，九鬥、四分鬥之一，中禾一秉，四鬥、四分鬥之一，下禾一秉，二斗、四分鬥之三。-{方程}-術曰：置上禾三秉，中禾二秉，下禾一秉，實三十九鬥，於右方。中、左禾列如右方。以右行上禾遍乘中行而以直除。又乘其次，亦以直除。然以中行中禾不盡者遍乘左行而以直除。左方下禾不盡者，上為法，下為實。實即下禾之實。求中禾，以法乘中行下實，而除下禾之實。餘如中禾秉數而一，即中禾之實。求上禾亦以法乘右行下實，而除下禾、中禾之實。餘如上禾秉數而一，即上禾之實。實皆如法，各得一斗。翻成白話即為：現在這裡有上等黍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由此可知，此時的「-{方程}-」指的是包含多個未知量的聯立一次-{方程}-組，即現在的線性-{方程}-組(直線方程式)。到了魏晉時期，大數學家劉徽注《九章算術》時，給這種「-{方程}-」下的定義是：程，課程也。群物總雜，各列有數，總言其實，令每行為率。二物者再程，三物者三程，皆如物數程之。並列為行，故謂之方程。這裡所謂的「課程」指的是按不同物品的數量關係列出的式子。「實」就是式中的常數項。「令每行為率」，就是由一個條件列一行式子，橫列代表一個未知量。「如物數程之」，就是有幾個未知數就必須列出幾個等式。「方」的本義是並，將兩條船並起來，船頭拴在一起，謂之方。故而列出的一系列式子稱「方程」。已知數及未知數.方程常用來表示一些已知的量和未知的量之間的關係，前者稱為已知數，後者稱為未知數。一般表示未知數的符號會用英文字母最後的幾個，如formula_11等，而已知數若以符號表示時，會用英文字母前面的幾個，如formula_12等。將未知數用已知數來表示的過程稱為解方程。若方程只有一個未知數，使方程成立的未知數數值稱為方程的根或是解。方程組是由幾個方程所組成，其中也有數個未知數，此時方程的解是一組未知數的值，使得所有方程均成立。若方程的解可以由有限次常見運算的組合，這種解稱為解析解，較複雜的方程式不一定可以找出解析解，或解析解根本不存在，但仍可以利用數值分析的方式解方程，此時得到的解稱為數值解。用天平來類比方程.天平或翹翹板可以用來類比方程。天平的兩邊對應方程等號的兩側，可以放不同的表示式數值。若天平兩側平衡，表示等號兩側的數值相等。若天平兩側不平衡，此情形可以用不等式表示。在圖示中，formula_2，formula_14和formula_15都表示不同的量，方程兩側同加一數對應在天平兩側加等重重物，同減一數對應在天平兩側移去等重重物，只要等式成立，就表示二側的數值相等。方程組.方程組也稱為聯合方程式，是指兩個或兩個以上的方程式，一般也會有多個未知數。方程組的解是指一組未知數的值可以使這幾個方程式同時成立。例如以下的系統formula_16有唯一解formula_17。方程的種類.方程可以依其中用到的運算及未知數的條件加以分類，以下是一些重要的種類：整式方程與分式方程統稱“有理方程”。有理方程與無理方程統稱“代數方程”。整式方程.整式方程為等式兩邊均為多項式的方程，若以formula_18表示多項式，則以下的方程即為整式方程：formula_19多項式formula_18的零點即為代數方程的解，整式方程還可以依多項式的次數細分為一次方程、二次方程等。四次方程及次數較低的一元整式方程，其所有根都可以用多項式係數的有限次的四則運算及開方來表示。為瞭解決高次方程的根能否用上述方式表示，引進伽羅瓦理論，也證明五次方程及更高次的方程無法用公式求解，這也是19世紀代數學的重大發現。數學史上許多重大的發現都和一元整式方程有關，例如邊長為1的正方數，其對角線為無理數formula_21，也就是二次方程formula_22的解。而在三次方程formula_23的一個解可用以下公式求得formula_24三次方程的計算過程中有時需要為負數開平方，因此需匯入複數的概念及相關計算。函式方程.函式方程是指未知量為一函式的方程。常見的是方程中出現函式導數的微分方程，微分方程在物理學中有許多的應用，微分方程又可以分為常微分方程及偏微分方程。離散系統下的差分方程可以對應連續系統的微分方程。在數值分析中也會用差分方程來近似微分方程的解。函式方程解的種類.微分方程及差分方程的解，可以分為一般解二種：一般解：微分方程或差分方程的一般解，是指解為一組函式，而這個函式之間的差異只在於稱為積分常數的係數不同。一個n階的常微分方程式，其一般解中會有n個積分常數，積分常數需依微分方程的初始條件或邊界條件來決定。因此一般解是指函式中包括未定的積分常數的解。若將一般解的積分常數用特定數值代入，即可得到特殊解。因此一般解也可說是所有特殊解的總和。奇異解：奇異解是指也可滿足微分方程或差分方程，但其解和一般解的通式不同的，稱為奇解。例如以下的克萊羅方程formula_25其一般解為formula_26而其奇解為formula_27不定方程和丟番圖方程.不定方程是不止有一個解的方程式或方程組，例如formula_28有無限多組解，就是一種簡單的不定方程。若不定方程中有多個未知數，有時其解可以用引數方程來表示。例如上式的解可以表示為以下的引數方程：formula_29丟番圖方程屬於不定方程，是變數僅容許是整數的整數係數多項式等式；即形式如formula_30的等式，並且其中所有的formula_31、formula_32和formula_33均是整數，若其中能找到一組整數解formula_34者則稱之有整數解。丟番圖問題一般可以有數條等式，其數目比未知數的數目少；丟番圖問題要求找出對所有等式都成立的整陣列合。用另一種語言來說，丟番圖問題定義代數曲綫或者代數曲面，或更為一般的幾何形，要求找出其中的柵格點。對丟番圖問題的數學研究稱為丟番圖分析。綫性丟番圖方程為綫性整數係數多項式等式，即此多項式為次數為0或1的單項式的和。丟番圖方程的名字3世紀希臘數學家亞歷山大城的丟番圖，他曾對這些方程進行研究，並且是第一個將符號引入代數的數學家。關於丟番圖方程的理論的形成和發展是二十世紀數學一個很重要的發展。丟番圖方程的例子有貝祖等式、勾股定理的整數解、四平方和定理和費馬最後定理等。性質.對一方程進行以下的處理，處理後的方程和原方程會有相同的解：上述的性質1至4，表示在抽象代數中，方程是體的一種同餘關係。最常見可進行上述運算的數體是實數，不過若方程式的數體是自然數，則不能進行減法及除法的運算，因為會產生負數或非整數等不是自然數的數。若方程式的數體是整數，則不能進行除法的運算，但可以進行減法的運算。若一不是單射函式的函式套用在等式二邊，原方程的解也是新方程的解，但新方程的解會比原方程多就不是單射函式。上述性質可以用在代數方程的求解。