Отношение конгруэнтности¶

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

¶Определение и основные свойства

¶Геометрическая конгруэнтность

В евклидовой геометрии две фигуры называются конгруэнтными, если существует изометрия (движение) плоскости или пространства, переводящая одну фигуру в другую. Изометрия сохраняет расстояния между любыми двумя точками, а следовательно, и все метрические характеристики фигур: длины отрезков, величины углов, площади и объёмы. Отношение конгруэнтности является отношением эквивалентности, так как оно рефлексивно (фигура конгруэнтна сама себе), симметрично (если A конгруэнтна B, то B конгруэнтна A) и транзитивно (если A конгруэнтна B, а B конгруэнтна C, то A конгруэнтна C).

¶Алгебраическая конгруэнтность

В теории чисел конгруэнтность определяется для целых чисел. Два целых числа a и b называются конгруэнтными по модулю m (где m — натуральное число больше 1), если их разность a − b делится на m без остатка. Обозначается: a ≡ b (mod m). Например, 17 ≡ 5 (mod 12), так как 17 − 5 = 12 делится на 12. Это отношение также является отношением эквивалентности, разбивающим множество целых чисел на классы вычетов по модулю m.

¶История

Понятие конгруэнтности восходит к античной геометрии. В «Началах» Евклида (около 300 г. до н. э.) фигуры, которые можно совместить наложением, назывались «равными» (ἴσος). Термин «конгруэнтность» (от лат. congruens — соразмерный, совпадающий) вошёл в математический обиход в Новое время. В 1801 году Карл Фридрих Гаусс ввёл символ ≡ для обозначения конгруэнтности целых чисел в своей работе «Disquisitiones Arithmeticae», заложив основы современной теории чисел. В геометрии строгое определение конгруэнтности через изометрии было дано в XIX веке в рамках аксиоматического подхода, в частности, в работах Давида Гильберта.

¶Виды конгруэнтности

¶Конгруэнтность в евклидовой геометрии

• Конгруэнтность отрезков: два отрезка конгруэнтны, если их длины равны.
• Конгруэнтность углов: два угла конгруэнтны, если их градусные меры равны.
• Конгруэнтность треугольников: два треугольника конгруэнтны, если их соответствующие стороны и углы равны. Признаки конгруэнтности треугольников (сторона-сторона-сторона, сторона-угол-сторона, угол-сторона-угол) являются основой для решения многих геометрических задач.
• Конгруэнтность многоугольников: два многоугольника конгруэнтны, если они имеют одинаковое количество сторон и соответствующие стороны и углы равны.
• Конгруэнтность окружностей: две окружности конгруэнтны, если их радиусы равны.

¶Конгруэнтность в неевклидовых геометриях

В геометриях Лобачевского и Римана понятие конгруэнтности также существует, но изометрии определяются как преобразования, сохраняющие геодезические расстояния. В этих геометриях, например, сумма углов треугольника не равна 180°, но конгруэнтные треугольники имеют одинаковые углы и стороны.

¶Конгруэнтность в теории чисел

• Конгруэнтность по модулю: a ≡ b (mod m) означает, что a и b дают одинаковые остатки при делении на m. Это отношение используется в криптографии, теории кодирования и решении диофантовых уравнений.
• Линейные конгруэнции: уравнения вида ax ≡ b (mod m), решаемые с помощью расширенного алгоритма Евклида.
• Китайская теорема об остатках: утверждает, что система линейных конгруэнций с попарно взаимно простыми модулями имеет единственное решение по модулю произведения модулей.

¶Конгруэнтность в алгебре

В абстрактной алгебре конгруэнтность — это отношение эквивалентности на алгебраической структуре (группе, кольце, поле), согласованное с её операциями. Например, в кольце целых чисел конгруэнтность по модулю m является конгруэнцией, так как если a ≡ b (mod m) и c ≡ d (mod m), то a + c ≡ b + d (mod m) и a·c ≡ b·d (mod m). Фактор-структура по конгруэнции называется фактор-кольцом или фактор-группой.

¶Применение

¶В геометрии и топологии

• Кристаллография: конгруэнтные преобразования (симметрии) используются для описания кристаллических решёток. 230 пространственных групп симметрии основаны на изометриях.
• Компьютерная графика: конгруэнтность применяется для наложения текстур, анимации и распознавания образов.
• Картография: проекции карт стремятся сохранить конгруэнтность локальных участков (равноугольные проекции).

¶В теории чисел и криптографии

• Криптосистема RSA: основана на свойствах конгруэнтности и трудности факторизации больших чисел.
• Хэш-функции: многие алгоритмы хеширования используют операции по модулю.
• Проверка делимости: конгруэнтность позволяет быстро определять, делится ли число на заданное.

¶В физике и инженерии

• Теория относительности: в пространстве-времени Минковского конгруэнтность определяется через псевдоевклидову метрику.
• Механика: конгруэнтные преобразования используются для описания движения твёрдого тела.

¶Критика и ограничения

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

¶Интересные факты

• В 2012 году математик Мэриам Мирзахани доказала, что конгруэнтные многоугольники на плоскости могут быть разбиты на конечное число частей, которые можно переставить в другую фигуру той же площади (теорема о разбиении).
• В кристаллографии существует ровно 17 типов конгруэнтных преобразований плоскости (группы обоев), используемых в орнаментах.
• В теории чисел конгруэнтность по модулю 2 эквивалентна понятию чётности: a ≡ b (mod 2) означает, что a и b имеют одинаковую чётность.

¶Источники

• Виноградов И. М. Основы теории чисел. — М.: Наука, 1981.
• Атанасян Л. С. и др. Геометрия. 7–9 классы. — М.: Просвещение, 2018.
• Гильберт Д. Основания геометрии. — М.: Гостехиздат, 1948.
• Гаусс К. Ф. Труды по теории чисел. — М.: Изд-во АН СССР, 1959.
• Coxeter H. S. M. Introduction to Geometry. — Wiley, 1969.