數學中，方程式（equation）或等式，是兩個表示式以等號結合這樣的形式。 方程式有兩種情形，一種是恆等式（identity）跟數學公式（formula），未知數可以是其定義域內的任意值，等號依然成立；另一種是特定條件方程式（conditional equation），用來求解未知數的值，通常解為特定幾個數值，而不是未知數定義域的所有數值。 數學公式在給定應變數時，自變數的解有特定數值，此時從數學公式變為特定條件方程式。 例如以下是特定條件方程式： 3x32 其中的 x 為未知數。3x3 以及 2 都是數學表示式，並且以等號 連線。 如果把數學當作語言，那麼方程可以為人們提供一些用來描述他們所感興趣的物件的語法，它可以把未知的元素包含到陳述句當中（比如用 相等 這個詞來構成的陳述句），因此如果人們對某些未知的元素感興趣，但是用數學語言去精確地表達那些確定未知元素的條件時需要用到未知元素本身，這時人們就常常用方程來描述那些條件，並且形成這樣一個問題：能使這些條件滿足的元素是什麼？在某個集合內，能使方程中所描述的條件被滿足的元素稱為方程在這個集合中的解（比如代入某個數到含未知數的等式，使等式中等號左右兩邊相等）。 求出方程的解或說明方程無解這一過程叫做「方程求解」。可以用方程的解的存在狀況為方程分類，例如，恆等式即恆成立的方程，例如 y 22 y2 4y 4，在所指定的某個集合（比如複數集）中的全部元素都是它的解；矛盾式即矛盾的方程，如 x 1 x，在所指定的某個集合（比如複數集）中沒有元素滿足這個等式。 等式中的等號則是 16 世紀英國科學教育家發明。 「方程」一詞的來歷 方程 一詞出現在中國早期的數學專著《九章算術》中，其「卷第八」即名「方程」。卷第八（一）為： 翻成白話即為： 現在這裡有上等黍 3 捆、中等黍 2 捆、下等黍 1 捆，打出的黍共有 39 鬥；有上等黍 2 捆、中等黍 3 捆、下等黍 1 捆，打出的黍共有 34 鬥；有上等黍 1 捆、中等黍 2 捆、下等黍 3 捆，打出的黍共有 26 鬥。問 1 捆上等黍、1 捆中等黍、1 捆下等黍各能打出多少鬥黍？ 其「方程 術」用阿拉伯數字表示即為： begin array20 c 1 2 3 2 3 2 3 1 1 26 34 39 end array 《九章算術》採用直除法即以一行首項係數乘另一行再對減消元來解方程。 若設可打出黍的鬥數分別為 1 捆上等黍 x 鬥、1 捆中等黍 y 鬥、1 捆下等黍 z 鬥，可列方程組如下： begin cases 3x 2y z 39 2x 3y z 34 x 2y 3z 26 end cases 解得 begin cases x 9dfrac 14 y 4dfrac 14 z 2dfrac 34 end cases 由此可知，此時的「方程」指的是包含多個未知量的聯立一次 方程 組，即現在的線性 方程 組 直線方程式。 到了魏晉時期，大數學家劉徽注《九章算術》時，給這種「方程」下的定義是： 這裡所謂的「課程」指的是按不同物品的數量關係列出的式子。「實」就是式中的常數項。「令每行為率」，就是由一個條件列一行式子，橫列代表一個未知量。「如物數程之」，就是有幾個未知數就必須列出幾個等式。「方」的本義是並，將兩條船並起來，船頭拴在一起，謂之方。故而列出的一系列式子稱「方程」。 已知數及未知數 方程常用來表示一些已知的量和未知的量之間的關係，前者稱為已知數，後者稱為未知數。一般表示未知數的符號會用英文字母最後的幾個，如 xyzwldots 等，而已知數若以符號表示時，會用英文字母前面的幾個，如 abcdldots 等。將未知數用已知數來表示的過程稱為解方程。若方程只有一個未知數，使方程成立的未知數數值稱為方程的根或是解。方程組是由幾個方程所組成，其中也有數個未知數，此時方程的解是一組未知數的值，使得所有方程均成立。 若方程的解可以由有限次常見運算的組合，這種解稱為解析解，較複雜的方程式不一定可以找出解析解，或解析解根本不存在，但仍可以利用數值分析的方式解方程，此時得到的解稱為數值解。 用天平來類比方程 天平或翹翹板可以用來類比方程。 天平的兩邊對應方程等號的兩側，可以放不同的表示式數值。若天平兩側平衡，表示等號兩側的數值相等。若天平兩側不平衡，此情形可以用不等式表示。 在圖示中，x、y 和 z 都表示不同的量（例如實數），方程兩側同加一數對應在天平兩側加等重重物，同減一數對應在天平兩側移去等重重物，只要等式成立，就表示二側的數值相等。 方程組 方程組也稱為聯合方程式，是指兩個或兩個以上的方程式，一般也會有多個未知數。方程組的解是指一組未知數的值可以使這幾個方程式同時成立。例如以下的系統 begin cases 3x5y2 5x8y3 end cases 有唯一解 begin cases x1 y1 end cases 方程的種類 方程可以依其中用到的運算及未知數的條件加以分類，以下是一些重要的種類： 代數方程是指只由已知數及未知數的代數運算組合的方程，包括整式方程、分式方程與根式方程。 整式方程也稱作多項式方程。整式方程還可以依多項式的次數，可細分為一次方程、二次方程等。 分式方程是指方程分母中至少含有一個未知數的方程。 整式方程與分式方程統稱 有理方程。 根式方程也稱作 無理方程，是指方程被開方式中至少含有一個未知數，而根指數不含未知數的方程。 有理方程與無理方程統稱 代數方程。 超越方程是指包含超越函式的方程，也叫做 非代數方程。 函式方程是指其中包含未知函式的方程。 微分方程是指其中包含未知函式導數（或微分）的函式方程。 積分方程是指其中包含未知函式積分的函式方程。 是指其中同時包含未知函式積分和導數（或微分）的函式方程。 不定方程是其中未知數不只一組的方程。 丟番圖方程是其中未知數不只一組，但只允許是整數的方程。 差分方程是其中未知數為一數列的方程。 整式方程 整式方程為等式兩邊均為多項式的方程，若以 p 表示多項式，則以下的方程即為整式方程： p x y z 0 多項式 p 的零點即為代數方程的解，整式方程還可以依多項式的次數細分為一次方程、二次方程等。 四次方程及次數較低的一元整式方程，其所有根都可以用多項式係數的有限次的四則運算及開方來表示。為瞭解決高次方程的根能否用上述方式表示，引進伽羅瓦理論，也證明五次方程及更高次的方程無法用公式求解，這也是 19 世紀代數學的重大發現。 數學史上許多重大的發現都和一元整式方程有關，例如邊長為 1 的正方數，其對角線為無理數 sqrt 2，也就是二次方程 x2 2 的解。而在三次方程 x3 px q 0 的一個解可用以下公式求得 x sqrt 3 q over 2 sqrt left q over 2right2 left p over 3right3 sqrt 3 q over 2 sqrt left q over 2right2 left p over 3right3 三次方程的計算過程中有時需要為負數開平方，因此需匯入複數的概念及相關計算。 函式方程 函式方程是指未知量為一函式的方程。常見的是方程中出現函式導數的微分方程，微分方程在物理學中有許多的應用，微分方程又可以分為常微分方程及偏微分方程。 離散系統下的差分方程可以對應連續系統的微分方程。在數值分析中也會用差分方程來近似微分方程的解。 函式方程解的種類 微分方程及差分方程的解，可以分為一般解（general solution）及奇解（singular solution）二種： 一般解：微分方程或差分方程的一般解，是指解為一組函式，而這個函式之間的差異只在於稱為積分常數的係數不同。一個 n 階的常微分方程式，其一般解中會有 n 個積分常數，積分常數需依微分方程的初始條件或邊界條件來決定。因此一般解是指函式中包括未定的積分常數的解。若將一般解的積分常數用特定數值代入，即可得到特殊解（particular solution）。因此一般解也可說是所有特殊解的總和。 奇異解：奇異解是指也可滿足微分方程或差分方程，但其解和一般解的通式不同的，稱為奇解。 例如以下的克萊羅方程 y xcdotfrac mathrm d ymathrm d x left frac mathrm d ymathrm d xright2 其一般解為 y Cx C2 而其奇解為 yfrac x24 不定方程和丟番圖方程 不定方程是不止有一個解的方程式或方程組，例如 2xy 有無限多組解，就是一種簡單的不定方程。 若不定方程中有多個未知數，有時其解可以用引數方程來表示。例如上式的解可以表示為以下的 引數方程： x t y 2t quad mathrm for infty t infty 丟番圖方程屬於不定方程，是變數僅容許是整數的整數係數多項式等式；即形式如 a_1 x_1b_1a_2 x_2b_2a_n x_nb_nc 的等式，並且其中所有的 a_j、b_j 和 c 均是整數，若其中能找到一組整數解 m_1m_2m_n 者則稱之有整數解。 丟番圖問題一般可以有數條等式，其數目比未知數的數目少；丟番圖問題要求找出對所有等式都成立的整陣列合。用另一種語言來說，丟番圖問題定義代數曲綫或者代數曲面，或更為一般的幾何形，要求找出其中的柵格點。對丟番圖問題的數學研究稱為丟番圖分析。綫性丟番圖方程為綫性整數係數多項式等式，即此多項式為次數為 0 或 1 的單項式的和。 丟番圖方程的名字來源於 3 世紀希臘數學家亞歷山大城的丟番圖，他曾對這些方程進行研究，並且是第一個將符號引入代數的數學家。 關於丟番圖方程的理論的形成和發展是二十世紀數學一個很重要的發展。丟番圖方程的例子有貝祖等式、勾股定理的整數解、四平方和定理和費馬最後定理等。 性質 對一方程進行以下的處理，處理後的方程和原方程會有相同的解： 在等式兩側加任意的實數。 在等式兩側減任意的實數。 在等式兩側乘任意不為零的實數。 在等式兩側除任意不為零的實數。 可以將等式兩側套用函式，等式兩側需使用相同的函式，而且需確認套用函式後不會造成方程增根或減根的情形。例如方程 yxx 有二個解：y1（x 為任意值）及 x0（y 為任意值）。等式兩側平方，方程變成 xy2x2，新的方程除了原來的解外，還多了一個解 y1（x 為任意值）。 上述的性質 1 至 4，表示在抽象代數中，方程是體的一種同餘關係。 最常見可進行上述運算的數體是實數，不過若方程式的數體是自然數，則不能進行減法及除法的運算，因為會產生負數或非整數等不是自然數的數。若方程式的數體是整數，則不能進行除法的運算，但可以進行減法的運算。 若一不是單射函式的函式套用在等式兩側，原方程的解也是新方程的解，但新方程的解會比原方程多（即增根），新方程的用處較少，上述性質 1、2 和 4 是單射函式，性質 3 在不乘以 0 時也符合單射函式的條件，一些廣義的乘積（如內積）就不是單射函式。 上述性質可以用在代數方程的求解。 參考文獻 參閲 表示式 方程組 微分方程 函式方程 引數方程 方程理論 公式編輯器 不等式 外部連結 Winplot：通用的繪圖器，可以繪製二維及三維方程的圖及動畫 Mathematical equation plotter ：繪製數學方程的二維圖形，計算積分，並線上上計算方程的解 Equation plotter ：一個可以製作二個未知數（x 和 y）的方程或不等式解的 pdf 檔或 postscript 圖，而且可以下載 EqWorld ：包括許多數學方程解的資訊 EquationSolver ：求解方程及線性方程組的網頁 F