Bevis for cosinussetningen

Man må vise at setningen gjelder både for spissvinklede og stompvinklede trekanter.

Spissvinklede:

Bruker pytagoras på trekanten ADC:

<math>x^2 + h^2 = b^2 \Rightarrow h^2 = b^2 - x^2</math>

Bruker pytagoras på trekanten DBC:

<math>h^2 + (c-x)^2 = a^2</math>

Kombinerer de to utrykkene ved å sette inn for h i andre:

$b^2 - x^2 + c^2 - 2cx + x^2 =a^2$ $a^2 = b^2 + c^2 -2cx< /math>$

Finner cosA:

<math> cosA = \frac xb \Rightarrow x = b \cdot cosA</math>

og får:

<math>a^2 = b^2 + c^2 -2bc cosA</math>

Stompvinklede:

Bruker pytagoras på trekanten DBC:

<math>a^2 = h^2 + (c+x)^2 \\ a^2 = h^2 + c^2 +2cx + x^2</math>

Bruker pytagoras på trekanten DAC:

<math>b^2 = x^2 + h^2 \Rightarrow h^2 = b^2 - x^2</math>

Kombinere resultatene og får:

<math>a^2 = b^2 - x^2 + c^2 +2cx + x^2 \\ a^2 = b^2 + c^2 + 2cx</math>

Fra enhetssirkelen har man at cosA = -cos(180-A). Da får man:

<math>cos(180 - A) = - cosA = \frac xb \Rightarrow x = -bcosA </math> som gir:

<math>a^2 = b^2 + c^2 - 2bccosA</math>

---