方程式
数学において方程式（ほうていしき、）とは、まだわかっていない数（未知数）を表す文字を含む等式である。等式を成り立たせる未知数の値を方程式の解（かい、）といい、解を求めることを方程式を解く（とく、英: solve）という。多くは連立方程式を用いられる。
方程式には様々な種類があり、数学のすべての分野において目にする。方程式を調べるために使われる方法は方程式の種類に応じて異なる。
代数学は特に2種類の方程式を研究する：多項式の方程式と、中でも一次方程式である。多項式方程式は、 をある多項式として、 の形である。線型方程式は、 を線型写像、 をベクトルとして、 の形である。それらを解くために、線型代数学や解析学から来る、アルゴリズム的あるいは幾何学的手法を用いる。変数の動く範囲を変えることにより方程式の性質が大幅に変わり得る。代数学はディオファントス方程式、すなわち係数と解が整数の方程式も研究する。用いられる手法は異なり、本質的に数論のものである。これらの方程式は一般に難しい。しばしば解の存在あるいは非存在を決定し、存在するときはその個数を調べるだけである。
幾何学は図形を記述するために方程式を利用する。目的はやはり前の場合とは異なり、方程式は幾何学的性質を調べるために利用される。この文脈では方程式の種類に2つの大きなものがある。直交座標系における方程式とパラメトリック方程式である。
解析学は の形の方程式を研究する。ここで は、連続、微分可能、収縮、といったある種の性質を持った関数である。解析学の手法では方程式の解に収束する列を構成できる。目的はできるだけ正確に解を求められるようにすることである。
微分方程式は1つ以上の関数とその導関数を含む方程式である。導関数を含まない関数の表示を見つけることによって解かれる。微分方程式は連続的に変化し得る対象のダイナミクスを調べるためにしばしば利用される。微分方程式によって特徴づけられる連続的な数理モデルは、物理学、化学、生物学、経済学など様々な分野において、それぞれの対象に対し用いられる。
力学系は、解が列あるいは1変数あるいは多変数の関数であるような方程式によって定義される。中心的な問題が2つある。始状態（しじょうたい、）と漸近的挙動（ぜんきんてききょどう、）である。各初期条件、例えば列あるいは関数の での値、に対し方程式は一意な解を持つ。大抵の系について、始状態を少しだけ変更した場合、解もまた僅かだけ変化することが期待され、実際そのように振る舞う。しかしすべての場合でそうというわけではなく、ある始状態の近傍では解が著しく異なることがある。このような初期条件に関する"鋭敏性"は第一の問題の目的である。解の極限でのあるいは漸近的振る舞いは変数が無限大に行くときの解の形に対応し、この振る舞いが第二の問題の目的である。解が発散しなければ、次のいずれかとなる。1つの値に近づくか、あるいは、循環的な振る舞い（周期関数か、値が同じ有限集合を同じ回数ずっと動き続ける列）に近づくか、あるいは、解が定義により決定的であったとしてもランダムに進展するように見えるカオスな振る舞いをする。
"=" という記号はロバート・レコード (Robert Recorde, 1510–1558) によって発明された。同じ長さの平行な直線よりも等しかり得るものは存在しないと考えたのである。