Das Quadrat einer Seite im Dreieck ist die Summe der Quadrate der anderen Seiten, von der das Doppelte des Produkts aus diesen Seiten und dem Kosinus des von ihnen eingeschlossen Winkels abgezogen wurde.

$$ a^2 = b^2 + c^2 - 2bc \cdot cos(\alpha) $$ $$ b^2 = a^2 + c^2 - 2ac \cdot cos(\beta) $$ $$ c^2 = a^2 + b^2 - 2ab \cdot cos(\gamma) $$