Cosinussatz im stumpfwinkeligen Dreieck:
Behauptung: Der Cosinussatz
|
(9 ' ) |
|
(9 '' ) |
gilt auch in stumpfwinkeigen Dreiecken.
Beweis: Wir nehmen (ohne Beschränkung der Allgemeinheit) an, dass der
Winkel γ stumpf (d.h. größer als 90°) ist:

Wir fällen die Höhe auf die Seite b,
die nun außerhalb des Dreiecks liegt:

Analog zum spitzwinkeligen Fall setzen wir uns das Ziel, c zu berechnen,
wenn a, b
und γ bekannt sind. Dazu verwendet wir folgende zwei
Beziehungen:
- Im rechtwinkeligen Dreieck ABD gilt nach dem Satz von Pythagoras
c2 = hb2 + (
b + b'
)2.
- Im rechtwinkeligen Dreieck CBD schreiben wir die Definitionen von Sinus und Cosinus des
Winkels
γ
' = 180° − γ in der Form
hb = a
sin
γ
'
und
b' = a
cos
γ
'
an.
Die letzten beiden Beziehungen setzen wir in den Ausdruck für c2
ein und erhalten
c2 = a2
sin2
γ
' +
(b +
a
cos
γ
'
)2.
Nun gilt, wie im Kapitel Winkelfunktionen besprochen,
sin(180°
− γ)
= sin
γ,
cos(180°
− γ)
= −
cos
γ,
d.h. sin
γ
'
= sin
γ
und
cos
γ
'
= −
cos
γ.
Damit erhalten wir
c2 = a2
sin2
γ +
(b −
a
cos
γ
)2.
Das ist exakt dieselbe Beziehung, die wir auch im spitzwinkeligen Fall erhalten haben.
Sie führt unmittelbar auf (9).
Die beiden verbleibenden Aussagen (
9
'
)
und (
9
'
'
)
erhalten wir völlig analog zur Argumentation im spitzwinkeligen Fall, indem wir von der (innerhalb des Dreiecks liegenden) Höhe auf die Seite
c ausgehen. Damit ist der Cosinussatz
(9) −
(
9
'
'
)
auch für stumpfwinkelige Dreiecke bewiesen.