Тригонометрические тождества

Материал из testwiki
Перейти к навигации Перейти к поиску

Тригонометрические тождества — математические выражения для тригонометрических функций, которые выполняются при всех значениях аргумента (из общей области определения). В данной статье приведены только тождества с основными тригонометрическими функциями, но есть тождества и для редко используемых тригонометрических функций.

Пример шести тригонометрических функций угла Шаблон:Math радиан, построенный в единичной окружности. Величины, отмеченные Шаблон:Color, Шаблон:Color и Шаблон:Color равны длинам сегментов луча, исходящего из центра окружности. Величины Шаблон:Color, Шаблон:Color и Шаблон:Color равны высотам над осью Шаблон:Mvar, величины Шаблон:Color, Шаблон:Color и Шаблон:Color равны длинам сегментов оси Шаблон:Mvar от центра окружности.

Основные тригонометрические формулы

№ Формула Допустимые значения аргумента
1.1 sin2α+cos2α=1 ∀α
1.2 tg2α+1=1cos2α=sec2α α≠π2+πn,n∈ℤ
1.3 ctg2α+1=1sin2α=cosec2α α≠πn,n∈ℤ
1.4 tg⁡α⋅ctg⁡α=1 α≠πn2,n∈ℤ
  • Формула (1.1) является следствием теоремы Пифагора.
  • Формулы (1.2) и (1.3) получаются из формулы (1.1) делением на cos2α и sin2α соответственно.
  • Формула (1.4) следует из определений тангенса и котангенса.

Формулы сложения и вычитания аргументов

Формулы для двух аргументов

Иллюстрация форм сложения и вычитания синусов и косинусов
Иллюстрация форм сложения тангенсов.
№ Формула Допустимые значения аргумента
2.1 sin⁡(α±β)=sin⁡αcos⁡β±cos⁡αsin⁡β ∀α
2.2 cos⁡(α±β)=cos⁡αcos⁡β∓sin⁡αsin⁡β ∀α
2.3 tg⁡(α±β)=tg⁡α±tg⁡β1∓tg⁡αtg⁡β α, β, α±β≠π2+πn,n∈ℤ
2.4 ctg⁡(α±β)=ctg⁡αctg⁡β∓1ctg⁡β±ctg⁡α α, β, α±β≠πn,n∈ℤ

Формула (2.3) получается при делении (2.1) на (2.2), а формула (2.4) — при делении (2.2) на (2.1).

Шаблон:Hider

Формулы для трёх аргументов

№ Формула Допустимые значения аргумента
2.5 sin⁡(α+β+γ)=sin⁡αcos⁡βcos⁡γ+cos⁡αsin⁡βcos⁡γ+cos⁡αcos⁡βsin⁡γ−sin⁡αsin⁡βsin⁡γ, ∀α, β, γ
2.6 cos⁡(α+β+γ)=cos⁡αcos⁡βcos⁡γ−sin⁡αsin⁡βcos⁡γ−sin⁡αcos⁡βsin⁡γ−cos⁡αsin⁡βsin⁡γ. ∀α, β, γ
2.7 tg⁡(α+β+γ)=tg⁡α+tg⁡β+tg⁡γ−tg⁡αtg⁡βtg⁡γ1−tg⁡αtg⁡β−tg⁡αtg⁡γ−tg⁡βtg⁡γ α, β, γ, α+β+γ≠π2+πn,n∈ℤ
2.8 ctg⁡(α+β+γ)=ctg⁡αctg⁡βctg⁡γ−ctg⁡α−ctg⁡β−ctg⁡γctg⁡αctg⁡β+ctg⁡αctg⁡γ+ctg⁡βtg⁡γ−1 α, β, γ, α+β+γ≠πn,n∈ℤ

Формулы кратных углов

Формулы кратных углов следуют из формул сложения при равенстве аргументов.

Формулы двойного угла

№ Формула Допустимые значения аргумента
3.1 sin⁡2α=2sin⁡α cos⁡α ∀α
3.2 cos⁡2α=cos2α−sin2α
cos⁡2α=2cos2α−1=1−2sin2α
∀α
3.3 tg⁡2α=2tg⁡α1−tg2α α≠π4+πn2,n∈ℤ
α≠π2+πn,n∈ℤ
3.4 ctg⁡2α=ctg2α−12ctg⁡α α≠πn2,n∈ℤ

Формулы тройного угла

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

№ Формула Допустимые значения аргумента
3.5 sin⁡3α=3sin⁡α−4sin3α=4sin⁡αsin⁡(π3−α)sin⁡(π3+α) ∀α
3.6 cos⁡3α=4cos3α−3cos⁡α=4cos⁡αcos⁡(π3−α)cos⁡(π3+α) ∀α
3.7 tg⁡3α=3tg⁡α−tg3α1−3tg2α=tg⁡αtg⁡(π3−α)tg⁡(π3+α) α≠π6+πn3,n∈ℤ
3.8 ctg⁡3α=3ctg⁡α−ctg3α1−3ctg2α=ctg⁡αctg⁡(π3−α)ctg⁡(π3+α) α≠πn3,n∈ℤ

Формулы четверного угла

№ Формула Допустимые значения аргумента
3.9 sin⁡4α=4sin⁡αcos⁡α−8sin3αcos⁡α=8sin⁡αcos3α−4sin⁡αcos⁡α ∀α
3.10 cos⁡4α=8cos4α−8cos2α+1=8sin4α−8sin2α+1, ∀α
3.11 tg⁡4α=4tg⁡α−4tg3α1−6tg2α+tg4α, α≠π8+πn4,n∈ℤ
α≠π2+πn,n∈ℤ
3.12 ctg⁡4α=ctg4α−6ctg2α+14ctg3α−4ctg⁡α, α≠πn4,n∈ℤ

Общий случай

№ Формула Допустимые значения аргумента
3.13 sin⁡(nα)=∑k=0[(n−1)/2](−1)k(n2k+1)cosn−2k−1αsin2k+1α ∀α
3.14 cos⁡(nα)=∑k=0[n/2](−1)k(n2k)cosn−2kαsin2kα ∀α
3.15 tg(nα)=sin⁡(nα)cos⁡(nα)=∑k=0[(n−1)/2](−1)k(n2k+1)tg2k+1α∑k=0[n/2](−1)k(n2k)tg2kα α≠π2n+πmn,m∈ℤ
α≠π2+πm,m∈ℤ
3.16 ctg(nα)=cos⁡(nα)sin⁡(nα)=∑k=0[n/2](−1)k(n2k)ctgn−2kα∑k=0[(n−1)/2](−1)k(n2k+1)ctgn−2k−1α α≠πmn,m∈ℤ

Формулы половинного угла

Из формулы двойного угла для косинуса (3.2) выводятся формулы половинного угла, в частности тангенса половинного угла:

№ Формулы половинного угла
4.1 sin⁡α2=±1−cos⁡α2
4.2 cos⁡α2=±1+cos⁡α2
4.3 tg⁡α2=±1−cos⁡α1+cos⁡α=sin⁡α1+cos⁡α=1−cos⁡αsin⁡α
4.4 ctg⁡α2=±1+cos⁡α1−cos⁡α=sin⁡α1−cos⁡α=1+cos⁡αsin⁡α

Шаблон:Комментарий

Шаблон:Важно

Формулы понижения степени

Формулы понижения степени выводятся из формул (3.2):

№ Синус № Косинус № Произведение
5.1 sin2α=1−cos⁡2α2 5.5 cos2α=1+cos⁡2α2 5.9 sin2αcos2α=1−cos⁡4α8
5.2 sin3α=3sin⁡α−sin⁡3α4 5.6 cos3α=3cos⁡α+cos⁡3α4 5.10 sin3αcos3α=3sin⁡2α−sin⁡6α32
5.3 sin4α=3−4cos⁡2α+cos⁡4α8 5.7 cos4α=3+4cos⁡2α+cos⁡4α8 5.11 sin4αcos4α=3−4cos⁡4α+cos⁡8α128
5.4 sin5α=10sin⁡α−5sin⁡3α+sin⁡5α16 5.8 cos5α=10cos⁡α+5cos⁡3α+cos⁡5α16 5.12 sin5αcos5α=10sin⁡2α−5sin⁡6α+sin⁡10α512

Формулы преобразования произведения функций

Формулы преобразования произведения функций выводятся из формул сложения аргументов (2.1) и (2.2).

№ Синус и косинус № Тангенс и котангенс
6.1 sin⁡αsin⁡β=cos⁡(α−β)−cos⁡(α+β)2 6.4 tg⁡αtg⁡β=tg⁡α+tg⁡βctg⁡α+ctg⁡β=−tg⁡α−tg⁡βctg⁡α−ctg⁡β
6.2 sin⁡αcos⁡β=sin⁡(α−β)+sin⁡(α+β)2 6.5 ctg⁡αctg⁡β=ctg⁡α+ctg⁡βtg⁡α+tg⁡β=−ctg⁡α−ctg⁡βtg⁡α−tg⁡β
6.3 cos⁡αcos⁡β=cos⁡(α−β)+cos⁡(α+β)2 6.6 tg⁡αctg⁡β=tg⁡α+ctg⁡βctg⁡α+tg⁡β=−tg⁡α−ctg⁡βctg⁡α−tg⁡β

Аналогичные формулы для произведений синусов и косинусов трёх углов:

№ Формула
6.7 sin⁡αsin⁡βsin⁡γ=sin⁡(α+β−γ)+sin⁡(β+γ−α)+sin⁡(α−β+γ)−sin⁡(α+β+γ)4,
6.8 sin⁡αsin⁡βcos⁡γ=−cos⁡(α+β−γ)+cos⁡(β+γ−α)+cos⁡(α−β+γ)−cos⁡(α+β+γ)4,
6.9 sin⁡αcos⁡βcos⁡γ=sin⁡(α+β−γ)−sin⁡(β+γ−α)+sin⁡(α−β+γ)+sin⁡(α+β+γ)4,
6.10 cos⁡αcos⁡βcos⁡γ=cos⁡(α+β−γ)+cos⁡(β+γ−α)+cos⁡(α−β+γ)+cos⁡(α+β+γ)4.

Формулы преобразования суммы функций

№ Синус и косинус № Тангенс и котангенс
7.1 sin⁡α±sin⁡β=2sin⁡α±β2cos⁡α∓β2 7.4 tg⁡α±tg⁡β=sin⁡(α±β)cos⁡αcos⁡β
7.2 cos⁡α+cos⁡β=2cos⁡α+β2cos⁡α−β2 7.5 ctg⁡α±ctg⁡β=sin⁡(β±α)sin⁡αsin⁡β
7.3 cos⁡α−cos⁡β=−2sin⁡α+β2sin⁡α−β2 7.6 ctg⁡α±tg⁡β=cos⁡(α∓β)sin⁡αcos⁡β

Шаблон:Hider

Справедливы также следующие частные случаи перехода от суммы к произведению и следствия из них:

№ Формула Допустимые значения аргумента
7.7.1 sin⁡α+sin⁡β+sin⁡γ−sin⁡(α+β+γ)=4sin⁡α+β2sin⁡α+γ2sin⁡β+γ2 ∀α, β, γ
7.7.2 sin⁡α+sin⁡β+sin⁡γ=4cos⁡α2cos⁡β2cos⁡γ2 α+β+γ=π
7.7.3 sin⁡α+sin⁡β+sin⁡γ=4sin⁡α2sin⁡β2sin⁡γ2 α+β+γ=2π
7.8.1 cos⁡α+cos⁡β+cos⁡γ+cos⁡(α+β+γ)=4cos⁡α+β2cos⁡α+γ2cos⁡β+γ2 ∀α, β, γ
7.8.2 cos⁡α+cos⁡β+cos⁡γ=4sin⁡α2sin⁡β2sin⁡γ2+1 α+β+γ=π
7.8.3 cos⁡α+cos⁡β+cos⁡γ=−4cos⁡α2cos⁡β2cos⁡γ2−1 α+β+γ=2π

Решение простых тригонометрических уравнений

  • sin⁡x=a.
Если |a|>1 — вещественных решений нет.
Если |a|⩽1 — решением является число вида x=(−1)narcsin⁡a+πn, где n∈ℤ.
  • cos⁡x=a.
Если |a|>1 — вещественных решений нет.
Если |a|⩽1 — решением является число вида x=±arccos⁡a+2πn,n∈ℤ.
  • tg⁡x=a.
Решением является число вида x=arctga+πn,n∈ℤ.
  • ctg⁡x=a.
Решением является число вида x=arcctga+πn,n∈ℤ.

Универсальная тригонометрическая подстановка

Шаблон:Main Любая тригонометрическая функция может быть выражена через тангенс или котангенс половинного угла:

sin⁡α=2tgα21+tg2α2=2ctgα2ctg2α2+1 cos⁡α=1−tg2α21+tg2α2=ctg2α2−1ctg2α2+1
tg⁡α=2tgα21−tg2α2=2ctgα2ctg2α2−1 ctg⁡α=1−tg2α22tgα2=ctg2α2−12ctgα2
sec⁡α=1+tg2α21−tg2α2=ctg2α2+1ctg2α2−1 csc⁡α=1+tg2α22tgα2=ctg2α2+12ctgα2

Шаблон:Обратите внимание

Вспомогательный аргумент (формулы сложения гармонических колебаний)

Сумма двух гармонических колебаний с одинаковой частотой будет вновь гармоническим колебанием. В частности,

acos⁡x+bsin⁡x=a2+b2sin⁡(x+φ),

где a,b∈ℝ, a и b не равны нулю одновременно, φ — это угол, называемый вспомогательным аргументом, который может быть найден из системы уравнений:

{sin⁡φ=aa2+b2,cos⁡φ=ba2+b2.

Примечание. Из вышеприведённой системы при b≠0 следует, что tgφ=ab, однако нельзя всегда считать, что φ=arctgab, так как арктангенс определяет угол от −π/2 до π/2, а угол может быть, вообще говоря, любым. Нужно учитывать знаки a и b, чтобы определить, к какой четверти принадлежит угол φ, в результате чего добавлять или убавлять π при необходимости.

Представление тригонометрических функций в комплексной форме

Шаблон:Main

Формула Эйлера утверждает, что для любого вещественного числа x выполнено следующее равенство:

eix=cos⁡x+isin⁡x,

где e — основание натурального логарифма,

i — мнимая единица.

При помощи формулы Эйлера можно определить функции sin⁡x и cos⁡x следующим образом:

sin⁡x=eix−e−ix2i,cos⁡x=eix+e−ix2.

Отсюда следует, что

tg⁡x=−ieix−e−ixeix+e−ix,ctg⁡x=ieix+e−ixeix−e−ix,
sec⁡x=2eix+e−ix,cosec⁡x=2ieix−e−ix.

Все эти тождества аналитически обобщаются на любые комплексные значения.

См. также

Шаблон:Тригонометрия