Kosinilause
Wikipedia
Kosinilause on trigonometrian tulos, jonka perusteella on mahdollista määrittää kolmion kulmat, kun sen kaikki sivut tunnetaan tai kolmion tuntematon sivu, kun yksi kolmion kulma ja sen viereiset sivut tunnetaan. Kosinilauseen sisällön ilmaisee kaava
,missä γ on kolmion jokin kulma, a ja b sen viereisten sivujen pituudet, ja c vastakkaisen sivun pituus.
Jos γ on suora kulma, on cosγ = 0, jolloin kaava palautuu Pythagoraan lauseeseen.
[muokkaa] Todistus
Olkoon CD kolmion ABC kärjestä C piirretty korkeusjana. Selvästi c = bcosα + acosβ (myös silloin, kun jompikumpi kulmista α tai β on tylppä). Sinilauseen mukaan bsinα = asinβ. Siis c2 = c2 + 02 = (bcosα + acosβ)2 + (bsinα − asinβ)2 = b2(cos2α + sin2α) + a2(cos2β + sin2β) + 2ab(cosαcosβ − sinαsinβ) = a2 + b2 + 2abcos(α + β) = a2 + b2 − 2abcosγ. Tässä käytettiin hyväksi kosinin yhteenlaskukaavaa ja sitä, että
.
[muokkaa] Kosinilause ja vektorit
Kosinilause on vektorikielellä olennaisesti sama asia kuin kahden vektorin summan pituuden lauseke pistetulon avulla laskettuna. Koska vektorien
ja
välinen kulma on
, niin
.
[muokkaa] Katso myös

