等式

等式（とうしき、英: equation）とは、二つの対象の等価性・相等関係 (equality) を表す数式のことである。

導入

等式は等号（とうごう、equal sign）と呼ばれる記号 "=" によって、二つの対象 a, b を結合させる二項関係として

[math]a = b[/math]

のように記される。このとき、a と b は（互いに）等しい、（相）等しい、相等であるなどという。また、a にあたる対象を等式の左辺、b にあたる対象を等式の右辺といい、左辺と右辺を総じて両辺、各々を各辺と呼ぶ。また、この否定を

[math]a \ne b[/math]

で表し、a と b は等しくない、あるいは異なるという。記号 "≠" は等号否定と呼ばれる。等式の示す相等関係は二項関係として以下の条件を全て満たさねばならない：

• 反射律: 対象 a が何であっても a = a は常に成り立つ。
• 対称律: 対象 a, b について a = b が成り立っているときはいつでも b = a も同時に成り立つ。
• 推移律: 対象 a, b, c に対して a = b と b = c が同時に成り立っているときには常に a = c も同時に成り立つ。
• 代入原理: 対象 a, b が a = b であるときには、一つの自由変数 x を含むどんな式（あるいは命題関数） P(x) についても P(a) = P(b) が（両辺ともに一意的な意味を持つ限りにおいて）常に成り立つ。

これは、「相等性とは代入原理を満足する同値関係のことである」といっても同じことであり、また等式が数学において最も基本的な同値関係を与えるものであると見ることができる。

ここで、見かけ上異なるものが等しいものを表したり、表記の都合などから見かけ上同じに見えるものが別の対象を指し示したりすることがあるため、何かが等しいというためには各辺にどのような対象をとるか、対象が何者であるかということを明確にしなければならないということを意識する必要がある。場合によっては相等といわず、同値、同型、合同などと呼んで、等号の代わりにそれぞれ特有の記号を用いることもある。

代入原理はもう少し一般に、対象 a_i, b_j が、

[math]a_1 = b_1,\ a_2 = b_2,\ \ldots,\ a_l = b_l[/math]

であるならば、l 個の自由変数 x₁, x₂, ..., x_l を持ついかなる命題関数 P(x₁, x₂, ..., x_l) に対しても

[math]P(a_1,a_2,\ldots,a_l) = P(b_1,b_2,\ldots,b_l)[/math]

が成り立つ、という形に述べることもある。これは命題関数 P(x) において自由変数 x が複数回現れるとき、命題 P(a) に現れる a の一部をそれと等しいもので置き換えてもよいことを含意している。なんとなれば、全ての i について a_i = a で、いくつかの j について b_j = b かつそれ以外の j について b_j = a と置いてみるとよい。

算術

四則演算について、a, b, c を勝手な定数として、a = b であるときには

• a + c = b + c,
• a − c = b − c,
• ac = bc,
• a/c = b/c

が両辺が定義可能である限りにおいて成り立つ。これは x ± c, xc, x/c なる式によって代入原理から導かれる。殊に、

a = b ± c

となることは複号同順で

a −(± c) = b

となることに同値であることが従う。これは見かけ上、一方の辺における一部の項を、符号を変えて他方の辺に移す操作に見えることから、この等価な 2 式の一方を他方に入れ替えることを移項（いこう、transpose）と呼ぶ。

関連項目

• 不等式
• 恒等式
• 方程式

外部リンク

• 等式の百科事典
• Weisstein, Eric W. “Equality”. MathWorld（英語）.
• equality - PlanetMath.（英語）