Tamaschke-Axiom

Bearbeiten

In der Affinen Geometrie, einem der Teilgebiete der Mathematik, ist das Tamaschke-Axiom (oder auch Dreiecksaxiom) eine derjenigen Aussagen, mit deren Hilfe sich die dort auftretenden Inzidenzgeometrien axiomatisch festlegen lassen. Das Axiom ist nach dem Tübinger Mathematiker Olaf Tamaschke[A 1] benannt, der als erster seine Bedeutung für die Geometrie erkannte.[1]

Formulierung des Axioms

Bearbeiten

Das Tamaschke-Axiom fordert für Inzidenzgeometrien , die dem Verbindungsaxiom und dem Parallelenaxiom genügen, die folgende zusätzliche Eigenschaft:[2]

Sind in fünf Raumpunkte gegeben, wobei nicht auf einer gemeinsamen Geraden liegen sollen, und sind hier die Geraden und parallel, so treffen sich die Parallele zu durch und die Parallele zu durch in einem gemeinsamen Schnittpunkt .

Axiomatik der affinen Räume

Bearbeiten

Gemäß der Darstellung von Albrecht Beutelspacher sind die affinen Räume genau diejenigen Inzidenzgeometrien, in denen sowohl

als auch

als auch

  • das Tamaschke-Axiom

erfüllt sind.[2]

Anmerkungen und Erläuterungen

Bearbeiten
  • Die obige Bedingung, dass nicht auf einer gemeinsamen Gerade liegen sollen, bedeutet – anschaulich!– nichts weiter, als dass die Punkte ein Dreieck bilden. Dies erklärt, warum das Tamaschke-Axiom auch als Dreiecksaxiom bezeichnet wird.
  • Geht man den in der Analytischen Geometrie üblichen Weg, die affinen Räume ausgehend von den zugehörigen Vektorräumen der Verbindungsvektoren zu definieren,[3] so ergibt sich das Tamaschke-Axiom in diesem Rahmen als Lehrsatz.[4]
  • Für eine axiomatische Begründung der affinen Raumgeometrie im engeren Sinne reichen die obigen Axiome nicht aus. Hier muss man – nicht zuletzt wegen der Inzidenzen zwischen Ebenen und Geraden sowie Ebenen und Raumpunkten − eine erweiterte Axiomatik schaffen.[5]

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

rreferences group="A" />


KKategorie:Geometrie]]

Satz von Hadwiger

Bearbeiten

BBBegriffsklärungshinweis|Der vorliegende Satz ist nur einer von mehreren mit dem Namen des Mathematikers Hugo Hadwiger verknüpften Sätzen und insbesondere nicht identisch mit dem Satz von Finsler-Hadwiger.}}

Der Satz von Hadwiger ist ein Lehrsatz des mathematischen Gebiets der Konvexgeometrie und als solcher angesiedelt zwischen den Gebieten der Geometrie und der Analysis. Er entstammt der von Hugo Hadwiger im Jahre 1955 vorgelegten Fachpublikation Altes und Neues über konvexe Körper und behandelt die polyedrische Approximation gewisser Teilmengen des euklidischen Raums durch konvexe Polyeder.[6]

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich in moderner Fassung wie folgt formulieren:[7]

Für jede kompakte konvexe Nullumgebung und jedes gibt es stets ein kompaktes konvexes Polyeder mit
.

Erläuterungen und Anmerkungen

Bearbeiten
  • Hugo Hadwiger hat seinen Satz lediglich für Eikörper, also für konvexe und kompakte Punktmengen des dreidimensionalen euklidischen Raums, formuliert.[8] Dabei bezeichnet er ein konvexes Polyeder des dreidimensionalen euklidischen Raums als Eipolyeder.[9]
  • Eine Nullumgebung ist eine Punktmenge in einem topologischen Vektorraum, die dort Umgebung des Nullvektors ist.
  • Für eine Teilmenge und eine reelle Zahl besteht exakt aus allen mit . Ist dabei und ein konvexes Polyeder, so nennt Hadwiger in diesem Kontext das durch Dilatation mit aus hervorgehende homothetische Polyeder.

Literatur

Bearbeiten
  • Hugo Hadwiger: Altes und Neues über konvexe Körper (= ELEMENTE DER MATHEMATIK VOM HÖHEREN STANDPUNKT AUS. Band III). Birkhäuser Verlag, Basel, Stuttgart 1955 (MR0073220).
  • Jürg T. Marti: Konvexe Analysis (= Lehrbücher und Monographien aus dem Gebiet der Exakten Wissenschaften, Mathematische Reihe. Band 54). Birkhäuser Verlag, Basel, Stuttgart 1977, ISBN 3-7643-0839-7 (MR0511737).

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Analysis]] KKKategorie:Satz (Mathematik)|Hadwiger]]


Satz von Tietze (Konvexgeometrie)

Bearbeiten

In der Konvexgeometrie, einem der Teilgebiete der Mathematik, ist der Satz von Tietze einer derjenigen Lehrsätze, welche sich mit der Frage der Charakterisierung der Konvexität von Teilmengen des euklidischen Raums und (allgemeiner) der reellen linearen Hausdorffräume mit Hilfe lokaler Stützeigenschaften befassen. Der Satz ist damit angesiedelt im Übergangsfeld zwischen Geometrie und der Theorie der topologischen Vektorräume. Er geht wesentlich auf eine wissenschaftliche Arbeit des Mathematikers Heinrich Tietze aus dem Jahr 1929 zurück.[10][11]

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich zusammengefasst wie folgt formulieren:[12][13]

Ist ein hausdorffscher topologischer -Vektorraum gegeben und ist eine darin enthaltene offene und zusammenhängende Teilmenge, die in jedem ihrer Randpunkte lokal schwach gestützt wird, so ist in konvex. Dies gilt insbesondere für den Fall, dass der -dimensionale euklidische Raum ist.

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />


KKKategorie:Geometrie]]


Verwandte Resultate

Bearbeiten

Dem Satz von Tietze ging ein Satz voraus, welcher von einer Reihe bedeutender Mathematiker bewiesen wurde, nicht zuletzt von Constantin Carathéodory im Jahre 1907 sowie von Hermann Brunn bzw. Hermann Minkowski im Jahre 1910. Er lässt sich folgendermaßen formulieren:[14]

Ist ein hausdorffscher topologischer -Vektorraum gegeben und ist eine darin enthaltene abgeschlossene Teilmenge mit mindestens einem inneren Punkt , so ist die Teilmenge in genau dann konvex, wenn durch jeden ihrer Randpunkte eine Stützhyperebene von geht.

In der Differentialgeometrie ist ein anderer Satz bekannt, der von Jacques Hadamard im Jahre 1897 vorgelegt wurde:[15]

Eine Eifläche im dreidimensionalen euklidischen Raum ist streng konvex in dem Sinne, dass für jeden darin enthaltenen Raumpunkt die Fläche ganz auf einer Seite der bei anliegenden Tangentialebene gelegen ist.[16]

Erläuterungen

Bearbeiten
  • Der euklidische Raum wird wie üblich als mit dem Standardskalarprodukt (sowie der damit gegebenen geometrischen und metrischen Struktur) und insbesondere als mit der euklidischen Abstandsfunktion versehen betrachtet.
  • In Bezug auf einen (hausdorffschen) topologischen Vektorraum , eine darin liegende Teilmenge und einen -Randpunkt sagt man, werde in lokal schwach gestützt, wenn es eine Umgebung von gibt sowie ein nicht mit dem Nullfunktional identisches lineares Funktional , so dass Folgendes gilt: Aus und folgt stets .
  • Eine im dreidimensionalen euklidischen Raums gelegene Teilmenge ist eine Eifläche, wenn sie dort eine kompakte reguläre Fläche ist und in jedem ihrer Punkte positive gaußsche Krümmung hat. Der Begriff geht auf Wilhelm Blaschke zurück.
  • Jede Tangentialebene an einen Punkt einer regulären Fläche ist eine Hyperebene des dreidimensionalen euklidischen Raums.
  • Zu einer Hyperebene gehört die Überdeckung des durch die beiden zugehörigen abgeschlossenen Halbräume, die so beschaffen ist, dass jeder Raumpunkt in einem der beiden liegt. Ist hier eine gegebene Teilmenge entweder Teilmenge des einen oder aber Teilmenge des anderen, so sagt man, sei ganz auf einer Seite der Hyperebene gelegen.

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />


KKKategorie:Geometrie]] KKKategorie:Topologischer Vektorraum]] KKKategorie:Satz (Mathematik)|Tietze (Konvexgeometrie)]]

Satz von Tverberg

Bearbeiten

Der Satz von Tverberg (englisch Tverberg's theorem) ist ein Lehrsatz, der sowohl dem mathematischen Gebiet der Konvexgeometrie als auch dem der Topologischen Kombinatorik zuzurechnen ist und der auf eine von dem norwegischen Mathematiker Helge Tverberg im Jahre 1966 vorgelegten Arbeit zurückgeht. Er stellt eine bedeutende Verallgemeinerung des bekannten Satzes von Radon dar und ist Ausgangspunkt für eine große Anzahl von weiterreichenden Untersuchungen. Mit ihm eng verbunden ist der Satz von Bárány, aus dem der Tverberg'sche Satz hergeleitet werden kann.[17][18][19]

Formulierung des Satzes

Bearbeiten

Der Satz besagt:[20][21][22]

Gegeben seien zwei natürliche Zahlen und und dazu die natürliche Zahl . Weiter gegeben sei im euklidischen Raum eine Teilmenge , die aus mindestens Raumpunkten bestehen soll.
Dann gilt:
Es gibt eine Zerlegung
in paarweise disjunkte Teilmengen derart, dass in der Schnittmenge
der zugehörigen konvexen Hüllen mindestens ein gemeinsamer Raumpunkt liegt.

Anmerkungen

Bearbeiten
  • Dem Satz von Tverberg ging eine entsprechende Vermutung des englischen Mathematikers Bryan John Birch voraus, die dieser in einer im Jahr 1959 vorgelegten Arbeit aufstellte.[21]
  • Der Satz ist ist optimal in dem Sinne, dass die Aussage des Satzes für Teilmengen mit höchstens Raumpunkten nicht länger Gültigkeit hat.[23]

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Diskrete Mathematik]] KKKategorie:Satz (Mathematik)|Tverberg]]

Satz von Straszewicz

Bearbeiten

Der Satz von Straszewicz (englisch Straszewicz's theorem) ist ein Lehrsatz des mathematischen Gebiets der Konvexgeometrie und als solcher angesiedelt zwischen den Gebieten der Geometrie und der Analysis. Er geht zurück auf eine wissenschaftliche Arbeit des Mathematikers Stefan Straszewicz aus dem Jahre 1935. Der Straszewicz'sche Satz ist verwandt mit dem Satz von Krein-Milman und behandelt die Frage, in welcher Beziehung im euklidischen Raum die exponierten Punkte und die Extremalpunkte gewisser Punktmengen zueinander stehen. Wie der Satz zeigt, bilden für eine große Klasse von Punktmengen die exponierten Punkte eine dichte Teilmenge innerhalb der Extremalpunkte.[24][25][26][27]

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich zusammengefasst wie folgt darstellen:[26][28][29]

Für eine abgeschlossene und konvexe Teilmenge gilt stets:
(i) Jeder Extremalpunkt von ist Berührpunkt der Menge der exponierten Punkte von :
.
(ii) Ist dabei ein konvexes Kompaktum, so gilt sogar:
.

Analogon für normierte Räume

Bearbeiten

Der US-amerikanische Mathematiker Victor Klee hat im Jahre 1958 ein dem Satz von Straszewicz analoges Resultat vorgelegt für den allgemeineren Fall, dass ein normierter -Vektorraum vorliegt. Dieses Resultat wird als Satz von Klee–Straszewicz bezeichnet und lässt sich angeben wie folgt:[30][31]

In einem normierten -Vektorraum gilt für jede darin enthaltene kompakte und konvexe Teilmenge
und
.

Erläuterungen und Anmerkungen

Bearbeiten
  • Ein exponierter Punkt von ist ein Punkt , zu dem eine -Stützhyperebene existiert, so dass gilt. Die Menge der exponierten Punkte von wird mit bezeichnet.[32][33]
  • Für eine konvexe Teilmenge von ist stets jeder ihrer exponierten Punkte auch ein Extremalpunkt und jeder ihrer Extremalpunkte stets auch einer ihrer Randpunkte. Es gilt also in diesem Falle .[34]
  • Der Satz von Straszewicz wird in der Monographie von Kurt Leichtweiß auch als Darstellungssatz von Straszewicz bezeichnet(, wobei sich Leichtweiß lediglich auf die obige Mengengleichung bezieht).[35]

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Analysis]] KKKategorie:Satz (Mathematik)|Straszewicz]]



Satz von Carathéodory (Verbesserung und Ergänzung)

Bearbeiten

Der Mathematiker Constantin Carathéodory hat im Jahre 1911 den folgenden bekannten Lehrsatz bewiesen:[36][37][38]

(1) Ist (für zwei gegebene natürliche Zahlen und mit ) im euklidischen Raum eine Teilmenge gegeben und ist diese in einem n-dimensionalen affinen Unterraum von enthalten, so ist die konvexe Hülle von gleich der Menge aller Konvexkombinationen, die aus maximal Elementen von gebildet werden. Formal ausgedrückt gilt also:

.


......

Verallgemeinerung des Satzes von Carathéodory

Bearbeiten

Im Jahre 1982 stellte der ungarische Mathematiker Imre Bárány eine Verallgemeinerung des Carathéodory'schen Satzes vor, den man als Satz von Bárány (englisch Bárány's Theorem) bezeichnen kann und der folgendes besagt:[39][40]

(4) Sind Teilmengen gegeben sowie ein Raumpunkt , so existieren auch stets ausgewählte Raumpunkte derart, dass schon in der konvexen Hülle dieser Raumpunkte liegt.

Den Satz von Carathéodory gewinnt man dabei für den Spezialfall .[40]

Satz von Krasnoselski

Bearbeiten

Der Satz von Krasnoselski (englisch Krasnosselsky’s theorem bzw. Krasnoselsky’s theorem bzw. Krasnosel'skii’s theorem) ist einer der klassischen Lehrsätze des mathematischen Teilgebiets der Konvexgeometrie und als solcher angesiedelt im Übergangsfeld zwischen Geometrie und Analysis. Er geht zurück auf eine wissenschaftliche Arbeit des sowjetischen Mathematikers Mark Alexandrowitsch Krasnoselski aus dem Jahre 1946. Der Satz behandelt die Frage, unter welchen Bedingungen gewisse Teilmengen des Euklidischen Raums sternförmige Mengen sind. Er ist verwandt mit (und sogar eine Folgerung aus) dem Satz von Helly.[41][42][43][44]

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich zusammengefasst darstellen wie folgt:[41][45][46]

Gegeben seien eine natürliche Zahl und eine aus unendlich vielen Raumpunkten bestehenden kompakte Teilmenge . Hier gebe es zu jeder aus Raumpunkten bestehenden Teilmenge einen zugehörigen Raumpunkt dergestalt, dass jedes von aus sichtbar (s. u.) ist.
Dann gilt:
ist sternförmig.
Zusatz: Die Behauptung des Satzes gilt auch dann noch, wenn man die obige Sichtbarkeitsbedingung abschwächt und sie lediglich für jede aus ordentlichen (s. u.) Raumpunkten bestehende Teilmenge fordert.[47]

Erläuterungen

Bearbeiten
  • Für zwei Punkte ist von aus (in ) sichtbar – und umgekehrt! –, wenn ihre Verbindungsstrecke eine Teilmenge von ist, wenn also für ihre konvexe Hülle die Beziehung gilt.
  • Ein ordentlicher Punkt von ist ein Randpunkt , der zugleich ein Stützpunkt von ist. Es ist dabei ein Stützpunkt von ein Raumpunkt , zu dem ein lineares Funktional existiert, welches nicht die Nullabbildung ist und dabei die Beziehung erfüllt.[48]

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Analysis]] KKKategorie:Satz (Mathematik)|Krasnoselski]]


Kepler-Dreieck

Bearbeiten

Kepler-Dreieck ist ein Terminus der Dreiecksgeometrie. Als ein solches wird ein rechtwinkliges Dreieck der euklidischen Ebene bezeichnet, dessen drei Seitenlängen eine endliche geometrische Folge bilden.[49] Hinsichtlich der Terminologie wird dabei – anknüpfend an den im Folgenden angegebenen Satz – auf eine von Johannes Kepler gemachte Bemerkung verwiesen, wonach die Geometrie zwei Schätze besitze, nämlich einerseits den Satz des Pythagoras und andererseits die Unterteilung einer Strecke nach dem Goldenen Schnitt.[50]

Zur weiteren Charakterisierung der Kepler-Dreiecke gilt der folgende Satz, der aus einer Arbeit von Roger Herz-Fischler aus dem Jahre 1993 hervorgeht:[50]

Ein rechtwinkliges Dreieck in der euklidischen Ebene ist genau dann ein Kepler-Dreieck, wenn es einem Dreieck mit den Seitenlängen ähnlich ist, wobei für das Teilungsverhältnis des Goldenen Schnitts steht.

Siehe auch

Bearbeiten

Literatur

Bearbeiten
  • Claudi Alsina, Roger B. Nelsen: Bezaubernde Beweise: eine Reise durch die Eleganz der Mathematik. Springer Spektrum, Berlin (u. a.) 2013, ISBN 978-3-642-34792-4.
  • R. Herz-Fischler: A “very pleasant theorem”. In: College Mathematics Journal. Band 24, 1993, S. 318–324.

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]]


Der Inkreis eines rechtwinkligen Dreiecks

Bearbeiten

Liegt speziell ein rechtwinkliges Dreieck in der euklidischen Ebene vor, so lassen sich weitergehende Angaben zum Inkreis eines solchen Dreiecks machen.[51]

Radius des Inkreises

Bearbeiten

Im Falle eines rechtwinkligen Dreiecks mit Seitenlängen , und , wobei die Länge der Hypotenuse sein soll, kann man für den Inkreisradius zwei einfache Gleichungen angeben, welche wie folgt lauten:

.

Flächenformel

Bearbeiten

Der Tangentialpunkt, in dem die Hypotenuse den Inkreis berührt, zerlegt diese in die Teilstrecken mit den Längen

und

.

Damit gilt dann in Hinblick auf den Flächeninhalt des rechtwinkligen Dreiecks

.

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]]


Ungleichung von Padoa

Bearbeiten

Die Ungleichung von Padoa (englisch Padoa’s inequality) ist eine fundamentale Ungleichung der Dreiecksgeometrie. Sie geht auf den italienischen Mathematiker Alessandro Padoa zurück und wurde von diesem im Jahre 1925 publiziert. Die Ungleichung setzt zwei aus den Seitenlängen eines Dreiecks gebildete Produkte in Beziehung und ist äquivalent mit der eulerschen Dreiecksungleichung.[52][53]

Darstellung der Ungleichung

Bearbeiten

Padoas Ungleichung besagt Folgendes:

Ist in der euklidischen Ebene ein beliebiges Dreieck gegeben und haben dessen Seiten die Längen , so gilt stets die Ungleichung
(P)  .

Anmerkungen zum Beweis

Bearbeiten

Alsina und Nelsen folgend kann man die Ungleichung von Padoa unter Benutzung der sogenannten Ravi-Substitution mit Hilfe der Ungleichung vom arithmetischen und geometrischen Mittel herleiten.[54]

Die Ravi-Substitution setzt an bei der Tatsache, dass jede der drei Seiten von durch den mit dem Inkreis gemeinsamen Tangentialpunkt in zwei Teilstrecken aufgeteilt wird, wobei an jedem Eckpunkt die zwei dort inzidierenden Teilstrecken von gleicher Länge sind. Nimmt man diese Längen, so hat man positive Zahlen mit

 .

Damit lässt sich Padoas Ungleichung in der Form

(P')

schreiben.

Nun ist jedoch nach der Ungleichung vom arithmetischen und geometrischen Mittel

und durch Multiplikation der jeweiligen linken und rechten Seiten und unter Beachtung der Monotoniegesetze für Ungleichungen erhält man sogleich (P') und damit (P).

Äquivalenz mit der eulerschen Ungleichung

Bearbeiten

Die Tatsache, dass die padoasche und die eulersche Ungleichung äquivalent sind, lässt sich auf drei grundlegende Gleichungen zurückführen. Indem man nämlich im Dreieck den Umkreis- bzw. Inkreisradius mit bzw. bezeichnet sowie mit dessen Flächeninhalt und dabei [55] setzt, so erhält man durch elementargeometrische Überlegungen

(G1)
(G2) [56]
(G3)

und daraus sogleich die Äquivalenz der beiden Ungleichungen.[57]

Verwandte Ungleichungen

Bearbeiten

Mit den gleichen Bezeichnungen wie oben hat man zudem:

(V1) [58]
(V2) [59][60]

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Satz (Mathematik)|Padoa, Ungleichung von]] KKKategorie:Ungleichung|Padoa, Ungleichung von]]

Satz von Kirchberger

Bearbeiten

Der Satz von Kirchberger ist einer der klassischen Lehrsätze des mathematischen Teilgebiets der Konvexgeometrie. Er geht auf die Dissertation des Mathematikers Paul Kirchberger zurück und ist eng verwandt mit und sogar eine unmittelbare Folgerung aus dem bekannten Satz von Helly. Der kirchbergersche Satz gab Anlass zu weiterer Forschungstätigkeit und zur Auffindung einer Anzahl von Lehrsätzen ähnlichen Typs.[1][62][63][64]

Formulierung des Satzes

Bearbeiten

Der Satz von Kirchberger lässt sich angeben wie folgt:[1][65][66][67]

Gegeben seien eine natürliche Zahl und zwei endliche Mengen und dabei seien für jede aus höchstens Raumpunkten bestehende Teilmenge die beiden Untermengen und stets durch eine Hyperebene des strikt trennbar.
Dann gilt:
und sind ebenfalls durch eine Hyperebene des strikt trennbar.

Erweiterung

Bearbeiten

Der Satz von Kirchberger lässt sich erweitern, indem man die Voraussetzung der Endlichkeit der Punktmengen abschwächt. Die Behauptung des Satzes bleibt bestehen auch für den Fall, dass man - bei sonst gleichen Voraussetzungen - und lediglich als kompakte Teilmengen des voraussetzt. Diesen erweiterten Satz bezeichnet man ebenfalls als Satz von Kirchberger.[68]

Zur Historie

Bearbeiten

Paul Kirchberger war ein Schüler von David Hilbert und hat bei diesem im Jahre 1902 mit der Dissertation Über Tschebyschefsche Annäherungsmethoden promoviert.[69] Auszüge aus dieser Dissertation hat Kirchberger in Band 57 der Mathematischen Annalen im Jahre 1903 veröffentlicht. Der hier vorgetragene Satz erscheint dort in Kapitel III („Ein Hülfssatz“). Wie einige Autoren - etwa Alexander Barvinok und Steven R. Lay - hervorheben, hat Kirchberger seinen Lehrsatz mehrere Jahre vor der Publikation (und damit ohne Zuhilfenahme) des Satzes von Helly bewiesen.

Quellen und Literatur

Bearbeiten

Einzelnachweise und Anmerkungen

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Satz (Mathematik)|Kirchberger]]


Elementarer Satz zur Charakterisierung des Schwerpunkts im Dreieck via Flächeninhalte

Bearbeiten

Dieser Satz der Elementargeometrie ist weitgehend bekannt, gehört aber gewissermaßen zur mathematischen Folklore, da er vielfach in den heutigen Lehrbüchern der Elementargeometrie nicht weiter erwähnt wird. Eine Ausnahme bilden die Mathematische Unterhaltungen des Friedrich Joseph Pythagoras Riecke, welche zwischen 1867 und 1873 erstmals erschienen (und 1973 einen Nachdruck erfuhren).

Formulierung des Satzes

Bearbeiten

Der Satz lautet wie folgt:[70]

Gegeben sei ein Dreieck der euklidischen Ebene mit als Schwerpunkt.
Dann gilt:
ist derjenige eindeutig bestimmte Punkt im Inneren der Dreiecksfläche, durch dessen drei Verbindungsstrecken zu den Eckpunkten des Dreiecks dieses in drei Teildreiecke gleichen Flächeninhalts aufgeteilt wird.

Beweis des Satzes

Bearbeiten

Es gibt mehrere Beweise für diesen einfachen, aber wichtigen Satz:

Beweis mittels Elementargeometrie

Bearbeiten

Der Satz lässt sich - anschließend an Rieckes Darstellung[70] - im Wesentlichen elementargeometrisch führen, indem man zunächst zeigt, dass der Schwerpunkt die geforderte Eigenschaft hat. Dieser Ansatz basiert auf der Betrachtung ähnlicher Dreiecke und der Tatsache, dass der Schwerpunkt jede Seitenhalbierende im Verhältnis teilt.

Nun kann man sich offenbar auf eines der drei Teildreiecke beschränken, und zwar auf das mit der Seite als Grundlinie. Im Teildreieck soll der Fußpunkt der von aus auf die Grundlinie gefällte Höhe der Punkt sein, während im Dreieck der Fußpunkt der von aus auf gefällte Höhe der Punkt sein soll.

Damit hat man:

und damit

.

Der Schwerpunkt hat demnach die geforderte Eigenschaft.

Auf der anderen Seite kann kein anderer Punkt im Inneren der Dreiecksfläche die gezeigte Flächendrittelungseigenschaft haben:

Denn nimmt man einen beliebigen solchen Punkt, etwa - ohne Beschränkung der Allgemeinheit - einen im Inneren des soeben untersuchten Teildreiecks .

Dann folgt sogleich

und damit

und schließlich der Nachweis, dass als einziger Punkt im Inneren der Dreiecksfläche die geforderte Eigenschaft besitzt.[71]

Beweis mittels Analytischer Geometrie

Bearbeiten

Es gibt jedoch auch einen eher gleichungsrechnerisch angelegten Weg unter Anwendung der Flächenformeln der Analytischen Geometrie. Ohne Beschränkung der Allgemeinheit - da Flächeninhalte unter Bewegungen der euklidischen Ebene invariant bleiben - kann angenommen werden, dass das Dreieck im rechten oberen Quadranten liegt, wobei der Eckpunkt als mit dem Ursprung identisch vorausgesetzt wird, die Seite als auf der Abszissenachse liegend und hinsichtlich ihrer Länge die der beiden anderen Seiten übertreffend oder zumindest nicht unterschreitend. Es sei also angenommen:

(1)
(2) mit
(3) mit

Gesucht ist nun einen Punkt

(I) mit ,

für den hinsichtlich der Flächeninhalte folgendes gelte:

(II)

Dann lässt sich zeigen, dass dieser Punkt der Schwerpunkt ist.

Dazu stellen wir fest:

(4)
(5)
(6) [72]
(7)

Angesichts von (4) - (7) ist (II) gleichwertig mit

(IIa)
(IIb)
(IIc)

und damit wegen auch gleichwertig mit

(IIe)
(IIf)

und schließlich auch gleichwertig mit

(IIg)
(IIh) ,

womit alles gezeigt ist.

Literatur

Bearbeiten
  • Friedrich Joseph Pythagoras Riecke (Hrsg.): Mathematische Unterhaltungen. Erstes Heft. Dr. Martin Sändig, Walluf bei Wiesbaden 1973, ISBN 3-500-26010-1 (Unveränderter Neudruck der Ausgabe Stuttgart 1867–1873).

Einzelnachweise und Anmerkungen

Bearbeiten

rreferences />


Satz von Reuschle

Bearbeiten

Der Satz von Reuschle, gefunden und im Jahre 1853 veröffentlicht von dem deutschen Gelehrten Karl Gustav Reuschle, ist ein Lehrsatz der elementaren euklidischen Geometrie und als solcher angesiedelt zwischen Dreiecks- und Kreisgeometrie. Der Satz behandelt eine Fragestellung über Schnittpunkteigenschaften gewisser Dreieckstransversalen, die man in ähnlicher Form etwa im Zusammenhang mit der Euler-Geraden und dem feuerbachschen Neun-Punkte-Kreis antrifft. Der Beweis von Reuschles Lehrsatz beruht auf dem Sekantensatz sowie dem Satz von Ceva und dessen Kehrsatz.

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich in moderner Formulierung angeben wie folgt:[73]

Es seien in der euklidischen Ebene ein Dreieck gegeben sowie ein Kreis , welcher aus jeder Dreiecksseite eine Kreissehne ausschneiden möge.
Dabei sei für den Eckpunkt die in der gegenüberliegenden Dreiecksseite enthaltene Kreissehne die Strecke , also .
Jeder Eckpunkt werde mit den beiden gegenüberliegenden Sehnenendpunkten durch die zugehörigen Ecktransversalen verbunden .
Dann gilt:
Treffen sich die ersten drei Ecktransversalen in einem gemeinsamen Schnittpunkt , so treffen sich die anderen drei Ecktransversalen ebenfalls in einem gemeinsamen Schnittpunkt .


Mit anderen Worten:
Legt man in einem Dreieck der euklidischen Ebene durch einen gegebenen inneren Punkt die drei zugehörigen Ecktransversalen mit den Fußpunkten und schneidet der Umkreis des Fußpunktdreiecks aus den Dreiecksseiten drei Kreissehnen aus, so haben die so gegebenen Ecktransversalen ebenfalls einen gemeinsamen Schnittpunkt .

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Dreiecksgeometrie]]

KKKategorie:Euklidische Geometrie]]

KKKategorie:Satz (Mathematik)|Reuschle]]


Geometrischer Schwerpunkt endlich vieler Punkte im reellen Vektorraum

Bearbeiten

Sind in einem -Vektorraum für eine natürliche Zahl paarweise verschiedene Punkte gegeben, so ist deren geometrischer Schwerpunkt definiert als

  .

In diesen Zusammenhang fällt der Begriff des Schwerpunkts eines -dimensionalen Simplexes . Hat ein solches Simplex die Eckpunkte , so ist sein Schwerpunkt nichts weiter als der geometrische Schwerpunkt seiner Eckpunkte, also:

  .

Der Schwerpunkt eines solchen Simplexes zeichnet sich also dadurch aus, dass seine baryzentrischen Koordinaten in Bezug auf das Simplex alle gleich, nämlich

sind.[74]

Bilden diese endlich vielen verschiedenen Punkte die Menge aller Eckpunkte einer geometrischen Figur im euklidischen Raum, so bezeichnet man den geometrischen Schwerpunkt all dieser auch als Eckenschwerpunkt der Figur.[75] Beispiele hierfür geben insbesondere die Strecke, das Dreieck und das Tetraeder. Für Vierecke gilt nach Pierre de Varignon (1654–1722), dass der Eckenschwerpunkt eines Vierecks zugleich der Mittelpunkt der beiden Mittellinien, also der beiden Verbindungsstrecken gegenüberliegender Seitenmittelpunkte ist.[76][77]

Wegen Dreieck

Bearbeiten

Der Schwerpunkt eines Dreiecks ist sich zudem derjenige eindeutig bestimmte Punkt im Inneren des Dreiecks, dessen drei Verbindungsstrecken zu den Eckpunkten des Dreiecks dieses in drei Teildreiecke gleichen Flächeninhalts aufteilen.[78][79]

Literatur

Bearbeiten

Siehe auch

Bearbeiten

Einzelnachweise und Notizen

Bearbeiten

rrreferences />

KKKategorie:Euklidische Geometrie]]


Satz von Commandino (ergänzt)

Bearbeiten

Der Satz von Commandino ist ein Lehrsatz der Raumgeometrie, welcher auf den italienischen Mathematiker Federigo Commandino (1506–1575)[80][81] zurückgeht. Er behandelt eine elementare Durchschnittseigenschaft der Mittellinien (engl. medians)[82] des allgemeinen Tetraeders. Der Satz ist das dreidimensionale Analogon des Durchschnittssatzes über die Seitenhalbierenden in der Dreiecksgeometrie.

Formulierung des Satzes

Bearbeiten
Gegeben sei ein Tetraeder . Jeder der vier Eckpunkte von ist mit dem Schwerpunkt [83] der gegenüberliegenden Dreiecksfläche durch eine Gerade verbunden, nämlich durch die zu gehörige Mittellinie   .
Dafür gilt:
Der Durchschnitt    der vier Mittellinien besteht aus genau einem Punkt.
Dies ist der Schwerpunkt des Tetraeders .
Dabei beträgt das Teilverhältnis , in dem der Schwerpunkt die Strecke zweiteilt, stets   = 1 : 3   und der Eckpunkt ist stets Eckpunkt der längeren der zwei Teilstrecken.[84]

Verallgemeinerungen

Bearbeiten

Der dem Satz von Commandino entsprechende Sachverhalt gilt für Simplexe beliebiger Dimension:[85]

Ist ein -Simplex beliebiger Dimension im und sind seine Eckpunkte, so treffen sich die Mittellinien   , also die Verbindungsgeraden der -Eckpunkte mit den Schwerpunkten der jeweils gegenüberliegenden -dimensionalen Seitenflächen , genau im Schwerpunkt des -Simplexes.
Dabei ist das Teilverhältnis, in dem der Schwerpunkt die Strecke zweiteilt, gleich     .   ist also Eckpunkt der längeren der zwei Teilstrecken und der Abstand zwischen und ist stets das -fache des Abstandes zwischen und .

Allgemeiner Satz

Bearbeiten

In voller Allgemeinheit gilt sogar der folgende Satz, der eine grundlegende Beziehung ausweist, welche dem Hebelgesetz der Physik entspricht:[86]

Gegeben seien natürliche Zahlen und sowie dazu in einem -Vektorraum   paarweise verschiedene Punkte .
Der Schwerpunkt dieser Punkte sei , während der Schwerpunkt der und derjenige der sein möge.
Dann gilt:
Der Schwerpunkt liegt demnach auf der Strecke und teilt diese im Verhältnis .

Der Lehrsatz von Reusch

Bearbeiten

Der obige allgemeine Satz schließt nicht nur die obige Verallgemeinerung des Satzes von Commandino (und damit diesen selbst) in sich ein,[87] sondern offenbar auch einen weiteren interessanten Satz über die Schwerpunkte der Tetraeder, der nach den Mathematische Unterhaltungen von Friedrich Joseph Pythagoras Riecke[88] auf den Tübinger Professor der Physik Friedrich Eduard Reusch zurückgeht und sich wie folgt darstellen lässt:[89][90]

Man findet den Schwerpunkt eines Tetraeders, indem man zu zwei Paaren gegenüberliegender Kanten die Mittelpunkte bestimmt und die beiden paarweise gegenüberliegenden Kantenmittelpunkte durch die zugehörigen Mittellinien verbindet. Der Schnittpunkt der beiden so gewonnenen Mittellinien ist der Schwerpunkt des Tetraeders.

In Verbindung mit der Tatsache, dass ein Tetraeder genau drei Paare gegenüberliegender Kanten hat, entnimmt man dem Lehrsatz von Reusch noch das folgende Resultat:[89]

In einem Tetraeder schneiden sich die drei zu gegenüberliegenden Kantenmittelpunkten gehörigen Mittellinien in einem Punkt, nämlich im Schwerpunkt des Tetraeders.

Der Lehrsatz von Varignon

Bearbeiten

Im Zusammenhang mit dem obigen allgemeinen Satz ist neben dem Lehrsatz von Reusch auch ein verwandter Lehrsatz von Pierre de Varignon über die Schwerpunkte von Vierecken im euklidischen Raum zu nennen. Dieser Lehrsatz, der auch als Satz von Varignon bezeichnet wird, besagt folgendes:[76][77]

Im sei ein Viereck mit vier verschiedenen Eckpunkten gegeben, welche nicht notwendig in einer Ebene liegen müssen.
Dann gilt:
Die beiden Mittellinien, also die beiden Verbindungsstrecken gegenüberliegender Seitenmittelpunkte, schneiden sich im Eckenschwerpunkt der vier Eckpunkte und werden dabei von diesem jeweils halbiert.

Siehe auch

Bearbeiten

Literatur

Bearbeiten
  • Nathan Altshiller-Court: Modern Pure Solid Geometry. 2. Auflage. Chelsea Publishing Company, Bronx NY 1964, OCLC 1597161.
  • H. S. M. Coxeter: Unvergängliche Geometrie. Ins Deutsche übersetzt von J. J. Burckhardt (= Wissenschaft und Kultur. Band 17). Birkhäuser Verlag, Basel, Stuttgart 1963 (MR0692941).
  • Howard Eves: An Introduction to the History of Mathematics. 5. Auflage. Saunders College Publishing, Philadelphia [u. a.] 1983, ISBN 0-03-062064-3.
  • Egbert Harzheim: Einführung in die Kombinatorische Topologie (= Die Mathematik. Einführungen in Gegenstand und Ergebnisse ihrer Teilgebiete und Nachbarwissenschaften). Wissenschaftliche Buchgesellschaft, Darmstadt 1978, ISBN 3-534-07016-X (MR0533264).
  • Friedrich Joseph Pythagoras Riecke (Hrsg.): Mathematische Unterhaltungen. Zweites Heft. Dr. Martin Sändig, Walluf bei Wiesbaden 1973, ISBN 3-500-26010-1 (Unveränderter Neudruck der Ausgabe Stuttgart 1867–1873).
  • Harald Scheid (Hrsg.): DUDEN: Rechnen und Mathematik. 4., völlig neu bearbeitete Auflage. Bibliographisches Institut, Mannheim - Wien - Zürich 1985, ISBN 3-411-02423-2.

Einzelnachweise und Notizen

Bearbeiten

rrreferences />

KKKategorie:Geometrie]] KKKategorie:Satz (Mathematik)|Commandino]]


Satz von Brune

Bearbeiten

Der Satz von Brune, gefunden und im Jahre 1841 veröffentlicht von einem Berliner Rechnungsrat Brune, ist ein Lehrsatz der elementaren Vierecksgeometrie. Der Satz behandelt und beantwortet die Frage, wie ein konvexes Viereck der euklidischen Ebene konstruktiv in vier Teilvierecke identischen Flächeninhalts aufgeteilt werden kann.[91]

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich formulieren wie folgt:[91]

Gegeben sei ein beliebiges konvexes Viereck der euklidischen Ebene. Auf den beiden Diagonalen und seien und die beiden Mittelpunkte.
Der Punkt sei im Falle , also falls ein Parallelogramm ist, der Punkt , während im anderen Falle derjenige Schnittpunkt sein möge, welcher sich ergibt, wenn man durch jede der beiden Diagonalenmittelpunkte und die Parallele zur jeweils anderen Diagonalen zieht.
Dann gilt:
Verbindet man den Punkt mit den Mittelpunkten der vier Seiten des Vierecks, so wird das Viereck aufgeteilt in vier Teilvierecke, deren Flächeninhalt jeweils des Flächeninhalts von ausmacht.

Literatur

Bearbeiten

Einzelnachweise und Notizen

Bearbeiten

rreferences />

KKKategorie:Vierecksgeometrie]] KKKategorie:Satz (Mathematik)|Brune]]


Gleichung von Euler-Fuß [zuvor Satz von Euler (Sehnen- und Tangentenviereck)]

Bearbeiten

Eines der vielen Resultate von Leonhard Euler in der elementaren Vierecksgeometrie steht im Zusammenhang mit dem Problem, wann in der euklidischen Ebene zu zwei gegebenen ineinanderliegenden Kreisen ein konvexes Viereck existiert, welches sowohl Sehnenviereck des größeren Kreises als auch Tangentenviereck des kleineren Kreises ist. Euler hat dazu eine Gleichung gefunden, welche eng verwandt ist mit der in seinem Satz über den Abstand von Um- und Inkreismittelpunkt eines ebenen Dreiecks. Die erste veröffentlichte Darstellung und Herleitung der Gleichung hat Eulers Sekretär Nikolaus Fuß im Jahre 1798 geliefert.[93][94][95]

Darstellung der Gleichung

Bearbeiten

Zu der Euler-Fuß'schen Gleichung gilt der folgende Lehrsatz, welcher den zugehörigen Satz von Fuss und dessen Umkehrung in sich vereinigt:[96]

Gegeben seien zwei positive Zahlen und sowie zwei Kreise und der euklidischen Ebene , so dass den Radius besitze.
Dabei liege die Kreisscheibe von innerhalb der Kreisscheibe von und es sei .
Der Abstand der beiden Kreismittelpunkte sei .
Dann gilt:
Dann und nur dann existiert in der euklidischen Ebene ein konvexes Viereck mit als Inkreis und als Umkreis, wenn die Gleichung
erfüllt ist.

Anmerkungen

Bearbeiten
  • In Heinrich Dörries Mathematischen Miniaturen wird die Euler-Fuß'sche Gleichung auch unter dem Stichwort Fuß' Vierecksformel genannt. Dörrie gibt dort - unter Verwendung anderer Parameter - die folgende gleichwertige Gleichung an:[95][97]
  • Ein konvexes Viereck, welches sowohl einen Umkreis als auch einen Inkreis besitzt, nennt man Heinrich Dörrie zufolge auch ein bizentrisches Viereck.[97]
  • Heinrich Dörrie verweist in seinem Triumph der Mathematik darauf, dass Nikolaus Fuß ebenso die entsprechenden Formeln für das bizentrische Fünfeck, Sechseck, Siebeneck und Achteck gefunden hat.[98]

Quellen und Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Vierecksgeometrie]] KKKategorie:Satz (Mathematik)|Euler-Fuß, Gleichung von]]


Formel von W. K. B. Holz

Bearbeiten

Die Formel von W. K. B. Holz, benannt nach Walter K. B. Holz (1908–1993), ist eine mathematische Formel, welche im Übergangsfeld zwischen Dreiecksgeometrie und Kreisgeometrie angesiedelt ist und mit deren Hilfe der Radius des inneren Soddy-Kreises eines Dreiecks der euklidischen Ebene berechnet werden kann.[99] Die Formel von Holz steht in direkter Verwandtschaft zum Satz von Descartes.

Darstellung der Formel

Bearbeiten

Die Formel besagt folgendes:[100]

Gegeben sei ein beliebiges Dreieck der euklidischen Ebene .
Es seien - wie üblich - die Seitenlängen mit , der halbierte Umfang mit , der Inkreisradius mit und die drei Ankreisradien mit bezeichnet.
Für sei der jeweilige Kreis um den Eckpunkt mit dem Radius und dabei sei der innere Soddy-Kreis zu diesen drei Kreisen.
Der Radius von sei .
Dann gelten folgende Gleichungen:
(I)
(II)

Erläuterungen, Hinweise und weitere Formeln

Bearbeiten
  • Es wird hier unter einem Kreis stets eine Kreislinie verstanden, also eine -dimensionale kompakte Teilmenge der euklidischen Ebene . Ein Kreis ist danach von der ihm zugehörigen Kreisscheibe , also von seiner konvexen Hülle, zu unterscheiden.
  • Über Soddy-Kreise und zugehörige Fragen zu Berührkreisen haben neben Frederick Soddy auch Jakob Steiner und Ludwig Bieberbach gearbeitet.[101]
  • H. S. M. Coxeter zufolge existiert der oben beschriebene Kreis stets. Coxeter spricht dabei nicht explizit vom inneren Soddy-Kreis, sondern umschreibt diesen. Es ist derjenige Berührkreis der drei Kreise , in dessen Äußerem alle drei Eckpunkte des Dreiecks liegen. Es lässt sich also sagen - und so beschreibt es auch Coxeter - dass der innere Soddy-Kreis derjenige Berührkreis der drei Kreise ist, der von den dreien eingeschlossen wird.[100]
  • Anders als im Falle des inneren Soddy-Kreises muss ein äußerer Berührkreis zu den drei Kreisen , also einer, dessen Kreisscheibe sämtliche Eckpunkte des Dreiecks und die drei enthält, nicht in jedem Falle existieren. Dies gilt Coxeter zufolge insbesondere für den Fall, dass das Dreieck sehr «stumpf» ist.[102]
  • Ist der Mittelpunkt von , so gilt hinsichtlich seiner Abstände zu den drei Eckpunkten des Dreiecks:[103]
(III)
  • Es gilt die folgende Gleichung:[104]
(IV)

Siehe auch

Bearbeiten

Quellen und Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Satz (Mathematik)|Formel von Holz]]


Ergänzung im Artikel zu Leonardo da Vinci

Bearbeiten

In seinen Studien zur Architektur ging Leonardo der Frage nach, wie man einem Gebäude Kapellen und Nischen anfügen könne, ohne die Symmetrie des Gebäudekerns zu zerstören. Dem Mathematiker Hermann Weyl zufolge entdeckte Leonardo dabei ein mathematisches Resultat, das heute als Satz von Leonardo genannt wird und in dem die Frage nach der Struktur gewisser endlicher Isometriegruppen beantwortet wird.[105][106]


Satz von Leonardo

Bearbeiten

Der Satz von Leonardo (englisch Leonardo's Theorem) ist ein Lehrsatz der Absoluten Geometrie, der dem Mathematiker Hermann Weyl zufolge auf Leonardo da Vinci zurückzuführen ist. Der Satz behandelt die Frage der Struktur endlicher Isometriegruppen absoluter Ebenen.[107]

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich in moderner Formulierung angeben wie folgt:[108][109][110]

Gegeben sei eine Ebene der Absoluten Geometrie und zudem eine endliche Gruppe von Isometrien auf .
Dann gilt:
ist entweder eine zyklische Gruppe oder ist isomorph zu einer Diedergruppe. Der erste Fall liegt vor, wenn lediglich aus Drehungen besteht, während der zweite Fall gegeben ist, wenn neben Drehungen mindestens eine Geradenspiegelung enthält, welche nicht die identische Abbildung ist.

Zur Historie des Satzes

Bearbeiten

Nach Hermann Weyl entdeckte Leonardo den Satz, als er in seinen Studien zur Architektur der Frage nachging, wie man einem Gebäude Kapellen und Nischen anfügen könne, ohne die Symmetrie des Gebäudekerns zu zerstören.[108][111][112][113]

Quellen und Literatur

Bearbeiten

Siehe auch

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Absolute Geometrie]] KKKategorie:Satz (Mathematik)|Leonardo]]


Dreibein (Geometrie)

Bearbeiten

In der Geometrie versteht man unter einem Dreibein (englisch trihedron) eine geometrische Figur des euklidischen Raums oder der euklidischen Ebene, welche aus einem gemeinsamen Punkt und drei von diesem Punkt ausgehenden Strecken oder Vektoren der gleichen Länge besteht. Es wird hier im Allgemeinen vorausgesetzt, dass diese Strecken bzw. Vektoren nicht alle auf einer Geraden liegen.

Begriffsbestimmungen und Erläuterungen

Bearbeiten
  • Formal lässt sich ein Dreibein auffassen als ein Quadrupel mit drei paarweise verschiedenen Strecken des , welche allesamt von derselben Länge sind, dabei als gemeinsamen Eckpunkt und ansonsten paarweise keinen weiteren gemeinsamen Punkt haben.
  • Den Punkt bezeichnet man als Scheitelpunkt des Dreibeins .
  • Insbesondere sind die vier Eckpunkte eines Dreibeins nicht kollinear und die neben dem Scheitelpunkt gegebenen Eckpunkte fallen nicht mit dem Punkt zusammen.
  • Für das Dreibein ist also . Dabei wird üblicherweise der zu der Strecke gehörige Vektor mit ihr identifiziert.
  • Die drei Vektoren sind zu je zweien -linear unabhängig und es gilt .
  • Man bezeichnet das zugehörige Quadrupel ebenfalls als Dreibein.
  • Genauso wird auch in Bezug auf das zugehörige Punktequadrupel von einem Dreibein gesprochen.
  • Üblicherweise wird zwischen nicht weiter unterschieden und der Zusammenhang als selbstverständlich gegeben betrachtet.

Besonderheiten

Bearbeiten
  • Sind Strecken in der euklidischen Ebene oder in einer Ebene des euklidischen Raums, so nennt man ein ebenes Dreibein.
  • Sind Strecken im euklidischen Raum, die nicht alle in einer Ebene liegen, so nennt man ein räumliches Dreibein. Dies ist genau dann der Fall, wenn die das Vektorentripel -linear unabhängig ist.
  • Ist ein räumliches Dreibein und stehen paarweise zueinander senkrecht, so nennt man ein orthogonales räumliches Dreibein.
  • Ist ein orthogonales räumliches Dreibein mit , so nennt man ein orthonormiertes räumliches Dreibein. In diesem Falle ist der Scheitelpunkt ein Eckpunkt des von aufgespannten Würfels der Seitenlänge . Man nennt ein orthonormiertes räumliches Dreibein daher manchmal auch eine Würfelecke.
  • In der Regel treten orthonormierte räumliche Dreibeine im euklidischen Anschauungsraum auf. Ist dort ein solches, so bildet das zugehörige Vektorentripel eine Orthonormalbasis des .
  • Dreibeine treten nicht zuletzt in der Darstellenden Geometrie im Zusammenhang mit dem Fundamentalsatz der Axonometrie auf. Hier bezeichnet man ein durch Parallelprojektion entstandenes Abbild eines orthonormierten räumlichen Dreibeins als pohlkesches Dreibein.
  • In der Differentialgeometrie trifft man ein Dreibein in der Regel als begleitendes Dreibein (englisch moving trihedron oder moving frame) einer Raumkurve an, insbesondere im Zusammenhang mit den Frenetschen Formeln. Begleitende Dreibeine entstehen, wenn man zu jedem Kurvenpunkt einer Raumkurve das aus ihm selbst und dem anliegenden Tangenteneinheitsvektor , dem anliegenden Normaleneinheitsvektor sowie den anliegenden Binormaleneinheitsvektor das Quadrupel bildet. Dabei bildet das Vektorentripel stets ein Rechtssystem.
  • In der Differentialgeometrie werden in Verallgemeinerung der begleitenden Dreibeine zu allgemeinen Raumkurven die begleitenden (Frenet-)n-Beine untersucht.

Abgrenzung

Bearbeiten

Die im Englischen für ein Dreibein benutzte Bezeichnung trihedron legt nahe, ein Dreibein mit einem Trieder gleichzusetzen, also mit einem von drei ebenen Flächen begrenzten Polyeder im . In der deutschsprachigen mathematischen Fachliteratur ist diese Gleichsetzung nicht allgemein üblich. Folgt man etwa György Hajós und seiner Darstellung in der Einführung in die Geometrie, so ist ein Trieder eine spezielle unbeschränkte geometrische Figur des . Hajós beschreibt diese als dreikantige konvexe Ecke bzw. als dreiseitige unendliche Pyramide oder kurz als Dreikant und meint damit die konvexe Hülle dreier von einem gemeinsamen Raumpunkt ausgehender Strahlen, die außer keinen weiteren Raumpunkt gemeinsam haben. Als Beispiele für solche Trieder nennt er die Oktanten des .[114]

Literatur

Bearbeiten

Siehe auch

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />


KKKategorie:Geometrie]] KKKategorie:Mathematischer Grundbegriff]]


Satz des Apollonios (BKL) [statt Weiterleitung]

Bearbeiten

In der Mathematik sind mit dem Namen des antiken griechischen Mathematikers Apollonios von Perge verschiedene Resultate verbunden. Dazu zählen etwa:


KK Begriffsklärung KK


Satz von Pohlke

Bearbeiten

Der Satz von Pohlke, auch Fundamentalsatz der Axonometrie oder Hauptsatz der Axonometrie genannt, ist ein Lehrsatz des mathematischen Teilgebiets der Darstellenden Geometrie. Er geht auf den Karl Wilhelm Pohlke zurück und behandelt eine grundlegende Fragestellung der Axonometrie.

Formulierung des Satzes

Bearbeiten
Satz von Pohlke

Der Satz lässt sich zusammengefasst angeben wie folgt:

(P) Jedes beliebige ebene Dreibein des euklidischen Raums , dessen Strecken nicht alle auf einer Geraden liegen, kann aufgefasst werden als das durch eine Parallelprojektion entstandene Abbild eines orthonormierten räumlichen Dreibeins.
Etwas allgemeiner ausgedrückt:
(P') Drei in einer Ebene des von einem gegebenen Punkt ausgehende Strecken beliebiger Länge und beliebiger Richtung können aufgefasst werden als Parallelprojektion von drei in einem weiteren gegebenen Punkt zusammenstoßenden Würfelkanten, sofern vorausgesetzt ist, dass höchstens drei der erstgenannten Punkte kollinear sind.
Ganz allgemein gilt sogar:
(PS) Sind im dreidimensionalen euklidischen Raum eine Ebene und zudem zwei Punkte und gegeben und gehen von ersterem drei beliebige Strecken aus, die zwar als gemeinsamen Eckpunkt haben, jedoch in keiner gemeinsamen Ebene liegen,
während von letzterem drei weitere beliebige Strecken ausgehen, die zwar als gemeinsamen Eckpunkt haben, jedoch – obwohl in der Ebene liegend – nicht kollinear sind,
so gibt es stets
eine Ähnlichkeitsabbildung sowie
eine Raumbewegung und schließlich
eine Parallelprojektion ,
so dass die verkettete Abbildung den Eckpunkt auf den anderen Eckpunkt und dabei auf abbildet.

Anmerkungen zur Historie des Satzes

Bearbeiten

Pohlke hat den Fundamentalsatz etwa 1853 gefunden. Sein ursprünglicher Beweis war außergewöhnlich kompliziert und blieb unveröffentlicht.[115] Hermann Amandus Schwarz, der ein Schüler Pohlkes war, publizierte den ersten vollständigen Beweis im Jahre 1864 und lieferte hierbei auch die oben vorgetragene allgemeinere Darstellung (PS). Den Fundamentalsatz – und ihm gleichwertige Darstellungen – bezeichnen daher manche Autoren auch Satz von Pohlke und Schwarz[116] (englisch Pohlke-Schwarz theorem[117]).

Korollar

Bearbeiten

Aus dem Fundamentalsatz lässt sich das folgende Korollar gewinnen, welches hinsichtlich seiner Aussagekraft als diesem gleichwertig betrachtet werden kann:[116][117]

(PS') Jedes in einer Ebene liegende vollständige Viereck kann aufgefasst werden als ein durch Parallelprojektion entstandenes Abbild eines Tetraeders , welches einem gegebenen Tetraeder ähnlich ist.[118]

Literatur

Bearbeiten

Einzelnachweise und Notizen

Bearbeiten

rrreferences />

KKKategorie:Satz (Mathematik)|Pohlke]] KKKategorie:Darstellende Geometrie]]

Satz von Pilatte (?????) oder Pilatte-Satz

Bearbeiten

Der Satz von Pilatte ist ein Lehrsatz des mathematischen Teilgebiets der Geometrie.

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich zusammengefasst angeben wie folgt:

Gegeben ...

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rrreferences />

KKKategorie:Satz (Mathematik)|Pilatte]] KKKategorie:Darstellende Geometrie]]


Apollonios-Gleichung

Bearbeiten

Die Apollonios-Gleichung[119] ist ein mathematischer Lehrsatz, welcher sowohl dem mathematischen Teilgebiet der Geometrie als auch dem der Funktionalanalysis zugehört. Sie wird dem antiken griechischen Mathematiker Apollonios von Perge zugerechnet und behandelt eine grundlegende metrische Beziehung zwischen Seiten und Seitenhalbierenden von Dreiecken. Die Gleichung ist eng verwandt mit der pythagoreischen Gleichung. In der Elementargeometrie spricht man im Zusammenhang mit dieser Gleichung auch vom Satz von der Seitenhalbierenden[120] oder vom Satz von Apollonios[121]. Hier ergibt sich aus der Apollonios-Gleichung in direkter Folgerung ein bekannter Satz von Leonhard Euler.

Formulierung

Bearbeiten

Die Apollonios-Gleichung lässt sich formulieren wie folgt:[119]

Für drei Punkte eines Innenproduktraums , welcher mit der aus dem inneren Produkt dieses Raums herrührenden Norm versehen ist, gilt stets:
(AG-1)     .

Erläuterungen, Anmerkungen und Folgerungen

Bearbeiten
  • Die Apollonios-Gleichung ist eine direkte Folgerung aus der Parallelogrammgleichung,[122] welche sich ihrerseits unmittelbar - nämlich für - aus der Apollonios-Gleichung ergibt.
  • Ist hierbei die euklidische Ebene, versehen mit der euklidischen Norm, und liegt ein Dreieck vor, für welches – wie üblich - die Seitenlängen mit und die Länge der zum Punkte gehörigen Seitenhalbierenden mit benannt werden, so schreibt sich (AG-1) in der Form
(AG-2a)       ,
womit sich[123] die bekannte (gleichwertige!) Formel
(AG-2b)    
ergibt.[124]
  • Bildet man die entsprechenden Formeln für die beiden anderen Dreiecksseiten und deren Seitenhalbierenden, so gewinnt man - nach Äquivalenzumformungen - die drei Gleichungen
(AG-3a)    
(AG-3b)    
(AG-3c)    
  • Es folgt daraus unmittelbar:
(AG-F1)     [121]
(AG-F2)     [121]
(AG-F3)     Ist speziell ein rechtwinkliges Dreieck der euklidischen Ebene und die Länge der Hypotenuse, so gilt nach dem Satz des Thales und damit die pythagoreische Gleichung.

Siehe auch

Bearbeiten

Literatur

Bearbeiten

Fußnoten und Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Funktionalanalysis]] KKKategorie:Satz (Mathematik)|Apollonios-Gleichung]]


Satz von Dehn (Sehr unfertig)

Bearbeiten

Der Satz von Dehn ist ein Lehrsatz auf dem mathematischen Teilgebiet der Elementargeometrie, welches auf den Mathematiker Max Dehn zurückgeht. Der Satz behandelt die Frage, wie für geometrische Körper im euklidischen Raum Zerlegungsgleichheit und Volumensgleichheit zusammenhängen.[125]

Formulierung des Satzes

Bearbeiten

Der Satz besagt folgendes:

Im dreidimensionalen euklidischen Raum sind ein Würfel und ein Tetraeder gleichen Rauminhalts nicht zerlegungsgleich.

Quellen und Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Satz (Mathematik)|Dehn]]

Winkel in der bernoullischen Lemniskate (Satz von Vechtmann)

Bearbeiten

Der Satz von Vechtmann ist ein Lehrsatz, der dem mathematischen Teilgebiet der Analytischen Geometrie zuzurechnen ist und der auf den Mathematiker Gerhard Christoph Hermann Vechtmann[126] zurückgeht. Dem italienischen Mathematikhistoriker Gino Loria zufolge hat Vechtmann den Satz in seiner Dissertation im Jahre 1843 dargestellt. Der Satz formuliert - so Loria - eine sehr bemerkenswerte Beziehung zwischen gewissen Winkeln in der bernoullischen Lemniskate.[127][128]

Formulierung des Satzes

Bearbeiten

Sie lässt sich angeben wie folgt:[127][129]

Gegeben sei in der euklidischen Ebene eine bernoullische Lemniskate mit den beiden definierenden Brennpunkten und und dem Zentrum .
Weiter gegeben sei ein Punkt , der nicht auf der Verbindungsgeraden durch und gelegen sei.
Die Normale zu im Punkte schneide in dem Punkt .
Dann gilt:
Der beim Punkt am Dreieck anliegende Außenwinkel ist dreimal so groß wie der beim Zentrum gelegene Innenwinkel .

Anmerkungen

Bearbeiten
  • Die genannte Winkelbeziehung ist nach dem Außenwinkelsatz gleichbedeutend damit, dass der zugehörige Innenwinkel beim Punkt doppelt so groß ist wie besagter Zentrumswinkel.[129]
  • Laut Gino Loria ist die Winkelbeziehung insofern bemerkenswert, als sie nicht nur eine leichte Konstruktionsmethode für die Normale in einem beliebigen Punkte der Lemniskate liefert (und daher auch für die Tangente), sondern auch beweist, daß das Problem der Dreiteilung des Winkels der Hauptsache nach identisch mit dem ist, an eine Lemniskate eine Normale bzw. eine Tangente von gegebener Richtung zu ziehen.[127]

Beweis nach Loria

Bearbeiten

Der von Loria gegebene Beweis beruht wesentlich auf den beiden Gleichungen der Lemniskate und auf den Additionstheoremen für Vielfachwinkel von Sinus und Kosinus und geht wie folgt:

Es wird die Normalform der Lemniskate als gegeben angenommen, bei der die Gerade mit der Abszissenachse zusammenfällt und das Zentrum mit dem Koordinatenursprung.

Die definierende Gleichung von in kartesischen Koordinaten lässt sich dann schreiben als

(I)

und die in Polarkoordinaten in der Form

(II)

mit als Polarwinkel und als Abstand zum Koordinatenursprung.

Aus Symmetriegründen genügt es, den Satz für denjenigen Teil der Lemniskate, welcher im ersten Quadranten gelegen ist, also für und zu zeigen, und es ist weiterhin ausreichend, den Nachweis der behaupteten Gleichung allein zu führen für   , also unter Ausschluss des dortigen Hochpunktes, bei dem die Tangente an die Lemniskate parallel und die zugehörige Normale senkrecht zur Abszissenachse verlaufen. Denn für diesen Ausnahmefall folgt die Gleichung dann aus Stetigkeitsgründen.

Es sei nun besagter Außenwinkel mit bezeichnet.

Indem man in Rechnung stellt, dass einerseits im ersten Quadranten besagter Zentrumswinkel und der Polarwinkel des Punktes bei der Darstellung in Polarkoordinaten zusammenfallen und dass andererseits die reelle Tangensfunktion im punktierten Intervall injektiv ist, sieht man, dass allein die Gleichung

zu zeigen ist.

Der Beweis dieser Gleichung verläuft nun in mehreren Rechenschritten:

Zunächst erhält man vermöge impliziter Differentiation aus (I)

und daraus

  .

Nun ist

und wegen und ergibt sich dann die Gleichung

  .

und wegen (II) weiter

  .

Da man zugleich hat, folgt weiter

  .

Schließlich ist dann wegen der erwähnten Vielfachwinkelgleichungen

und alles ist gezeigt.

Literatur

Bearbeiten
  • G. M. Fichtenholz: Differential- und Integralrechnung I (= Hochschulbücher für Mathematik. Band 61). 3., unveränderte Auflage. VEB Deutscher Verlag der Wissenschaften, Berlin 1968, S. 484–485 (MR0238635).
  • Alexander Ostermann, Gerhard Wanner: Geometry by Its History (= Undergraduate Texts in Mathematics. Readings in Mathematics). Springer Verlag, Heidelberg / New York / Dordrecht / London 2012, ISBN 978-3-642-29162-3, S. 207–208, doi:10.1007/978-3-642-29163-0 (MR2918594 Google books.google.de).
  • Gino Loria: Spezielle algebraische und transzendente ebene Kurven: Theorie und Geschichte. Erster Band: Die algebraischen Kurven (= B. G. Teubners Sammlung von Lehrbüchern auf dem Gebiete der mathematischen Wissenschaften mit Einschluß ihrer Anwendungen. V,1). 2. Auflage. B. G. Teubner Verlag, Leipzig / Berlin 1910.
  • G. C. H. Vechtmann: Diss. inaug. phil. de curvis lemniscatis. Göttingen 1843 (books.google.de).

Einzelnachweise und Fußnoten

Bearbeiten

Kreferences />


KKKategorie:Satz (Mathematik)|Vechtmann]] KKKategorie:Analytische Geometrie]]


Dreispiegelungssatz

Bearbeiten

Der Dreispiegelungssatz ist ein mathematischer Lehrsatz der Geometrie, welcher sowohl der Elementargeometrie als auch Spiegelungsgeometrie angehört. Der Satz behandelt die wichtige Frage der Verkettung von Spiegelungen in der euklidischen Ebene.

Formulierung des Satzes

Bearbeiten

Der Satz besagt folgendes:[130][131][132][133]

In der euklidischen Ebene ist die Verkettung von drei Spiegelungen ihrerseits eine solche genau dann, wenn die drei Spiegelachsen im Büschel liegen; also dann und nur dann, wenn die drei beteiligten Geraden parallel sind oder einen gemeinsamen Schnittpunkt haben.
Ist die genannte Bedingung erfüllt, so gehört die Spiegelachse des Verkettungsprodukts demselben Büschel an, ist also den Achsen der drei gegebenen Spiegelungen parallel oder geht durch deren gemeinsamen Schnittpunkt.

Folgerung aus dem Dreispiegelungssatz

Bearbeiten

Der Dreispiegelungssatz zieht den folgenden Darstellungssatz nach sich:[134][135]

In der euklidischen Ebene ist jede Kongruenzabbildung selbst eine Spiegelung oder kann als Verkettung von zwei oder drei Spiegelungen dargestellt werden.
Verkürzend sagt man auch:
Jede ebene Kongruenzabbildung ist eine Spiegelung oder eine Doppelspiegelung oder eine Dreifachspiegelung.
Damit sind für eine ebene Kongruenzabbildung allein die folgenden vier Fälle möglich:
Sie ist eine Spiegelung.
Sie ist eine Verschiebung, also eine Doppelspiegelung an parallelen Spiegelachsen.
Sie ist eine Drehung, also eine Doppelspiegelung an sich schneidenden Spiegelachsen.
Sie ist eine Schubspiegelung, also die Verkettung einer Spiegelung mit einer Verschiebung in Richtung der Spiegelachse.

Entsprechendes Ergebnis in der Raumgeometrie

Bearbeiten

Für Kongruenzabbildungen im dreidimensionalen euklidischen Raum gilt ein entsprechender Satz, der sogenannte Darstellungssatz für räumliche Bewegungen:[136]

Eine räumliche Bewegung ist stets darstellbar als Verkettung von höchstens vier Ebenenspiegelungen. Besitzt eine räumliche Bewegung einen Fixpunkt, so reichen dazu bereits drei Ebenenspiegelungen aus.

Hier ist dann insbesondere die Entsprechung zum ebenen Dreispiegelungssatz gültig:[137]

Sind die Spiegelebenen dreier Ebenenspiegelungen zueinander parallel oder gehen sie durch eine gemeinsame Gerade, so ist ihre Verkettung ebenfalls eine Ebenenspiegelung.

In diesem Zusammenhang fällt auch der folgende interessante Satz über räumliche Drehungen von Leonhard Euler aus dem Jahre 1776:[138]

Haben die beiden Drehachsen zweier räumlicher Drehungen einen gemeinsamen Schnittpunkt, so ist die Verkettung beider ebenfalls eine Drehung und deren Drehachse geht ihrerseits durch diesen Schnittpunkt.

Quellen und Literatur

Bearbeiten

Einzelnachweise und Fußnoten

Bearbeiten

Kreferences />

KKKategorie:Satz (Mathematik)|Dreispiegelungssatz]] KKKategorie:Geometrie]]


Satz von Monge (Elementargeometrie)

Bearbeiten

Der Satz von Monge ist ein Lehrsatz der Elementargeometrie, welcher auf den französischen Mathematiker Gaspard Monge zurückgeht. Der Satz behandelt eine Eigenschaft von Kreisen der euklidischen Ebene im Zusammenhang mit zentrischen Streckungen.

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich angeben wie folgt:[139][140][141]

Für je drei Kreise der euklidischen Ebene mit verschiedenen Radien, welche man durch zentrische Streckung paarweise ineinander überführt, sind die drei äußeren Streckzentren stets auf einer Geraden gelegen.

Erläuterungen

Bearbeiten
  1. In der euklidischen Ebene liegen zwei Kreis getrennt, wenn die zugehörigen Kreisscheiben disjunkt sind.
  2. In der euklidischen Ebene erhält man das äußere Streckzentrum zweier getrennt liegender Kreisen mit unterschiedlichen Radien als Schnittpunkt der beiden äußeren Kreistangenten. Dieser Punkt liegt also nicht auf der Verbindungsstrecke der beiden Kreismittelpunkten.

Historische Anmerkung

Bearbeiten
  1. Der Satz wurde von Jean-Baptiste le Rond d’Alembert behauptet und dann von Gaspard Monge bewiesen.

Literatur

Bearbeiten
Bearbeiten

Einzelnachweise

Bearbeiten

Kreferences />

KKKategorie:Geometrie]]


Satz von Harriot (noch unfertig)

Bearbeiten

Der Satz von Harriot ist ein Lehrsatz der Sphärischen Geometrie, welcher auf den englischen Mathematiker Thomas Harriot zurückgeht. Der Satz beinhaltet die Formel des Flächeninhalts eines sphärisches Dreiecks auf der Einheitssphäre im dreidimensionalen euklidischen Raum.

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich angeben wie folgt:[142]

Gegeben seien drei verschiedene Punkte der Einheitssphäre , welche nicht auf einem einzigen Großkreis liegen, wobei das von ihnen gebildete Dreieck mit den beträgt die ..
Gegeben seien drei verschiedene Punkte , welche nicht auf einem Großkreis der Einheitssphäre liegen, und das von ihnen gebildete des Der Flächeninhalt eines Dreiecks mit den beträgt die ..

Anmerkungen

Bearbeiten
  1. Der Satz beruht auf der Tatsache, dass ein sphärisches Zweieck
  2. Der Satz beruht auf der Tatsache, dass ein sphärisches Zweieck

Literatur

Bearbeiten

Einzelnachweise

Bearbeiten

Kreferences />

KKKategorie:Sphärische Geometrie]] KKKategorie:Satz (Mathematik)|Harriot]]




Fünfecksatz

Bearbeiten

Der Fünfecksatz, englisch Pentagon theorem, ist ein Lehrsatz aus dem mathematischen Teilgebiet der Analytischen Geometrie. Er behandelt eine Eigenschaft gewisser Fünfecke im -dimensionalen euklidischen Raum.

Formulierung des Satzes

Bearbeiten

Der Satz besagt folgendes:[143]

Bilden fünf gleich lange Vektoren im ein geschlossenes Fünfeck derart, dass die von diesen Vektoren eingeschlossenen Winkel ebenfalls gleich sind, so sind sie komplanar.
In Kurzform:
Ein räumliches Fünfeck mit lauter gleich großen Winkeln und Seiten ist notwendigerweise ein ebenes geometrisches Gebilde.

Anmerkungen

Bearbeiten
  1. Der im Fünfecksatz dargestellte Sachverhalt lässt sich weder auf Vierecke noch für Vielecke mit sechs oder mehr Eckpunkten übertragen: Hier findet man solche Vielecke mit lauter gleich großen Winkeln und Seiten, deren Eckpunkte dennoch nicht in einer Ebene liegen.[144]
  2. Ostermann und Wanner nennen den Satz auch als Fünfecksatz von van der Waerden (englisch van der Waerden’s pentagon theorem). Der erste strenge Beweis des Satzes soll jedoch nicht in der im Jahre 1970 von Bartel Leendert van der Waerden vorgelegten Arbeit (s. u.) gegeben worden sein, sondern schon im Jahre 1961 in einer russischen Fachzeitschrift, nachdem der Satz durch ein im Jahre 1957 von dem russischen Mathematiker Wladimir Igorewitsch Arnold gestelltes Problem nahegelegt worden war. Van der Waerden selbst wurde auf den Satz aufmerksam durch Gespräche mit dem britischen Chemiker Jack David Dunitz. Von Chemikern war die Gültigkeit des Fünfecksatzes nach Untersuchungen der Arsenverbindungen (AsCH3)n offenbar schon lange vermutet worden.[145]
  3. Einen kurzen elementaren Beweis des Satzes mittels Volumenberechnungen unter Benutzung der gramschen Determinante legte im Jahre 1972 der Mathematiker Stanislav Šmakal vor.[146]
  4. Voneinander unabhängig fanden die beiden Mathematiker Gerrit Bol und Harold Scott MacDonald Coxeter im Jahre 1970 einen eleganten Beweis des Fünfecksatzes, welcher auf dem von Leonhard Euler gegebenen Satz basiert, dass die orientierungserhaltenden orthogonalen Abbildungen des -dimensionalen euklidischen Raum auf sich exakt den Raumdrehungen entsprechen.[147]

Quellen und Literatur

Bearbeiten

Einzelnachweise und Fußnoten

Bearbeiten

Kreferences />


KKSORTIERUNG:Funfecksatz}} KKKategorie:Satz (Mathematik)]] KKKategorie:Analytische Geometrie]]

Satz von Euler (Dreiecksgeometrie - schon vorhanden)

Bearbeiten

Der Satz von Euler der Dreiecksgeometrie ist ein geometrischer Lehrsatz, der Identitäten zwischen den Abständen der einem Dreieck der euklidischen Ebene zugehörigen Kreismittelpunkte angibt.[148]

Formulierung des Satzes

Bearbeiten

Der Satz lautet wie folgt:

Gegeben sei ein Dreieck     der euklidischen Ebene
und es seien mit
-     der Mittelpunkt des Umkreises und     der zugehörige Radius ,
-     der Mittelpunkt des Inkreises und     der zugehörige Radius ,
-     der Mittelpunkt des dem Eckpunkt     gegenüberliegenden Ankreises und     der zugehörige Radius    
bezeichnet.
Dann gelten die Gleichnungen:

Verwandtes Resultat zum Neun-Punkte-Kreis

Bearbeiten

Hinsichtlich des durch den Satz von Feuerbach gegebenen Neun-Punkte-Kreises gilt ein verwandtes Resultat:

Bezeichnet man mit
-     den Mittelpunkt des Neun-Punkte-Kreises und mit     den zugehörigen Radius,
so gilt:

Einzelnachweise und Fußnoten

Bearbeiten

Kreferences />


KKKategorie:Ebene Geometrie]] KKKategorie:Satz (Mathematik)|Leibniz, Satz von (Euklidische Geometrie)]]



Satz von Apollonios

Bearbeiten

Der Satz von Apollonios (oder auch Satz des Apollonios) ist ein klassischer Lehrsatz der Analytischen Geometrie, einem der Teilgebiete der Mathematik. Er geht auf den antiken griechischen Mathematiker Apollonios von Perge zurück und behandelt metrische Eigenschaften der konjugierten Durch- und Halbmessern der Ellipsen in der euklidischen Ebene.

Formulierung des Satzes

Bearbeiten

Der Satz besteht aus zwei Teilsätzen, die auch erster und zweiter Satz von Apollonios genannt werden und die folgendermaßen anzugeben sind:[149]

Gegeben sei eine Ellipse der euklidischen Ebene mit Haupt- und Nebenachsen der Längen .[150]
Dann gilt:
Erster Satz von Apollonios: Für jedes Paar von konjugierten Durch- und Halbmessern der Ellipse ist die Quadratsumme der jeweiligen Längen stets gleich. Dabei gilt für ein Paar von konjugierten Halbmessern der Längen stets  .
Zweiter Satz von Apollonios: Für jedes Paar von konjugierten Halbmessern besitzt das von diesen innerhalb der Ellipse aufgespannte Dreieck stets denselben Flächeninhalt , nämlich  .

Zur Herleitung

Bearbeiten

Sowohl der erste als auch der zweite Satz lassen sich schon mit Mitteln der Schulmathematik herleiten.[151]

Dabei kann man für den ersten Satz o.B.d.A. davon ausgehen, dass die Ellipse als Teilmenge der reellen Koordinatenebene betrachtet werden kann, deren Mittelpunkt der Ursprung ist, wobei     als Parameterdarstellung ihres Randbogens zugrundegelegt wird.

Sind also     und     die Endpunkte eines Paars von konjugierten Halbmessern der Längen   und   , so erhält man unmittelbar die folgende Gleichungskette:

und damit den ersten Satz.


Dabei ist für den Hintergrund des zweiten apollonischen Satzes bedeutsam, dass man hier - wie dies etwa die Ellipsenachsenkonstruktion nach Rytz von Brugg‎ nahelegt - die Ellipse auch als kompaktes Flächenstück der reellen Koordinatenebene auffassen kann, die als senkrecht achsenaffines Bild der um den Ursprung gegebenen abgeschlossenen Kreisscheibe vom Radius entsteht.

Die dabei herangezogene lineare Transformation  

ist ein Homöomorphismus der Koordinatenebene auf sich selbst.

Folglich erhält man unter Anwendung des Transformationssatzes für den Flächeninhalt eines jeden kompakten Flächenstücks

und damit insbesondere

sowie

 .

Genauso beweist man, dass der Flächeninhalt der gesamten Ellipse

beträgt.[152]

Alternative Formulierungen

Bearbeiten

Im Bronstein wird der Satz des Apollonios auf andere Weise angegeben. Hier wird nämlich anstelle der Identitätsgleichung des obigen zweiten Satzes des Apollonios die folgende formuliert:[153]

Sind in der Ellipse für ein Paar von konjugierten Halbmessern   und die spitzen Winkel dieser beiden mit der Hauptachse, so gilt stets  .

In einer dritten Version tritt der zweite Satz des Apollonios in Band IV der Enzyklopädie der Elementarmathematik in Erscheinung. Diese lässt sich etwa wie folgt darstellen:[154]

Wird der Ellipse zu einem Paar von konjugierten Durchmesser das zugehörige Parallelogramm umbeschrieben[155], dessen Seiten paarweise parallel zu einem der beiden konjugierten Durchmesser sind, so hat stets denselben Flächeninhalt , nämlich  .


Literatur

Bearbeiten

Einzelnachweise und Fußnoten

Bearbeiten

Kreferences />

KKKategorie:Analytische Geometrie]] KKKategorie:Satz (Mathematik)|Apollonios]]

Volumenformel des allgemeinen Tetraeders (Erweiterung)

Bearbeiten

Die Volumenformel des allgemeinen Tetraeders ist eine mathematische Formel der Stereometrie. Sie wurde von Leonhard Euler (1707–1793) in dessen berühmter Abhandlung E 231 (Demonstratio nonnullarum insignium proprietatum quibus solida hederis planis inclusa sunt praedita.) angegeben.[156][157]. Euler behandelt und löst unter Punkt 20 dieser Abhandlung das Problem, eine Formel für das Volumen des allgemeinen Tetraeders allein unter Bezug auf die Längen der sechs Tetraederkanten anzugeben.[158] Der Volumenformel des allgemeinen Tetraeders liegt also die gleiche Aufgabenstellung zugrunde wie der zur Formel von Heron in der Dreiecksgeometrie.

Die Eulerformel

Bearbeiten
Gegeben sei ein Tetraeder , also eine Pyramide mit dreieckiger Grundfläche. Die zur dreieckigen Grundfläche gehörigen -Kanten seien mit bezeichnet und die im Raum gegenüberliegenden drei -Kanten mit .
Weiter sei für jede -Kanten die Länge dieser Kante mit bezeichnet.
Dann gilt für das Tetraedervolumen :
mit

Vereinfachte Eulerformel bei Gleichschenkligkeit und Regularität

Bearbeiten

Für gleichschenkliges Tetraeder gilt bei jeder der sechs -Kanten . Hier vereinfacht sich die Eulerformel wie folgt:[159]

  .[160]

Hieraus ergibt sich unmittelbar die bekannte Volumenformel für das reguläre Tetraeder:

  .[161]

Determinantendarstellung

Bearbeiten

Zur Darstellung des Tetraedervolumens lassen sich in eleganter Weise auch die folgenden Identitäten benutzen, welche auf Determinanten symmetrischer Matrizen beruhen:[162][163][164]

Die dabei zuerst auftretende Determinante nennt man (nach den beiden Mathematikern Arthur Cayley und Karl Menger) auch eine Cayley–Menger-Determinante.

Anwendung der Cayley–Menger-Determinante

Bearbeiten

Die Cayley–Menger-Determinantendarstellung des Tetraedervolumens kann herangezogen werden, um einen klassischen Lehrsatz von Leonhard Euler zu formulieren, nämlich den sogenannten Vierpunktesatz von Euler :[165]

Vier (nicht notwendig voneinander verschiedene) Raumpunkte liegen genau dann in einer Ebene, wenn die Beziehung
gilt, wobei jeweils den euklidischen Abstand der Punkte und bezeichnet.

Die Aussage des eulerschen Vierpunktesatzes ist demnach die folgende:

Vier Raumpunkte liegen genau dann in einer Ebene, wenn das von ihnen gebildete Tetraeder ausgeartet ist und damit das Volumen hat.

Literatur

Bearbeiten

Originalarbeiten

Bearbeiten
  • Leonhard Euler: Demonstratio nonnullarum insignium proprietatum quibus solida hederis planis inclusa sunt praedita. In: Novi commentarii academiae scientiarum Petropolitanae. Band 4, März 1752, S. 140–160.

Monographien

Bearbeiten

Einzelnachweise und Fußnoten

Bearbeiten

Kreferences />

KKKategorie:Geometrie]] KKKategorie:Raumgeometrie]]



Monge-Punkt

Bearbeiten

Der Monge-Punkt ist ein Gegenstand der Raumgeometrie. Er ist nach dem französischen Mathematiker Gaspard Monge benannt, welcher diesen ausgezeichneten Punkt des allgemeinen Tetraeders als erster beschrieben und durch den im Folgenden dargestellten Satz von Monge charakterisiert hat.[166][167][168]

Satz und Definition

Bearbeiten
Gegeben sei ein Tetraeder mit Kanten . Für jede -Kante sei der jeweilige Mittelpunkt und die gegenüberliegende -Kante. Durch liegt jeweils genau eine Ebene derart, dass und exakt senkrecht zueinander sind.
Dafür gilt:
Der Durchschnitt besteht aus genau einem Punkt .

Dieser eindeutig bestimmte Punkt ist der Monge-Punkt von .

Die oben beschriebenen Ebenen   werden auch als Monge-Ebenen (engl. Monge planes) bezeichnet.[169] Mit diesen lässt sich der Satz von Monge in aller Kürze wie folgt wiedergeben:

In einem Tetraeder schneiden sich die Monge-Ebenen in einem Punkt, nämlich im Monge-Punkt .

Der Satz von Mannheim

Bearbeiten

Zur Charakterisierung des Monge-Punkts lässt sich auch der folgende Satz heranziehen, welcher auf den französischen Mathematiker Amédée Mannheim zurückgeht:[170]

Legt man in dem Tetraeder durch jede der vier Höhen sowie den Höhenschnittpunkt des jeweils zugehörigen senkrecht stehenden Seitendreiecks die (damit eindeutig bestimmte) Ebene, so haben die auf diese Weise gegebenen vier Ebenen den Monge-Punkt als Schnittpunkt.

Lage auf der Eulerschen Geraden

Bearbeiten

Im allgemeinen Tetraeder ist die Eulersche Gerade (engl. Euler line) diejenige Gerade , welche den Schwerpunkt von und den Mittelpunkt der Umkugel von verbindet. Der Monge-Punkt erweist sich als derjenige ausgezeichnete Punkt des allgemeinen Tetraeders , welcher in Bezug auf spiegelbildlich zum Punkte auf der Geraden liegt . Anders gesagt: Der Monge-Pungt liegt im allgemeinen Tetraeder auf der Geraden jenseits von derart, dass der Mittelpunkt der Strecke ist[169][167][171].

Literatur

Bearbeiten
  • H. F. Thompson: A Geometrical Proof of a Theorem connected with the Tetrahedron. In: Proc. Edinb. Math. Soc. (Series I). Vol. 27, 1908, S. 51–53 (englisch).

Monographien

Bearbeiten
  • Nathan Altshiller-Court: Modern Pure Solid Geometry. 2. Auflage. Chelsea Publishing Company, Bronx, NY 1964, OCLC 1597161.
  • Howard Eves: An Introduction to the History of Mathematics. 5. Auflage. Saunders College Publishing, Philadelphia [u.a.] 1983, ISBN 0-03-062064-3.
  • Heinrich Schröter: Theorie der Oberflächen zweiter Ordnung und der Raumkurven dritter Ordnung als Erzeugnisse projektivischer Gebilde. Teubner, Leipzig 1880.

Einzelnachweise

Bearbeiten

Kreferences />


KKKategorie:Raumgeometrie]] KKKategorie:Geometrie]] KKategorie:Gaspard Monge]]

Brunn-Minkowski-Ungleichung

Bearbeiten

Die Brunn-Minkowski-Ungleichung bzw. der Satz von Brunn und Minkowski, benannt nach den beiden Mathematikern Hermann Brunn und Hermann Minkowski, ist ein klassischer Lehrsatz auf dem mathematischen Teilgebiet der Konvexgeometrie. Die Ungleichung setzt das Lebesgue-Maß der Minkowski-Summe zweier kompakter Teilmengen des n-dimensionalen euklidischen Raums in Relation zum Lebesgue-Maß dieser beiden Teilmengen. Sie hat zahlreiche Anwendungen und zieht insbesondere die isoperimetrische Ungleichung nach sich.[172][173][174][175][176][177][178]

Darstellung der Ungleichung

Bearbeiten

Die Ungleichung besagt zusammengefasst Folgendes:

(1) Bildet man im mit dem Lebesgue-Maß für zwei nichtleere kompakte Teilmengen
die Menge aller aus zwei Elementen von bzw. bildbaren Summen,
so gilt für die dadurch gegebene Minkowski-Summe
die Ungleichung
 .
(2) Sind darüber hinaus und sogar konvexe Körper,
so gilt für jede reelle Zahl mit die Ungleichung
 .

Erläuterungen und Anmerkungen

Bearbeiten

(a) Für zwei nichtleere kompakte Teilmengen ist auch die Minkowski-Summe stets eine kompakte Teilmenge des und insbesondere Lebesgue-messbar.

(b) Für eine nichtleere kompakten Teilmenge und eine beliebige reelle Zahl ist die Menge der mit multiplizierten Elemente von ebenfalls stets eine kompakte Teilmenge des und insbesondere Lebesgue-messbar.

(c) Sieht man bei (1) von der Kompaktheit der beiden Teilmengen ab und setzt lediglich voraus, dass beide Lebesgue-messbar sein mögen, so ist im Allgemeinen nicht einmal gewährleistet, dass ihre Minkowski-Summe eine Lebesgue-messbare Teilmenge des darstellt. Allerdings gilt, wenn man statt des Lebesgue-Maßes das äußere Lebesgue-Maß zugrundelegt, die obige Ungleichung (1) in entsprechender Weise. Es gilt sogar für beliebige nichtleere Teilmengen immer die Ungleichung   .

Quellen und Hintergrundliteratur

Bearbeiten

Einzelnachweise und Fußnoten

Bearbeiten

Kreferences />

KKKategorie:Geometrie]] KKKategorie:Ungleichung|Brunn-Minkowski, Ungleichung von]]


Berechnung des Flächeninhalts des Diagonalendreiecks im Quader (für Beweisarchiv)

Bearbeiten

Gegeben sei ein Quader mit den Seitenlängen     .

In diesem Quader werden die Diagonalen von drei an einer gewissen Ecke - etwa     - zusammenstoßenden Seitenrechtecken in einem zusammenhängenden Streckenzug so verbunden, dass die davon umfassten Punkte ein Dreieck     bilden , das ganz in dem Quader enthalten ist, dessen Ecken     zugleich Ecken des Quaders sind und welches der Ecke     derart gegenüberliegt, dass die so entstehende geometrische Figur     eine Pyramide darstellt.

Dieses Dreieck     soll im Folgenden kurz als Diagonalendreieck bezeichnet werden.

Es ist nun die Aufgabe, eine Formel für den Flächeninhalt     dieses Diagonalendreiecks     in Anhängigkeit von den Seitenlängen zu bestimmen.

Diese Formel lässt sich bestimmen unter Benutzung der Formel des Heron und aufgrund der Tatsache, dass die Seitenlängen von     nach dem Satz des Pythagoras offenbar wie folgt von den Seitenlängen abhängen:


Also hat man zusammen mit der Identität

zunächst

  .

Durch Einsetzen ergibt sich dann

und weiter

  .

Also folgt schließlich

  .


q.e.d



Inzidenzgeometrie

Bearbeiten

Geradenaxiome

Bearbeiten

Wesentliche Charakteristika des aus der euklidischen Geometrie stammenden Konzept einer Strecke können in einem sehr allgemeinen Rahmen formuliert werden, der es erlaubt, dieses Konzept in abstrakten Inzidenzgeometrien ganz unabhängig von topologischen oder metrischen Erwägungen darzustellen. Dies wurde u. a. von Ernst Kunz in seinem Lehrbuch Ebene Geometrie gezeigt. Dabei wird eine Inzidenzgeometrie zugrundegelegt, welche aus einer Punktmenge sowie einer Geradenmenge besteht und welche dabei den folgenden Bedingungen genügt:[179]

(A1) Je zwei Punkte werden durch mindestens eine Gerade verbunden.
(A2) Zu je zwei verschiedenen Punkten gibt es höchstens eine Gerade, welche beide verbindet.
(A3) Auf jeder Geraden liegen mindestens zwei verschiedene Punkte.
(A4) Es gibt mindestens drei Punkte, welche nicht auf einer Geraden liegen.

Die beiden Bedingungen (A1) und (A2), bedeuten, dass die Inzidenzgeometrie das Verbindungsaxiom erfüllt, während (A3) und (A4) gewährleisten, dass sie gewissen Reichhaltigkeitsanforderungen genügt.

Eine Inzidenzgeometrie , welche diese vier Bedingungen erfüllt, nennt Kunz kurz eine Ebene.

Streckenaxiome

Bearbeiten

In einer in diesem Sinne verstandenen Ebene lässt sich das Konzept einer Strecke durch folgende Streckenaxiome erfassen:[179]

(B0) Je zwei (nicht notwendig) verschiedenen Punkten ist eine Teilmenge zugeordnet, welche die Strecke von nach genannt wird.
(B1) Es ist für jede Strecke .
(B2) Ist eine Gerade und sind , so ist .
(B3) Für alle ist stets .
(B4) Für alle existiert ein mit und .
(B5) Ist und , so ist .
(B6) Sind drei Punkte, die nicht auf einer Geraden liegen, und ist eine Gerade, die keinen der drei Punkte enthält, so folgt aus , dass oder ist.

Eine Ebene, welche auch den Bedingungen (B0) bis (B6) genügt, nennt Ernst Kunz eine Ebene mit Strecken. Die Plausibilität dieser Bedingungen macht man sich leicht klar, wenn man als die euklidische Ebene zugrundelegt. Hier sind all diese Bedingungen erfüllt.

Die Bedingung (B6) wird von Kunz gemäß den Gegebenheiten in der euklidischen Ebene das Axiom von Pasch genannt. Dort besagt es anschaulich, dass eine Gerade, welche in ein Dreieck „eindringt“ , diese auch wieder irgendwo verlassen muss. Der Name der Axioms verweist dabei auf den Mathematiker Moritz Pasch (1843–1930), welcher als erster erkannt hat, dass sich im Rahmen einer axiomatischen Grundlegung der euklidischen Geometrie der in dem Axiom dargestellte Sachverhalt nicht aus den übrigen Axiomen folgern lässt, sondern eigens gefordert werden muss.[179]

Wie sich zeigen lässt, ist das System der Streckenaxiome mit dem der hilbertschen Anordnungsaxiome - die Inzidenzaxiome vorausgesetzt - gleichwertig. Die Verbindung zur Zwischenrelation ergibt sich dabei durch die folgende Festlegung:[179]

Sind drei paarweise verschiedene Punkte, so liegt der Punkt zwischen den Punkten und , wenn gilt.

Ist die genannte Bedingung für drei paarweise verschiedene Punkte erfüllt, so sagt man auch:

Der Punkt ist innerer Punkt der Strecke .

Literatur

Bearbeiten
  • Ernst Kunz: Ebene Geometrie. Axiomatische Begründung der euklidischen und nichteuklidischen Geometrie (= Mathematik Grundkurs). rororo - Vieweg, Reinbek bei Hamburg 1976, ISBN 3-499-27026-9, S. 7 ff.

Einzelnachweise

Bearbeiten

Kreferences />


Satz von Leibniz

Bearbeiten

Der Satz von Leibniz ist ein mathematischer Lehrsatz, welcher innerhalb der ebenen Geometrie angesiedelt ist und Gottfried Wilhelm Leibniz zugerechnet wird. Er gibt eine allgemeine Formel an, welche insbesondere erlaubt, in der euklidischen Ebene für einen gegebenen Punkt und ein gegebenes Dreieck die Abstände des Punktes von den Eckpunkten in Beziehung zu setzen zu den Abständen der Eckpunkte vom Schwerpunkt.

Formulierung des Satzes

Bearbeiten

Der Satz besagt folgendes:[180]

In der reellen Koordinatenebene seien vier Punkte gegeben.
Dabei habe der Punkt in Bezug auf die Punkte die affine Darstellung
mit   .
Es sei ein weiterer beliebiger Punkt der reellen Koordinatenebene.
Dann gilt die Identität  :
(1)
Ist insbesondere der Schwerpunkt des von den Punkten gebildeten Dreiecks , ist also mit , so gilt sogar
(2)   .

Hinweis zur Herleitung des Satzes

Bearbeiten

Der Satz gestattet eine einfache rein rechnerische Herleitung unter Benutzung des reellen Skalarprodukts, indem mehrfach die binomische Identitätsgleichung

angewandt wird.[181]

Folgerung

Bearbeiten

Der obige zweite Teil des leibnizschen Satzes zieht unmittelbar die folgende Charakterisierung des Schwerpunkts eines Dreiecks nach sich, welche dem italienischen Mathematiker Giulio Carlo Fagnano zugerechnet und unter dem Stichwort Fagnanoscher Schwerpunktsatz genannt wird:[182][183]

Der Schwerpunkt eines Dreiecks ist derjenige Punkt der Ebene, in welchem die Summe der Quadrate der Abstände zu den drei Eckpunkten
den kleinsten Wert annimmt.

Anmerkung

Bearbeiten

In Heinrich Dörries Mathematischen Miniaturen wird ein analoge Gleichung über den Schwerpunkt eines Tetraeders formuliert. Im dortigen Register werden die beiden Gleichungen von Dörrie als Leibniz' Schwerpunktsätze bezeichnet.[184]

Einzelnachweise und Fußnoten

Bearbeiten

rreferences />


KKKategorie:Geometrie]] KKKategorie:Satz (Mathematik)|Leibniz, Satz von (Euklidische Geometrie)]]



Verbindungsgerade

Bearbeiten

Eine Verbindungsgerade ist in der Mathematik eine Gerade, die durch zwei vorgegebene Punkte verläuft. Verbindungsgeraden werden speziell in der euklidischen Geometrie und allgemeiner in Inzidenzgeometrien betrachtet. Die Existenz und Eindeutigkeit der Verbindungsgeraden zu zwei verschiedenen gegebenen Punkten wird in der Geometrie axiomatisch als Verbindungsaxiom gefordert.

Euklidische Geometrie

Bearbeiten

....

Inzidenzgeometrie

Bearbeiten

Definition

Bearbeiten

Ist allgemein ein Inzidenzraum und sind zwei verschiedene Punkte in diesem Raum, dann heißt eine Gerade Verbindungsgerade dieser beiden Punkte, wenn folgende zwei Bedingungen gelten:

(V1)
(V2)

Notation und Sprechweisen

Bearbeiten

Werden von den beiden Punkten und der Geraden die Bedingungen (V1) und (V2) erfüllt, so schreibt man oft

oder

oder auch kurz

.

In dem hierzu üblichen Sprachgebrauch sagt man dann auch

  • verbindet die Punkte und .
  • gehört mit den Punkten und zusammen.
  • Die Punkte und liegen auf .
  • geht durch die Punkte und .
  • Die Punkte und inzidieren mit .
  • inzidiert mit den Punkten und .

oder Ähnliches.

Unter Benutzung dieses Sprachgebrauchs lassen sich die obigen Bedingungen (V1) und (V2) so in Worte fassen:

(V1') Die Punkte und werden durch die Gerade verbunden.
(V2') Für die Punkte und gibt es höchstens eine Gerade, die sie verbindet.

Verbindungsaxiom

Bearbeiten

In den für die Geometrie besonders wichtigen Inzidenzräumen, also insbesondere in den euklidischen Räumen, in allen affinen Räumen und in allen projektiven Räumen gilt in Bezug auf Punkte und Verbindungsgeraden durchgängig die folgende grundlegende Bedingung (V):

(V) Zu je zwei verschiedenen Punkten des gegebenen Inzidenzraums existiert stets eine Verbindungsgerade, also eine Gerade derart, dass (V1) und (V2) erfüllt sind.

Man nennt diese Bedingung das Verbindungsaxiom.

In anderer Formulierung lässt sich das Verbindungsaxiom auch wie folgt aussprechen:

(V') Zu je zwei verschiedenen Punkten des gegebenen Inzidenzraums gibt es genau eine Gerade, die diese beiden Punkte verbindet.

Teilräume und Hüllensystem

Bearbeiten

Den in der Hauptsache in der Geometrie behandelten Inzidenzräumen – wie etwa den affinen und den projektiven Räumen, aber auch vielen anderen linearen Räumen wie z. B. den Blockplänen – ist gemeinsam, dass die Inzidenzrelation von der Elementrelation herrührt und somit die Geraden Teilmengen der zugehörigen Punktmenge sind.

Es ist also dann die Geradenmenge eine Teilmenge der Potenzmenge von , folglich die Beziehung gegeben. In diesem Falle beschreibt man den Inzidenzraum kurz in der Form anstatt in der Form .[185]

Unter diesen Gegebenheiten nennt man eine Teilmenge einen Teilraum von , wenn mit je zwei verschiedenen Punkten stets ihre Verbindungsgerade in enthalten ist, also hierfür stets gilt.

Die Menge der Teilräume von bildet ein Hüllensystem.

Zugehöriger Hüllenoperator

Bearbeiten

Zum Hüllensystem lässt sich in der üblichen Weise der zugehörige Hüllenoperator bilden. Diesen schreibt man oft als . Für gilt also

.

Das bedeutet:

ist der kleinste Teilraum von , der umfasst.

Im Falle, dass dabei eine endliche Menge von Punkten ist, etwa , schreibt man auch

oder auch

.

Ist und sind und verschieden, so hat man , also wiederum die Verbindungsgerade von und .

Beispiel der Koordinatenebene

Bearbeiten

Die Koordinatenebene über einem kommutativen Körper gibt ein Standardbeispiel für einen Inzidenzraum , in dem das Verbindungsaxiom gilt.[186] Hier ist die Punktmenge

und die Geradenmenge

.

Die Geradenmenge erhält man also dadurch, dass man alle nur möglichen Nebenklassen zu allen in gelegenen Unterräumen der Dimension 1 bildet. Hat man hier zwei unterschiedliche Punkte , so lässt sich die Verbindungsgerade in folgender Weise darstellen:

Das Standardbeispiel für dieses Konzept bieten die Geraden, die zwei Punkte der euklidischen Ebene verbinden.

Siehe auch

Bearbeiten

Einzelnachweise und Fußnoten

Bearbeiten

Kreferences />

KKKategorie:Geometrie]]



Diagonalensatz

Bearbeiten

Der Diagonalensatz ist ein Lehrsatz der Elementargeometrie, mit dem eine charakteristische Bedingung formuliert wird, unter der ein Viereck der euklidischen Ebene ein Parallelogramm ist.

Formulierung des Satzes

Bearbeiten
Parallelogramm mit Diagonalen

Der Satz besagt folgendes:[77]

Gegeben sei ein Viereck der euklidischen Ebene.
Dann gilt:
ist jedenfalls dann ein Parallelogramm, wenn die beiden Diagonalen und sich gegenseitig halbieren in der Weise, dass die Mittelpunkte der beiden Diagonalen übereinstimmen.

Herleitung mittels Vektorrechnung

Bearbeiten

Die Bedingung besagt, dass es in der euklidischen Ebene einen Punkt gibt dergestalt, dass die beiden Vektorgleichungen und bestehen.

Daraus folgert man:

.

Genauso ergibt sich:

.

Dies beweist den Satz.

Verallgemeinerung auf Koordinatenebenen

Bearbeiten

Der Diagonalensatz lässt sich auf affine Koordinatenebenen über kommutativen Körpern einer Charakteristik ausdehnen und verschärfen; und zwar wie folgt:[187]

Gegeben seien vier paarweise verschiedene nichtkollineare Punkte .
Dann sind die folgenden beiden Bedingungen gleichwertig:
(A1) Die vier Punkte bilden ein Parallelogramm; d. h.:
Es sind und .[188]
(A2) Die beiden Diagonalen und schneiden sich im Mittelpunkt der beiden Diagonalen; d h.:
Es gilt .

Anmerkung zu Koordinatenebenen über Körpern der Charakteristik 2

Bearbeiten

Für einen kommutativen Körper der Charakteristik ist der Sachverhalt anders. Bilden in diesem Falle vier Punkte ein Parallelogramm, so sind die Diagonalen parallel.[189]

Siehe auch

Bearbeiten

Literatur

Bearbeiten

Einzelnachweise und Fußnoten

Bearbeiten

rreferences />

KKKategorie:Vierecksgeometrie]] KKKategorie:Satz (Mathematik)|Diagonalensatz]]



Satz des Heron (vollständige Überarbeitung)

Bearbeiten

Der Satz des Heron ist ein Lehrsatz der Elementargeometrie, welcher nach dem antiken Mathematiker Heron von Alexandria benannt ist. Der Satz beschreibt eine mathematische Formel, mit deren Hilfe der Flächeninhalt eines Dreiecks aus den drei Seitenlängen berechenbar ist. Man nennt die Formel auch heronsche Formel bzw. heronische Formel oder auch die Formel von Heron (englisch Heron’s formula).

Formulierung des Satzes

Bearbeiten

Der Flächeninhalt eines Dreiecks der euklidischen Ebene mit den Seitenlängen

und halbem Umfang

ist

 .[190]

Andere Darstellungen

Bearbeiten

Die heronische Formel lässt sich auch so ausdrücken:

(V1)   


Ausmultipliziert erhält man:

(V2)   .


Als weitere Darstellung der heronischen Formel ist auch die folgende gängig:

(V3)   ,[191]

welche man aus der Version (V1) durch Umgruppieren und Anwendung der binomischen Formeln mit den folgenden Gleichungen gewinnt:

Aus der Version (V3) lässt sich schließlich eine Determinantendarstellung ableiten:[192][193]

(V4)    [194]

Dies ist ein Spezialfall der Cayley-Menger-Determinante, mit der man das Volumen eines Simplexes, der Verallgemeinerung von Dreiecken auf beliebige Dimensionen (z.B. Tetraeder in drei Dimensionen), berechnen kann.

(V4) erhält man aus (V3) unter Anwendung des Entwicklungssatzes von Laplace und elementarer Matrizenumformungen wie folgt:

Weiterer Zusammenhang

Bearbeiten

Die heronische Formel kann als Grenzfall aus der Formel für den Flächeninhalt eines Sehnenvierecks gewonnen werden, wenn zwei der Eckpunkte ineinander übergehen, so dass eine der Seiten des Sehnenvierecks die Länge Null annimmt. Für den Flächeninhalt eines Sehnenvierecks gilt nämlich nach der Formel von Brahmagupta

 ,

wobei hier der halbe Umfang

ist.

Anmerkungen

Bearbeiten
  1. Für die Herleitung der heronischen Formel gibt es viele Vorgehensweisen. Insbesondere lässt sie sich elementar mit Hilfe des pythagoreischen Lehrsatzes herleiten.[195][196] Es lässt sich auch leicht zeigen, dass die heronische Formel und der Satz des Pythagoras innerhalb der Elementargeometrie als gleichwertig zu betrachten sind, also gegenseitig auseinander abgeleitet werden können.[197]
  2. Neben der Zuweisung der Formel an Heron von Alexandria gibt es auch eine Zuweisung, der zufolge sie auf Archimedes zurückgeht.[198]
Bearbeiten

Literatur

Bearbeiten
  • Hermann Athen, Jörn Bruhn (Hrsg.): Lexikon der Schulmathematik und angrenzender Gebiete. Band 2, F–K. Aulis Verlag Deubner, Köln 1977, ISBN 3-7614-0242-2.
  • Anna Maria Fraedrich: Die Satzgruppe des Pythagoras (= Lehrbücher und Monographien zur Didaktik der Mathematik. Band 29). B.I.-Wissenschaftsverlag, Mannheim / Leipzig / Wien / Zürich 1994, ISBN 3-411-17321-1.
  • György Hajós: Einführung in die Geometrie. B. G. Teubner Verlag, Leipzig (ungarisch: Bevezetés A Geometriába. Übersetzt von G. Eisenreich [Leipzig, auch Redaktion]).
  • Max Koecher, Aloys Krieg: Ebene Geometrie. 3., neu bearbeitete und erweiterte Auflage. Springer Verlag, Berlin (u. a.) 2007, ISBN 978-3-540-49327-3.
  • Theophil Lambacher, Wilhelm Schweizer (Hrsg.): Lambacher-Schweizer. Mathematisches Unterrichtswerk für höhere Schulen. Geometrie. Ausgabe E. Teil 2. 13. Auflage. Ernst Klett Verlag, Stuttgart 1965.

Einzelnachweise

Bearbeiten

rrreferences />

KKSORTIERUNG:Heron, Satz des}} KKKategorie:Dreiecksgeometrie]] KKKategorie:Satz (Mathematik)]]

Satz von den Ergänzungsparallelogrammen

Bearbeiten

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

Formulierung des Satzes

Bearbeiten

Der Satz besagt folgendes:[199][200][201][202][203][204]

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

Herleitung und Erläuterung

Bearbeiten

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

  zerlegt nun in zwei kongruente Dreiecke, nämlich in und , und genauso zerlegt   sowohl als auch jeweils in zwei kongruente Dreiecke.

Sind hier nun und die beiden Zerlegungsdreiecke von beziehungsweise und die beiden Zerlegungsdreiecke von und dabei und innerhalb des Dreiecks beziehungsweise und innerhalb des Dreiecks gelegen, so wird in die drei Flächenstücke und und zerlegt und genauso in die drei Flächenstücke und und  .

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

(I)  
(II)  
(III)  

und daraus wegen der genannten Kongruenzbeziehungen unmittelbar die Identität

(IV)   .

Dies bedeutet auch:

  und   sind ergänzungsgleich.

Denn durch Hinzufügung endlich vieler paarweise kongruenter Vielecke werden aus   und   zwei kongruente Vielecke erhalten, nämlich die beiden Dreiecke     und   [205]

Dies beweist den Satz.

Zur Terminologie

Bearbeiten

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

Literatur

Bearbeiten
  • P. S. Alexandroff, A. I. Markuschewitsch, A. J. Chintschin [Red.]: Enzyklopädie der Elementarmathematik. Band V. Geometrie (= Hochschulbücher für Mathematik. Band 11). Deutscher Verlag der Wissenschaften, Berlin 1971.
  • Hermann Athen, Jörn Bruhn (Hrsg.): Lexikon der Schulmathematik und angrenzender Gebiete. Band 1. A-E. Aulis Verlag Deubner, Köln 1977, ISBN 3-7614-0242-2.
  • Walter Gellert, Herbert Kästner, Siegfried Neuber (Hrsg.): Fachlexikon ABC Mathematik. Verlag Harri Deutsch, Thun / Frankfurt/Main 1978, ISBN 3-87144-336-0.
  • Hugo Fenkner, Karl Holzmüller: Mathematisches Unterrichtswerk. Nach den Richtlinien für die Lehrpläne der höheren Schulen Preußens neu bearbeitet von Karl Holzmüller. 12. Auflage. Geometrie. Ausgabe A in 2 Teilen. I. Teil. Verlag von Otto Salle, Berlin 1926.
  • Johannes Kratz: Geometrie (= Mathematik für Gymnasien. Band 4). 4. Auflage. Bayerischer Schulbuch Verlag, München 1966.
  • Theophil Lambacher, Wilhelm Schweizer (Hrsg.): Lambacher-Schweizer. Mathematisches Unterrichtswerk für höhere Schulen. Geometrie. Ausgabe E. Teil 1. 15. Auflage. Ernst Klett Verlag, Stuttgart 1965.
  • Harald Scheid (Hrsg.): DUDEN: Rechnen und Mathematik. 4., völlig neu bearbeitete Auflage. Bibliographisches Institut, Mannheim / Wien / Zürich 1985, ISBN 3-411-02423-2.

Einzelnachweise

Bearbeiten

rrreferences />

KKKategorie:Euklidische Geometrie]] KKKategorie:Satz (Mathematik)|Erganzungsparallelogrammen, Satz von den]]


Satz von Liebmann

Bearbeiten

Der Satz von Liebmann ist ein klassisches Resultat der Differentialgeometrie, welches nach dem deutschen Mathematiker Heinrich Liebmann benannt ist. Er behandelt eine Kennzeichnung der Kugeloberflächen im dreidimensionalen euklidischen Raum.

Der Satz

Bearbeiten

Erste Formulierung

Bearbeiten

Der Satz von Liebmann besagt in moderner Formulierung folgendes:[206][207]

Sei eine zusammenhängende und kompakte Fläche der Klasse im dreidimensionalen euklidischen Raum und sei dabei die gaußsche Krümmung von eine Konstante .
Dann ist eine positive Zahl der Form für eine reelle Zahl und fällt mit der Oberfläche einer dreidimensionalen Vollkugel vom Radius zusammen, ist also eine Sphäre der Form für ein .

Zweite Formulierung

Bearbeiten

Im dreidimensionalen Raum ist eine Sphäre vom Radius stets eine zusammenhängende und kompakte -Fläche und hat dabei stets die konstante gaußsche Krümmung .[208] Daher lässt sich der Satz von Liebmann auch wie folgt formulieren:[209]

Im dreidimensionalen Raum sind einzig und allein die Sphären zusammenhängende und kompakte -Flächen mit konstanter gaußscher Krümmung.

Dritte Formulierung

Bearbeiten

Hinsichtlich ihrer topologischen Eigenschaften ist eine Fläche eine 2-Mannigfaltigkeit. Da in der Topologie eine zusammenhängende und kompakte 2-Mannigfaltigkeit auch eine geschlossene Fläche genannt wird,[210] lässt sich der Satz von Liebmann sehr verkürzt auch in der folgenden Weise angeben:[211]

Im dreidimensionalen Raum sind die Sphären die einzigen geschlossenen -Flächen mit konstanter gaußscher Krümmung.

Zusammenhang mit anderen Resultaten

Bearbeiten

Der zweite Satz von Liebmann

Bearbeiten

Im Jahre 1900 hat Heinrich Liebmann einen weiteren, dem obigen eng verwandten Satz vorgelegt. Dieser zweite liebmannsche Satz lautet in moderner Formulierung wie folgt:[212]

Sei eine zusammenhängende und kompakte Fläche der Klasse im dreidimensionalen euklidischen Raum und sei dabei die gaußsche Krümmung von durchgängig positiv und die mittlere Krümmung von eine Konstante .
Dann fällt mit der Oberfläche einer Kugel vom Radius zusammen.

Mit anderen Worten und kürzer ausgedrückt:[213]

Im dreidimensionalen Raum sind die Sphären die einzigen geschlossenen -Flächen mit durchgängig positiver gaußscher Krümmung und mit konstanter mittlerer Krümmung.

Der Satz von Cohn-Vossen und Herglotz

Bearbeiten

Der Satz von Liebmann lässt sich in Zusammenhang bringen mit der Frage, wie eine zusammenhängende kompakte Fläche des dreidimensionalen euklidischen Raums beschaffen sein muss, um isometrisch – im Sinne der Isometrie riemannscher Mannigfaltigkeiten[214] – zur Einheitssphäre oder zu einer allgemeinen Sphäre zu sein. Hierüber gibt der Satz von Cohn-Vossen und Herglotz Auskunft, welcher auf Stefan Cohn-Vossen und Gustav Herglotz zurückgeht und ebenfalls ein klassisches Resultat der Differentialgeometrie darstellt:[215][216]

Stehen im dreidimensionalen euklidischen Raum zwei geschlossene Flächen der Klasse mit jeweils positiver gaußscher Krümmung zueinander in Isometrie, so existiert eine euklidische Bewegung mit , welche also in überführt.

Diesen Satz bezeichnet der österreichische Geometer Karl Strubecker in seiner Differentialgeometrie auch als Identitätssatz für Eiflächen und nennt ihn einen für die metrische Theorie der Eiflächen grundlegenden Satz.[217] Dabei versteht man in der Differentialgeometrie unter einer Eifläche jede geschlossene Fläche des dreidimensionalen euklidischen Raums, welche mindestens von der Klasse ist und durchweg positive gaußsche Krümmung, also , hat.[218] Der Satz von Cohn-Vossen und Herglotz lässt sich daher auch folgendermaßen formulieren:[219]

Im dreidimensionalen euklidischen Raum sind zwei isometrische Eiflächen der Klasse stets kongruent.

Der Satz von Hilbert

Bearbeiten

Der ersten Teilaussage des Satzes von Liebmann steht in enger Verbindung zu einem allgemeinen Resultat, welches von David Hilbert im Jahre 1900 vorgelegt wurde. Es stellt das zentrale Ergebnis von Anhang V (Über Flächen von konstanter Gaußscher Krümmung) seiner Grundlagen der Geometrie dar und lässt sich angeben wie folgt:[220][221]

Im dreidimensionalen euklidischen Raum existiert keine -Fläche von konstanter gaußscher Krümmung .

Hilbert wurde zu diesem Resultat geführt durch die Fragestellung, ob die von Eugenio Beltrami gelieferte Konstruktion einer nichteuklidischen Ebene (Pseudosphäre) als Ganzes in den dreidimensionalen Raum eingebettet denkbar sei. Er gelangt zu einer Verneinung dieser Frage und schreibt dazu explizit:[222][223]

„, d. h. wir erkennen, dass es eine singularitätenfreie und überall regulär analytische Fläche von constanter negativer Krümmung nicht giebt. Insbesondere ist daher auch die zu Anfang aufgeworfene Frage zu verneinen, ob auf die BELTRAMIsche Weise die GANZE LOBATSCHEFSKIJsche Ebene durch eine regulär analytische Fläche im Raume sich verwirklichen lässt.“

Anmerkungen

Bearbeiten
  1. In der Frage, von welcher Differenzierbarkeitsklasse die Flächen zu sein haben, damit die obigen Sätze gültig sind, finden sich in der Literatur unterschiedliche Angaben. Setzt man stets -Flächen voraus, so sind die Sätze durchgängig gültig. Vielfach bleiben die Aussagen der Sätze auch noch unter abgeschwächten Bedingungen beweisbar.[224] So wurde etwa von dem russischen Mathematiker A. W. Pogorelow im Jahre 1952 gezeigt, dass die Aussage des Satzes von Cohn-Vossen und Herglotz auch noch für eine erheblich allgemeinere Klasse von Eiflächen beschränkter gaußscher Krümmung Gültigkeit hat.[225]
  2. Der Begriff der Eifläche geht auf Wilhelm Blaschke zurück. Einem bedeutenden Satz von Jacques Hadamard zufolge ist eine Eifläche im stets orientierbar, zur 2-Sphäre     diffeomorph und streng konvex, wobei strenge Konvexität so verstanden wird, dass die Eifläche an jedem ihrer Punkte vollständig auf einer Seite der diesem Punkte zugehörigen Tangentialebene gelegen ist, also stets vollständig innerhalb eines der beiden abgeschlossenen Halbräume liegt, welche durch die Tangentialebene gebildet werden.[226][227]

Literatur

Bearbeiten

Einzelnachweise und Fußnoten

Bearbeiten

rreferences />


KKKategorie:Elementare Differentialgeometrie]] KKKategorie:Satz (Mathematik)|Liebmann]]


Die Bieberbachsche Ungleichung ist ein Resultat der Konvexgeometrie, welches nach dem Mathematiker Ludwig Bieberbach (1886–1982) benannt ist. Sie behandelt den Zusammenhang zwischen Volumen und Durchmesser gewisser ausgezeichneter Teilmengen des n-dimensionalen euklidischen Raums.

Die Ungleichung

Bearbeiten

Die Bieberbachsche Ungleichung lässt sich wie folgt formulieren:[228][229]

Für einen nichtleeren kompakten konvexen Körper[230] des -dimensionalen euklidischen Raums gilt hinsichtlich seines -dimensionalen Volumens [231] und seines Durchmessers stets die Ungleichung

wobei das Volumen der -dimensionalen Einheitskugel bedeutet.

In dieser Ungleichung besteht Gleichheit dann und nur dann, wenn mit einer -dimensionalen Kugel zusammenfällt.

Entwicklungsgeschichte

Bearbeiten

Ludwig Bieberbach hat im Jahre 1915 die nach ihm benannte Ungleichung für die euklidische Ebene nachgewiesen.[232] Sie wurde dann von verschiedenen Autoren verallgemeinert und zunächst von Wilhelm Blaschke auf den dreidimensionalen Raum übertragen.[233] Daran schloss die weitere Verallgemeinerung der Ungleichung auf euklidische Räume höherer Dimension und dann sogar auf nichteuklidische Räume an. Größten Anteil an dieser Weiterentwicklung hatten vor allem Erhard Schmidt und einige russische Mathematiker wie Paul Urysohn. Wie sich zeigen lässt, ergibt sich die Bieberbachsche Ungleichung insbesondere als Folgerung einer allgemeinen Ungleichung über gemischte Volumina von Alexandroff-Fenchel.[234][235][236]

Siehe auch

Bearbeiten

Literatur

Bearbeiten
  • Ludwig Bieberbach: Über eine Extremaleigenschaft des Kreises. In: Jber. dtsch. Math.-Ver. Band 24, 1915, S. 247–250 (uni-goettingen.de).
  • Yu. D. Burago, V. A. Zalgaller: Geometric Inequalities (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Band 285). Springer Verlag, Berlin (u. a.) 1988, ISBN 3-540-13615-0 (MR0936419).
  • Wilhelm Blaschke: Kreis und Kugel. Chelsea Publishing Company, New York (u. a.) 1949 (MR0076364 MR0077958 – Nachdruck der Ausgabe bei Veit [Leipzig 1916]).
  • H. Hadwiger: Vorlesungen über Inhalt, Oberfläche und Isoperimetrie (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Band 93). Springer-Verlag, Berlin (u. a.) 1957 (MR0102775).
  • Erhard Schmidt: Der Brunn-Minkowskische Satz und sein Spiegeltheorem sowie die isoperimetrische Eigenschaft der Kugel in der euklidischen und hyperbolischen Geometrie. In: Math. Ann. Band 120, 1948, S. 307–422 (MR0028601 uni-goettingen.de).
  • Erhard Schmidt: Die Brunn-Minkowskische Ungleichung und ihr Spiegelbild sowie die isoperimetrische Eigenschaft der Kugel in der euklidischen und nichteuklidischen Geometrie I, II. In: Mathematische Nachrichten. Band 1, 2 (1948/1949), S. 81–157 (1948), 171–244 (1949) (MR0028600 MR0034044).
  • Paul Urysohn: Mittlere Breite und Volumen der konvexen Körper im n-dimensionalen Raume. In: Matem. Sb. SSSR. Band 31, 1924, S. 477–486.

Einzelnachweise und Fußnoten

Bearbeiten

rreferences />

KKKategorie:Ungleichung|Bieberbachsche, Ungleichung]] KKKategorie:Satz (Konvexgeometrie)]]

Satz von Euler (Vierecksgeometrie)

Bearbeiten

Der Satz von Euler der Vierecksgeometrie ist ein geometrischer Lehrsatz, der eine grundlegende Identitätsgleichung über den Zusammenhang zwischen den Seitenlängen eines Vierecks und den Längen seiner beiden Diagonalen angibt. Der Satz ist einer der vielen Beiträge des großen Schweizer Mathematikers Leonhard Euler zur Elementargeometrie.

Formulierung des Satzes

Bearbeiten
Bild zum Eulerviereck
Bild zum Eulerviereck

Der Satz lautet wie folgt:[237]

Gegeben sei ein konvexes Viereck     der euklidischen Ebene.
Auf den beiden Diagonalen     und     seien     bzw.     die beiden Mittelpunkte.
Dann gilt:
oder
 .

Folgerung

Bearbeiten

Aus dem Satz von Euler folgt unmittelbar die bekannte Parallelogrammgleichung.

Denn im Falle, dass     ein Parallelogramm ist, folgt    , also    , sowie     und     und damit   oder  .

Hilfssatz

Bearbeiten
Bild zum Dreieck
Bild zum Dreieck

Der Satz von Euler lässt sich unter Zuhilfenahme des folgenden Hilfssatzes herleiten:

Für ein Dreieck     der euklidischen Ebene, dessen Seite     den Mittelpunkt     hat, gilt stets:
oder
 .

Die soeben genannte Gleichung - welche offenbar eine andere Version der Apollonios-Gleichung darstellt - wurde schon von Apollonios von Perge angegeben. Sie ist auch bei Pappus Alexandrinus zu finden.[238][239]

Literatur

Bearbeiten
Bearbeiten
Commons: Satz von Euler – Sammlung von Bildern, Videos und Audiodateien

Einzelnachweise und Anmerkungen

Bearbeiten

rreferences />

KKKategorie:Vierecksgeometrie]] KKKategorie:Satz (Mathematik)|Euler (Vierecksgeometrie), Satz von]]



Außenwinkelsatz (Ursprüngliche Version von mir)

Bearbeiten

Der Außenwinkelsatz (englisch Exterior Angle Theorem) ist ein Lehrsatz der Geometrie. Sein Beweis beruht nicht auf dem Parallelenaxiom und er gehört damit zu den Sätzen der absoluten Elementargeometrie.[241][242] Er wird in der modernen mathematischen Literatur auch als schwacher Außenwinkelsatz[243] oder als der erste Satz vom Außenwinkel[244][245] genannt, um ihn von seinen Verschärfungen zu unterscheiden, die sich innerhalb der euklidischen Geometrie und nichteuklidischen Geometrie ergeben.

In David Hilberts Grundlagen der Geometrie tritt der Satz als Satz vom Außenwinkel auf. Laut Hilbert ist er ein „fundamentaler Satz, der schon bei Euklid eine wichtige Rolle spielt und aus dem eine Reihe wichtiger Tatsachen folgt“.[246]

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich angeben wie folgt:[246][247][243][241][248][249][244]

Jeder Außenwinkel eines beliebigen Dreiecks ist stets strikt größer als jeder der beiden nichtanliegenden Innenwinkel und jeder Innenwinkel stets strikt kleiner als jeder der beiden nichtanliegenden Außenwinkel.

Erläuterungen

Bearbeiten
Innenwinkel (α,β,γ) und Außenwinkel (δ,ε,ζ) eines Dreiecks in der euklidischen Ebene
  1. Sowohl Innenwinkel als auch Außenwinkel eines Dreiecks sind umkehrbar eindeutig den Eckpunkten des Dreiecks zugeordnet. Hierbei ist ein Außenwinkel eines Dreiecks dadurch charakterisiert, dass sein Scheitelpunkt gerade der zugehörige Eckpunkt ist und dass er mit dem zugehörigen Innenwinkel ein Paar von Nebenwinkeln bildet. Diesen zugehörigen Innenwinkel nennt man den anliegenden Innenwinkel, während man die beiden anderen Innenwinkel als nichtanliegende Innenwinkel bezeichnet. Dementsprechend bezeichnet man für einen Innenwinkel jeden der beiden Außenwinkel, die den beiden nicht zugehörigen Eckpunkten zugeordnet sind, als nichtanliegende Außenwinkel.
  2. Die Außenwinkeleigenschaft bedeutet, dass der Außenwinkel zusammen mit dem anliegenden Innenwinkel einen gestreckten Winkel bildet. Dabei haben der Außenwinkel und der anliegende Innenwinkel genau einen Schenkel gemeinsam, während die beiden nicht gemeinsamen Schenkel auf einer Geraden liegen.
  3. Beim Außenwinkelsatz spielt der Größenvergleich zweier Winkel eine wesentliche Rolle. Gemäß Hilbert gilt grundsätzlich, dass je zwei Winkel entweder gleich, also kongruent, sind oder ungleich, wobei letzterenfalls von beiden einer strikt kleiner ist als der andere, welcher dann der strikt größere ist, oder umgekehrt. Dabei wird von gestreckten Winkeln und überstumpfen Winkeln abgesehen. Man erreicht unter diesen Rahmenbedingungen den Größenvergleich zweier Winkel mittels Antragen, wobei der eine Winkel an einen Schenkel des anderen im Scheitelpunkt angetragen wird in der Weise, dass sich das Innere des angetragenen Winkels mit dem Inneren des anderen in dem gemeinsamen Schenkel und noch weiteren Punkte überschneidet. Die Entscheidung hinsichtlich der Größenfrage richtet sich dann danach, ob der freie Schenkel des angetragenen Winkels ganz im Inneren des anderen Winkels liegt oder nicht. Der angetragene Winkel ist im ersten Falle der kleinere, im gegenteiligen Falle der größere. Lassen sich auf diesem Wege die Inneren beider Winkel sogar zur Deckung bringen, sind beide Winkel gleich; anderenfalls sind sie ungleich.[250]

Folgerungen

Bearbeiten

Der Außenwinkelsatz – selbst in seiner schwachen Form – zieht eine Reihe von Folgerungen nach sich, von denen die Folgenden oft genannt werden:[246][247][243][241][244]

  1. In jedem Dreieck liegt der größeren Seite stets der größere Winkel gegenüber und umgekehrt dem größeren Winkel stets die größere Seite.
  2. In jedem Dreieck ist die Summe der Längen zweier Seiten strikt größer als die Länge der dritten Seite. (Dreiecksungleichung)[251][252]
  3. Mindestens zwei der drei Innenwinkel eines beliebigen Dreiecks sind spitze Winkel.
  4. Die Winkelsumme zweier Innenwinkel eines beliebigen Dreiecks ist stets kleiner als ein gestreckter Winkel.

Verschärfungen des Außenwinkelsatzes

Bearbeiten

Bei Zugrundelegung eines Parallelenaxioms lassen sich über die Größenbeziehungen zwischen Außen- und Innenwinkeln erheblich schärfere Aussagen machen.

Verschärfter Außenwinkelsatz in der euklidischen Geometrie

Bearbeiten
Jeder Außenwinkel eines beliebigen Dreiecks ist so groß wie die Winkelsumme der beiden nichtanliegenden Innenwinkel.

Dieser Satz der euklidischen Geometrie wird auch als starker Außenwinkelsatz[253] oder als der zweite Satz vom Außenwinkel[254] oder auch allein als der Außenwinkelsatz[255] bezeichnet.

Aus ihm ergibt sich, wenn man die übliche Winkelmessung in Grad zugrundelegt und zugleich für jeden Eckpunkt als Außenwinkel immer nur einen der beiden Nebenwinkel des zugehörigen Innenwinkels berücksichtigt, unmittelbar eine weitere Folgerung:

Die Summe der Außenwinkel eines Dreiecks beträgt .

Diese Folgerung lässt sich noch verallgemeinern. Denn in der euklidischen Ebene hat die entsprechende Aussage darüber hinaus sogar Gültigkeit für alle konvexen Vielecke - unabhängig von der Anzahl der Eckpunkte:

In der euklidischen Ebene beträgt die Summe der Außenwinkel eines konvexen Vielecks beliebiger Eckenzahl stets .

Letzteres Resultat wird manchmal ebenfalls als Außenwinkelsatz bezeichnet.[256]

Verschärfter Außenwinkelsatz in der hyperbolischen Geometrie

Bearbeiten
Jeder Außenwinkel eines beliebigen Dreiecks ist strikt größer als die Winkelsumme der beiden nichtanliegenden Innenwinkel.[257]

Dieser verschärfte Außenwinkelsatz wird auch Außenwinkelsatz der Lobatschewski-Geometrie genannt, da er auf dem Lobatschewskischen Parallelenaxiom beruht, welches der hyperbolischen Geometrie zugrundeliegt.[258]

Anmerkung zur Abgrenzung

Bearbeiten

In der elliptischen Geometrie gibt es keinen dem Außenwinkelsatz entsprechenden Satz.[259] Allerdings lassen sich in der Kugelgeometrie für eulersche Kugeldreiecke manche der oben dargestellten Folgerungen ziehen wie etwa die oben angegebene Dreiecksungleichung.[260]

Siehe auch

Bearbeiten
Bearbeiten
  1. Webpublikation „Euklidische und nichteuklidische Geometrie“ von Prof. Dr. Andreas Filler, HU Berlin
  2. Auszug aus einem Skript von Dr. Michael Gieding, PH Heidelberg

Literatur

Bearbeiten



Ungleichung von Erdös-Mordell-Barrow

Bearbeiten

....

Literatur

Bearbeiten

....

Satz von Blaschke über konvexe Figuren der Ebene (Sehr unfertig)

Bearbeiten

Der Satz von Blaschke über konvexe Figuren der Ebene ist ein mathematischer Satz der Konvexgeometrie, welcher auf den Geometer Wilhelm Blaschke zurückgeht[261]. (Er wurde von dem in dessen Schrift Kreis und Kugel im Jahre 1916 vorgestellt ???)

Formulierung des Satzes

Bearbeiten

Breite <= 3 x Inkreisradius

Verwandte Resultate

Bearbeiten

Satz von Jung[262]

Literatur

Bearbeiten
  • P. S. Alexandroff et al.: Enzyklopädie der Elementarmathematik. Band V. Geometrie. VEB Deutscher Verlag der Wissenschaften, Berlin 1971.
  • Wilhelm Blaschke: Kreis und Kugel [Nachdruck der Ausgabe Leipzig, 1916]. Chelsea Publishing Company, New York 1949.
  • Peter M. Gruber: Convex and Discrete Geometrie. Springer-Verlag, Berlin [u.a.] 2007, ISBN 978-3-540-71132-2.



Satz von Helly

Bearbeiten

Der Satz von Helly ist ein mathematischer Satz, welcher auf den österreichischen Mathematiker Eduard Helly zurückgeht. Der Satz wird dem Gebiet der Konvexgeometrie zugerechnet. Hier steht er in engem Zusammenhang mit einer Reihe anderer klassischer Theoreme.[263] Seine Wirkung reicht auch in andere Gebiete der Mathematik wie etwa in die diskrete Mathematik, wo er zum Ausgangspunkt für die Untersuchung von Mengensystemen mit der sogenannten Helly-Eigenschaft wurde.

Formulierung des Satzes

Bearbeiten

Der Satz von Helly lässt sich wie folgt formulieren:[264][265]

Gegeben seien eine natürliche Zahl und ein Mengensystem von konvexen Teilmengen eines -dimensionalen normierten Vektorraums über und dabei gelte   . In dem gesamten Mengensystem seien nur endlich viele Teilmengen vorhanden oder aber jede dieser Teilmengen sei kompakt in .
Dann gilt:
Notwendig und hinreichend dafür, dass die in   vorkommenden Teilmengen einen Punkt gemeinsam haben, ist die Bedingung, dass je dieser Teilmengen einen Punkt gemeinsam haben.
Anders ausgedrückt: Hinsichtlich der Schnittmengen gilt   genau dann, wenn für alle .

In anderer Formulierung lässt sich der Satz von Helly auch so ausdrücken :

Unter den oben angegebenen Voraussetzungen ist dann und nur dann die Schnittmenge     , wenn schon für ein einziges endliches   mit       die Schnittmenge     ist.

Die oben genannten allgemeinen Voraussetzungen lassen sich sogar noch abschwächen, und zwar dahingehend, dass für den unendlichen Fall nur gefordert wird:

Jede dieser Teilmengen sei abgeschlossen in und zumindest eine dieser Teilmengen sei kompakt.[266]

Historisches, Beweise, verwandte Ergebnisse

Bearbeiten

Den ersten Beweis des Satzes von Helly lieferte der österreichische Mathematiker Johann Radon in 1921. Er benutzte dazu ein Resultat, das heute als Satz von Radon bekannt ist. Eduard Helly hatte allerdings den Satz schon spätestens im Jahre 1913 gefunden und Johann Radon bewies den Satz erst, nachdem Eduard Helly ihn darauf hingewiesen hatte.[267][268] Eduard Helly selbst veröffentlichte in der Folge dann zwei eigene Arbeiten,[269][270] welche einen anderen Zugang zu diesem Thema geben. Von anderen Autoren wurden noch weitere Beweise gefunden.[271] Der Satz von Helly ist auch ein wichtiges Hilfsmittel beim Beweis anderer klassischer Theoreme der Konvexgeometrie, wie etwa beim Satz von Krasnoselskii[272] oder beim Satz von Jung.[273]

Abgrenzung

Bearbeiten

Es gibt in der Analysis einen weiteren Satz von Helly, welcher auch als Auswahlsatz von Helly bekannt ist bzw. in der englischsprachigen Literatur als Helly's selection theorem. Dieser behandelt Konvergenz von Funktionenfolgen.

Literatur

Bearbeiten

Originalarbeiten

Bearbeiten
  • Eduard Helly: Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. In: Jahrb. Deut. Math. Verein. Band 32, 1923, S. 175–176.
  • Eduard Helly: Über Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten. In: Monatsh. Math. Band 37, 1930, S. 281–302.
  • Johann Radon: Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten. In: Math. Ann. Band 83, 1921, S. 113–115.

Monographien

Bearbeiten
  • Arne Brøndsted: An introduction to convex polytopes. Springer-Verlag, New York u. a. 1983, ISBN 0-387-90722-X.
  • W. A. Coppel: Foundations of Convex Geometry. Cambridge University Press, Cambridge 1998, ISBN 0-521-63970-0.
  • Peter M. Gruber: Convex and Discrete Geometrie. Springer-Verlag, Berlin u. a. 2007, ISBN 978-3-540-71132-2.
  • Victor L. Klee [Hrsg.]: Convexity. Proceedings of the Seventh Symposium in Pure Mathematics of the American Mathematical Society, held at the University of Washington, Seattle, Washington, June 13 - 15, 1961. American Mathematical Society, Providence, RI 1963.
  • Steven R. Lay: Convex sets and their applications. John Wiley & Sons, New York u. a. 1982, ISBN 0-471-09584-2.
  • Kurt Leichtweiß: Konvexe Mengen. Springer-Verlag, Berlin u. a. 1980, ISBN 3-540-09071-1.
  • Frederick A. Valentine: Konvexe Mengen (= BI-Hochschultaschenbücher. Band 402/402a). Bibliographisches Institut, Mannheim 1968.
Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Satz (Mathematik)|Helly, Satz von]]


Satz von Radon

Bearbeiten

Der Satz von Radon (auch als Lemma von Radon bezeichnet[274]) ist ein Lehrsatz der Konvexgeometrie, welcher auf den österreichischen Mathematiker Johann Radon zurückgeht. Der Satz steht in unmittelbarem Zusammenhang mit dem Satz von Helly und ist über diesen mit anderen klassischen Sätzen der Konvexgeometrie verknüpft.[275]

Formulierung des Satzes

Bearbeiten

Der Satz lässt sich in moderner Fassung wie folgt formulieren:[276][277][278]

Gegeben seien eine natürliche Zahl und dazu ein -dimensionaler, reeller Vektorraum sowie eine Teilmenge von , welche aus mindestens Elemente bestehen soll.
Dann gilt:
kann derart in zwei disjunkte Teilmengen und zerlegt werden, dass deren konvexe Hüllen und sich in mindestens einem Punkte schneiden.

Historisches

Bearbeiten

Johann Radon formulierte und bewies den Satz 1921. Er hat aus ihm dann den Satz von Helly hergeleitet, welchen Eduard Helly bereits im Jahre 1913 gefunden und Johann Radon später mitgeteilt hatte.[279][280][281]

Abgrenzung

Bearbeiten

Auf Johann Radon geht auch ein weiterer wichtiger Satz der Mathematik zurück, nämlich der Satz von Radon-Nikodým, welcher jedoch nicht der Konvexgeometrie zugerechnet wird, sondern der Maßtheorie.

Verallgemeinerung

Bearbeiten

Der Satz von Radon wurde von Helge Tverberg im Jahre 1966 zum Satz von Tverberg verallgemeinert.[282]

Literatur

Bearbeiten

Originalarbeiten

Bearbeiten
  • Johann Radon: Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten. In: Math. Ann. Band 83, 1921, S. 113–115.

Monographien

Bearbeiten
  • Arne Brøndsted: An introduction to convex polytopes. Springer-Verlag, New York u. a. 1983, ISBN 0-387-90722-X.
  • Peter M. Gruber: Convex and Discrete Geometrie. Springer-Verlag, Berlin u. a. 2007, ISBN 978-3-540-71132-2.
  • Victor L. Klee (Hrsg.): Convexity. Proceedings of the Seventh Symposium in Pure Mathematics of the American Mathematical Society, held at the University of Washington, Seattle, Washington, June 13 - 15, 1961. American Mathematical Society, Providence, RI 1963.
  • Steven R. Lay: Convex sets and their applications. John Wiley & Sons, New York u. a. 1982, ISBN 0-471-09584-2.
Bearbeiten

Einzelnachweise

Bearbeiten

rreferences />

KKKategorie:Geometrie]] KKKategorie:Satz (Mathematik)|Radon, Satz von]]


Monge-Punkt

Bearbeiten

Der Monge-Punkt ist ein Gegenstand der Raumgeometrie. Er ist nach dem französischen Mathematiker Gaspard Monge benannt, welcher diesen ausgezeichneten Punkt des allgemeinen Tetraeders als erster beschrieben und durch den im Folgenden dargestellten Satz von Monge charakterisiert hat.[166][167][168]

Satz und Definition

Bearbeiten
Gegeben sei ein Tetraeder mit Kanten . Für jede -Kante sei der jeweilige Mittelpunkt und die gegenüberliegende -Kante. Durch liegt jeweils genau eine Ebene derart, dass und exakt senkrecht zueinander sind.
Dafür gilt:
Der Durchschnitt besteht aus genau einem Punkt .

Dieser eindeutig bestimmte Punkt ist der Monge-Punkt von .

Die oben beschriebenen Ebenen   werden auch als Monge-Ebenen (engl. Monge planes) bezeichnet.[169] Mit diesen lässt sich der Satz von Monge in aller Kürze wie folgt wiedergeben:

In einem Tetraeder schneiden sich die Monge-Ebenen in einem Punkt, nämlich im Monge-Punkt .

Der Satz von Mannheim

Bearbeiten

Zur Charakterisierung des Monge-Punkts lässt sich auch der folgende Satz heranziehen, welcher auf den französischen Mathematiker Amédée Mannheim zurückgeht:[170]

Legt man in dem Tetraeder durch jede seiner vier Höhen sowie den Höhenschnittpunkt des der jeweiligen Höhe zugehörigen senkrecht stehenden Seitendreiecks die (eindeutig bestimmte!) Ebene, so haben die auf diese Weise gegebenen vier Ebenen den Monge-Punkt als Schnittpunkt.

Lage auf der Eulerschen Geraden

Bearbeiten

Im allgemeinen Tetraeder ist die Eulersche Gerade (engl. Euler line) diejenige Gerade , welche den Schwerpunkt von und den Mittelpunkt der Umkugel von verbindet. Der Monge-Punkt erweist sich als derjenige ausgezeichnete Punkt des allgemeinen Tetraeders , welcher in Bezug auf spiegelbildlich zum Punkte auf der Geraden liegt. Anders gesagt: Der Monge-Punkt liegt im allgemeinen Tetraeder auf der Geraden jenseits von derart, dass der Mittelpunkt der Strecke ist[169][167][171].

Literatur

Bearbeiten
  • H. F. Thompson: A Geometrical Proof of a Theorem connected with the Tetrahedron. In: Proceedings of the Edinburgh Mathematical Society. (Series I). Band 27, 1908, S. 51–53.

Monographien

Bearbeiten
  • Nathan Altshiller-Court: Modern Pure Solid Geometry. 2. Auflage. Chelsea Publishing Company, Bronx, NY 1964, OCLC 1597161.
  • Howard Eves: An Introduction to the History of Mathematics. 5. Auflage. Saunders College Publishing, Philadelphia [u. a.] 1983, ISBN 0-03-062064-3.
  • Heinrich Schröter: Theorie der Oberflächen zweiter Ordnung und der Raumkurven dritter Ordnung als Erzeugnisse projektivischer Gebilde. Teubner, Leipzig 1880.

Einzelnachweise

Bearbeiten

rreferences />


KKKategorie:Geometrie]] KKKategorie:Raumgeometrie]] KKKategorie:Gaspard Monge]]


Satz von Gauß über das vollständige Vierseit

Bearbeiten

Der Satz von Gauß über das vollständige Vierseit ist ein Satz der affinen Geometrie. Er geht zurück auf Carl Friedrich Gauß (1777–1855), welcher ihn im Jahre 1810 fand[283][284]. Der Satz gehört in die Reihe der sogenannten Schließungssätze, zu denen unter anderem auch der Satz von Pappos-Pascal, der Satz von Desargues, der Satz von Menelaos und der Satz von Ceva gehören[285].

Klärung der Begriffe

Bearbeiten

Gegeben sei ein affiner Raum über einem Körper mit . Ein vollständiges Vierseit in (engl. manchmal als quadrilateral[286] oder eher als complete quadrilateral[287][288] bezeichnet) besteht aus vier verschiedenen Geraden , die sich paarweise schneiden, von denen jedoch keine drei durch ein und denselben Punkt von gehen[289][290].

Die Ecken des vollständigen Vierseits

Bearbeiten

Die paarweisen Schnittpunkte der vier Ausgangsgeraden werden als Ecken des vollständigen Vierseits bezeichnet und bilden die Eckenmenge . Dabei gehört zu jeder 2-Menge von Geraden umkehrbar eindeutig die Ecke von , was insgesamt zu

-Ecken führt.

Weiter liegen auf jeder Geraden genau drei Ecken, nämlich denjenigen Ecken, welche als Schnittpunkte von mit den übrigen Geraden entstehen.

Darüber hinaus gehört zu jeder Ecke umkehrbar eindeutig die Gegenecke oder Komplementärecke , welche man dadurch gewinnt, dass man das zugehörige Komplement bildet und dann die zu gehörige Gegenecke als .

Das Bilden der Gegenecke ist eine involutorische Abbildung auf :

  .

Die Eckenmenge lässt sich demnach schreiben wie folgt:

mit
 
 
 

Führt man diese Überlegung mit einer der drei von verschiedenen Geraden statt mit durch, so erhält man eine entsprechend andere, aber gleichwertige Darstellung der Eckenmenge . Der Zusammenhang zwischen Ecken und Gegenecken ist von der Art der Darstellung der Eckenmenge unberührt und allein von der vier Ausgangsgeraden abhängig.

Die Ebene des vollständigen Vierseits

Bearbeiten

Der Verbindungsraum ist eine affine Ebene innerhalb , welche die gesamte Eckenmenge enthält[291]:

Dies ist für die Ecken unmittelbar klar. Wegen enthält dann aber auch die Gerade und damit schließlich .

ist also unabhängig von der Art der Darstellung der Eckenmenge die zum vollständigen Vierseit gehörige und von diesem erzeugte Ebene innerhalb .

Die Diagonalen des vollständigen Vierseits und deren Mittelpunkte

Bearbeiten

Nach Konstruktion liegen für keinen Index   die beiden -Ecken und zugleich auf einer der vier gegebenen Geraden . Verbindet man also jede Ecke von mit der Gegenecke , so erhält man zu den vier gegebenen Geraden drei weitere Geraden hinzu. Dies sind die Diagonalen des vollständigen Vierseits :

Zu jeder der drei Diagonalen existiert unter den Punkten, die mit inzidieren, jeweils ein ausgezeichneter Punkt . Diesen Punkt nennt man den Mittelpunkt der Diagonalen oder kurz die Mitte der Diagonalen [292][293]. Der Mittelpunkt der Diagonalen erfüllt die Gleichungen:

und

und ist dadurch eindeutig bestimmt.

Von diesen drei Mittelpunkten der Diagonalen des vollständigen Vierseits handelt der Satz von Gauß.

Formulierung

Bearbeiten

Der Satz lautet wie folgt[294][295]:

In einem affinen Raum über einem Körper der Charakteristik liegen die Mittelpunkte der Diagonalen eines vollständigen Vierseits stets auf einer Geraden, der sogenannten Gauß-Geraden.

Der Fall der euklidischen Ebene

Bearbeiten

Der Satz gilt insbesondere für den Fall, dass , also die Koordinatenebene über ist. Ein besonders hervorzuhebender Fall liegt hierbei dann vor, wenn ist, also der Körper der reellen Zahlen vorliegt und wenn dann der gegebene affine Raum mit der euklidischen Ebene zusammenfällt.

Unter diesen Gegebenheiten lässt sich der Satz dann so aussprechen:[296]

Wenn vier Geraden so in der euklidischen Ebene liegen, dass keine drei davon durch einen Punkt gehen, so liegen die Mitten der zugehörigen Diagonalen stets auf einer Geraden.

Literatur

Bearbeiten
  • Claire Fisher Adler: Modern geometry : an integrated first course. 2. Auflage. McGraw-Hill, New York (u. a.) 1967.
  • H. F. Baker: An Introduction to Plane Geometry. Reprint. Chelsea Publishing Company, Bronx, NY 1971, ISBN 0-8284-0247-7.
  • Gerrit Bol: Elemente der Analytischen Geometrie. 1. Teil. Vandenhoeck & Ruprecht, Göttingen 1948.
  • Rolf Brandl: Vorlesungen über Analytische Geometrie. Verlag Rolf Brandl, Hof 1996.
  • Max Koecher, Aloys Krieg: Ebene Geometrie (= Springer-Lehrbuch). 2., neu bearbeitete und erweiterte Auflage. Springer Verlag, Berlin (u. a.) 2000, ISBN 3-540-67643-0.
  • Charlotte Angas Scott: Projective methods in plane analytical geometry. 3. Auflage. Chelsea Publishing Company, New York, NY 1961, ISBN 0-8284-0146-2.

Einzelnachweise

Bearbeiten

rreferences />

SSSORTIERUNG:Satz von Gauss uber das vollstandige Vierseit}} KKKategorie:Satz (Mathematik)|Gauss uber das vollstandige Vierseit]] KKKategorie:Geometrie]] KKKategorie:Carl Friedrich Gauß als Namensgeber]]


Winkel in der bernoullischen Lemniskate

Bearbeiten
Winkel an der Lemniskate von Bernoulli

Auf den Mathematiker Gerhard Christoph Hermann Vechtmann geht eine Winkelbeziehung in der bernoullischen Lemniskate zurück, welche dem italienischen Mathematikhistoriker Gino Loria zufolge als sehr bemerkenswert anzusehen ist. Vechtmann hat diese in seiner Dissertation im Jahre 1843 vorgestellt.[127][129]

Darstellung der Winkelbeziehung

Bearbeiten

Sie lässt sich angeben wie folgt:[127][129]

Gegeben sei in der euklidischen Ebene eine bernoullische Lemniskate mit den beiden definierenden Brennpunkten und und dem Zentrum .
Weiter gegeben sei ein Punkt , der nicht auf der Verbindungsgeraden durch und gelegen sei.
Die Normale zu im Punkte schneide in dem Punkt .
Dann gilt:
Der beim Punkt am Dreieck anliegende Außenwinkel ist dreimal so groß wie der beim Zentrum gelegene Innenwinkel.

Anmerkungen

Bearbeiten
Bild 1: Konstruktion der Tangente durch Punkt
Verbinde Punkt mit und bestimme mithilfe des Abstandes am Scheitel Die Normale zur Lemniskate schneidet in Die abschließende Tangente ist eine Senkrechte zu .
Bild 2: Lemniskate von Bernoulli
Wie das Beispiel zeigt, ist bei gegebener Winkelweite die Winkelweite am Scheitel ungleich .
  • Die genannte Winkelbeziehung ist nach dem Außenwinkelsatz gleichbedeutend damit, dass der zugehörige Innenwinkel beim Punkt doppelt so groß ist wie besagter Zentrumswinkel.[129]
  • Laut Gino Loria ist die Winkelbeziehung insofern bemerkenswert (Bild 1), als sie nicht nur eine leichte Konstruktionsmethode für die Normale in einem beliebigen Punkte der Lemniskate liefert (und daher auch für die Tangente), sondern auch beweist, daß das Problem der Dreiteilung des Winkels der Hauptsache nach identisch mit dem ist, an eine Lemniskate eine Normale bzw. eine Tangente von gegebener Richtung zu ziehen.[127]
  • Auch wenn es im ersten Moment den Anschein hat, die bernoullische Lemniskate wäre für die Dreiteilung eines beliebigen Winkels geeignet, dem ist nicht so (Bild 2). Bei einer vorgegebenen Winkelweite ist die Winkelweite am Scheitel ungleich und damit auch die Richtung des Winkelschenkels bestimmt. Dies bedeutet, würde man eine Senkrechte auf den Winkelschenkel durch errichten, würde diese die Lemniskate zweimal schneiden; einmal in und einmal z. B. in einem Punkt . Wie im vorherigen Absatz bereits beschrieben, besteht konstruktiv keine Möglichkeit an eine Lemniskate „...eine Tangente von gegebener Richtung zu ziehen.“ Der Scheitel mit der Winkelweite ist demzufolge bei einer gegebenen Winkelweite nicht darstellbar.

Beweis nach Loria

Bearbeiten

Der von Loria gegebene Beweis beruht wesentlich auf den beiden Gleichungen der Lemniskate und auf den Additionstheoremen für Vielfachwinkel von Sinus und Kosinus und geht wie folgt:

Es wird die Normalform der Lemniskate als gegeben angenommen, bei der die Gerade mit der Abszissenachse zusammenfällt und das Zentrum mit dem Koordinatenursprung.

Die definierende Gleichung von in kartesischen Koordinaten lässt sich dann schreiben als

(I)

und die in Polarkoordinaten in der Form

(II)

mit als Polarwinkel und als Abstand zum Koordinatenursprung.

Aus Symmetriegründen genügt es, den Satz für denjenigen Teil der Lemniskate, welcher im ersten Quadranten gelegen ist, also für und zu zeigen, und es ist weiterhin ausreichend, den Nachweis der behaupteten Gleichung allein zu führen für  , also unter Ausschluss des dortigen Hochpunktes, bei dem die Tangente an die Lemniskate parallel und die zugehörige Normale senkrecht zur Abszissenachse verlaufen. Denn für diesen Ausnahmefall folgt die Gleichung dann aus Stetigkeitsgründen.

Es sei nun besagter Außenwinkel mit bezeichnet.

Indem man in Rechnung stellt, dass einerseits im ersten Quadranten besagter Zentrumswinkel und der Polarwinkel des Punktes bei der Darstellung in Polarkoordinaten zusammenfallen und dass andererseits die reelle Tangensfunktion im punktierten Intervall injektiv ist, sieht man, dass allein die Gleichung

zu zeigen ist.

Der Beweis dieser Gleichung verläuft nun in mehreren Rechenschritten:

Zunächst erhält man vermöge impliziter Differentiation aus (I)

und daraus

 .

Nun ist

und wegen und ergibt sich dann die Gleichung

 .

und wegen (II) weiter

 .

Da man zugleich hat, folgt weiter

 .

Schließlich ist dann wegen der erwähnten Vielfachwinkelgleichungen

und alles ist gezeigt.

Literatur

Bearbeiten
  • G. M. Fichtenholz: Differential- und Integralrechnung I (= Hochschulbücher für Mathematik. Band 61). 3., unveränderte Auflage. VEB Deutscher Verlag der Wissenschaften, Berlin 1968, S. 484–485 (MR0238635).
  • Alexander Ostermann, Gerhard Wanner: Geometry by Its History (= Undergraduate Texts in Mathematics. Readings in Mathematics). Springer Verlag, Heidelberg / New York / Dordrecht / London 2012, ISBN 978-3-642-29162-3, S. 207–208, doi:10.1007/978-3-642-29163-0 (MR2918594 Google books.google.de).
  • Gino Loria: Spezielle algebraische und transzendente ebene Kurven: Theorie und Geschichte. Erster Band: Die algebraischen Kurven (= B. G. Teubners Sammlung von Lehrbüchern auf dem Gebiete der mathematischen Wissenschaften mit Einschluß ihrer Anwendungen. V,1). 2. Auflage. B. G. Teubner Verlag, Leipzig / Berlin 1910 (Ausgabe 1902 auf archive.org).
  • G. C. H. Vechtmann: Diss. inaug. phil. de curvis lemniscatis. Göttingen 1843 (books.google.de).

Einzelnachweise und Fußnoten

Bearbeiten

rreferences />

KKKategorie:Analytische Geometrie]]


=======================================================================================================
Bearbeiten

Einzelnachweise und Fußnoten

Bearbeiten
  1. a b c Albrecht Beutelspacher: Lineare Algebra. 2014, S. 123ff Referenzfehler: Ungültiges <ref>-Tag. Der Name „AB_1“ wurde mehrere Male mit einem unterschiedlichen Inhalt definiert.
  2. a b Beutelspacher, op. cit., S. 123
  3. Gerd Fischer: Analytische Geometrie. 2001, S. 1ff
  4. Beutelspacher, op. cit., S. 126
  5. Hanfried Lenz: Grundlagen der Elementarmathematik. 1976, S. 148ff
  6. Jürg T. Marti: Konvexe Analysis. 1977, S. 230–233
  7. Marti, op. cit., S. 231
  8. Hugo Hadwiger: Altes und Neues über konvexe Körper. 1955, S. 23–24
  9. Hadwiger, op. cit., S. 8
  10. Frederick A. Valentine: Convex Sets. 1964, S. 57–66
  11. Steven R. Lay: Convex Sets and Their Applications. 1982, S. 104–115
  12. Valentine, op. cit., S. 63
  13. Lay, op. cit., S. 110
  14. Valentine, op. cit., S. 57
  15. Wilhelm Klingenberg: Eine Vorlesung über Differentialgeometrie. 1973, S. 100
  16. Gemäß der Darstellung in Klingenbergs Eine Vorlesung über Differentialgeometrie. bewies Hadamard sogar mehr und insbesondere, dass jede Eifläche im eine orientierbare -dimensionale Mannigfaltigkeit ist.
  17. W. A. Coppel: Foundations of Convex Geometry. 1998, S. 68 ff
  18. Mark Longueville: A Course in Topological Combinatorics. 2013, S. 106ff
  19. Jiří Matoušek: Lectures on Discrete Geometry. 2002, S. 200 ff
  20. Coppel, op. cit., S. 69
  21. a b Longueville, op. cit., S. 106
  22. Matoušek, op. cit., S. 200
  23. Coppel, op. cit., S. 70
  24. Kurt Leichtweiß: Konvexe Mengen. 1980, S. 35–45
  25. Jürg T. Marti: Konvexe Analysis. 1977, S. 94–97
  26. a b Arne Brøndsted: An Introduction to Convex Polytopes. 1983, S. 37
  27. Branko Grünbaum: Convex Polytopes. 2003, S. 19
  28. Leichtweiß, op. cit. , S. 42–43
  29. Marti, op. cit., S. 94, S. 97
  30. Victor L. Klee, Jr.: Extremal structure of convex sets. II. Math. Z. 69, S. 91
  31. Marti, op. cit., S. 125–130
  32. Leichtweiß, op. cit. , S. 41
  33. Marti, op. cit., S. 34, S. 90
  34. Marti, op. cit., S. 34, S. 91
  35. Leichtweiß, op. cit. , S. 42
  36. C. Carathéodory: Über den Variabilitätsbereich der Fourierschen Konstanten von positiven harmonischen Funktionen. In: Rendiconti del Circolo Matematico di Palermo. Band 32, 1911, S. 193–217.
  37. Arne Brøndsted: An Introduction to Convex Polytopes, Springer New York Heidelberg Berlin (1983), Cor. 2.4
  38. W. A. Coppel: Foundations of Convex Geometry. 1998, S. 67
  39. Imre Bárány: A generalization of Carathéodory's theorem. In: Discrete Mathematics. Band 40, 1982, S. 141–152 (MR0676720).
  40. a b Coppel, op. cit., S. 68
  41. a b Steven R. Lay: Convex Sets and Their Applications. 1982, S. 53
  42. Jürg T. Marti: Konvexe Analysis. 1977, S. 203 ff
  43. Kurt Leichtweiß: Konvexe Mengen. 1980, S. 76 ff
  44. Frederick A. Valentine: Convex Sets. 1964, S. 82 ff
  45. Leichtweiß, op. cit., S. 76–77
  46. Valentine, op. cit., S. 84
  47. Marti, op. cit., S. 212
  48. Marti, op. cit., S. 66, S. 211
  49. Claudi Alsina, Roger B. Nelsen: Bezaubernde Beweise: eine Reise durch die Eleganz der Mathematik. 2013, S. 88–89
  50. a b Alsina / Nelsen, op. cit., S. 88
  51. Claudi Alsina, Roger B. Nelsen: Bezaubernde Beweise: eine Reise durch die Eleganz der Mathematik. 2013, S. 89–90
  52. Claudi Alsina, Roger B. Nelsen: When Less is More : Visualizing Basic Inequalities. 2009, S. 14, 58, 176
  53. Albert W. Marshall, Ingram Olkin: Inequalities : Theory and Majorization and Its Applications. 1979, S. 202
  54. Alsina / Nelsen, op. cit., S. 13
  55. Offenbar ist mit dem halben Umfang von identisch.
  56. (G2) ist äquivalent mit der Formel des Heron.
  57. Alsina / Nelsen, op. cit., S. 58
  58. Alsina / Nelsen, op. cit., S. 14
  59. Marshall / Olkin, op. cit., S. 202
  60. Hier wurde eine bei Marshall / Olkin angegebene Ungleichung durch algebraische Umformungen vereinfacht.
  61. Ingram Olkin (23. Juli 1924 – 28. April 2016) war ein bedeutender US-amerikanischer Statistiker. Vgl. Artikel Ingram Olkin in der englischsprachigen Wikipedia!
  62. Steven R. Lay: Convex Sets and Their Applications. 1982, S. 47 ff
  63. Jürg T. Marti: Konvexe Analysis. 1977, S. 203 ff
  64. Jan van Tiel: Convex Analysis. 1984, S. 41 ff
  65. Lay, op. cit., S. 56
  66. Marti, op. cit., S. 205
  67. van Tiel, op. cit., S. 44
  68. Kurt Leichtweiß: Konvexe Mengen. 1980, S. 74 ff
  69. Vgl. Eintrag im Mathematics Genealogy Project!
  70. a b Friedrich Joseph Pythagoras Riecke (Hrsg.): Mathematische Unterhaltungen. Erstes Heft. 1973, S. 76
  71. Bei Riecke ist die letzte Überlegung nicht ausgeführt.
  72. Hier kommt die Betragsfunktion ins Spiel!
  73. Friedrich Joseph Pythagoras Riecke (Hrsg.): Mathematische Unterhaltungen. Erstes Heft. 1973, S. 125
  74. Egbert Harzheim: Einführung in die Kombinatorische Topologie. 1978, S. 31 ff
  75. Hermann Athen, Jörn Bruhn (Hrsg.): Lexikon der Schulmathematik und angrenzender Gebiete. Band 4 - S bis Z. 1978, S. 944
  76. a b Coxeter, op. cit., S. 242
  77. a b c DUDEN: Rechnen und Mathematik. 1985, S. 652
  78. Friedrich Joseph Pythagoras Riecke (Hrsg.): Mathematische Unterhaltungen. Erstes Heft. 1973, S. 76
  79. Den Beweis von Riecke (und einen anderen Beweis) findet man im Beweisarchiv.
  80. Nathan Altshiller-Court: Modern Pure Solid Geometry. 2. Auflage. Chelsea Publishing Company, Bronx NY 1964, OCLC 1597161, S. 57, 339.
  81. Howard Eves: An Introduction to the History of Mathematics. 5. Auflage. Saunders College Publishing, Philadelphia [u. a.] 1983, ISBN 0-03-062064-3, S. 438.
  82. Altshiller-Court: op. cit. S. 57.
  83. Hier ist unter Schwerpunkt stets Eckenschwerpunkt zu verstehen.
  84. Altshiller-Court: op. cit. S. 57–58.
  85. Egbert Harzheim: Einführung in die Kombinatorische Topologie (= Die Mathematik. Einführungen in Gegenstand und Ergebnisse ihrer Teilgebiete und Nachbarwissenschaften). Wissenschaftliche Buchgesellschaft, Darmstadt 1978, ISBN 3-534-07016-X, S. 33 (MR0533264).
  86. Harzheim: op. cit. S. 31.
  87. Harzheim: op. cit. S. 31 ff.
  88. Vgl. Artikel über Riecke auf Wikisource
  89. a b Friedrich Joseph Pythagoras Riecke (Hrsg.): Mathematische Unterhaltungen. Zweites Heft. 1973, S. 100, 128
  90. In den Mathematische Unterhaltungen (Zweites Heft, S. 128) wird auf die S. 36 von Reuschs Abhandlung Der Spitzbogen verwiesen.
  91. a b Friedrich Joseph Pythagoras Riecke (Hrsg.): Mathematische Unterhaltungen. Erstes Heft. 1973, S. 66
  92. Vgl. Artikel über Riecke auf Wikisource
  93. Julian Lowell Coolidge: A Treatise on the Circle and the Sphere. 1916 (Nachdruck 1971, 2004), S. 44 ff
  94. Max Simon: Über die Entwicklung der Elementar-Geometrie im XIX. Jahrhundert. 1906, S. 108
  95. a b Heinrich Dörrie: Mathematische Miniaturen. 1979, S. 71-72, 115
  96. Coolidge: , op. cit. S. 46, 117-118
  97. a b Dörrie, op. cit., S. 522
  98. Heinrich Dörrie: Triumph der Mathematik. 1958, S. 196
  99. H. S. M. Coxeter: Unvergängliche Geometrie. 1963, S. 31
  100. a b Coxeter, op. cit., S. 28-31
  101. Coxeter, op. cit., S. 28, 30, 31
  102. Coxeter, op. cit., S. 28-29
  103. Coxeter, op. cit., S. 29
  104. Coxeter, op. cit., S. 30
  105. George E. Martin: The Foundations of Geometry and the Non-Euclidean Plane. Springer Verlag, New York - Heidelberg - Berlin 1982, S. 386 ff, 392
  106. Daniel Pedoe: Geometry and the Visual Arts. Dover Publications, New York 1983, S. 82 ff, 96
  107. George E. Martin: The Foundations of Geometry and the Non-Euclidean Plane. 1982, S. 386 ff
  108. a b H. S. M. Coxeter: Unvergängliche Geometrie. 1963, S. 54
  109. Martin, op. cit., S. 386, 391-392
  110. Daniel Pedoe: Geometry and the Visual Arts. 1983, S. 258-261
  111. Martin, op. cit., S. 392
  112. Pedoe, op. cit., S. 96
  113. Hermann Weyl: Symmetrie. 1955, S. 71,102
  114. György Hajós: Einführung in die Geometrie. 1970, S. 244–245
  115. Heinrich Brauner schreibt allerdings in seinem Lehrbuch der konstruktiven Geometrie in einer Fußnote (Seite 51), dass Pohlke den Fundamentalsatz im Jahre 1860 sehr wohl veröffentlicht habe, wenn auch ohne Beweis.
  116. a b N. M. Beskin: Abbildungsverfahren. in: P. S. Alexandroff et al.: Enzyklopädie der Elementarmathematik. Band IV. 1969, S. 252
  117. a b Michiel Hazewinkel: Encyclopaedia of Mathematics. vol. 4. 1995, S. 439
  118. Die Encyclopaedia of Mathematics (S. 439) formuliert (PS') mit "Any complete plane quadrilateral ...". Gemeint sind jedoch jedenfalls vollständige Vierecke in einer Ebene des Raums. Die Encyclopaedia of Mathematics nennt als Quelle auch ausdrücklich die Abhandlung im Band IV der Enzyklopädie der Elementarmathematik.
  119. a b J. Heine: Topologie und Funktionalanalysis. 2002, S. 25
  120. Ilka Agricola, Thomas Friedrich: Elementargeometrie. 2015, S. 77
  121. a b c Claudi Alsina, Roger B. Nelsen: Perlen der Mathematik. 2015, S. 63
  122. J.Heine, op. cit., S. 551
  123. Durch Auflösen der Gleichung (AG-2a) nach .
  124. Bronstein/Semendjajew 1972, S. 141
  125. W. G. Boltjanski: Zerlegungsgleichheit von Vielecken und Vielflachen. In: Enzyklopädie der Elementarmathematik. Bd. V, 1971, S. 147-148,157-160
  126. Gerhard Christoph Hermann Vechtmann stammte aus Wittmund, wo er am 10. April 1817 geboren wurde. Nach der Promotion 1843 (De curvis lemniscatis) in Göttingen war er Lehrer in Göttingen, Lüneburg (Ritterakademie St. Michaelis), an der Gelehrtenschule in Eutin (1845) und in Lübeck, in Meldorf (Subrektor 1848) und war ab 1854 Rektor am Realgymnasium in Rendsburg. Er starb am 2. August 1857. Außer seine Dissertation veröffentlichte er noch in den Jahresprogrammen der Gymnasien in Meldorf und Rendsburg.
  127. a b c d e f Gino Loria: Spezielle algebraische und transzendente ebene Kurven ... . Erster Band 1910, S. 217 Referenzfehler: Ungültiges <ref>-Tag. Der Name „GL-1“ wurde mehrere Male mit einem unterschiedlichen Inhalt definiert.
  128. Alexander Ostermann, Gerhard Wanner: Geometry by Its History. 2012, S. 207-208
  129. a b c d e Alexander Ostermann, Gerhard Wanner: Geometry by Its History. Springer, 2012, S. 207-208
  130. Siegfried Krauter: Erlebnis Elementargeometrie. 2005, S. 31
  131. Harald Scheid: Elemente der Geometrie 1991, S. 115 ff
  132. Hanfried Lenz: Grundlagen der Elementarmathematik., 1976, S. 204 ff, 208-209
  133. E. Quaisser: Bewegungen in der Ebene und im Raum., 1983, S. 54 ff
  134. Scheid, op. cit., S. 117-118
  135. Quaisser, op. cit. , S. 60-61
  136. Quaisser, op. cit. , S. 86
  137. Quaisser, op. cit. , S. 89, 95
  138. Quaisser, op. cit. , S. 90
  139. Theophil Lambacher, Wilhelm Schweizer: Geometrie. Ausgabe E. Teil 2. 1965, S.152
  140. Johannes Kratz, Karl Wörle: Geometrie. II. Teil. 1968, S. 66
  141. David Wells: he Penguin Dictionary of Curious and Interesting Geometry 1991, S. 153-154
  142. Ilka Agricola, Thomas Friedrich: Elementargeometrie. 2015, S. 205
  143. Alexander Ostermann, Gerhard Wanner: Geometry by Its History. 2012, S. 280, 299
  144. Ostermann, Wanner, op. cit., S. 280
  145. Ostermann, Wanner, op. cit., S. 280–281
  146. Ostermann, Wanner, op. cit., S. 299
  147. Ostermann, Wanner, op. cit., S. 304, 306
  148. Max Koecher, Aloys Krieg: Ebene Geometrie, 2000, S. 165
  149. György Hajós: Einführung in die Geometrie. 1970, S. 510-511
  150. Innerhalb ist also die Hauptachse die längste und die Nebenachse die kürzeste Strecke. Dabei ist wie üblich die Länge der großen und die Länge der kleinen Halbachse.
  151. Hans Honsberg: Analytische Geometrie. 1971, S. 88-90, 95-96
  152. Lässt man die Randkurve jeweils weg, so bleibt der Flächeninhalt selbstverständlich unverändert.
  153. I. N. Bronstein, K. A. Semendjajev et al.: Taschenbuch der Mathematik. 2008, S. 205
  154. P. S. Alexandroff et al.: Enzyklopädie der Elementarmathematik. Band IV 1969, S. 598
  155. Ein der Ellipse umbeschriebenes Parallelogramm zeichnet sich dadurch aus, dass jede seiner vier Seiten auf einer Tangente von liegt, also in nur in einem einzigen Punkt berührt.
  156. Maximilian Miller: Stereometrie. 1957, S. 41
  157. Der Titel der Abhandlung E 231 lautet auf Deutsch etwa wie folgt: Darlegung einiger kennzeichnender Eigenschaften, mit denen von ebenen Flächen eingeschlossene Körper ausgestattet sind. In dieser Abhandlung gibt Euler den ersten Beweis der Polyederformel an, welche er schon in einer früheren Abhandlung (E 230, abgedruckt unter Elementa doctrinae solidorum, Novi commentarii academiae scientiarum Petropolitanae 4, S. 109 – 140; vgl. Einleitung zu den Commentationes geometricae) erwähnt, aber noch nicht bewiesen hatte.
  158. Andreas Speiser et al.: Leonhardi Euleri Opera omnia. Series prima. Opera mathematica. Volumen XXVI: Commentationes geometricae. Volumen I. 1953, S. 106-107
  159. Dies ergibt sich bei Berücksichtigung der Formel
      .
  160. Nathan Altshiller-Court: Modern Pure Solid Geometry. 1964, S. 112
  161. Miller, op. cit. , S. 46
  162. I. N. Bronstein, K. A. Semendjajev et al.: Taschenbuch der Mathematik. 2008, S. 157
  163. György Hajós: Einführung in die Geometrie. 1970, S. 383
  164. Alexander Ostermann, Gerhard Wanner: Geometry by Its History. 2012, S. 297
  165. Hajós, op. cit. , S. 384
  166. a b Nathan Altshiller-Court: Modern Pure Solid Geometry. 1964, S. 76, 340
  167. a b c d Heinrich Schröter: Theorie der Oberflächen zweiter Ordnung und der Raumkurven dritter Ordnung als Erzeugnisse projektivischer Gebilde. 1880, S. 209
  168. a b H. F. Thompson: A Geometrical Proof of a Theorem connected with the Tetrahedron. 1908, S. 51
  169. a b c d Nathan Altshiller-Court: Modern Pure Solid Geometry. 1964, S. 77
  170. a b Nathan Altshiller-Court: Modern Pure Solid Geometry. 1964, S. 78-79
  171. a b Howard Eves: An Introduction to the History of Mathematics.. 1983, S. 340
  172. Yu. D. Burago, V. A. Zalgaller: Geometric Inequalities. 1988, S. 136 ff, S. 146
  173. H. Hadwiger: Vorlesungen über Inhalt, Oberfläche und Isoperimetrie. 1957, S. 187 ff
  174. Kurt Leichtweiß: Konvexe Mengen. 1980, S. 248 ff
  175. Vitali D. Milman, Gideon Schechtman: Asymptotic Theory of Finite Dimensional Normed Spaces. 1986, S. 134 ff, S. 146
  176. Boris Makarov, Anatolij Podkorytov: Real Analysis: … 2013, S. 87 ff
  177. Frederick A. Valentine: Konvexe Mengen. 1968, S. 196-197
  178. Herbert Federer: Geometric Measure Theory. 1969, S. 277 ff
  179. a b c d Ernst Kunz: Ebene Geometrie. 1976, S. 7 ff, 19 ff.
  180. Koecher, Krieg: Ebene Geometrie. 2000, S. 163
  181. Den Beweis dazu findet man im Beweisarchiv.
  182. Siegfried Gottwald, Hans-Joachim Ilgauds, Karl-Heinz Schlote (Hrsg.): Lexikon bedeutender Mathematiker. 1990, S. 142
  183. Siehe auch Artikel über Giulio Carlo Fagnano im italienischen Wikipedia.
  184. Heinrich Dörrie: Mathematischen Miniaturen, 1979, S. 273-275, S.523
  185. Dabei wird die Elementrelation als selbstverständlich gegeben betrachtet und nicht weiter erwähnt.
  186. Koecher, Krieg: Ebene Geometrie. 2000, S. 48 ff.
  187. Koecher-Krieg: Ebene Geometrie. 2000, S. 59
  188. Für zwei Punkte ist die Verbindungsgerade.
  189. Koecher-Krieg: Ebene Geometrie. 2000, S. 60
  190. Ausführlicher Beweis siehe auch Wikibooks-Beweisarchiv.
  191. Zu beachten ist hierbei, dass sich die Rollen der Seitenlängen beliebig vertauschen lassen.
  192. György Hajós: Einführung in die Geometrie. B. G. Teubner Verlag, Leipzig, S. 380–381 (ungarisch: Bevezetés A Geometriába. Übersetzt von G. Eisenreich [Leipzig, auch Redaktion]).
  193. Max Koecher, Aloys Krieg: Ebene Geometrie. 3., neu bearbeitete und erweiterte Auflage. Springer Verlag, Berlin (u. a.) 2007, ISBN 978-3-540-49327-3, S. 111.
  194. Auch hier lassen sich die Rollen der Seitenlängen vertauschen, was zu einer gleichwertigen, aber entsprechend abgewandelten Darstellung führt.
  195. Anna Maria Fraedrich: Die Satzgruppe des Pythagoras (= Lehrbücher und Monographien zur Didaktik der Mathematik. Band 29). B.I.-Wissenschaftsverlag, Mannheim / Leipzig / Wien / Zürich 1994, ISBN 3-411-17321-1, S. 324.
  196. Theophil Lambacher, Wilhelm Schweizer (Hrsg.): Lambacher-Schweizer. Mathematisches Unterrichtswerk für höhere Schulen. Geometrie. Ausgabe E. Teil 2. 13. Auflage. Ernst Klett Verlag, Stuttgart 1965, S. 99–100.
  197. Zum Beweis siehe hier!
  198. Hermann Athen, Jörn Bruhn (Hrsg.): Lexikon der Schulmathematik und angrenzender Gebiete. Band 2, F–K. Aulis Verlag Deubner, Köln 1977, ISBN 3-7614-0242-2, S. 389.
  199. Hugo Fenkner, Karl Holzmüller: Mathematisches Unterrichtswerk. Nach den Richtlinien für die Lehrpläne der höheren Schulen Preußens neu bearbeitet von Karl Holzmüller. 12. Auflage. Geometrie. Ausgabe A in 2 Teilen. I. Teil. Verlag von Otto Salle, Berlin 1926, S. 127.
  200. Johannes Kratz: Geometrie (= Mathematik für Gymnasien. Band 4). 4. Auflage. Bayerischer Schulbuch Verlag, München 1966, S. 172.
  201. Theophil Lambacher, Wilhelm Schweizer (Hrsg.): Lambacher-Schweizer. Mathematisches Unterrichtswerk für höhere Schulen. Geometrie. Ausgabe E. Teil 1. 15. Auflage. Ernst Klett Verlag, Stuttgart 1965, S. 59.
  202. Fachlexikon ABC Mathematik. S. 135.
  203. DUDEN: Rechnen und Mathematik. S. 142.
  204. Lexikon der Schulmathematik. Band 1, S. 247.
  205. Enzyklopädie der Elementarmathematik. Band V, S. 140.
  206. Klingenberg, S. 106.
  207. Kühnel, S. 133.
  208. Berger-Gostiaux, S. 382.
  209. Kreyszig, S. 243.
  210. Die hier betrachteten Mannigfaltigkeiten sind unberandet, also keine Mannigfaltigkeiten mit Rand und damit lokaleuklidisch; d. h.: Jeder Punkt darin besitzt eine offene Umgebung, die zu einem euklidischen Raum homöomorph ist, und damit in der Relativtopologie ein Umgebungssystem mit allen topologischen Eigenschaften, die auch für die Punkte des euklidischen Raums gegeben sind. Es besitzt also jeder Flächenpunkt innerhalb der hier betrachteten Flächen eine offene Umgebung, die zum homöomorph ist. Siehe Schubert, S. 210. / Kühnel, S. 143.
  211. Laugwitz, S. 162.
  212. Kühnel, S. 134.
  213. Kreyszig, S. 243.
  214. Eine Isometrie riemannscher Mannigfaltigkeiten lässt also die gesamte riemannsche Struktur und (in diesem Sinne) die gesamte innere Geometrie der beteiligten Mannigfaltigkeiten invariant; vgl. Walter, S. 123,156.
  215. Klingenberg, S. 106.
  216. Berger-Gostiaux, S. 427.
  217. Strubecker, S. 202.
  218. Strubecker, S. 202. / Klingenberg, S. 100.
  219. Walter, S. 195.
  220. Hilbert, S. 231 ff.
  221. Hilbert hat diese Arbeit auch in den Transactions of the American Mathematical Society von 1901 veröffentlicht; vgl. Hilbert: Ueber Flächen von constanter Gaussscher Krümmung. In: Trans. Amer. Math. Soc. 1901, S. 87 ff.; vgl. auch Berger-Gostiaux, S. 428.
  222. Hilbert, S. 237.
  223. Hilbert: Ueber Flächen von constanter Gaussscher Krümmung. In: Trans. Amer. Math. Soc. 1901, S. 97.
  224. Siehe Walter, S. 310. Hier schreibt der Autor im Anhang II seines Buches, in welchem die Eigenschaften differenzierbarer Mannigfaltigkeiten zusammengefasst sind: Der Einheitlichkeit halber wird hier nur der -Fall behandelt, jedoch ist alles so gefasst, dass es auch unter schwächeren Differenzierbarkeitsannahmen (meistens oder ) gültig bleibt.
  225. Strubecker, S. 202–203.
  226. Klingenberg, S. 100–102.
  227. Vgl. auch Abschnitt „Verwandte Resultate“ im Artikel „Satz von Tietze (Konvexgeometrie)“ .
  228. Burago-Zalgaller: S. 93.
  229. Hadwiger, S. 173.
  230. Hugo Hadwiger nennt einen derartigen Körper auch Eikörper; vgl. Hadwiger, S. 198.
  231. Das n-dimensionale Volumen bzw. – im zweidimensionalen Fall – der Flächeninhalt eines Eikörpers stimmt mit seinem Lebesgue-Maß überein; vgl. Hadwiger, S. 157.
  232. Bieberbach: Jber. dtsch. Math.-Ver. Nr. 24, S. 247 ff.
  233. Blaschke, S. 122 ff.
  234. Burago-Zalgaller: S. 93 ff, 143 ff.
  235. Hadwiger, S. 178–179.
  236. Schmidt: Math. Nachr. Nr. 1/2, S. 81 ff., 171 ff.
  237. Friedrich Joseph Pythagoras Riecke (Hrsg.): Mathematische Unterhaltungen. Erstes Heft. 1973, S. 65
  238. Riecke, op. cit., S. 31, 65
  239. Der Hilfssatz lässt sich sowohl aus dem Satz von Stewart als auch mit dem Kosinussatz herleiten.
  240. Vgl. Artikel über Riecke auf Wikisource
  241. a b c Lenz: ??? S. 65 ff.
  242. Greenberg: ??? S. 118 ff.
  243. a b c Filler: ??? S. 105 ff.
  244. a b c Mitschka: ??? S. 115 ff.
  245. Der Satz heißt bei Mitschka exakt der „erste Satz vom Außenwinkel im Dreieck“ (S. 115), was jedoch als eine in sich unstimmige Formulierung wirkt und zudem nicht der Benennung der später folgenden Verschärfung (S. 129) entspricht, bei der Mitschka den Zusatz „im Dreieck“ fortlässt.
  246. a b c Hilbert: ??? S. 24.
  247. a b Hessenberg-Diller: ??? S. 44 ff.
  248. Greenberg: ??? S. 98 ff.
  249. Faber: ??? S. 113 ff.
  250. Hilbert: ??? S. 13–22.
  251. Zu beachten ist, dass hier eine scharfe Ungleichung formuliert wird, welche den Gleichheitsfall ausschließt. Dagegen ist die in der Theorie der metrischen und pseudometrischen Räume ausgesprochene - verwandte ! - Dreiecksungleichung eine unscharfe Ungleichung, bei der der Gleichheitsfall zugelassen wird.
  252. Über die einfache Dreiecksungleichung hinaus gilt sogar (vgl. Hessenberg-Diller, S. 46): Für drei Punkte A, B, Z impliziert die Gleichung , dass Z auf der Strecke [AB] und damit zwischen A und B liegt. Daraus ergibt sich das (nach Leibniz benannte) Leibnizsche Minimalprinzip: Der kürzeste Streckenzug, der zwei Punkte verbindet, ist die durch die beiden Punkte definierte Strecke.
  253. Filler: ??? S. 111.
  254. Mitschka: ??? S. 129.
  255. dtv-Atlas zur Mathematik. S. 153.
  256. Lexikon der Schulmathematik ... Band 1, S. 85.; die Schreibung ist hier „Außenwinkel-Satz“.
  257. Filler: ??? S. 168.
  258. Filler: ??? S. 166–168.
  259. Greenberg: ??? S. 90,120.
  260. Filler: ??? S. 15 ff.
  261. Alexandroff et al.: ??? S. 329.
  262. Alexandroff et al.: ??? S. 329.
  263. V. L. Klee: Convexity. 1963, S. 101 ff.
  264. T. Bonnesen, W. Fenchel: Theorie der konvexen Körper. Berichtigter Reprint. 1974, S. 3.
  265. F. A. Valentine: Konvexe Mengen. 1968, S. 78.
  266. A. Brøndsted: An introduction to convex polytopes. 1983, S. 18.
  267. J. Radon: Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten. 1921, S. 113.
  268. S. R. Lay: Convex sets and their applications. 1982, S. 47.
  269. E. Helly: Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. 1923.
  270. E. Helly: Über Systeme von abgeschlossenen Mengen mit gemeinschaftlichen Punkten. 1930.
  271. F. A. Valentine: Valentine. 1968, S. 78 ff.
  272. S. R. Lay: Convex sets and their applications. 1982, S. 53 ff.
  273. K. Leichtweiß: Konvexe Mengen. 1980, S. 70 ff.
  274. Vgl. ersten Weblink!
  275. Klee: S. 101 ff.
  276. Brøndsted: S. 15
  277. Gruber: S. 46 ff.
  278. Klee: S. 103
  279. Radon: S. 113
  280. Klee: S. 101
  281. Lay: S. 47
  282. Siehe auch zweiten Weblink!
  283. G. Bol: Elemente der Analytischen Geometrie. 1. Teil, 1948, S. 28.
  284. R. Brandl: Vorlesungen über Analytische Geometrie. 1996, S. 36.
  285. R. Brandl: Vorlesungen über Analytische Geometrie. 1996, S. 34–38.
  286. H. F. Baker: An Introduction to Plane Geometry. 1971, S. 11.
  287. C. F. Adler: Modern geometry : an integrated first course. 1967, S. 143.
  288. C. A. Scott: Projective methods in plane analytical geometry. 1961, S. 41.
  289. G. Bol: Elemente der Analytischen Geometrie. 1. Teil, 1948, S. 27.
  290. R. Brandl: Vorlesungen über Analytische Geometrie. 1996, S. 36.
  291. R. Brandl: Vorlesungen über Analytische Geometrie. 1996, S. 36.
  292. G. Bol: Elemente der Analytischen Geometrie. 1. Teil, 1948, S. 28.
  293. R. Brandl: Vorlesungen über Analytische Geometrie. 1996, S. 36.
  294. M. Koecher, A. Krieg: Ebene Geometrie. 2000, S. 64.
  295. R. Brandl: Vorlesungen über Analytische Geometrie. 1996, S. 36.
  296. Diese Darstellung schließt an die von Gerrit Bol (Elemente der Analytischen Geometrie. 1. Teil, 1948, S. 27–28) an und schlägt die Brücke zu obiger Skizze.

Notizen, Anmerkungen, Erläuterungen

Bearbeiten
  1. Olaf Tamaschke (* 1928 (?); † 29. Juni 2020) war ein deutscher Mathematiker und promovierte im Jahre 1959 unter der Anleitung von Helmut Wielandt an der Universität Tübingen, wo er auch von 1978 bis zu seinem Ruhestand im Jahre 1992 als Professor für Anwendungen der Gruppentheorie am dortigen Mathematischen Institut tätig war.