Beweisarchiv: Geometrie: Trigonometrie: Trigonometriesätze: Neue Folgerungen aus dem Projektionssatz der Dreiecksgeometrie

Beweisarchiv: Geometrie

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


Formulierung

Bearbeiten

Der Projektionssatz, welcher dem Kosinussatz zugrundeliegt (und mit diesem sogar gleichwertig ist), besagt:[1]

Werden für ein Dreieck der euklidischen Ebene - wie üblich - mit   die Längen der zugehörigen Seiten bezeichnet und mit   die Innenwinkel dieses Dreiecks, gemessen im Bogenmaß, so gelten folgende Identitäten:[2][3]

 
 
 

Aus dem Projektionssatz lässt sich nun die nachstehende Kosinusformel ableiten:

(F1)  [4]
Zusatz:
Aufgrund der Tatsache, dass die reelle Kosinusfunktion zu einer auf der ganzen komplexen Ebene erklärten holomorphen Funktion fortgesetzt werden kann, und wegen des Identitätssatzes gilt (F1) auch für alle komplexen Argumente     .

Darüber hinaus gelten stets die Ungleichungen

(U)  

und

(V)   .

Herleitung der Ungleichung (F1)

Bearbeiten

Schreibt man die drei Gleichungen des Projektionssatzes in Matrizenform, so erhält man:

 

Das bedeutet: Der Kern des zu der obigen Matrix gehörigen, auf dem   definierten linearen Endomorphismus besteht nicht allein aus dem Nullvektor und ist daher kein Automorphismus.

Folglich muss die Determinante der Matrix gleich Null sein.

Unter Anwendung des laplaceschen Entwicklungssatzes und durch Entwicklung nach der ersten Zeile gewinnt man daraus:

 

Das beweist die Gültigkeit von (F1) .[5]

Herleitung der Ungleichungen (U) und (V)

Bearbeiten

Die erste Matrixgleichung oben lässt sich auch anders schreiben, nämlich wie folgt:

 

Das bedeutet:   ist Eigenwert der links stehenden Matrix.

Die Ungleichung (U) ergibt sich dann unmittelbar durch Anwendung des Gerschgorin'schen Kreisesatzes !

Um (V) zu zeigen, ist zunächst zu bemerken, dass (U) unmittelbar

 

nach sich zieht. Also bleibt allein nachzuweisen, dass hier der Fall der Gleichheit auszuschließen ist.

Geht man hier jedoch im Gegenteil von der Gleichheit aus, so hat man – o.B.d.A.   annehmend – sogleich

 

und damit

  .

Da wir jedoch ein nicht-ausgeartetes Dreieck zugrundelegen, hat man wegen   sofort

 

und dann auch

  .

Also folgt

 

und dann sogleich

 

und weiter

  .

Dann muss aber

 

gelten und infolge der Additionstheoreme weiter

  .

Wegen   ist   und es folgt

 

und damit

  .

Dann muss aber auch

 

sein, was aber mit der Tatsache unvereinbar ist, dass auch   vorausgesetzt ist.

Damit ist ein Widerspruch gegeben, was bedeutet, dass die obige Annahme der Gleichheit nicht haltbar ist.

Anwendungen

Bearbeiten

Aus (F1) lassen sich leicht weitere (mehr oder weniger bekannte) Formeln ableiten.

Behält man in (F1)   als Variable und setzt dann     , so erhält man wegen   direkt

 

und damit die bekannte Identität

    .

Mit A-1-1 folgert man dann direkt weiter:

(F1')   für     .[6]

Hat man  , so erhält man aus in (F1) , indem man mittels quadratischer Ergänzung nach   auflöst, die folgende Gleichung:

(F2)     .

Durch Anwendung von (F2) gewinnt man aus bekannten Kosinuswerten leicht neue, und zwar insbesondere solche, in denen allein natürliche Zahlen, Brüche und Wurzeln auftreten.

Beispiele dafür sind die folgenden.

Man setzt in (F2)   und erhält

    .

Also ist

    .

Man setzt in (F2)   und erhält

    .

Also ist

 

und damit

 

oder auch

    .[7]

Quellen und Hintergrundliteratur

Bearbeiten
  • Hans-Jochen Bartsch: Taschenbuch mathematischer Formeln. 18., verbesserte Auflage. Fachbuchverlag Leipzig im Carl Hanser Verlag]], München, Wien 1998, ISBN 3-446-19396-0, S. 173.
  • Heinrich Behnke, Friedrich Bachmann, Kuno Fladt, Wilhelm Süss (Hrsg.): Grundzüge der Mathematik. Band II. Geometrie. Vandenhoeck & Ruprecht, Göttingen 1960, S. 226 ff.
  • I. N. Bronstein, K. A. Semendjajev, G. Musiol, H. Mühlig (Hrsg.): Taschenbuch der Mathematik. 7., vollständig überarbeitete und ergänzte Auflage. Verlag Harri Deutsch, Frankfurt am Main 2008, ISBN 978-3-8171-2007-9, S. 76-83, 145-146.
  • George S. Carr: Formulas and Theorems in Pure Mathematics. Früher: A Synopsis of Elementary Results in Pure Mathematics, London & Cambridge 1886. 2. Auflage. Chelsea Publishing Company, New York 1970, S. 159-171.
  • Hanfried Lenz: Grundlagen der Elementarmathematik. 3., überarbeitete Auflage. Hanser Verlag, München (u. a.) 1976, ISBN 3-446-12160-9, S. 236.

Einzelnachweise und Fußnoten

Bearbeiten
  1. Das Stichwort Projektionssatz wird in der Mathematik und insbesondere in der Geometrie und sogar in Dreiecksgeometrie und Trigonometrie in mehreren Zusammenhängen benutzt. Siehe dazu Begriffsklärung in Wikipedia!
  2. Helmuth Gericke, F. Raith: Vektoren und Trigonometrie. in: H. Behnke et al.: Grundzüge der Mathematik. Band II. Geometrie., 1960, S. 266 ff
  3. Hanfried Lenz: Grundlagen der Elementarmathematik., 1976, S. 236
  4. Diese Formel findet man - ohne Beweis - im Taschenbuch mathematischer Formeln von Bartsch (Auflage 1998) auf S. 173.
  5. Man findet diese Gleichung auch - und noch schneller! - unter Anwendung der Regel von Sarrus.
  6. Diese Formel findet man ebenfalls bei Bartsch auf S. 173.
  7. In dieser Form ist   bei Carr dargestellt.