Косинусовата теорема в геометрията гласи:
Квадратът на коя да е страна в триъгълник е равен на сбора от квадратите на другите две страни минус удвоеното произведение на тези две страни и косинуса на ъгъла, заключен между тях.
Разглежда се триъгълник
A
B
C
{\displaystyle ABC}
със страни
A
B
=
c
{\displaystyle AB=c}
,
B
C
=
a
{\displaystyle BC=a}
и
C
A
=
b
{\displaystyle CA=b}
(фиг. 1).
Фиг. 1 . Косинусова теорема.
Тогава е в сила равенството
c
2
=
a
2
+
b
2
− − -->
2
a
b
cos
γ γ -->
{\displaystyle c^{2}=a^{2}+b^{2}-2ab\cos \,\gamma }
Тук, с
γ γ -->
{\displaystyle \gamma }
се означава ъгълът, заключен между
a
{\displaystyle a}
и
b
{\displaystyle b}
. За страните
b
{\displaystyle b}
и
c
{\displaystyle c}
косинусовата теорема изглежда така:
a
2
=
b
2
+
c
2
− − -->
2
b
c
cos
α α -->
{\displaystyle a^{2}=b^{2}+c^{2}-2bc\cos \,\alpha }
b
2
=
a
2
+
c
2
− − -->
2
a
c
cos
β β -->
{\displaystyle b^{2}=a^{2}+c^{2}-2ac\cos \,\beta }
Оттук лесно могат да се изразят и косинусите на дадените ъгли:
cos
α α -->
=
b
2
+
c
2
− − -->
a
2
2
b
c
{\displaystyle \cos \,\alpha ={\frac {b^{2}+c^{2}-a^{2}}{2bc}}}
cos
β β -->
=
a
2
+
c
2
− − -->
b
2
2
a
c
{\displaystyle \cos \,\beta ={\frac {a^{2}+c^{2}-b^{2}}{2ac}}}
cos
γ γ -->
=
a
2
+
b
2
− − -->
c
2
2
a
b
{\displaystyle \cos \,\gamma ={\frac {a^{2}+b^{2}-c^{2}}{2ab}}}
.
Когато един от ъглите на триъгълник е прав, косинусовата теорема се свежда до Питагоровата теорема .
Доказателства
Доказателство с Пигагорова теорема
Нека да разгледаме триъгълника
A
B
C
{\displaystyle ABC}
. От върха
C
{\displaystyle C}
към страната
A
B
{\displaystyle AB}
е спусната височината
C
D
{\displaystyle CD}
(фиг. 2). От триъгълника
A
D
C
{\displaystyle ADC}
следва:
Фиг. 2 . Доказателство на косинусовата теорема.
A
D
=
b
cos
α α -->
{\displaystyle AD=b\cos \,\alpha }
,
D
B
=
c
− − -->
b
cos
α α -->
{\displaystyle DB=c-b\cos \,\alpha }
Питагоровата теорема за двата триъгълника
A
D
C
{\displaystyle ADC}
и
B
D
C
{\displaystyle BDC}
се записва във вида
{
h
2
=
b
2
− − -->
(
b
cos
α α -->
)
2
h
2
=
a
2
− − -->
(
c
− − -->
b
cos
α α -->
)
2
{\displaystyle {\begin{cases}h^{2}=b^{2}-(b\cos \,\alpha )^{2}\\h^{2}=a^{2}-(c-b\cos \,\alpha )^{2}\end{cases}}}
.
Очевидно, десните части на двете уравнения са равни, т.е.
b
2
− − -->
(
b
cos
α α -->
)
2
=
a
2
− − -->
(
c
− − -->
b
cos
α α -->
)
2
{\displaystyle b^{2}-(b\cos \,\alpha )^{2}=a^{2}-(c-b\cos \,\alpha )^{2}}
.
След опростяване се получава
a
2
=
b
2
+
c
2
− − -->
2
b
c
cos
α α -->
{\displaystyle a^{2}=b^{2}+c^{2}-2bc\cos \,\alpha }
.
Доказателство с вектори
Въвеждат се базисните вектори
C
B
→ → -->
=
a
→ → -->
{\displaystyle {\overrightarrow {CB}}={\vec {a}}}
и
C
A
→ → -->
=
b
→ → -->
{\displaystyle {\overrightarrow {CA}}={\vec {b}}}
.
Нека
A
B
→ → -->
=
c
→ → -->
{\displaystyle {\overrightarrow {AB}}={\vec {c}}}
. По правилото за изваждане на вектори се получава:
c
→ → -->
=
a
→ → -->
− − -->
b
→ → -->
{\displaystyle {\vec {c}}={\vec {a}}-{\vec {b}}}
След повдигане на квадрат се достига до равенството
c
→ → -->
2
=
a
→ → -->
2
+
b
→ → -->
2
− − -->
2
(
a
→ → -->
⋅ ⋅ -->
b
→ → -->
)
{\displaystyle {\vec {c}}^{2}={\vec {a}}^{2}+{\vec {b}}^{2}-2({\vec {a}}\cdot {\vec {b}})}
От формулата за скаларно произведение на два вектора става ясно, че
‖ ‖ -->
c
→ → -->
‖ ‖ -->
2
=
‖ ‖ -->
a
→ → -->
‖ ‖ -->
2
+
‖ ‖ -->
b
→ → -->
‖ ‖ -->
2
− − -->
2
⋅ ⋅ -->
‖ ‖ -->
a
→ → -->
‖ ‖ -->
⋅ ⋅ -->
‖ ‖ -->
b
→ → -->
‖ ‖ -->
cos
-->
∠ ∠ -->
(
a
→ → -->
,
b
→ → -->
)
{\displaystyle \Vert {\vec {c}}\Vert ^{2}=\Vert {\vec {a}}\Vert ^{2}+{\Vert {\vec {b}}\Vert }^{2}-2\cdot \Vert {\vec {a}}\Vert \cdot \Vert {\vec {b}}\Vert \cos \angle ({\vec {a}},\ {\vec {b}})}
С това теоремата е доказана.
Вижте също