Satz von den Ergänzungsparallelogrammen

Aus testwiki
Zur Navigation springen Zur Suche springen

Der Satz von den Ergänzungsparallelogrammen ist ein Lehrsatz der Elementargeometrie über die Flächeninhalte von Parallelogrammen.

Formulierung des Satzes

Parallelogramm 𝒫=ABCD
mit Satz von den Ergänzungsparallelogrammen F𝒫B=F𝒫D

Der Satz besagt folgendes:[1][2][3][4][5][6]

Gegeben sei ein Parallelogramm 𝒫=ABCD der euklidischen Ebene und darin sei d eine der beiden Diagonalen, etwa (oBdA) d=AC.
Weiter sei Z ein innerer Punkt von d.
Durch Z seien die beiden Parallelen zu den Seiten von 𝒫 gezogen, welche 𝒫 in vier Teilparallelogramme unterteilen, wobei Z deren alleiniger gemeinsamer Punkt ist.
Dann gilt:
Die beiden Teilparallelogramme, welche von der Diagonalen d nicht zerlegt werden, also mit d allein den Punkt Z gemeinsam haben, sind ergänzungsgleich und daher von identischem Flächeninhalt.

Herleitung und Erläuterung

Die vier Teilparallelogramme von 𝒫 seien mit 𝒫A,𝒫B,𝒫C,𝒫D bezeichnet. Die Indizierung orientiert sich an den Eckpunkten von 𝒫. Es ist also 𝒫X dasjenige Teilparallelogramm, welches den Eckpunkt   X   (X=A,B,C,D)   enthält. Folglich sind aus Konvexitätsgründen die beiden Teilparallelogramme, welche mit der Diagonalen   d   allein den Punkt Z gemeinsam haben, 𝒫B und 𝒫D, während 𝒫A und 𝒫C diejenigen beiden Teilparallelogramme seien, welche mit d mehr als einen Punkt gemeinsam haben.

d   zerlegt nun 𝒫 in zwei kongruente Dreiecke, nämlich in ABC und ACD, und genauso zerlegt   d sowohl 𝒫A als auch 𝒫C jeweils in zwei kongruente Dreiecke.

Sind hier nun Δ1 und Δ2 die beiden Zerlegungsdreiecke von 𝒫A beziehungsweise Δ3 und Δ4 die beiden Zerlegungsdreiecke von 𝒫C und dabei Δ1 und Δ3 innerhalb des Dreiecks ABC beziehungsweise Δ2 und Δ4 innerhalb des Dreiecks ACD gelegen, so wird ABC in die drei Flächenstücke Δ1 und Δ3 und 𝒫B zerlegt und genauso ACD in die drei Flächenstücke Δ2 und Δ4 und 𝒫D  .

Folglich ergeben sich hinsichtlich der Flächeninhalte die Identitäten

(I)   FABC=FACD=FABCD2
(II)   FABC=FΔ1+FΔ3+F𝒫B
(III)   FACD=FΔ2+FΔ4+F𝒫D

und daraus wegen der genannten Kongruenzbeziehungen unmittelbar die Identität

(IV)   F𝒫B=F𝒫D .

Dies bedeutet auch:

𝒫B   und   𝒫D sind ergänzungsgleich.

Denn durch Hinzufügung endlich vieler paarweise kongruenter Vielecke werden aus 𝒫B   und   𝒫D zwei kongruente Vielecke erhalten, nämlich die beiden Dreiecke   ABC   und   ACD [7]

Dies beweist den Satz.

Zur Terminologie

Die beiden Teilparallelogramme 𝒫B   und   𝒫D werden wegen des in dem Satz dargestellten Sachverhalts Ergänzungsparallelogramme genannt. Damit ist auch der Name des Satzes selbst erklärt.

Literatur

Einzelnachweise