Приветствую Вас, уважаемые Читатели! Сегодня я хочу поговорить о таком геометрическом понятии, как конгруэнтность. В повседневной жизни мы его не используем, ведь куда проще говорить о равенстве, чем о такой трудновыговариваемой конструкции. Однако, в математике между ними есть отличие. Давайте на примерах!
Для начала возьмем два отрезка. В графическом редакторе они у меня получились с помощью "копировать-вставить". Что мы можем сказать о них?
![](https://habrastorage.org/getpro/habr/upload_files/0b9/265/e74/0b9265e744972da0764b66552d28d2a1.png)
Когда мы говорим о "равенстве", мы предполагаем наличие некоторой меры, которая так или иначе сводится к числу. В нашем случае мерой является расстояние между точками или длина отрезка. В то же время мы можем говорить и о конгруэнтности отрезков, имея ввиду, что как геометрические фигуры (наборы точек) любой из отрезков можно получить из другого с помощью некоторого преобразования.
Например, в Евклидовой геометрии две фигуры называются конгруэнтными, если их можно взаимно получить из переноса, вращения и симметрии. Конгруэнтность определяется как отношение эквивалентности, обладающее свойствами рефлексивности, транзитивности и симметричности.
Теперь давайте перейдем к двумерным геометрическим фигурам. Очевидно, что треугольники, показанные на рисунке равны с точки зрения меры-площади и конгруэнтны, т.к. получены симметрией:
![](https://habrastorage.org/getpro/habr/upload_files/ea0/413/57e/ea041357e2cfe37434cdbc1235858914.png)
А что, если речь идёт о таком случае:
![](https://habrastorage.org/getpro/habr/upload_files/d03/7e8/8d8/d037e88d81d835227ca34e3d97a05cf0.png)
Здесь мера могла бы позволить нам говорить о равенстве площадей, но о конгруэнтности не может быть и речи. Однако же, если разрешить непрерывные деформации - сжатия и растяжения, все немного поменяется... В общем случае, конгруэнтность - это понятие, которое относится к теоретико-множественному представлению геометрических фигур. Апологетом этого подхода в СССР была знаменитый математик А.Н. Колмогоров.
![](https://habrastorage.org/getpro/habr/upload_files/fab/a87/ae5/faba87ae53ea2f13d52346353fd655f2.jpeg)
Колмогоров вообще к определениям относился с большим вниманием. Например, категорически не любил понятие "равных" фигур (в том смысле, в котором его сейчас в школе используют), предпочитая определять их исключительно как "конгруэнтные". В качестве аргумента рисовал на доске два конгруэнтных треугольника А и B и говорил: "Ну как же эти фигуры могут быть равны? Если бы они были именно равны, то мы имели бы здесь A∩B = A = B. Это, очевидно, не так, ибо пересечение пусто A∩B = Ø!"
![](https://habrastorage.org/getpro/habr/upload_files/2d4/dc4/7c7/2d4dc47c739f9ed6f25fb3a223076c78.jpeg)
Этот подход, оказывается, применяется и в теории категорий, где можно отказаться от понятия равенства объектов, заменив их равенством т.н. стрелок между ними и введя понятие изоморфизма. Математика удивительна! Как здесь не вспомнить знаменитую фразу из Конституции США, написанной Томасом Джефферсоном: "Все люди равны между собой". Нет! Они создаются конгруэнтными. Они могут иметь равные права, но ни один человек не равен другому человеку.