b'\n_START_ARTICLE_\nKosinilause\n_START_PARAGRAPH_\nKosinilause on trigonometrian tulos, jonka perusteella on mahdollista m\xc3\xa4\xc3\xa4ritt\xc3\xa4\xc3\xa4 kolmion kulmat, kun sen kaikki sivut tunnetaan tai kolmion tuntematon sivu, kun yksi kolmion kulma ja sen viereiset sivut tunnetaan._NEWLINE_Kosinilauseessa  on kolmion kulma,  ja  ovat kulman viereisten sivujen pituudet ja  vastakkaisen sivun pituus. Kaava palautuu Pythagoraan lauseeseen, kun  on suorakulma.\n_START_SECTION_\nTodistus\n_START_PARAGRAPH_\nOletetaan, ett\xc3\xa4 kulma  on ter\xc3\xa4v\xc3\xa4. Olkoon h:n pituus lyhin et\xc3\xa4isyys kolmion sivulta b sivujen a ja c yhtym\xc3\xa4\xc3\xa4n. T\xc3\xa4ll\xc3\xb6in h voidaan esitt\xc3\xa4\xc3\xa4 Pythagoraan lauseen avulla kahdella eri tavalla:_NEWLINE_T\xc3\xa4st\xc3\xa4 saadaan _NEWLINE_Yht\xc3\xa4l\xc3\xb6st\xc3\xa4 voidaan sievennyksien j\xc3\xa4lkeen ratkaista :_NEWLINE_Kulman  kosini on kuvion mukaan_NEWLINE_Yht\xc3\xa4l\xc3\xb6 saadaan muotoon ._NEWLINE_Todistus sujuu samoin, jos kulma  on tylpp\xc3\xa4.\n_START_SECTION_\nKosinilause ja vektorit\n_START_PARAGRAPH_\nKosinilause on vektorikielell\xc3\xa4 olennaisesti sama asia kuin kahden vektorin erotuksen pituuden lauseke pistetulon avulla laskettuna. Ensimm\xc3\xa4isen kuvan merkinn\xc3\xb6in ja pistetulon perusominaisuuksia hyv\xc3\xa4ksi k\xc3\xa4ytt\xc3\xa4en saadaan:'