Proposition: Subtraktionstheorem Cosinus

Es gilt:

  • Innere Subtraktion:
  • Äußere Subtraktion:

Beweis

Innere Subtraktion

Mit dem Additionstheorem (SinCos-3) gilt:

Da mit (SinCos-2) und , gilt außerdem:

Äußere Subtraktion

Für den nächsten Schritt brauchen wir wieder die zwei kleinen Rechentricks aus dem ersten Beweis, es gilt:

Mit diesen Rechentricks und Gleichungen und folgt:

und

Berechnen wir nun , erhalten wir:

Was zu zeigen war.