imported>Mathze: /* Beweise */

2025-07-01T14:07:51Z

Beweise

Neue Seite

Als '''Kongruenzsatz''' bezeichnet man in der [[Ebene Geometrie|ebenen Geometrie]] eine Aussage, anhand derer sich einfach die [[Kongruenz (Geometrie)|Kongruenz]] von [[Dreieck]]en nachweisen lässt. Dreiecke sind kongruent (deckungsgleich), wenn sie in Form und [[Flächeninhalt]] gleich sind. Die ''Dreieckskongruenz'' (also die Kongruenz von Dreiecken) bildet eine [[Äquivalenzrelation]],<ref>{{Literatur | Autor = Hartmut Wellstein | Titel = Elementargeometrie | Jahr = 2009 | Verlag = Vieweg + Teubner | Ort = Wiesbaden | ISBN = 978-3-8348-0856-1 | Seiten = 12 }}</ref> das heißt, kongruente Dreiecke können als gleich angesehen werden.

Sind zwei Dreiecke <math>ABC</math> und <math>DEF</math> kongruent, so schreibt man <math>ABC \cong DEF</math>.

== Kongruenzsätze ==

In den üblichen Bezeichnungen der vier Kongruenzsätze steht jeweils „S“ für die Übereinstimmung einer Seitenlänge und „W“ für die Übereinstimmung eines Winkels:
; SSS-Satz (erster Kongruenzsatz): Zwei Dreiecke, die in ihren drei Seitenlängen übereinstimmen, sind kongruent.
; SWS-Satz (zweiter Kongruenzsatz): Zwei Dreiecke, die in zwei Seitenlängen und in dem eingeschlossenen Winkel übereinstimmen, sind kongruent.
; WSW-Satz (dritter Kongruenzsatz): Zwei Dreiecke, die in einer Seitenlänge und in den dieser Seite anliegenden Winkeln übereinstimmen, sind kongruent.
:Dies schließt über den Satz von der [[Winkelsumme|Summe der Innenwinkel]] im Dreieck auch den folgenden Satz mit ein:
;SWW-Satz: Zwei Dreiecke, die in einer Seitenlänge, einem dieser Seite anliegenden Winkel und dem dieser Seite gegenüberliegenden Winkel übereinstimmen, sind kongruent.
:Bemerkung: Nicht zwingend kongruent sind jedoch zwei Dreiecke, die in zwei Winkeln und in einer Seitenlänge übereinstimmen, wenn nicht bekannt ist, welche der gegebenen Winkel an der gegebenen Seite anliegen. Aus Angaben zu einer Seite und zwei Winkeln können somit drei im Allgemeinen nicht kongruente Dreiecke konstruiert werden, je nachdem ob der erste, zweite oder beide Winkel der Seite anliegen.
; SSW-Satz (vierter Kongruenzsatz): Zwei Dreiecke, die in zwei Seitenlängen und in jenem Winkel übereinstimmen, der der längeren Seite gegenüberliegt, sind kongruent.
:Hierbei wird die Einschränkung gegenüber einem nicht allgemein existierenden SSW-Satz durch eine entsprechende Schreibweise oder Kennzeichnung (etwa SsW, Ssw oder SSW<sub>g</sub>, siehe die Abbildung [[#Beweise|unten]]) zum Ausdruck gebracht.

Stimmen zwei Dreiecke in zwei (und damit zugleich allen drei) [[Innenwinkel]]n überein, so sind sie dennoch ''nicht'' notwendigerweise kongruent. Sie sind jedoch [[Ähnlichkeit (Geometrie)|ähnlich]].

Die nachfolgende Abbildung zeigt für jeden der vier Kongruenzsätze die Größen, in denen zwei Dreiecke übereinstimmen müssen.

Von links nach rechts: SSS, WSW, SWS, SSW.

[[Datei:Kongruenzsaetze_des_Dreiecks.svg|Für die Kongruenzsätze nötige Größen]]

== Beweise ==
Klassisch beweist man die Kongruenzsätze, indem man Konstruktionen mit Zirkel und Lineal angibt, die aus den entsprechenden gegebenen Größen eines Dreiecks ein zweites konstruieren. Geht dies nur auf genau eine Weise, so sind die beiden Dreiecke kongruent. Mit Bezeichnungen wie in obiger Abbildung geht dies wie folgt:
; SSS: Gegeben <math>a</math>, <math>b</math> und <math>c</math>. Trage eine Strecke <math>BC</math> der Länge <math>a</math> ab; der Kreis um <math>C</math> mit Radius <math>b</math> und der um <math>B</math> mit Radius <math>c</math> schneiden sich in zwei Punkten <math>A_1</math> und <math>A_2</math>, wodurch sich zwei spiegelsymmetrische (also kongruente) Dreiecke <math>A_1BC</math> und <math>A_2BC</math> ergeben. Legt man sich auf eine Orientierung fest, ist das Dreieck sogar eindeutig. Dies gilt entsprechend auch für die folgenden Konstruktionen:
; WSW: Gegeben <math>a</math>, <math>\beta</math> und <math>\gamma</math>. Trage eine Strecke <math>BC</math> der Länge <math>a</math> ab; die [[Halbgerade]] (der Strahl), die bei <math>B</math> mit <math>BC</math> den Winkel <math>\beta</math> einschließt, und die, die bei <math>C</math> mit <math>BC</math> den Winkel <math>-\gamma</math> einschließt, schneiden sich in einem Punkt <math>A</math>.
; SWS: Gegeben <math>a</math>, <math>b</math> und <math>\gamma</math>. Auf zwei [[Halbgerade]]n (Strahlen), die mit <math>C</math> als Scheitel den Winkel <math>\gamma</math> einschließen, trage die Länge <math>b</math> bzw. <math>a</math> ab, um <math>A</math> und <math>B</math> zu finden.
[[Datei:Kongruenzsatz.png|mini|hochkant=1.5|rechts|SSW-Kongruenzsatz]]
; SSW: Gegeben <math>b</math>, <math>c</math> und <math>\gamma</math> (wobei <math>c > b</math>). Konstruiere zwei [[Halbgerade]]n, die mit <math>C</math> als Scheitel den Winkel <math>\gamma</math> einschließen; trage auf einem Schenkel die kürzere Strecke <math>b</math> ab, um <math>A</math> zu finden; der Kreis um <math>A</math> mit Radius <math>c</math> schneidet den anderen Schenkel in einem Punkt <math>B</math>.

Das nebenstehende Bild zeigt, dass es inkongruente Dreiecke gibt, die in zwei Seiten und dem der ''kürzeren'' Seite gegenüberliegenden Winkel übereinstimmen: Die beiden Dreiecke <math>A_1BC</math> und <math>A_2BC</math> stimmen in den Seitenlängen <math>a</math> und <math>c</math> sowie im Winkel <math>\gamma=\angle ACB</math> überein. Die Seitenlängen <math>b_1</math> und <math>b_2</math> unterscheiden sich aber (wie auch die Winkel <math>\angle CBA_1</math>und <math>\angle CBA_2</math>). Hier ist <math>c < a,</math> im Gegensatz zur Voraussetzung des SSW-Satzes. Diesen Fall bezeichnet man auch als sSW-Fall. Der sSW-Fall ist jedoch nicht immer zweideutig: Hat die kürzere Seite die Länge <math>a \sin \gamma</math>, so ist das Dreieck rechtwinklig und eindeutig bestimmt.

== Bemerkungen ==

* In [[Hilberts Axiomensystem der euklidischen Geometrie]] hat SWS den Rang eines [[Axiom]]s, die anderen werden aus diesem und den übrigen Axiomen bewiesen. Das erkannte Hilbert als nötig, weil im überlieferten Aufbau Euklids Beweisideen verwendet wurden, die nicht aus seinen Axiomen und Postulaten rein logisch abzuleiten waren, sondern sich auf die anschaulich einleuchtende freie Beweglichkeit der Dreiecke beriefen.

* Es ist unter Umständen auch möglich, ein Dreieck aus anderen drei Bestimmungsstücken zu konstruieren, unter denen beispielsweise Inkreisradius, Umkreisradius, Fläche oder Höhen auftreten. Die zugehörigen Kongruenzaussagen werden jedoch nicht zu den klassischen Kongruenzsätzen gezählt.

* In der [[sphärische Geometrie|sphärischen Geometrie]] weicht die Sachlage teilweise ab. So sind dort zwei (sphärische) Dreiecke bereits kongruent und nicht nur ähnlich, wenn sie in den drei Innenwinkeln übereinstimmen. Die Angabe des dritten Winkels ist auch nicht mehr redundant ([[Sphärischer Exzess]]).

== Kongruenzbeweise ==

Die vier Kongruenzsätze bilden die Grundlage eines Beweisverfahrens, das in der Elementargeometrie häufig verwendet wird: In einem ''Kongruenzbeweis'' begründet man die Gleichheit zweier Streckenlängen oder zweier Winkelgrößen dadurch, dass man zunächst die Kongruenz zweier geeigneter Dreiecke zeigt und anschließend die Gleichheit entsprechender Seitenlängen bzw. Winkel folgert.

== Literatur ==
*Hans Schupp: ''Elementargeometrie.'' UTB, Stuttgart 1977. ISBN 3-506-99189-2, S. 76.

== Einzelnachweise ==
<references />

[[Kategorie:Dreiecksgeometrie]]
[[Kategorie:Satz (Synthetische Geometrie)]]
[[Kategorie:Satz (Ebene Geometrie)]]

Kongruenzsatz - Versionsgeschichte

imported>Mathze: /* Beweise */