Sinussatz: - (1)
- (2)
Sinusidentitäten: - (3)
- (4)
Sinus-Additionstheorem für Doppelwinkel: - (5)
Winkelsumme im Dreieck und Übergang zum Komplementärwinkel: - (6)
- (7)
Addition von (1) und (2), Anwendung von (3) und (5), Kürzen unter Verwendung von (6):
Subtraktion von (1) - (2), Anwendung von (4) und (5), Kürzen unter Verwendung von (7):
Multiplikation mit dem gemeinsamen Nenner ergibt die angegebenen Formeln. Die anderen beiden Formeln, die eine Summe bzw. eine Differenz zweier Seiten enthalten, entstehen durch zyklische Substitution der Seiten- und Winkelbezeichnungen |