Quelltext der Seite Die Kongruenzrelation, Geradenspiegelung als Kongruenzabbildung SoSe 13

== Streckenkongruenz ==
===== Definition VII.1: (Streckenkongruenz) =====
:: Zwei Strecken sind kongruent, wenn sie dieselbe Länge haben.<br />
:: In Zeichen <math>\overline{AB} \tilde {=} \overline{CD} := |\overline{AB}| = |\overline{CD}|</math>

===== Satz VII.1:  =====
:: Die Relation kongruent ist auf der Menge aller Strecken eine Äquivalenzrelation.

Der Beweis ergibt sich unmittelbar durch Rückführung auf die Gleicheitsrelation auf der Menge der reellen Zahlen.<br /><br />

Aufgrund der Strecken- und Längentreue der Geradenspiegelung sind Strecken und ihre bei einer Geradenspiegelung entstehenden Bildstrecken kongruent zueinander.<br /><br />

== Winkelkongruenz ==
Analog zum Begriff der Streckenkongruenz sollen zwei Winkel genau dann kongruent zueinander genannt werden, wenn sie dieselbe Größe haben.

===== Definition VII.2 : (Winkelkongruenz) =====
::Zwei Winkel die dieselbe Größe haben heißen kongruent zueinander.<br />
::In Zeichen: <math>\alpha \tilde {=} \beta := | \alpha | = | \beta |</math>

===== Satz VII.2:  =====
:: Die Relation kongruent ist auf der Menge aller Winkel eine Äquivalenzrelation.

Der Beweis ergibt sich unmittelbar durch Rückführung auf die Gleicheitsrelation auf der Menge der reellen Zahlen.<br /><br />

Aufgrund der Winkeltreue der Geradenspiegelung und der Eigenschaft winkelmaßerhaltend zu sein, sind Winkel und ihre bei einer Geradenspiegelung entstehenden Bilder kongruent zueinander.<br /><br />

== Dreieckskongruenz ==
In der Schule spricht man häufig davon, dass zwei Dreiecke dann kongruent zueinander sind, wenn sie in allen Stücken übereinstimmen. Unter den Stücken eines Dreieck sind dabei die jeweils drei Seiten und die jeweils drei Innenwinkel zu verstehen.

===== Definition VII.3: (Dreieckskongruenz) =====
::Wenn für zwei Dreiecke <math>\overline{ABC}</math> und <math>\overline{DEF}</math> die folgenden  6 Kongruenzen 

:::# <math>\overline{AB} \tilde {=} \overline{DE}</math>
:::# <math>\overline{BC} \tilde {=} \overline{EF}</math>
:::# <math>\overline{AC} \tilde {=} \overline{DF}</math>
:::# <math>\angle CAB \tilde {=} \angle FDE</math>
:::# <math>\angle ABC \tilde {=} \angle DEF</math>
:::# <math>\angle ACB \tilde {=} \angle DFE</math>
::gelten,<br />
:: dann sind die beiden Dreiecke <math>\overline{ABC}</math> und <math>\overline{DEF}</math>  kongruent zueinander.

===== Satz VII.3:  =====
:: Die Relation kongruent ist auf der Menge aller Dreiecke eine Äquivalenzrelation.

Der Beweis ergibt sich unmittelbar durch Rückführung auf die Gleicheitsrelation auf der Menge der reellen Zahlen.

===== Satz VII.4:  =====
Bei einer Geradenspiegelung sind ein Dreieck und sein Bilddreieck kongruent zueinander.<br /><br />
Beweis: ergibt sich unmittelbar aus der Winkel- und Streckenkongruenz der Geradenspiegelung und der Definition Dreieckskongruenz.<br /><br />