Kosinus-Winkelsummenidentität
Dieser Beweis erfolgt analog zur Sinus-Winkelsummen-Identität und ist hierbei hauptsächlich der Vollständigkeit halber aufgeführt. Die Schrittabfolge ist jedoch identisch.
Definitionen
Im Folgenden soll bewiesen werden, dass folgender Zusammenhang gilt:
Die Definition von und in einem rechtwinkligen Dreieck sollte bekannt sein:
Beweisskizze
Um nun zu beweisen, kann man ein rechtwinkliges Dreieck mit dem Winkel und daneben ein rechtwinkliges Dreieck mit dem Winkel zeichnen. Die Dreiecke sind in der Abbildung gekennzeichnet. Außerdem lassen sich einige weitere Dreiecke konstruieren, welche die Gesamtstruktur zu einem Rechteck ergänzen. Mit dem Innenwinkelsummensatz von Dreiecken lassen sich die Größen weiterer Winkel mithilfe von und ausdrücken. Außerdem lassen sich die verschiedenen Seitenlängen beschriften.
Innenwinkelsummensatz: Die Summe der Innenwinkel in einem Dreieck beträgt . Wenn somit 2 Winkel bekannt sind, lässt sich immer auf den Dritten schließen.
Man lege nun fest. Nun lassen sich die Seitenlängen mit der Definition gemäß in Abhängigkeit von und ausdrücken.
Beweis
Aus dem unteren Dreieck mit den Innenwinkeln und folgt mit der Definition von :
Da in einem Rechteck, jeweils zwei gegenüberliegende Seiten gleich lang sind ( und ) und , müsste man nun die Seitenlängen und herausfinden, um einen identischen Ausdruck für (mit ) zu erhalten.
Da in den beiden oberen Dreiecken, in welchen die Seitenlängen und liegen, alle Seitenlängen unbekannt sind, lassen sich zunächst die Hypotenuse und über das mittlere Dreieck mit der bekannten Seitenlänge ermitteln.
- Für folgt mit der -Definition:
- Für folgt mit der Definition:
Nun lassen sich und ermitteln.
- Für folgt mit der Definition und mit dem zuvor ermittelten :
- Für folgt mit der Definition und mit dem zuvor ermittelten :
Die gegenüberliegenden Seiten und sind gleichlang, also folgt mit den ermittelten Längen:
Dieser Ausdruck ist äquivalent zu . Die Aussage ist also bewiesen.