等号

テンプレート:簡易区別 テンプレート:Redirect テンプレート:Redirectlist テンプレート:Redirect テンプレート:記号文字 等号（とうごう）は、「=」の形をした数学記号である。「イコール」と読むことが多い。

等号の左右が等価であることを表し、等号で結ばれた数式を「等式」と呼ぶ。

1557年にウェールズの数学者ロバート・レコードによって発明された。レコードは、この記号"="を使った理由を「2本の平行線ほど等しいものは存在しないから」としている。

歴史

等号の「=」は国際的に認知された記号であるが、最初に使用したのは、ウェールズの数学者ロバート・レコードである。1557年、著書『知恵の砥石』において「…に等しい」という言葉を何度も使うことを避けるために2本の平行線を使った。2本の平行線ほど等しいものは存在しないという理由による。そのときの字形は現在よりもとても長いものであった。

テンプレート:Double image stack その当時、他に伝統的に使用されていた等号としては、「‖」や「æ」、「œ」がある。

自然言語中の読み方

数式「A = B」と表記したとき、日本語では「AイコールB」または「AはBに等しい」と読む。英語では“テンプレート:Lang”または“テンプレート:Lang”と読む。後述の区切り文字として使われる場合は記号自体は発音されないことが多い。

関連記号

恒等

常に等号が成り立つ恒等式を、方程式と明確に区別したいとき「≡」が使われる。ただし「=」を使っても間違いではない。

テンプレート:Math （テンプレート:Math と テンプレート:Math は恒等的に等しい）

「=」と「≡」の違いは次の例でわかりやすい。

テンプレート:Math （方程式）
テンプレート:Math （恒等式）

また、定義を通常の等式と区別したいときも「≡」が使われる。ただし「=」を使っても間違いではない。

テンプレート:Math （テンプレート:Math を テンプレート:Math と定義する）

等号否定

テンプレート:See also テンプレート:記号文字 「≠」は等号の否定を表し等号否定と呼ばれる。この符号は ≠ の左右が等価でないことを示す。

テンプレート:Math （テンプレート:Math と テンプレート:Math は等しくない）

これと「テンプレート:Math でない」は全く同じ意味である。

ほぼ等しい

テンプレート:See also テンプレート:記号文字 「∼」「≃」「≈」「≒」などは「ほぼ等しい」「おおよそ等しい」「近似的に等しい」「約(およそ)」などを表し、近似式や近似値などに使われる。

それぞれの記号は用途によって使い分けられるが、記号ごとの意味の対応は明確ではなく、厳密な定義は著者に委ねられている。

テンプレート:Math （テンプレート:Math は テンプレート:Math にほぼ等しい）

日本などの東アジアの一部地域では「2 項がほぼ等しい」という意味で「≒」が用いられるが、その他の地域や数学などの専門的な文献においては「≃」を用いることが多い。また、数学的な意味以外でも、日本語の文章では「ほとんど同じ」という意図で使用されることもある。

定義

テンプレート:See also テンプレート:記号文字 ある記号 テンプレート:Mvar が意味するものを、ある記号 テンプレート:Mvar が意味するものと同じであると定義するには「テンプレート:Coloneqq」を用いて

テンプレート:Math（テンプレート:Mvar を テンプレート:Mvar によって定義する）

と書く。

この他にも、「＝」の上に小さく "def" や "△" などを書いた記号が用いられることもある。

テンプレート:Math
テンプレート:Math

「テンプレート:Eqqcolon」については、「テンプレート:Math」と同じ意味で

テンプレート:Math

と書くこともある。

つまりは「コロン“：”のある側の内容を、無い側の内容（こちらはその文脈において既に定義されているものに限る）で定義する」という使い方をする。

例えば、 $a,b\in ℝ$ に対する区間 テンプレート:Math や、和 $\sum _{i=1}^5{a}_i$ を定義するときに

$[a,b):=\{x\in ℝ\mid a\leqq x<b\}$
$\sum _{i=1}^5{a}_i:=a_1+a_2+a_3+a_4+a_5$

または

$\{x\in ℝ\mid a\leqq x<b\}=:[a,b)$
$a_1+a_2+a_3+a_4+a_5=:\sum _{i=1}^5{a}_i$

と書いたりする。

シグマ記号 テンプレート:Math の下の テンプレート:Math での等号は、単に等しいことを意味している。

特殊な使い方

数学

• 図形については、「=」は長さ、面積、体積が等しいことを意味する。「△ABC = △DEF」は2つの三角形の面積が等しいということである。2つの図形が同一である、つまり合同であることを示すには「≡」を使う。
• 総和記号や総乗記号では、$\sum _{i=0}^{10}{x}_i$ のように書くが、等号は第1項での i の値を表す。

プログラミング言語

C言語およびその影響を直接あるいは間接的に受けたプログラミング言語（C++、Java、Perlなど）では、= は右辺の値を左辺の変数へ代入することを表す代入演算子 テンプレート:En である。一方、数学での「=」に当たる等価演算子（多くの場合、比較演算子の一種とされる）は = を 2 つ続けた == （ダブルイコール）である。これは、C言語では代入が文ではなく式であるため、代入演算子と等価演算子が同一の記号であっては文脈によって判断することができないからである。

= を代入に使うのは FORTRAN が起源とされる。FORTRAN は文字・記号の種類を非常に少なく設計しており、なおかつプログラムでは頻繁に使われる代入を簡単に表せるようにするため、このような言語仕様になった。なお、C系言語とは異なり、FORTRAN の等価演算子は == ではなく .EQ. である。

これらの言語に対し、Pascalなどでは、数学での用法と同じく、等価演算子は = である。ALGOL、PascalやPL/SQLなどの代入演算子は :=（コロンイコール）であり、APLなどの代入演算子は「←」である。抽象アルゴリズムの記述では数学での「=」の意味と矛盾しないこれらの記法のほうが好まれる。

BASICでは、同一の演算子記号「=」が文脈によって等価演算子か代入演算子か判断される。BASICでは代入が式ではなく文であるため、同一の記号でも文脈によって判断できる。

「≠」にあたる不等価演算子には、!=（等価演算子に「==」を使う言語の多く）、<>（等価演算子に「=」を使う言語の多く）、/=、^= などが使われる。

C言語およびその影響を受けた言語では、通常の代入演算子以外に、加算代入演算子 +=、減算代入演算子 -=、乗算代入演算子*=、除算代入演算子 /= などを備える。例えば a が変数のとき、a += 5; は a = a + 5;（a の値を、元の値に 5 を加えた値で置き換える）と同じである（糖衣構文）。

異なる意味合いの比較に、別の演算子を用意している言語もある。たとえば Perl では == と != は数値としての比較、eq と ne は文字列としての比較をする演算子である。

人名

ハールーン・アッ＝ラシード (Hārūn al-Rashīd) のように名前の読みがリエゾンしたり、テンプレート:日本語版にない記事リンクの姓など、ハイフンを使う場合、「⹀」（ダブルハイフン）を使用するのが正しいテンプレート:要出典。この区切り文字は発音はされない。ただし日本語では「＝」を用いる事もある。

組織名

• =LOVE（イコールラブ）- アイドルグループの名称。=LOVEの姉妹グループに≠ME（ノットイコールミー）、≒JOY（ニアリーイコールジョイ）がある
• Juice=Juice（ジュースジュース）- アイドルグループの名称。間の記号は公式にダブルハイフンではなく、等号を使っている。また、口述する時に本記号の発音はしない（「ジュースジュース」と発音する）。

符号位置

記号	Unicode	JIS X 0213	文字参照	名称

関連項目

• 合同記号
• 演算子
• ダブルハイフン
• 近似
• 不等号
• 引両紋
• 等式