Соотношения между основными тригонометрическими функциями – синусом, косинусом, тангенсом и котангенсом - задаются тригонометрическими формулами . А так как связей между тригонометрическими функциями достаточно много, то этим объясняется и обилие тригонометрических формул. Одни формулы связывают тригонометрические функции одинакового угла, другие – функции кратного угла, третьи – позволяют понизить степень, четвертые – выразить все функции через тангенс половинного угла, и т.д.
В этой статье мы по порядку перечислим все основные тригонометрические формулы, которых достаточно для решения подавляющего большинства задач тригонометрии. Для удобства запоминания и использования будем группировать их по назначению, и заносить в таблицы.
Навигация по странице.
Основные тригонометрические тождества
Основные тригонометрические тождества задают связь между синусом, косинусом, тангенсом и котангенсом одного угла. Они вытекают из определения синуса, косинуса, тангенса и котангенса, а также понятия единичной окружности . Они позволяют выразить одну тригонометрическую функцию через любую другую.
Подробное описание этих формул тригонометрии, их вывод и примеры применения смотрите в статье .
Формулы приведения
Формулы приведения следуют из свойств синуса, косинуса, тангенса и котангенса , то есть, они отражают свойство периодичности тригонометрических функций, свойство симметричности, а также свойство сдвига на данный угол. Эти тригонометрические формулы позволяют от работы с произвольными углами переходить к работе с углами в пределах от нуля до 90 градусов.
Обоснование этих формул, мнемоническое правило для их запоминания и примеры их применения можно изучить в статье .
Формулы сложения
Тригонометрические формулы сложения показывают, как тригонометрические функции суммы или разности двух углов выражаются через тригонометрические функции этих углов. Эти формулы служат базой для вывода следующих ниже тригонометрических формул.
Формулы двойного, тройного и т.д. угла
Формулы двойного, тройного и т.д. угла (их еще называют формулами кратного угла) показывают, как тригонометрические функции двойных, тройных и т.д. углов () выражаются через тригонометрические функции одинарного угла . Их вывод базируется на формулах сложения.
Более детальная информация собрана в статье формулы двойного, тройного и т.д. угла .
Формулы половинного угла
Формулы половинного угла показывают, как тригонометрические функции половинного угла выражаются через косинус целого угла . Эти тригонометрические формулы следуют из формул двойного угла.
Их вывод и примеры применения можно посмотреть в статье .
Формулы понижения степени
Тригонометрические формулы понижения степени призваны содействовать переходу от натуральных степеней тригонометрических функций к синусам и косинусам в первой степени, но кратных углов. Иными словами, они позволяют понижать степени тригонометрических функций до первой.
Формулы суммы и разности тригонометрических функций
Основное предназначение формул суммы и разности тригонометрических функций заключается в переходе к произведению функций, что очень полезно при упрощении тригонометрических выражений. Указанные формулы также широко используются при решении тригонометрических уравнений, так как позволяют раскладывать на множители сумму и разность синусов и косинусов.
Формулы произведения синусов, косинусов и синуса на косинус
Переход от произведения тригонометрических функций к сумме или разности осуществляется посредством формул произведения синусов, косинусов и синуса на косинус .
Copyright by cleverstudents
Все права защищены.
Охраняется законом об авторском праве. Ни одну часть сайта www.сайт, включая внутренние материалы и внешнее оформление, нельзя воспроизводить в какой-либо форме или использовать без предварительного письменного разрешения правообладателя.
Формулы суммы и разности синусов и косинусов для двух углов α и β позволяют перейти от суммы указанных углов к произведению углов α + β 2 и α - β 2 . Сразу отметим, что не стоит путать формулы суммы и разности синусов и косинусов с формулами синусов и косинусов суммы и разности. Ниже мы перечислим эти формулы, приведем их вывод и покажем примеры применения для конкретных задач.
Yandex.RTB R-A-339285-1
Формулы суммы и разности синусов и косинусов
Запишем, как выглядят формулы суммы и разности для синусов и для косинусов
Формулы суммы и разности для синусов
sin α + sin β = 2 sin α + β 2 cos α - β 2 sin α - sin β = 2 sin α - β 2 cos α + β 2
Формулы суммы и разности для косинусов
cos α + cos β = 2 cos α + β 2 cos α - β 2 cos α - cos β = - 2 sin α + β 2 cos α - β 2 , cos α - cos β = 2 sin α + β 2 · β - α 2
Данные формулы справедливы для любых углов α и β . Углы α + β 2 и α - β 2 называются соответственно полусуммой и полуразностью углов альфа и бета. Дадим формулировку для каждой формулы.
Определения формул сумм и разности синусов и косинусов
Сумма синусов двух углов равна удвоенному произведению синуса полусуммы этих углов на косинус полуразности.
Разность синусов двух углов равна удвоенному произведению синуса полуразности этих углов на косинус полусуммы.
Сумма косинусов двух углов равна удвоенному произведению косинуса полусуммы и косинуса полуразности этих углов.
Разность косинусов двух углов равна удвоенному произведению синуса полусуммы на косинус полуразности этих углов, взятому с отрицательным знаком.
Вывод формул суммы и разности синусов и косинусов
Для вывода формул суммы и разности синуса и косинуса двух углов используются формулы сложения. Приведем их ниже
sin (α + β) = sin α · cos β + cos α · sin β sin (α - β) = sin α · cos β - cos α · sin β cos (α + β) = cos α · cos β - sin α · sin β cos (α - β) = cos α · cos β + sin α · sin β
Также представим сами углы в виде суммы полусумм и полуразностей.
α = α + β 2 + α - β 2 = α 2 + β 2 + α 2 - β 2 β = α + β 2 - α - β 2 = α 2 + β 2 - α 2 + β 2
Переходим непосредственно к выводу формул суммы и разности для sin и cos.
Вывод формулы суммы синусов
В сумме sin α + sin β заменим α и β на выражения для этих углов, приведенные выше. Получим
sin α + sin β = sin α + β 2 + α - β 2 + sin α + β 2 - α - β 2
Теперь к первому выражению применяем формулу сложения, а ко второму - формулу синуса разностей углов (см. формулы выше)
sin α + β 2 + α - β 2 = sin α + β 2 cos α - β 2 + cos α + β 2 sin α - β 2 sin α + β 2 - α - β 2 = sin α + β 2 cos α - β 2 - cos α + β 2 sin α - β 2 sin α + β 2 + α - β 2 + sin α + β 2 - α - β 2 = sin α + β 2 cos α - β 2 + cos α + β 2 sin α - β 2 + sin α + β 2 cos α - β 2 - cos α + β 2 sin α - β 2 Раскроем скобки, приведем подобные слагаемые и получим искомую формулу
sin α + β 2 cos α - β 2 + cos α + β 2 sin α - β 2 + sin α + β 2 cos α - β 2 - cos α + β 2 sin α - β 2 = = 2 sin α + β 2 cos α - β 2
Действия по выводу остальных формул аналогичны.
Вывод формулы разности синусов
sin α - sin β = sin α + β 2 + α - β 2 - sin α + β 2 - α - β 2 sin α + β 2 + α - β 2 - sin α + β 2 - α - β 2 = sin α + β 2 cos α - β 2 + cos α + β 2 sin α - β 2 - sin α + β 2 cos α - β 2 - cos α + β 2 sin α - β 2 = = 2 sin α - β 2 cos α + β 2
Вывод формулы суммы косинусов
cos α + cos β = cos α + β 2 + α - β 2 + cos α + β 2 - α - β 2 cos α + β 2 + α - β 2 + cos α + β 2 - α - β 2 = cos α + β 2 cos α - β 2 - sin α + β 2 sin α - β 2 + cos α + β 2 cos α - β 2 + sin α + β 2 sin α - β 2 = = 2 cos α + β 2 cos α - β 2
Вывод формулы разности косинусов
cos α - cos β = cos α + β 2 + α - β 2 - cos α + β 2 - α - β 2 cos α + β 2 + α - β 2 - cos α + β 2 - α - β 2 = cos α + β 2 cos α - β 2 - sin α + β 2 sin α - β 2 - cos α + β 2 cos α - β 2 + sin α + β 2 sin α - β 2 = = - 2 sin α + β 2 sin α - β 2
Примеры решения практических задач
Для начала, сделаем проверку одной из формул, подставив в нее конкретные значения углов. Пусть α = π 2 , β = π 6 . Вычислим значение суммы синусов этих углов. Сначала воспользуемся таблицей основных значений тригонометрических функций, а затем применим формулу для суммы синусов.
Пример 1. Проверка формулы суммы синусов двух углов
α = π 2 , β = π 6 sin π 2 + sin π 6 = 1 + 1 2 = 3 2 sin π 2 + sin π 6 = 2 sin π 2 + π 6 2 cos π 2 - π 6 2 = 2 sin π 3 cos π 6 = 2 · 3 2 · 3 2 = 3 2
Рассмотрим теперь случай, когда значения углов отличаются от основных значений, представленных в таблице. Пусть α = 165 ° , β = 75 ° . Вычислим значение разности синусов этих углов.
Пример 2. Применение формулы разности синусов
α = 165 ° , β = 75 ° sin α - sin β = sin 165 ° - sin 75 ° sin 165 - sin 75 = 2 · sin 165 ° - sin 75 ° 2 cos 165 ° + sin 75 ° 2 = = 2 · sin 45 ° · cos 120 ° = 2 · 2 2 · - 1 2 = 2 2
С помощью формул суммы и разности синусов и косинусов можно перейти от суммы или разности к произведению тригонометрических функций. Часто эти формулы называют формулами перехода от суммы к произведению. Формулы суммы и разности синусов и косинусов широко используются при решении тригонометрических уравнений и при преобразовании тригонометрических выражений.
Если вы заметили ошибку в тексте, пожалуйста, выделите её и нажмите Ctrl+Enter
Косинус суммы и разности двух углов
В этом параграфе будут доказаны следующие две формулы:
cos (α + β) = cos α cos β - sin α sin β, (1)
cos (α - β) = cos α cos β + sin α sin β. (2)
Косинус суммы (разности) двух углов равен произведению косинусов этих углов минус (плюс) произведение синусов этих углов.
Нам удобнее будет начать с доказательства формулы (2). Для простоты изложения предположим сначала, что углы α и β удовлетворяют следующим условиям:
1) каждый из этих углов неотрицателен и меньше 2π :
0 < α < 2π, 0 < β < 2π;
2) α > β .
Пусть положительная часть оси 0х является общей начальной стороной углов α и β .
Конечные стороны этих углов обозначим соответственно через 0А и 0В. Очевидно, что угол α - β можно рассматривать как такой угол, на который нужно повернуть луч 0В вокруг точки 0 против часовой стрелки, чтобы его направление совпало с направлением луча 0А.
На лучах 0А и 0В отметим точки М и N, отстоящие от начала координат 0 на расстоянии 1, так что 0М = 0N = 1.
В системе координат х0у точка М имеет координаты (cos α, sin α ), а точка N - координаты (cos β , sin β ). Поэтому квадрат расстояния между ними равен:
d 1 2 = (cos α - cos β) 2 + (sin α - sin β) 2 = cos 2 α - 2 cos α cos β +
+ cos 2 β + sin 2 α - 2sin α sin β + sin 2 β = .
При вычислениях мы воспользовались тождеством
sin 2 φ + cos 2 φ = 1 .
Теперь рассмотрим другую систему координат В0С, которая получается путем поворота осей 0х и 0у вокруг точки 0 против часовой стрелки на угол β .
В этой системе координат точка М имеет координаты (cos (α - β ), sin (α - β )), а точка N -координаты (1,0). Поэтому квадрат расстояния между ними равен:
d 2 2 = 2 + 2 = cos 2 (α - β) - 2 cos (α - β) + 1 +
+ sin 2 (α - β) = 2 .
Но расстояние между точками М и N не зависит от того, относительно какой системы координат мы рассматриваем эти точки. Поэтому
d 1 2 = d 2 2
2 (1 - cos α cos β - sin α sin β) = 2 .
Отсюда и вытекает формула (2).
Теперь следует вспомнить о тех двух ограничениях, которые мы наложили для простоты изложения на углы α и β .
Требование, чтобы каждый из углов α и β был неотрицательным, на самом деле не существенно. Ведь к любому из этих углов можно прибавить угол, кратный 2я, что никак не отразится на справедливости формулы (2). Точно так же от каждого из данных углов можно вычесть угол, кратный 2π . Поэтому можно считать, что 0 < α < 2π , 0 < β < 2π .
Не существенным оказывается и условие α > β . Действительно, если α < β , то β >α ; поэтому, учитывая четность функции cos х , получаем:
cos (α - β) = cos (β - α) = cos β cos α + sin β sin α,
что по существу совпадает с формулой (2). Таким образом, формула
cos (α - β) = cos α cos β + sin α sin β
верна для любых углов α и β . В частности, заменяя в ней β на -β и учитывая, что функция cos х является четной, а функция sin х нечетной, получаем:
cos (α + β) = cos [α - (- β)] =cos α cos (-β) + sin α sin (-β) =
= cos α cos β - sin α sin β,
что доказывает формулу (1).
Итак, формулы (1) и (2) доказаны.
Примеры.
1) cos 75° = cos (30° + 45°) = cos 30° cos 45°-sin 30°-sin 45° =
2) cos 15° = cos (45° - 30°) = cos 45° cos 30° + sin 45° sin 30° =
Упражнения
1 . Вычислить, не пользуясь тригонометрическими таблицами:
a) cos 17° cos 43° - sin 17° sin 43°;
б) sin 3° sin 42° - cos 39° cos 42°;
в) cos 29° cos 74° + sin 29° sin 74°;
г) sin 97° sin 37° + cos 37° cos 97°;
д) cos 3π / 8 cos π / 8 + sin 3π / 8 sin π / 8 ;
e) sin 3π / 5 sin 7π / 5 - cos 3π / 5 cos 7π / 5 .
2.Упростить выражения:
a). cos (α + π / 3 ) + cos (π / 3 - α ) .
б). cos (36° + α ) cos (24° - α ) + sin (36° + α ) sin (α - 24°).
в). sin (π / 4 - α ) sin (π / 4 + α ) - cos (π / 4 + α ) cos (π / 4 - α )
г) cos 2α + tg α sin 2α .
3 . Вычислить :
a) cos (α - β) , если
cos α = - 2 / 5 , sin β = - 5 / 13 ;
90° < α < 180°, 180° < β < 270°;
б) cos (α + π / 6), если cos α = 0,6;
3π / 2 < α < 2π.
4 . Найти cos (α + β) и cos (α - β) ,если известно, что sin α = 7 / 25 , cos β = - 5 / 13 и оба угла (α и β ) оканчиваются в одной и той же четверти.
5 .Вычислить:
а). cos [ arcsin 1 / 3 + arccos 2 / 3 ]
б). cos [ arcsin 1 / 3 - arccos (- 2 / 3)] .
в). cos [ arctg 1 / 2 + arccos (- 2) ]
Справочные данные по тангенсу (tg x) и котангенсу (ctg x). Геометрическое определение, свойства, графики, формулы. Таблица тангенсов и котангенсов, производные, интегралы, разложения в ряды. Выражения через комплексные переменные. Связь с гиперболическими функциями.
Геометрическое определение
|BD|
- длина дуги окружности с центром в точке A
.
α
- угол, выраженный в радианах.
Тангенс (tg α ) - это тригонометрическая функция, зависящая от угла α между гипотенузой и катетом прямоугольного треугольника, равная отношению длины противолежащего катета |BC| к длине прилежащего катета |AB| .
Котангенс (ctg α ) - это тригонометрическая функция, зависящая от угла α между гипотенузой и катетом прямоугольного треугольника, равная отношению длины прилежащего катета |AB| к длине противолежащего катета |BC| .
Тангенс
Где n - целое.
В западной литературе тангенс обозначается так:
.
;
;
.
График функции тангенс, y = tg x
Котангенс
Где n - целое.
В западной литературе котангенс обозначается так:
.
Также приняты следующие обозначения:
;
;
.
График функции котангенс, y = ctg x
Свойства тангенса и котангенса
Периодичность
Функции y = tg x и y = ctg x периодичны с периодом π .
Четность
Функции тангенс и котангенс - нечетные.
Области определения и значений, возрастание, убывание
Функции тангенс и котангенс непрерывны на своей области определения (см. доказательство непрерывности). Основные свойства тангенса и котангенса представлены в таблице (n - целое).
| y = tg x | y = ctg x | |
| Область определения и непрерывность | ||
| Область значений | -∞ < y < +∞ | -∞ < y < +∞ |
| Возрастание | - | |
| Убывание | - | |
| Экстремумы | - | - |
| Нули, y = 0 | ||
| Точки пересечения с осью ординат, x = 0 | y = 0 | - |
Формулы
Выражения через синус и косинус
;
;
;
;
;
Формулы тангенса и котангенс от суммы и разности
Остальные формулы легко получить, например
Произведение тангенсов
Формула суммы и разности тангенсов
В данной таблице представлены значения тангенсов и котангенсов при некоторых значениях аргумента. 
Выражения через комплексные числа
Выражения через гиперболические функции
;
;
Производные
; .
.
Производная n-го порядка по переменной x
от функции :
.
Вывод формул для тангенса > > > ; для котангенса > > >
Интегралы
Разложения в ряды
Чтобы получить разложение тангенса по степеням x , нужно взять несколько членов разложения в степенной ряд для функций sin x и cos x и разделить эти многочлены друг на друга , . При этом получаются следующие формулы.
При .
при .
где B n
- числа Бернулли. Они определяются либо из рекуррентного соотношения:
;
;
где .
Либо по формуле Лапласа: 
Обратные функции
Обратными функциями к тангенсу и котангенсу являются арктангенс и арккотангенс , соответственно.
Арктангенс, arctg
,
где n
- целое.
Арккотангенс, arcctg
,
где n
- целое.
Использованная литература:
И.Н. Бронштейн, К.А. Семендяев, Справочник по математике для инженеров и учащихся втузов, «Лань», 2009.
Г. Корн, Справочник по математике для научных работников и инженеров, 2012.
Продолжаем наш разговор про наиболее употребляемые формулы в тригонометрии. Важнейшие из них – формулы сложения.
Определение 1
Формулы сложения позволяют выразить функции разности или суммы двух углов с помощью тригонометрических функций этих углов.
Для начала мы приведем полный список формул сложения, потом докажем их и разберем несколько наглядных примеров.
Yandex.RTB R-A-339285-1
Основные формулы сложения в тригонометрии
Выделяют восемь основных формул: синус суммы и синус разности двух углов, косинусы суммы и разности, тангенсы и котангенсы суммы и разности соответственно. Ниже приведены их стандартные формулировки и вычисления.
1.Синус суммы двух углов можно получить следующим образом:
Вычисляем произведение синуса первого угла на косинус второго;
Умножаем косинус первого угла на синус первого;
Складываем получившиеся значения.
Графическое написание формулы выглядит так: sin (α + β) = sin α · cos β + cos α · sin β
2. Синус разности вычисляется почти так же, только полученные произведения нужно не сложить, а вычесть друг из друга. Таким образом, вычисляем произведения синуса первого угла на косинус второго и косинуса первого угла на синус второго и находим их разность. Формула пишется так: sin (α - β) = sin α · cos β + sin α · sin β
3. Косинус суммы. Для него находим произведения косинуса первого угла на косинус второго и синуса первого угла на синус второго соответственно и находим их разность: cos (α + β) = cos α · cos β - sin α · sin β
4. Косинус разности: вычисляем произведения синусов и косинусов данных углов, как и ранее, и складываем их. Формула: cos (α - β) = cos α · cos β + sin α · sin β
5. Тангенс суммы. Эта формула выражается дробью, в числителе которой – сумма тангенсов искомых углов, а в знаменателе – единица, из которой вычитается произведение тангенсов искомых углов. Все понятно из ее графической записи: t g (α + β) = t g α + t g β 1 - t g α · t g β
6. Тангенс разности. Вычисляем значения разности и произведения тангенсов данных углов и поступаем с ними схожим образом. В знаменателе мы прибавляем к единице, а не наоборот: t g (α - β) = t g α - t g β 1 + t g α · t g β
7. Котангенс суммы. Для вычислений по этой формуле нам понадобятся произведение и сумма котангенсов данных углов, с которыми мы поступаем следующим образом: c t g (α + β) = - 1 + c t g α · c t g β c t g α + c t g β
8. Котангенс разности. Формула схожа с предыдущей, но в числителе и знаменателе – минус, а не плюс c t g (α - β) = - 1 - c t g α · c t g β c t g α - c t g β .
Вы, наверное, заметили, что эти формулы попарно схожи. При помощи знаков ± (плюс-минус) и ∓ (минус-плюс) мы можем сгруппировать их для удобства записи:
sin (α ± β) = sin α · cos β ± cos α · sin β cos (α ± β) = cos α · cos β ∓ sin α · sin β t g (α ± β) = t g α ± t g β 1 ∓ t g α · t g β c t g (α ± β) = - 1 ± c t g α · c t g β c t g α ± c t g β
Соответственно, мы имеем одну формулу записи для суммы и разности каждого значения, просто в одном случае мы обращаем внимание на верхний знак, в другом – на нижний.
Определение 2
Мы можем взять любые углы α и β , и формулы сложения для косинуса и синуса подойдут для них. Если мы можем правильно определить значения тангенсов и котангенсов этих углов, то формулы сложения для тангенса и котангенса будут также для них справедливы.
Как и большинство понятий в алгебре, формулы сложения могут быть доказаны. Первая формула, которую мы докажем, - формула косинуса разности. Из нее потом можно легко вывести остальные доказательства.
Уточним основные понятия. Нам понадобится единичная окружность. Она получится, если мы возьмем некую точку A и повернем вокруг центра (точки O) углы α и β . Тогда угол между векторами O A 1 → и O A → 2 будет равняться (α - β) + 2 π · z или 2 π - (α - β) + 2 π · z (z – любое целое число). Получившиеся вектора образуют угол, который равен α - β или 2 π - (α - β) , или он может отличаться от этих значений на целое число полных оборотов. Взгляните на рисунок:
Мы воспользовались формулами приведения и получили следующие результаты:
cos ((α - β) + 2 π · z) = cos (α - β) cos (2 π - (α - β) + 2 π · z) = cos (α - β)
Итог: косинус угла между векторами O A 1 → и O A 2 → равняется косинусу угла α - β , следовательно, cos (O A 1 → O A 2 →) = cos (α - β) .
Вспомним определения синуса и косинуса: синус - функция угла, равная отношению катета противолежащего угла к гипотенузе, косинус – это синус дополнительного угла. Следовательно, точки A 1 и A 2 имеют координаты (cos α , sin α) и (cos β , sin β) .
Получим следующее:
O A 1 → = (cos α , sin α) и O A 2 → = (cos β , sin β)
Если непонятно, взгляните на координаты точек, расположенных в начале и конце векторов.
Длины векторов равны 1 , т.к. у нас единичная окружность.
Разберем теперь скалярное произведение векторов O A 1 → и O A 2 → . В координатах оно выглядит так:
(O A 1 → , O A 2) → = cos α · cos β + sin α · sin β
Из этого мы можем вывести равенство:
cos (α - β) = cos α · cos β + sin α · sin β
Таким образом, формула косинуса разности доказана.
Теперь мы докажем следующую формулу – косинуса суммы. Это проще, поскольку мы можем воспользоваться предыдущими расчетами. Возьмем представление α + β = α - (- β) . У нас есть:
cos (α + β) = cos (α - (- β)) = = cos α · cos (- β) + sin α · sin (- β) = = cos α · cos β + sin α · sin β
Это и есть доказательство формулы косинуса суммы. В последней строчке использовано свойство синуса и косинуса противоположных углов.
Формулу синуса суммы можно вывести из формулы косинуса разности. Возьмем для этого формулу приведения:
вида sin (α + β) = cos (π 2 (α + β)) . Так
sin (α + β) = cos (π 2 (α + β)) = cos ((π 2 - α) - β) = = cos (π 2 - α) · cos β + sin (π 2 - α) · sin β = = sin α · cos β + cos α · sin β
А вот доказательство формулы синуса разности:
sin (α - β) = sin (α + (- β)) = sin α · cos (- β) + cos α · sin (- β) = = sin α · cos β - cos α · sin β
Обратите внимание на использование свойств синуса и косинуса противоположных углов в последнем вычислении.
Далее нам нужны доказательства формул сложения для тангенса и котангенса. Вспомним основные определения (тангенс – отношение синуса к косинусу, а котангенс –наоборот) и возьмем уже выведенные заранее формулы. У нас получилось:
t g (α + β) = sin (α + β) cos (α + β) = sin α · cos β + cos α · sin β cos α · cos β - sin α · sin β
У нас получилась сложная дробь. Далее нам нужно разделить ее числитель и знаменатель на cos α · cos β , учитывая что cos α ≠ 0 и cos β ≠ 0 , получаем:
sin α · cos β + cos α · sin β cos α · cos β cos α · cos β - sin α · sin β cos α · cos β = sin α · cos β cos α · cos β + cos α · sin β cos α · cos β cos α · cos β cos α · cos β - sin α · sin β cos α · cos β
Теперь сокращаем дроби и получаем формулу следующего вида: sin α cos α + sin β cos β 1 - sin α cos α · s i n β cos β = t g α + t g β 1 - t g α · t g β .
У нас получилось t g (α + β) = t g α + t g β 1 - t g α · t g β . Это и есть доказательство формулы сложения тангенса.
Следующая формула, которую мы будем доказывать – формула тангенса разности. Все наглядно показано в вычислениях:
t g (α - β) = t g (α + (- β)) = t g α + t g (- β) 1 - t g α · t g (- β) = t g α - t g β 1 + t g α · t g β
Формулы для котангенса доказываются схожим образом:
c t g (α + β) = cos (α + β) sin (α + β) = cos α · cos β - sin α · sin β sin α · cos β + cos α · sin β = = cos α · cos β - sin α · sin β sin α · sin β sin α · cos β + cos α · sin β sin α · sin β = cos α · cos β sin α · sin β - 1 sin α · cos β sin α · sin β + cos α · sin β sin α · sin β = = - 1 + c t g α · c t g β c t g α + c t g β
Далее:
c t g (α - β) = c t g (α + (- β)) = - 1 + c t g α · c t g (- β) c t g α + c t g (- β) = - 1 - c t g α · c t g β c t g α - c t g β
