この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "方程式" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL（2020年1月）
ロバート・レコードによる The Whetstone of Witte (1557) に記されている、最も古い方程式。14x + 15 = 71 を表している。

数学において方程式（ほうていしき、英: equation）とは、未知数である変数を含む等式である[注 1]。

方程式を成り立たせる未知数の値を方程式の解（かい、英: solution）という[注 2][注 3]。解を求めることを方程式を解く（とく、英: solve）という。

方程式には様々な種類があり、数学のすべての分野において目にする。方程式を調べるために使われる方法は方程式の種類に応じて異なる。
各分野

代数学は特に2種類の方程式を研究する：多項式の方程式と、中でも一次方程式である。多項式方程式は、P をある多項式として、P(X) = 0 の形である。線型方程式は、a を線型写像、b をベクトルとして、a(x) + b = 0 の形である。それらを解くために、線型代数学や解析学から来る、アルゴリズム的あるいは幾何学的手法を用いる。変数の動く範囲を変えることにより方程式の性質が大幅に変わり得る。代数学はディオファントス方程式、すなわち係数と解が整数の方程式も研究する。用いられる手法は異なり、本質的に数論のものである。これらの方程式は一般に難しい。しばしば解の存在あるいは非存在を決定し、存在するときはその個数を調べるだけである。

幾何学は図形を記述するために方程式を利用する。目的はやはり前の場合とは異なり、方程式は幾何学的性質を調べるために利用される。この文脈では方程式の種類に2つの大きなものがある。直交座標系における方程式とパラメトリック方程式である。

解析学は f(x) = 0 の形の方程式を研究する。ここで f は、連続、微分可能、収縮、といったある種の性質を持った関数である。解析学の手法では方程式の解に収束する列を構成できる。目的はできるだけ正確に解を求められるようにすることである。

微分方程式は1つ以上の関数とその導関数を含む方程式である。導関数を含まない関数の表示を見つけることによって解かれる。微分方程式は連続的に変化し得る対象のダイナミクスを調べるためにしばしば利用される。微分方程式によって特徴づけられる連続的な数理モデルは、物理学、化学、生物学、経済学など様々な分野において、それぞれの対象に対し用いられる。

力学系は、解が列あるいは1変数あるいは多変数の関数であるような方程式によって定義される。中心的な問題が2つある。始状態（しじょうたい、英: initial state）と漸近的挙動（ぜんきんてききょどう、英: asymptotic behaviour）である。各初期条件、例えば列あるいは関数の 0 での値、に対し方程式は一意な解を持つ。大抵の系について、始状態を少しだけ変更した場合、解もまた僅かだけ変化することが期待され、実際そのように振る舞う。しかしすべての場合でそうというわけではなく、ある始状態の近傍では解が著しく異なることがある。このような初期条件に関する鋭敏性は第一の問題の目的である。解の極限でのあるいは漸近的振る舞いは変数が無限大に行くときの解の形に対応し、この振る舞いが第二の問題の目的である。解が発散しなければ、次のいずれかとなる。1つの値に近づくか、あるいは、循環的な振る舞い（周期関数か、値が同じ有限集合を同じ回数ずっと動き続ける列）に近づくか、あるいは、解が定義により決定的であったとしてもランダムに進展するように見えるカオスな振る舞いをする。
概要

方程式の最も典型的な形は未知数 (unknown) と呼ばれる項を含んだ等式である。方程式における未知数はしばしば x などの特定の慣習的な文字によって表され、「様々に値を変える数である」という観点から変数 (variable) と呼ばれたり、あるいは「特定の値を持つわけではない」という観点から不定元 (indeterminate, indeterminant) と呼ばれることもある。

方程式に含まれる変数に対して、変域と呼ばれるある特定の範囲の値で変数を置き換える操作を考えることができるが、これは代入と呼ばれる。各変数に代入されるべきものは、数値・関数・式など様々であり、それぞれの変数がどのような変域を持つかは文脈に依存している。

未知数に値の代入が行われて初めて、方程式が等式として成立するか否かの評価が行われる。そして、与えられた方程式を等式として成立させるような未知数の値を方程式の解と呼び、方程式の解を全て求めることを方程式を解くと言う[注 4]。ふつう方程式の解は変域のとりうる任意の値ではなく、何らかの特定の値に制限を受け、時には存在しない場合すらありうる。

実数（または単位的環）全体を変域とする変数 x に関する等式 ( x + 1 ) 2 = x 2 + 2 x + 1 {\displaystyle \left(x+1\right)^{2}=x^{2}+2x+1}

のような、変数にどんな値を代入しても成り立つ方程式はその変域上の恒等式と呼ばれる。

一般には1つの方程式に変数が1つであるとは限らない。代入の際に同じ文字は同じ値をとるという約束の下で変数が複数存在する方程式を多元方程式あるいは多変数方程式 (multiple variable equation) などと言う。あるいはさらに、方程式として与えられる等式が1つである必要はない。方程式が1つではなく複数ある時、やはり同じ文字は同時に同じ値をとるという前提が成り立つならば、方程式は系をなすや連立するなどと言い、その複数本の方程式を一括りにして方程式系（ほうていしきけい、system of equations）もしくは連立方程式（れんりつほうていしき、simultaneous equation）などと呼ぶ。
分類

与えられた等式がどのようなものであるかということによって、方程式には幾つかの分類がある。以下に代表的な方程式の種類を挙げる。
代数方程式詳細は「代数方程式」を参照

両辺を多項式 (polynomial) とする等式によって表された方程式を代数方程式と言う。多項式 p(·) によって与えられる変数の組 (x, y, z,...) を未知数とする方程式[注 5] p ( x , y , z , … ) = 0 {\displaystyle p(x,y,z,\dots )=0}

の解 (x, y, z,...) のことを p の根 (root) または零点 (zero) とも言う。代数方程式はさらに、一次方程式、二次方程式といったように、多項式の次数 (degree) d により d 次方程式 (d-ic equation,[注 6] d th degree equation) に分類される。

四次以下の一変数代数方程式は多項式の係数に関する四則演算と根号を用いて解を表すことができる。代数方程式の解のようすを調べる研究は、群の概念の導入など、ガロア理論を始めとする19世紀の代数学の発展の大きな原動力の1つとなった。

歴史上の数学の発展において様々な代数方定式の解を求める試みはそれまでになかった新しい数の体系を生み出してきている。その最も古い例として、古代ギリシアにおける無理数の発見をもたらした、正方形の辺と対角線の比 x に関する方程式[注 7] x 2 − 2 = 0 {\displaystyle x^{2}-2=0}

が挙げられる。さらに、三次方程式 x 3 + p x + q = 0 {\displaystyle x^{3}+px+q=0}

の実数解表示を与えるカルダノの公式 x = − q 2 + ( q 2 ) 2 + ( p 3 ) 3 3 + − q 2 − ( q 2 ) 2 + ( p 3 ) 3 3 {\displaystyle x={\sqrt[{3}]{-{\frac {q}{2}}+{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}+{\sqrt[{3}]{-{\frac {q}{2}}-{\sqrt {\left({\frac {q}{2}}\right)^{2}+\left({\frac {p}{3}}\right)^{3}}}}}}