Ein grundlegendes euklidisches Ergebnis: Die Maße der drei Innenwinkel jedes euklidischen Dreiecks summieren sich zu einem gestreckten Winkel (180 Grad bzw. π Radiant).

Prinzip

Korrespondenz von Winkeln durch Parallelen: Zieht man durch einen Eckpunkt des Dreiecks eine Gerade parallel zur gegenüberliegenden Seite, zeigen Wechsel- und Stufenwinkel, dass die drei Innenwinkel zusammen einen gestreckten Winkel ergeben; dies beruht auf dem Parallelenaxiom (oder einem äquivalenten Axiom).

Demonstration

Gegeben Dreieck ABC, ziehe durch A eine Gerade parallel zu BC. Die durch AB und AC gebildeten Wechselwinkel sind gleich ∠B bzw. ∠C, und zusammen mit ∠A bilden sie einen gestreckten Winkel in A, womit ∠A+∠B+∠C = 180° folgt.

Fehlanwendung

Die Übertragung des Satzes ohne Modifikation auf nichteuklidische Geometrien (auf der Kugel ist die Winkelsumme größer als 180°, in der hyperbolischen Geometrie kleiner) oder das Nichtberücksichtigen orientierter Winkel oder entarteter Dreiecke (kollineare Punkte) führt zu Fehlanwendungen.

Konsequenz

Ermöglicht Winkelberechnungen, Beziehungen zwischen Innen- und Außenwinkeln (ein Außenwinkel ist die Summe der beiden gegenüberliegenden Innenwinkel) und bildet die Grundlage vieler dreiecksbasierter Beweise und trigonometrischer Identitäten in der euklidischen Geometrie.

Umkehrung

In nicht-euklidischen Geometrien kehrt sich die Relation quantitativ um: Kugeldreiecke haben Winkelsummen größer als 180°, proportional zu ihrer Fläche; hyperbolische Dreiecke haben weniger als 180°; eine Änderung der Parallelenannahme verändert somit die Summenkonstante.

Abgrenzung

Gilt in euklidischen Ebenen; ausgeschlossen in Geometrien, in denen das Parallelenaxiom nicht zutrifft oder wo Winkel nicht nach der euklidischen Konvention gemessen werden. Entartete Dreiecke (kollineare Punkte) fallen nicht unter die übliche Innenwinkelinterpretation.

Semantische Spannung

Wird mitunter mit einem bloßen Zählen von ‚Winkeln‘ in Polygonen oder mit topologischen Euler-ähnlichen Relationen verwechselt; die Spannung liegt zwischen metrischen Winkelsummen und rein kombinatorisch/topologischen Betrachtungen.

Synthese

Der Satz über die Winkelsumme im Dreieck besagt, dass in der euklidischen Geometrie die Innenwinkel eines Dreiecks zusammen einen gestreckten Winkel (180°) ergeben, abgeleitet aus Parallelenwinkeln und abhängig vom Parallelenaxiom.