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

Матеріал з Вікіпедії — вільної енциклопедії.

Приклад конгруентності. Дві фігури ліворуч конгруентні, тоді як третя подібна їм. Остання ані подібна, ані конгруентна жодній іншій. Зауважимо, що конгруентність змінює деякі властивості, такі як розташування і орієнтація, але інші залишає незмінними, наприклад відстані та кути. Незмінні властивості називають інваріантами

В геометрії, дві фігури конгруентні, якщо вони мають однакову форму та розмір. Більш формально, два набори точок називаються конгруентними тоді і тільки тоді, якщо один набір можна сумістити з іншим за допомогою ізометрії, тобто комбінації паралельного перенесення, обертання і відбиття.
Споріднене поняття подібності дозволяє зміну розміру.

Визначення конгруентності в аналітичній геометрії

В евклідовій системі, конгруентність — наріжне поняття; це відповідник рівності для чисел. В аналітичній геометрії, конгруентність може бути визначена інтуїтивно у такий спосіб: два відображення фігури на декартовій системі координат конгруентні тоді і тільки тоді, коли для будь-яких двох точок в першому відображенні евклідова відстань між ними дорівнює евклідовій відстані між двома відповідними точками в другому відображенні.
Більш формальне визначення: дві підмножини A та B евклідового простору Rⁿ називаються конгруентними, якщо існує ізометрія f : Rⁿ → Rⁿ (елемент евклідової групи E(n)) з f(A) = B. Конгруентність є відношенням еквівалентності.

Конгруентність трикутників

Два трикутники конгруентні, якщо їхні відповідні сторони і кути рівні між собою.
Якщо трикутник ABC конгруентний трикутнику DEF, математично це може бути записано так:

В багатьох випадках цього достатньо, щоб встановити рівність трьох відповідних частин і використати один з наступних результатів для виведення конгруентності двох трикутників.

Конгруентність двох трикутників можна визначити через дві сторони і кут між ними (СКС (англ. SAS)), два кути і сторону між ними (КСК (англ. ASA)) або два кути і відповідну прилеглу сторону (ККС (англ. AAS)). Однак, при визначенні через дві сторони і прилеглий кут (ССК (англ. SSA)), можна отримати два різних трикутники

Визначення конгруентності

Достатньою ознакою конгруентності між двома трикутниками в евклідовому просторі може бути одна з наступних рівностей:

• ССС (Сторона-Сторона-Сторона): Якщо три пари сторін двох трикутників рівні за довжинами, тоді трикутники конгруентні.
• СКС (Сторона-Кут-Сторона):Якщо дві пари сторін двох трикутників рівні і кути між ними теж рівні, тоді трикутники конгруентні.
• КСК (Кут-Сторона-Кут): Якщо пара кутів двох трикутників рівна і сторони, що лежать між цими кутами у двох трикутниках, також рівні, тоді трикутники конгруентні
  Постулат КСК був введений Фалесом Мілетським. В більшості систем аксіом, три критерії — СКС, ССС і КСК —впроваджені як теореми.
• ККС (Кут-Кут-Сторона): Якщо дві пари кутів і відповідні сторони, що не лежать між ними в двох трикутниках, рівні, то трикутники конгруентні.
• ПГК (Прямий-кут-Гіпотенуза-Катет): Якщо два прямокутних трикутники мають рівні гіпотенузи і пару рівних катетів, вони конгруентні.

Сторона-Сторона-Кут

Умова ССК, яка визначається через дві сторони і кут, відмінний від утвореного ними (також відома як КСС або Кут-Сторона-Сторона), не доводить конгруентність. Для доведення конгруентності потрібна додаткова інформація, наприклад, величина відповідних кутів і, в деяких випадках, довжини двох пар відповідних сторін. Тут можливі чотири випадки:
Якщо два трикутники задовольняють умові ССК і відповідні кути є тупими або прямими, тоді трикутники конгруентні. В цьому випадку, довжина сторони, протилежної куту, буде більшою, ніж довжина прилеглої сторони. Якщо кут прямий, тоді приходимо до постулату ПГК, також третя сторона може бути обчислена через теорему Піфагора, і можна використати ССС постулат.
Якщо два трикутники задовольняють умові ССК і відповідні кути гострі ,а довжина сторони, протилежної до кута, більша або дорівнює прилеглій стороні, тоді два трикутники конгруентні.
Якщо два трикутники задовольняють умові ССК і відповідні кути гострі, а довжина протилежної сторони дорівнює довжині прилеглої сторони, помноженій на синус відомого кута, тоді два трикутники конгруентні.
Якщо два трикутники задовольняють умові ССК і відповідні кути гострі, а довжина протилежної сторони більша за довжину прилеглої сторони, помноженої на синус відповідного кута, але менша за довжину прилеглої сторони, тоді два трикутники необов'язково конгруентні. Виникає двозначність, два різних трикутника можуть задовольняти цим умовам.

Кут-Кут-Кут

ККК (Кут-Кут-Кут) не надає інформації про розмір трикутників, тож доводить лише подібність, а не конгруентність в евклідовому просторі. Однак в сферичній геометрії та гіперболічній геометрії (де кут є функцією розміру) цього достатньо для конгруентності на даному вигині.^[1]