Теорема, о которой идет речь, известна как теорема косинусов. Она формулируется следующим образом: для любого треугольника со сторонами \(a\), \(b\), \(c\) и углом \(C\), который лежит напротив стороны \(c\), справедливо следующее равенство:
\[ c^2 = a^2 + b^2 - 2ab \cdot \cos(C) \]
Давайте рассмотрим доказательство этой теоремы.
Построение треугольника: возьмем треугольник \(ABC\) с известными сторонами \(a\) (сторона \(BC\)), \(b\) (сторона \(AC\)) и углом \(C\) между ними.
Построение проекции: Опустим перпендикуляр из точки \(A\) на сторону \(BC\), обозначим точку пересечения как \(D\). Длина \(AD\) будет равняться \(h\) (высоте) и представляет собой высоту треугольника \(ABC\).
Определение длины отрезка: Длина отрезка \(BD\) равна \(b \cdot \cos(A)\), а длина отрезка \(DC\) равна \(a \cdot \cos(B)\). Известно, что \(BD + DC = a\).
Используя теорему Пифагора: Мы можем выразить \(c^2\) через высоту \(h\) и основание \(BC\): \[ c^2 = h^2 + (BD + DC)^2 = h^2 + (b \cdot \cos(A) + a \cdot \cos(B))^2 \]
С использованием тригонометрических идентичностей: С применением тригонометрических функций, таких как \(\cos\) и \(\sin\), можно упростить выражение до стандартной формы теоремы косинусов.
Итоговая формулировка: После всех упрощений и подстановок мы приходим к исходному равенству: \[ c^2 = a^2 + b^2 - 2ab \cdot \cos(C) \]
Этот процесс показывает, как свойства треугольников и теоремы о прямоугольных треугольниках могут быть использованы для доказательства теоремы косинусов. Эта теорема является важным инструментом в геометрии и часто используется для нахождения величин сторон и углов в различных треугольниках.