Zum Inhalt springen

Beweisarchiv: Geometrie: Inzidenzgeometrie

Aus Wikibooks

Beweisarchiv: Geometrie

Schwerpunktsätze von Leibniz
Planimetrie
Kreis: Mittelpunktswinkel-Umfangswinkel · Satz des Ptolemäus · Sehnensatz · Sehnentangentenwinkel · Sehnenviereck · Sekantensatz · Tangentenviereck · Japanischer Satz für konzyklische Vierecke · Satz des Thales
Rechtwinkliges Dreieck: Satz des Pythagoras
Ellipse: Satz vom Flüstergewölbe · Konjugierte Durchmesser
Regelmäßige Vielecke: Dreieck · Viereck · Fünfeck · Sechseck ·
Dreieck: Satz des Heron · Berechnung des Flächeninhalts des Diagonalendreiecks im Quader · Elementarer Satz zur Charakterisierung des Schwerpunkts im Dreieck via Flächeninhalte
Viereck: Flächenformel von Bretschneider
Inzidenzgeometrie ·
affine Geometrie: einfache Hilfssätze · Homothetien und Translationen · Desarguesche affine Ebenen sind Vektorräume
Trigonometrie
Additionstheoreme: Sinus · Kosinus · Tangens · Kotangens
Trigonometriesätze: Sinussatz · Kosinussatz · Neue Folgerungen aus dem Projektionssatz der Dreiecksgeometrie
Trigonometrie in der komplexen Ebene: Tangens und Kotangens in rechtwinkligen Dreiecken aus komplexen Zahlen

In der Inzidenzgeometrie behandelt man nur solche Fragestellungen, die die bloßen Lageverhältnisse von Punkten auf Geraden, Geraden in Ebenen usw. behandeln. Man hat im Allgemeinen also eine Menge von Punkten, eine Menge von Geraden und im Falle räumlicher Geometrie noch eine Menge von Ebenen.

Zwischen diesen bestehen Inzidenzrelationen, d.h., ein Punkt kann mit einer Geraden oder einer Ebenen inzidieren, ebenso eine Gerade mit einer Ebene. Im folgenden wird diese Relation jeweils geschrieben in der Form , , , jeweils sowohl zur Erinnerung an als auch zur Unterscheidung von der Elementrelation . Textlich wird derselbe Sachverhalt meist ausgedrückt als " liegt auf " (bzw. " geht durch "), " liegt in " sowie " liegt in ".

Ist eine Gerade, so bezeichnen wir mit die Menge der mit inzidierenden Punkte. Zumindest in allen im Folgenden untersuchten Strukturen gilt , wodurch gerechtfertigt wird, Geraden als Punktmengen aufzufassen und als zu interpretieren. Wir bezeichnen weiter mit die Menge der durch den Punkt verlaufenden Geraden. Auch hier gilt zumindest in den nachstehend untersuchte Strukturen, so dass man gleichberechtigt, wenn auch weniger üblich, Punkte als Geradenmengen auffassen und durch interpretieren könnte.

Ein Endomorphismus einer solchen Inzidenzstruktur besteht aus einer Abbildung und einer Abbildung (sowie - im räumlichen Fall - einer Abbildung ), so dass aus stets auch folgt (im räumlichen Fall entsprechend zusätzlich für Punkt-Geraden- und Geraden-Ebenen-Inzidenz). Gibt es einen Endomorphismus , so dass sowohl als auch die Identität sind, so ist ein Automorphismus. Die Gruppe der Automorphismen wird im Folgenden mit bzw. bezeichnet.


Prinzipiell könnte man noch weitere geometrische Gebilde und deren Inzidenzverhalten erfassen (beispielsweise Kreise, Strecken, konvexe Punktmengen), im Folgenden betrachten wir jedoch durchweg nur die oben aufgeführten linearen Gebilde.

Durch eine entsprechende Axiomatisierung erfolgt die Abgrenzung gegenüber allgemeineren Inzidenzstrukturen. Es fehlen jedoch beispielsweise sämtliche metrischen Aspekte, also Streckenlängen und Winkelgrößen, sowie Ordnungsaxiome, d.h., von drei kollinearen Punkten lässt sich allgemein nicht ausdrücken, dass einer zwischen den anderen liegt.