Теория:
Формулы тангенса суммы и разности углов устанавливают соотношение между тангенсом общей суммы или разности аргументов и тангенсами отдельных аргументов — слагаемых.
При всех допустимых значениях аргументов справедливы формулы:
тангенса суммы аргументов: ; (\(1\))
тангенса разности аргументов: . (\(2\))
Оговорка о допустимых значениях аргументов означает, что все тангенсы имеют смысл, т. е. выполняются условия:
,
, для формулы (\(1\)), , для формулы (\(2\)).
Эти формулы очень важны и широко применяются не только в математике, но и в физике — особенно в радиотехнике.
Вывод формул естественным образом получается из определения функции тангенса и использования уже известных формул синуса и косинуса суммы и разности аргументов.
Докажем формулу тангенса суммы аргументов. Имеем:
.
Разделим каждое из слагаемых числителя и знаменателя на ,
учитывая, что значение дроби от этого не изменится и что из принятых выше условий
для допустимых значений аргументов, т. е. . Тогда:
— что и требовалось доказать.
Аналогично доказывается формула тангенса разности аргументов: