Построим сумму векторов а и b и их разность. ↑АС = ↑р = ↑а + ↑b ↑DB = ↑q = ↑a - ↑b Чтобы найти угол между векторами p и q, построим вектор, равный вектору q, с началом в точке А. ∠ЕАС - искомый. Из ΔABD найдем длину вектора q по теореме косинусов: |↑q|² = AB² + AD² - 2·AB·AD·cos60° = 25 + 64 - 2·5·8·1/2 = 89 - 40 = 49 |↑q| = 7 Сумма углов параллелограмма, прилежащих к одной стороне, равна 180°, значит ∠АВС = 120°. Из ΔABС найдем длину вектора р по теореме косинусов: |↑p|² = AB² + BC² - 2·AB·BC·cos120° = 25 + 64 + 2·5·8·1/2 = 89 + 40 = 129 |↑p| = √129
Из ΔЕАС по теореме косинусов: cos α = (AE² + AC² - EC²) / (2 · AE · AC) cos α = (49 + 129 - 256) / (2 · 7 · √129) = - 78 / (14√129) = - 39√129 / 903 cos α = - 13√129/301
Теорема 1. В треугольнике против большей стороны лежит больший угол.
Доказательство. Пусть в треугольнике ABC сторона АВ больше стороны АС (рис.1, а).
Рис.1
Докажем, что ∠ С > ∠ В. Отложим на стороне АВ отрезок AD, равный стороне АС (рис.1, б). Так как AD < АВ, то точка D лежит между точками А и В. Следовательно, угол 1 является частью угла С и, значит, ∠ C > ∠ 1. Угол 2 — внешний угол треугольника BDC, поэтому Z 2 > Z В. Углы 1 и 2 равны как углы при основании равнобедренного треугольника ADC. Таким образом, ∠ С > ∠ 1, ∠ 1 = ∠ 2, ∠ 2 > ∠ B. Отсюда следует, что ∠ С > ∠ В.
Справедлива и обратная теорема (ее доказательство проводится методом от противного).
Теорема 2. В треугольнике против большего угла лежит большая сторона.
Из теоремы 1 вытекает
Следствие 1. Если два угла треугольника равны, то треугольник равнобедренный (признак равнобедренного треугольника).
Доказательство следствия проводится методом от противного.
Из следствия 1 следует, что если три угла треугольника равны, то треугольник равносторонний.
Из теоремы 2 получаем
Следствие 3. В прямоугольном треугольнике гипотенуза больше катета.
С использованием теоремы 2 устанавливается следующая теорема.
Теорема 3. Каждая сторона треугольника меньше суммы двух других сторон.
Следствие 4. Для любых трех точек А, В и С, не лежащих на одной прямой, справедливы неравенства: АВ < АС + СВ, АС < АВ + ВС, ВС < ВА + АС.
↑АС = ↑р = ↑а + ↑b
↑DB = ↑q = ↑a - ↑b
Чтобы найти угол между векторами p и q, построим вектор, равный вектору q, с началом в точке А.
∠ЕАС - искомый.
Из ΔABD найдем длину вектора q по теореме косинусов:
|↑q|² = AB² + AD² - 2·AB·AD·cos60° = 25 + 64 - 2·5·8·1/2 = 89 - 40 = 49
|↑q| = 7
Сумма углов параллелограмма, прилежащих к одной стороне, равна 180°, значит ∠АВС = 120°.
Из ΔABС найдем длину вектора р по теореме косинусов:
|↑p|² = AB² + BC² - 2·AB·BC·cos120° = 25 + 64 + 2·5·8·1/2 = 89 + 40 = 129
|↑p| = √129
Из ΔЕАС по теореме косинусов:
cos α = (AE² + AC² - EC²) / (2 · AE · AC)
cos α = (49 + 129 - 256) / (2 · 7 · √129) = - 78 / (14√129) = - 39√129 / 903
cos α = - 13√129/301
Теорема 1. В треугольнике против большей стороны лежит больший угол.
Доказательство. Пусть в треугольнике ABC сторона АВ больше стороны АС (рис.1, а).
Рис.1
Докажем, что ∠ С > ∠ В. Отложим на стороне АВ отрезок AD, равный стороне АС (рис.1, б). Так как AD < АВ, то точка D лежит между точками А и В. Следовательно, угол 1 является частью угла С и, значит, ∠ C > ∠ 1. Угол 2 — внешний угол треугольника BDC, поэтому Z 2 > Z В. Углы 1 и 2 равны как углы при основании равнобедренного треугольника ADC. Таким образом, ∠ С > ∠ 1, ∠ 1 = ∠ 2, ∠ 2 > ∠ B. Отсюда следует, что ∠ С > ∠ В.
Справедлива и обратная теорема (ее доказательство проводится методом от противного).
Теорема 2. В треугольнике против большего угла лежит большая сторона.
Из теоремы 1 вытекает
Следствие 1. Если два угла треугольника равны, то треугольник равнобедренный (признак равнобедренного треугольника).
Доказательство следствия проводится методом от противного.
Из следствия 1 следует, что если три угла треугольника равны, то треугольник равносторонний.
Из теоремы 2 получаем
Следствие 3. В прямоугольном треугольнике гипотенуза больше катета.
С использованием теоремы 2 устанавливается следующая теорема.
Теорема 3. Каждая сторона треугольника меньше суммы двух других сторон.
Следствие 4. Для любых трех точек А, В и С, не лежащих на одной прямой, справедливы неравенства:
АВ < АС + СВ, АС < АВ + ВС, ВС < ВА + АС.