Два трикутникаA′B′C′ іABC називаються конгруентними (його можна записати як△A′B′C′≅△ABC), якщо є рухf:X→X такий, що Якщо\(\triangle A''...Два трикутникаA′B′C′ іABC називаються конгруентними (його можна записати як△A′B′C′≅△ABC), якщо є рухf:X→X такий, що Якщо△A″ і\triangle A'B'C' \cong \triangle ABC, то Дійсно, аргументуючи протиріччям, припускайте, що\triangle ABC \cong \triangle BCA; тобто є рухf(\mathbb{R}^2, d_1) того, що послатиA \mapsto B, B \mapsto C, іC \mapsto A.