Конгруэнтность (геометрия)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Конгруэнтность (лат. congruens, род. падеж congruentis — «соразмерный», «соответствующий») — отношение эквивалентности на множестве геометрических фигур (отрезков, углов и т. д.). Вводится либо аксиоматически, как например в системе аксиом Гильберта (здесь конгруэнтность, геометрическое равенство применимо, например, к отрезкам, углам или треугольникам, и обозначается инфиксным символом ≅), либо на основе какой-либо группы преобразований, чаще всего движений.

Две фигуры называются конгруэнтными, или равными, если существует изометрия плоскости, которая переводит одну в другую. Например, в евклидовой геометрии две фигуры называются конгруэнтными, если одна из них может быть переведена в другую сдвигом, вращением и зеркальным отображением (или их композицией).

См. также[править | править вики-текст]