Опатриц жридло боку Косинусна теорема

'''Косинусна теорема''' то формула хтора ше хаснує за ришованє троугелнїка у триґонометрийней ровнї: 
: <math>\ c^2=a^2+b^2-2ab\cos C,</math> 
зоз ''C'' означени угел страни ''s'', тє. угел медзи странами ''a'' и ''b''.

У сферней триґонометриї то формула за ришованє сферного троугелнїка: 
: <math>\cos c= \cos a \cos b+\sin a \sin b \cos C, \; \cos C = - \cos A \cos B + \sin A \sin B \cos c,</math> 
зоз ''a'' означена страна наспрам угла ''A'', страна ''b'' наспрам угла ''B'', а страна ''s'' наспрам угла ''S''.

==Триґонометрия у ровнї==
Косинусна теорема ма исту аналитичну форму нєзависно од того чи дати троугелнїк оштроугли (слика 1) або тупоугли (слика 2). Медзитим, звичайно ше доказує кажди од тих двох случайох, як цо поробене у доказу хтори шлїдзи.
[[Файл:Kosinusna-teorema1.gif|thumb|left|]]
; Косинусна теорема: У каждим троугелнїку важи <math>\ a^2=b^2+c^2-2bc\cos\alpha,</math> дзе наспрам страни ''a'' угел ''α''.

; Доказ: На слики на право (слика 1) дати оштроугли троугелнїк ABC зоз висину CD. Зоз правоуглих троугелнїкох BCD и ACD по Питаґоровей теореми шлїдзи <math>a^2=h^2+(c-p)^2,\; h^2=b^2-p^2,</math> a ту зоз заменьованьом доставаме <math>\ a^2=b^2+(c^2-2pc+p^2)-p^2,</math> a потим <math>\ a^2=b^2+c^2-2pc.</math> Зоз правоуглого троугелнїка ACD доставаме <math>p=b\cos\alpha,\,</math> и зоз заменьованьом у прешлей <math>\ a^2=b^2+c^2-2bc\cos\alpha,</math> а то и требало доказац. 
[[Файл:Kosinusna-teorema2.gif|left|Слика 2. Тупоугли троугелнїк]]
Далєй, на слики 2, на лїво, дати тупоугли троугелнїк ABC, зоз углом α при цеменю A, векшим од правого угла (90°). Висина CD = h спущує ше на предлуженє страни AB до точки D так же важи D-A-B, та вонкашнї угел CAD = 180°-α. У троугелнїку CAD важи: 
:: DA = <math>\ p = b \cos(180^o-\alpha)=-b\cos\alpha.</math> 
: З другого боку, троугелнїки BCD и ACD правоугли и по Питаґоровей теореми важи <math>a^2=h^2+(c+p)^2,\; h^2=b^2-p^2,</math> зоз заменьованьом доставаме
:: <math>\ a^2=b^2-p^2+(c^2+2pc+p^2)=b^2+c^2+2pc,</math> тє. 
:: <math>\ a^2=b^2+c^2-2bc\cos\alpha,</math> як цо и требало доказац. Конєц доказу.

Косинуста теорема ше може доказац єдноставно без огляду на розлични розпорядок, хаснуюци векторски рахунок. У горнїх ознакох,
:: <math>a^2=\overrightarrow{BC}^2=(\overrightarrow{AC}-\overrightarrow{AB})^2=\overrightarrow{AC}^2-2\overrightarrow{AB}\cdot\overrightarrow{AC}+\overrightarrow{AB}^2=b^2-2bc\cos\alpha+c^2.</math>
(<math>\cdot</math> означує скаларни продукт.)

Зоз иншаким означованьом троугелнїка, достанєме и други два формули, хтори ше вєдно зоз наведзену наволую косинусна теорема: <math>b^2=c^2+a^2-2ca\cos\beta,\; c^2=a^2+b^2-2ab\cos\gamma.</math> Кед, наприклад угел при цеменю S = γ=90°, прето же cos(90°)=0, остатня формула постава  <math>c^2=a^2+b^2,</math> тє. Питаґорова теорема то окремни случай косунусней теореми. Попри того, косинусна теорема ма ище важни пошлїдки.

; Теорема 2: Квадрат гоч хторей страни троугелнїка менши, єднаки або векши од суми квадратох других двох странох, зависно од того чи процивни угел оштри, прави або тупи.

; Доказ: Кед <math>\alpha<90^o,\,</math> теди <math>\cos\alpha > 0\,</math> и <math>a^2=a^2+b^2-2ab\cos\alpha <b^2+c^2.\,</math>
: Кед <math>\alpha=90^o,\,</math> теди <math>\cos\alpha=0\,</math> и <math>c^2=a^2+b^2.\,</math>
: Кед <math>\alpha>90^o,\,</math> теди <math>\cos\alpha < 0\,</math> и <math>a^2=a^2+b^2-2ab\cos\alpha > b^2+c^2.\,</math> Конєц доказу.

Важи и процивна теорема.

; Теорема 3: Угел оштри, прави або тупи зависно од того чи квадрат наспрамней страни троугелнїка шором менши, єднаки або векши од суми квадратох других двох странох.

; Доказ: Sledi iz kosinusne teoreme <math>\cos\alpha=\frac{b^2+c^2-a^2}{2bc}.</math> 
: Кед <math>a^2<b^2+c^2,\,</math> теди <math>\cos\alpha>0,\,</math> и спрам того <math>\alpha < 90^o.\,</math> 
: Кед <math>a^2=b^2+c^2,\,</math> теди <math>\cos\alpha=0,\,</math> тє. <math>\alpha=90^o.\,</math> 
: Кед <math>a^2>b^2+c^2,\,</math> теди <math>\cos\alpha<0,\,</math> тє. <math>\alpha>90^o.\,</math> Конєц доказу.

; Теорема 4: У гоч хторим паралелоґраму збир квадратох дияґоналох єднаки зоз суму квадратох шицких штирох його странох.
[[Файл:Paralelogram2.gif|thumb|Слика 3. Паралелоґрам]]
; Доказ: На слики 3, на право, дати паралелоґрам ABCD зоз дияґоналами AC и BD и углом BAD = α. 
: Теди <math>\overline{AC}^2+\overline{BD}^2=2\overline{AB}^2+2\overline{BC}^2.</math> Угел CBA = 180°-α, по косинусней теореми зоз троугелнїка ADB, ABC доставаме <math>\overline{BD}^2=\overline{AD}^2+\overline{AB}^2-2\overline{AB}\cdot\overline{AD}\cdot\cos\alpha,</math>
: <math>\overline{AC}^2=\overline{AB}^2+\overline{BC}^2-2\overline{AB}\cdot\overline{BC}\cdot\cos(180^o-\alpha)</math>
:: <math>=\overline{AB}^2+\overline{BC}^2+2\overline{AB}\cdot\overline{AD}\cos\alpha,</math> бо <math>\overline{BC}=\overline{AD}.</math> Кед поздаваме єдначини, доставаме
: <math>\overline{AC}^2+\overline{BD}^2=2\overline{AB}^2+2\overline{BC}^2,</math> цо и требало доказац. Конєц доказу.

== Опать ище ==
* [[Математика]]
* [[Ґеометрия]]
* [[Планиметрия]]
* [[Триґонометрия]]
* [[Троугелнїк]]

== Вонкашнї вязи ==
{{Commonscat|Law of cosines}}
* [http://mathworld.wolfram.com/LawofCosines.html Kosinusna teorema]
* [http://www.cut-the-knot.org/pythagoras/cosine.shtml Kosinusna teorema]