Формулы проекций в треугольнике и их следствия.

Вывод формул проекций для треугольника, следствия - неравенства треугольника и теорема косинусов, вывод формулы зависимости между косинусами углов треугольника.