幾何学の授業で「合同」——同じ形、同じ大きさ——を表すために使われる≅。それでも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本のチルダを持ちます。
常に入れ替えられがちな3つの積み重ね線記号——それぞれ役割が異なります。合同(同じ形・同じ大きさ)、約等しい(大まかな見積もり)、恒等(真の同一性とmodular合同)。
方程式や証明で合同記号のそばに並ぶ、「等しい」ファミリーの他の記号。
2つの図形が合同——形も大きさも同じ——であることを表す幾何学の記号です。ただしUnicodeの公式名称は「約等しい」(U+2245)で、合同という言葉自体は使われていません。
≅(約等しい、U+2245)は幾何学的合同に使われます。≈(ほぼ等しい、U+2248)はπ ≈ 3.14のような大まかな近似を表します。≡(恒等、U+2261)は真の同一性、または数論でのmodular合同(17 ≡ 2 (mod 5)など)を表す、より強い関係です。
「APPROXIMATELY EQUAL TO(約等しい)」です。幾何学の授業で合同を表すために広く使われている記号でありながら、Unicode自身の名称には「合同」という言葉が一切登場しません。