合同記号

幾何学の授業で「合同」——同じ形、同じ大きさ——を表すために使われる≅。それでもUnicodeの正式名称は「約等しい」です。混同されやすい≈・≡もあわせて。クリックでコピーできます。

合同記号、≅は、2つの図形が合同——形も大きさも同じ——であるとき、数学の先生が黒板に書く記号です。ここに面白い点があります——Unicodeはこれを「合同」とは呼んでいません。この文字(U+2245)の公式名称は「APPROXIMATELY EQUAL TO(約等しい)」で、合同という言葉には一切触れていませんが、それでも≅は世界中の幾何学の授業がまさに使っているグリフなのです。この記号は、近似を表す≈の上に等号=を重ねたような、2つの発想が積み重なった見た目をしており、混同されやすい仲間が密集する一角に位置しています。≈(U+2248、ALMOST EQUAL TO)は「おおよそ」を意味し、π ≈ 3.14 のような場面で使われます。≡(U+2261、IDENTICAL TO)はより強い意味を持ちます——恒等性を表し、数論では「17 ≡ 2 (mod 5)」のような modular arithmetic(合同算術)の合同記号でもあります。3つの記号、3つの役割、いずれも横線を積み重ねた見た目でありながら、日常的にお互いの代わりに打たれています。このページでそれぞれを整理し、必要な記号だけをコピーできるようにします。

合同記号

合同記号 — ≅

幾何学が合同——同じ形・同じ大きさ——を表すために使うグリフです。それでもUnicodeの公式名称にはその言葉が一切登場しません。見た目が近い親戚の≃は、二重のチルダではなく1本のチルダを持ちます。

合同 — 公式には「約等しい」(U+2245)
漸近的に等しい(U+2243)— 一本チルダの親戚
見分け方

≅ vs. ≈ vs. ≡ — 混同しやすい仲間

常に入れ替えられがちな3つの積み重ね線記号——それぞれ役割が異なります。合同(同じ形・同じ大きさ)、約等しい(大まかな見積もり)、恒等(真の同一性とmodular合同)。

約等しい(U+2245)— 幾何学的合同に使用
ほぼ等しい(U+2248)— 近似、例:π ≈ 3.14
恒等(U+2261)— 同一性・modular合同
関係記号

他の数学の関係記号

方程式や証明で合同記号のそばに並ぶ、「等しい」ファミリーの他の記号。

不等号(U+2260)
等号
以下記号
以上記号
FAQ

合同記号のよくある質問

2つの図形が合同——形も大きさも同じ——であることを表す幾何学の記号です。ただしUnicodeの公式名称は「約等しい」(U+2245)で、合同という言葉自体は使われていません。

≅(約等しい、U+2245)は幾何学的合同に使われます。≈(ほぼ等しい、U+2248)はπ ≈ 3.14のような大まかな近似を表します。≡(恒等、U+2261)は真の同一性、または数論でのmodular合同(17 ≡ 2 (mod 5)など)を表す、より強い関係です。

「APPROXIMATELY EQUAL TO(約等しい)」です。幾何学の授業で合同を表すために広く使われている記号でありながら、Unicode自身の名称には「合同」という言葉が一切登場しません。

他の数学記号も探すなら

≅ は、数学の「等しい」ファミリーに属する記号のひとつ。不等号(≠)のページもあわせてご覧ください。

不等号(≠)を見る →
関連する記号

不等号(≠)

数学での由来と、プログラミングで != が使われる理由。

オメガ記号(Ω ω)

「等しい」ファミリーと同じく、Unicodeの正式名称が日常の使われ方と異なる記号。

以下記号(≤)

1734年、ピエール・ブーゲが導入したとされる由来。