幾何学における合同の直感的な意味は、「形と大きさがまったく同じ」であることです。たとえば、2つの図形が紙の上で切り取って重ね合わせたときに完全に一致すれば合同です。鏡像（反射）によって一致する場合も合同に含まれます（紙を裏返して合わせてもよい）。原稿の一部にある次のような説明は残しつつ、内容を整理・補足します。

幾何学では、2つの図形や物体が同じ形と大きさを持っていれば合同である。また、一方が他方の鏡像と同じ形と大きさを持つ場合も同様である。

正式な定義

より正式には、2つの点集合が、一方を他方にアイソメトリー（距離を保つ写像）で移せるとき、それらは合同と呼ばれます。アイソメトリーは平行移動・回転・反射・すべり反射（平行移動と反射の合成）などの剛体運動を含み、図形の大きさ（長さや角度）を変更しません。原文の表現を補うと、「アイソメトリーには、剛体運動が用いられる。」は、「アイソメトリーは剛体運動に対応する変換である」と言い換えられます。

分かりやすい説明と例

つまり、一方の物体を他方の物体と完全に一致するように位置を変えたり、反射させたりすることができます（サイズ変更はできません）。紙の上の2つの異なる平面図形を切り取り、完全に一致させることができれば、合同であると言えます。紙を裏返しても構いません。

図形が合同であるときは、対応する辺の長さや対応する角の大きさがすべて等しくなります。たとえば線分や角、円弧、領域など、対応の決め方ができれば合同性を議論できます。合同であれば周の長さや面積も一致します。

多角形・三角形に関する注意点

原文にある「合同多角形とは、正多角形を半分に折ると、合同多角形になる多角形のことです。」という一文は誤解を招くので訂正します。正しくは：

  • 多角形が合同であるとは、対応する頂点を一つずつ対応させたときに、すべての対応する辺の長さと角の大きさが等しいことを意味します。
  • 特に三角形は合同条件がよく知られており、測れば確認しやすい形です。

代表的な三角形の合同条件（平面ユークリッド幾何）：

  • SSS（辺辺辺）：3辺がそれぞれ等しければ合同。
  • SAS（辺角辺）：2辺とその間の角がそれぞれ等しければ合同。
  • ASA（角辺角）：2つの角とその間の辺がそれぞれ等しければ合同。
  • AAS（角角辺）：2つの角とそれに対応する辺1つが等しければ合同（ASAと同様に扱える）。
  • RHS（直角三角形の斜辺と一辺）：直角三角形において斜辺と他の1辺が等しければ合同（英語圏ではHLと呼ばれる）。

鏡像と向き（向き保存・向き反転）

アイソメトリーには向きを保つもの（平行移動・回転）と向きを反転するもの（反射）があります。鏡像になっても構わない場合は一般に「合同」と言いますが、鏡像を許さない厳密な意味（向き保存の合同）を区別することもあります。教育や問題によって「鏡像を含めるかどうか」を明確にしておくとよいでしょう。

性質と表記

  • 合同は同値関係（反射性・対称性・推移性）です。
  • 対応する辺・角が等しいため、周長や面積も一致します。
  • 記法の例：ΔABC ≅ ΔDEF（「≅」は合同を表す記号）。

判定の実務的手法

図形の合同を確かめる方法はいくつかあります：

  • 実際に図形を切り取って重ねる（物理的な方法）。
  • 対応する長さ・角度を測る（測定）。
  • 座標幾何を使う：一方の図形の点を座標で表し、もう一方の点との距離行列が一致するか、あるいは正交行列と並進ベクトルを使って変換 y = R x + t が存在するかを確かめる（計算的手法）。
  • グラフ理論的には、距離（一点間距離）の全組が一致するかどうかで判断できる（離散集合の合同判定）。

高次元や一般化

合同の概念は平面に限らず、空間やより高次元のユークリッド空間にも拡張できます。基本は同じで「距離を保つ写像（アイソメトリー）が存在するかどうか」です。

類似との違い

合同は大きさも含めて完全に一致する関係です。対して、形が同じで大きさが異なる場合は類似している（相似）と言います。相似変換は回転・並進・反射に加え拡大縮小（スケーリング）を許します。

まとめ（チェックリスト）

  • 対応する全ての距離が等しいか？（辺の長さなど）
  • 対応する角が等しいか？
  • 三角形ならSSS・SAS・ASA・AAS・RHSのどれかが満たされるか？
  • 実際に重ねられるか、あるいは座標変換（正交行列＋平行移動）で一致するか？

以上が「合同（幾何学）の定義と判定方法」についての要点です。必要なら、具体的な図示例や三角形合同の証明例を追加で示しますのでお知らせください。