Равенства, включающие тригонометрические функции
В математика , тригонометрические тождества находятся равенства которые включают тригонометрические функции и верны для любого значения происходящего переменные где определены обе части равенства. Геометрически это идентичности включающие определенные функции одного или нескольких углы . Они отличаются от тождества треугольников , которые являются тождествами, потенциально включающими углы, но также включающие длины сторон или другие длины треугольник .
Эти тождества полезны, когда необходимо упростить выражения, содержащие тригонометрические функции. Важным приложением является интеграция нетригонометрических функций: распространенный метод включает в себя сначала использование правило подстановки с тригонометрической функцией , а затем упростить полученный интеграл с помощью тригонометрического тождества.
Обозначение
Углы Знаки тригонометрических функций в каждом квадранте. Мнемоника "
Все S наука
Т eachers (есть)
C razy "перечисляет основные функции ('
Все' ,
s в,
т ан,
c os), положительные от квадрантов I до IV.
[1] Это вариант мнемоники "
Все студенты сдают расчет ".
В этой статье используется Греческие буквы Такие как альфа (α ), бета (β ), гамма (γ ), и тета (θ ) представлять углы . Несколько разных единицы измерения угла широко используются, в том числе степень , радиан , и Градиан (углы ):
1 полный круг (повернуть ) = 360 градусов = 2π радиан = 400 гон. Если специально не обозначено (°) для степени или ( грамм { Displaystyle ^ { mathrm {g}}} ) для градиана все значения углов в этой статье предполагаются в радианах.
В следующей таблице для некоторых распространенных углов показаны их преобразования и значения основных тригонометрических функций:
Преобразования общих углов Повернуть Степень Радиан Градиан синус косинус касательная 0 { displaystyle 0} 0 ∘ { displaystyle 0 ^ { circ}} 0 { displaystyle 0} 0 грамм { displaystyle 0 ^ { mathrm {g}}} 0 { displaystyle 0} 1 { displaystyle 1} 0 { displaystyle 0} 1 12 { displaystyle { dfrac {1} {12}}} 30 ∘ { displaystyle 30 ^ { circ}} π 6 { displaystyle { dfrac { pi} {6}}} 33 1 3 грамм { displaystyle 33 { dfrac {1} {3}} ^ { mathrm {g}}} 1 2 { displaystyle { dfrac {1} {2}}} 3 2 { displaystyle { dfrac { sqrt {3}} {2}}} 3 3 { displaystyle { dfrac { sqrt {3}} {3}}} 1 8 { displaystyle { dfrac {1} {8}}} 45 ∘ { displaystyle 45 ^ { circ}} π 4 { displaystyle { dfrac { pi} {4}}} 50 грамм { displaystyle 50 ^ { mathrm {g}}} 2 2 { displaystyle { dfrac { sqrt {2}} {2}}} 2 2 { displaystyle { dfrac { sqrt {2}} {2}}} 1 { displaystyle 1} 1 6 { displaystyle { dfrac {1} {6}}} 60 ∘ { displaystyle 60 ^ { circ}} π 3 { displaystyle { dfrac { pi} {3}}} 66 2 3 грамм { displaystyle 66 { dfrac {2} {3}} ^ { mathrm {g}}} 3 2 { displaystyle { dfrac { sqrt {3}} {2}}} 1 2 { displaystyle { dfrac {1} {2}}} 3 { displaystyle { sqrt {3}}} 1 4 { displaystyle { dfrac {1} {4}}} 90 ∘ { displaystyle 90 ^ { circ}} π 2 { displaystyle { dfrac { pi} {2}}} 100 грамм { displaystyle 100 ^ { mathrm {g}}} 1 { displaystyle 1} 0 { displaystyle 0} Неопределенный 1 3 { displaystyle { dfrac {1} {3}}} 120 ∘ { displaystyle 120 ^ { circ}} 2 π 3 { displaystyle { dfrac {2 pi} {3}}} 133 1 3 грамм { displaystyle 133 { dfrac {1} {3}} ^ { mathrm {g}}} 3 2 { displaystyle { dfrac { sqrt {3}} {2}}} − 1 2 { displaystyle - { dfrac {1} {2}}} − 3 { displaystyle - { sqrt {3}}} 3 8 { displaystyle { dfrac {3} {8}}} 135 ∘ { displaystyle 135 ^ { circ}} 3 π 4 { displaystyle { dfrac {3 pi} {4}}} 150 грамм { displaystyle 150 ^ { mathrm {g}}} 2 2 { displaystyle { dfrac { sqrt {2}} {2}}} − 2 2 { displaystyle - { dfrac { sqrt {2}} {2}}} − 1 { displaystyle -1} 5 12 { displaystyle { dfrac {5} {12}}} 150 ∘ { displaystyle 150 ^ { circ}} 5 π 6 { displaystyle { dfrac {5 pi} {6}}} 166 2 3 грамм { displaystyle 166 { dfrac {2} {3}} ^ { mathrm {g}}} 1 2 { displaystyle { dfrac {1} {2}}} − 3 2 { displaystyle - { dfrac { sqrt {3}} {2}}} − 3 3 { displaystyle - { dfrac { sqrt {3}} {3}}} 1 2 { displaystyle { dfrac {1} {2}}} 180 ∘ { displaystyle 180 ^ { circ}} π { displaystyle pi} 200 грамм { displaystyle 200 ^ { mathrm {g}}} 0 { displaystyle 0} − 1 { displaystyle -1} 0 { displaystyle 0} 7 12 { displaystyle { dfrac {7} {12}}} 210 ∘ { displaystyle 210 ^ { circ}} 7 π 6 { displaystyle { dfrac {7 pi} {6}}} 233 1 3 грамм { displaystyle 233 { dfrac {1} {3}} ^ { mathrm {g}}} − 1 2 { displaystyle - { dfrac {1} {2}}} − 3 2 { displaystyle - { dfrac { sqrt {3}} {2}}} 3 3 { displaystyle { dfrac { sqrt {3}} {3}}} 5 8 { displaystyle { dfrac {5} {8}}} 225 ∘ { displaystyle 225 ^ { circ}} 5 π 4 { displaystyle { dfrac {5 pi} {4}}} 250 грамм { displaystyle 250 ^ { mathrm {g}}} − 2 2 { displaystyle - { dfrac { sqrt {2}} {2}}} − 2 2 { displaystyle - { dfrac { sqrt {2}} {2}}} 1 { displaystyle 1} 2 3 { displaystyle { dfrac {2} {3}}} 240 ∘ { displaystyle 240 ^ { circ}} 4 π 3 { displaystyle { dfrac {4 pi} {3}}} 266 2 3 грамм { displaystyle 266 { dfrac {2} {3}} ^ { mathrm {g}}} − 3 2 { displaystyle - { dfrac { sqrt {3}} {2}}} − 1 2 { displaystyle - { dfrac {1} {2}}} 3 { displaystyle { sqrt {3}}} 3 4 { displaystyle { dfrac {3} {4}}} 270 ∘ { displaystyle 270 ^ { circ}} 3 π 2 { displaystyle { dfrac {3 pi} {2}}} 300 грамм { displaystyle 300 ^ { mathrm {g}}} − 1 { displaystyle -1} 0 { displaystyle 0} Неопределенный 5 6 { displaystyle { dfrac {5} {6}}} 300 ∘ { displaystyle 300 ^ { circ}} 5 π 3 { displaystyle { dfrac {5 pi} {3}}} 333 1 3 грамм { displaystyle 333 { dfrac {1} {3}} ^ { mathrm {g}}} − 3 2 { displaystyle - { dfrac { sqrt {3}} {2}}} 1 2 { displaystyle { dfrac {1} {2}}} − 3 { displaystyle - { sqrt {3}}} 7 8 { displaystyle { dfrac {7} {8}}} 315 ∘ { displaystyle 315 ^ { circ}} 7 π 4 { displaystyle { dfrac {7 pi} {4}}} 350 грамм { displaystyle 350 ^ { mathrm {g}}} − 2 2 { displaystyle - { dfrac { sqrt {2}} {2}}} 2 2 { displaystyle { dfrac { sqrt {2}} {2}}} − 1 { displaystyle -1} 11 12 { displaystyle { dfrac {11} {12}}} 330 ∘ { displaystyle 330 ^ { circ}} 11 π 6 { displaystyle { dfrac {11 pi} {6}}} 366 2 3 грамм { displaystyle 366 { dfrac {2} {3}} ^ { mathrm {g}}} − 1 2 { displaystyle - { dfrac {1} {2}}} 3 2 { displaystyle { dfrac { sqrt {3}} {2}}} − 3 3 { displaystyle - { dfrac { sqrt {3}} {3}}} 1 { displaystyle 1} 360 ∘ { displaystyle 360 ^ { circ}} 2 π { displaystyle 2 pi} 400 грамм { displaystyle 400 ^ { mathrm {g}}} 0 { displaystyle 0} 1 { displaystyle 1} 0 { displaystyle 0}
Результаты для других углов можно найти на Тригонометрические константы, выраженные в действительных радикалах . За Теорема Нивена , ( 0 , 30 , 90 , 150 , 180 , 210 , 270 , 330 , 360 ) { displaystyle (0, ; 30, ; 90, ; 150, ; 180, ; 210, ; 270, ; 330, ; 360)} являются единственными рациональными числами, которые в градусах дают рациональное значение синуса для соответствующего угла в пределах первого поворота, что может объяснить их популярность в примерах.[2] [3] Аналогичное условие для единичного радиана требует, чтобы аргумент делился на π рационально и дает решения 0, π /6, π /2, 5π /6, π , 7π /6, 3π /2, 11π /6(, 2π ).
Тригонометрические функции График шести тригонометрических функций, единичный круг и линия угла θ = 0,7 радианы. Точки, помеченные 1 , Сек (θ) , Csc (θ) представляют длину отрезка от начала координат до этой точки. Грех (θ) , Загар (θ) , и 1 высота линии, начинающейся от Икс ось, а Cos (θ) , 1 , и Детская кроватка (θ) длины по Икс - ось, начиная с начала координат.
Функции синус , косинус и касательная угла иногда называют начальный или же базовый тригонометрические функции. Их обычные сокращения: грех (θ ) , cos (θ ) и загар (θ ) соответственно, где θ обозначает угол. Скобки вокруг аргумента функций часто опускаются, например, грех θ и потому что θ , если интерпретация однозначно возможна.
Синус угла определяется в контексте прямоугольный треугольник , как отношение длины стороны, противоположной углу, к длине самой длинной стороны треугольника ( гипотенуза ).
грех θ = противоположный гипотенуза . { displaystyle sin theta = { frac { text {напротив}} { text {hypotenuse}}}.} Косинус угла в этом контексте - это отношение длины стороны, которая примыкает к углу, деленное на длину гипотенузы.
потому что θ = соседний гипотенуза . { displaystyle cos theta = { frac { text {смежный}} { text {hypotenuse}}}.} В касательная Угол в данном контексте - это отношение длины стороны, противоположной углу, к длине стороны, прилегающей к углу. Это то же самое, что и соотношение синуса на косинус этого угла, как можно увидеть, подставив определения грех и потому что сверху:
загар θ = грех θ потому что θ = противоположный соседний . { displaystyle tan theta = { frac { sin theta} { cos theta}} = { frac { text {противоположный}} { text {смежный}}}.} Остальные тригонометрические функции секущие (сек ), косеканс (csc ) и котангенс (детская кроватка ) определяются как взаимные функции косинуса, синуса и тангенса соответственно. Редко их называют вторичными тригонометрическими функциями:
сек θ = 1 потому что θ , csc θ = 1 грех θ , детская кроватка θ = 1 загар θ = потому что θ грех θ . { displaystyle sec theta = { frac {1} { cos theta}}, quad csc theta = { frac {1} { sin theta}}, quad cot theta = { frac {1} { tan theta}} = { frac { cos theta} { sin theta}}.}. Эти определения иногда называют соотношение идентичностей .
Прочие функции sgn Икс { displaystyle operatorname {sgn} x} указывает на функция знака , который определяется как:
sgn ( Икс ) = { − 1 если Икс < 0 , 0 если Икс = 0 , 1 если Икс > 0. { displaystyle operatorname {sgn} (x) = { begin {cases} -1 & { text {if}} x <0, 0 & { text {if}} x = 0, 1 & { текст {if}} x> 0. end {case}}} Обратные функции
Обратные тригонометрические функции являются частичными обратные функции для тригонометрических функций. Например, обратная функция для синуса, известная как обратный синус (грех−1 ) или же арксинус (Arcsin или же как в ), удовлетворяет
грех ( Arcsin Икс ) = Икс за | Икс | ≤ 1 { displaystyle sin ( arcsin x) = x quad { text {for}} quad | x | leq 1} и
Arcsin ( грех Икс ) = Икс за | Икс | ≤ π 2 . { displaystyle arcsin ( sin x) = x quad { text {for}} quad | x | leq { frac { pi} {2}}.} В этой статье используются следующие обозначения для обратных тригонометрических функций:
Функция грех потому что загар сек csc детская кроватка Обратный Arcsin arccos арктан arcsec arccsc арккот
В следующей таблице показано, как обратные тригонометрические функции могут использоваться для решения равенств, включающих шесть стандартных тригонометрических функций. Предполагается, что р , s , Икс , и у все находятся в соответствующем диапазоне. Обратите внимание, что "для некоторых k ∈ ℤ "это просто другой способ сказать" для некоторых целое число k ."
Равенство Решение куда... грех θ = у ⇔ θ = (-1) k arcsin (у ) + π k для некоторых k ∈ ℤ cos θ = Икс ⇔ θ = ± arccos (Икс ) + 2 π k для некоторых k ∈ ℤ загар θ = s ⇔ θ = арктан (s ) + π k для некоторых k ∈ ℤ csc θ = р ⇔ θ = (-1) k arccsc (р ) + π k для некоторых k ∈ ℤ сек θ = р ⇔ θ = ± arcsec (р ) + 2 π k для некоторых k ∈ ℤ детская кроватка θ = р ⇔ θ = арккот (р ) + π k для некоторых k ∈ ℤ
В таблице ниже показано, как два угла θ и φ должны быть связаны, если их значения для данной тригонометрической функции равны или отрицательны друг другу.
Равенство Решение куда... Также решение для грех θ = грех φ ⇔ θ = (-1) k φ + π k для некоторых k ∈ ℤ csc θ = csc φ cos θ = cos φ ⇔ θ = ± φ + 2 π k для некоторых k ∈ ℤ сек θ = сек φ загар θ = загар φ ⇔ θ = φ + π k для некоторых k ∈ ℤ детская кроватка θ = детская кроватка φ - грех θ = грех φ ⇔ θ = (-1) k +1 φ + π k для некоторых k ∈ ℤ csc θ = - csc φ - cos θ = cos φ ⇔ θ = ± φ + 2 π k + π для некоторых k ∈ ℤ сек θ = - сек φ - тангенс θ = загар φ ⇔ θ = - φ + π k для некоторых k ∈ ℤ детская кроватка θ = - детская кроватка φ |грех θ | = |грех φ | ⇔ θ = ± φ + π k для некоторых k ∈ ℤ |загар θ | = |загар φ | ⇕ |csc θ | = |csc φ | |cos θ | = |cos φ | |сек θ | = |сек φ | |детская кроватка θ | = |детская кроватка φ |
Пифагорейские тождества
В тригонометрии основные отношения между синусом и косинусом задаются тождеством Пифагора:
грех 2 θ + потому что 2 θ = 1 , { Displaystyle грех ^ {2} тета + соз ^ {2} тета = 1,} куда грех2 θ средства (грех θ )2 и потому что2 θ средства (потому что θ )2 .
Это можно рассматривать как версию теорема Пифагора , и следует из уравнения Икс 2 + у 2 = 1 для единичный круг . Это уравнение может быть решено как для синуса, так и для косинуса:
грех θ = ± 1 − потому что 2 θ , потому что θ = ± 1 − грех 2 θ . { displaystyle { begin {align} sin theta & = pm { sqrt {1- cos ^ {2} theta}}, cos theta & = pm { sqrt {1- sin ^ {2} theta}}. end {align}}} где знак зависит от квадрант из θ .
Разделив эту идентичность на грех2 θ или же потому что2 θ дает два других пифагоровых тождества:
1 + детская кроватка 2 θ = csc 2 θ и загар 2 θ + 1 = сек 2 θ . { displaystyle 1+ cot ^ {2} theta = csc ^ {2} theta quad { text {and}} quad tan ^ {2} theta + 1 = sec ^ {2} theta.} Используя эти тождества вместе с тождествами отношений, можно выразить любую тригонометрическую функцию через любую другую (вплоть до знак плюс или минус):
Каждая тригонометрическая функция в терминах каждой из пяти других.[4] с точки зрения грех θ { Displaystyle грех тета} потому что θ { displaystyle cos theta} загар θ { displaystyle tan theta} csc θ { Displaystyle csc theta} сек θ { displaystyle sec theta} детская кроватка θ { displaystyle cot theta} грех θ = { Displaystyle грех тета =} грех θ { Displaystyle грех тета} ± 1 − потому что 2 θ { displaystyle pm { sqrt {1- cos ^ {2} theta}}} ± загар θ 1 + загар 2 θ { displaystyle pm { frac { tan theta} { sqrt {1+ tan ^ {2} theta}}}} 1 csc θ { displaystyle { frac {1} { csc theta}}} ± сек 2 θ − 1 сек θ { displaystyle pm { frac { sqrt { sec ^ {2} theta -1}} { sec theta}}} ± 1 1 + детская кроватка 2 θ { displaystyle pm { frac {1} { sqrt {1+ cot ^ {2} theta}}}} потому что θ = { Displaystyle соз тета =} ± 1 − грех 2 θ { displaystyle pm { sqrt {1- sin ^ {2} theta}}} потому что θ { displaystyle cos theta} ± 1 1 + загар 2 θ { displaystyle pm { frac {1} { sqrt {1+ tan ^ {2} theta}}}} ± csc 2 θ − 1 csc θ { displaystyle pm { frac { sqrt { csc ^ {2} theta -1}} { csc theta}}} 1 сек θ { displaystyle { frac {1} { sec theta}}} ± детская кроватка θ 1 + детская кроватка 2 θ { displaystyle pm { frac { cot theta} { sqrt {1+ cot ^ {2} theta}}}} загар θ = { Displaystyle загар тета =} ± грех θ 1 − грех 2 θ { displaystyle pm { frac { sin theta} { sqrt {1- sin ^ {2} theta}}}} ± 1 − потому что 2 θ потому что θ { displaystyle pm { frac { sqrt {1- cos ^ {2} theta}} { cos theta}}} загар θ { displaystyle tan theta} ± 1 csc 2 θ − 1 { displaystyle pm { frac {1} { sqrt { csc ^ {2} theta -1}}}} ± сек 2 θ − 1 { displaystyle pm { sqrt { sec ^ {2} theta -1}}} 1 детская кроватка θ { displaystyle { frac {1} { cot theta}}} csc θ = { Displaystyle csc theta =} 1 грех θ { displaystyle { frac {1} { sin theta}}} ± 1 1 − потому что 2 θ { displaystyle pm { frac {1} { sqrt {1- cos ^ {2} theta}}}} ± 1 + загар 2 θ загар θ { displaystyle pm { frac { sqrt {1+ tan ^ {2} theta}} { tan theta}}} csc θ { Displaystyle csc theta} ± сек θ сек 2 θ − 1 { displaystyle pm { frac { sec theta} { sqrt { sec ^ {2} theta -1}}}} ± 1 + детская кроватка 2 θ { displaystyle pm { sqrt {1+ cot ^ {2} theta}}} сек θ = { Displaystyle сек тета =} ± 1 1 − грех 2 θ { displaystyle pm { frac {1} { sqrt {1- sin ^ {2} theta}}}} 1 потому что θ { displaystyle { frac {1} { cos theta}}} ± 1 + загар 2 θ { displaystyle pm { sqrt {1+ tan ^ {2} theta}}} ± csc θ csc 2 θ − 1 { displaystyle pm { frac { csc theta} { sqrt { csc ^ {2} theta -1}}}} сек θ { displaystyle sec theta} ± 1 + детская кроватка 2 θ детская кроватка θ { displaystyle pm { frac { sqrt {1+ cot ^ {2} theta}} { cot theta}}} детская кроватка θ = { displaystyle cot theta =} ± 1 − грех 2 θ грех θ { displaystyle pm { frac { sqrt {1- sin ^ {2} theta}} { sin theta}}} ± потому что θ 1 − потому что 2 θ { displaystyle pm { frac { cos theta} { sqrt {1- cos ^ {2} theta}}}} 1 загар θ { displaystyle { frac {1} { tan theta}}} ± csc 2 θ − 1 { displaystyle pm { sqrt { csc ^ {2} theta -1}}} ± 1 сек 2 θ − 1 { displaystyle pm { frac {1} { sqrt { sec ^ {2} theta -1}}}} детская кроватка θ { displaystyle cot theta}
Исторические сокращения
Все тригонометрические функции угла θ можно построить геометрически в терминах единичного круга с центром вО . Многие из этих терминов больше не используются; однако эта диаграмма не является исчерпывающей.
В Версина , Coverine , гаверсин , и эксцентричный использовались в навигации. Например, формула гаверсина использовался для расчета расстояния между двумя точками на сфере. Сегодня они используются редко.
Имя Сокращение Ценить[5] [6] (правый) дополнительный угол, со-угол co θ { displaystyle operatorname {co} theta} π 2 − θ { displaystyle { pi over 2} - theta} разбирающийся синус, Версина Версин θ { displaystyle operatorname {versin} theta} vers θ { displaystyle operatorname {vers} theta} вер θ { displaystyle operatorname {ver} theta} 1 − потому что θ { Displaystyle 1- соз тета} разбирающийся косинус, веркозин веркозин θ { displaystyle operatorname {vercosin} theta} Vercos θ { displaystyle operatorname {vercos} theta} vcs θ { displaystyle operatorname {vcs} theta} 1 + потому что θ { displaystyle 1+ cos theta} покрытый синус, Coverine Coverin θ { displaystyle operatorname {coverin} theta} охватывает θ { displaystyle operatorname {обложки} theta} cvs θ { displaystyle operatorname {cvs} theta} 1 − грех θ { Displaystyle 1- грех тета} закрытый косинус, покровный козин кроекозин θ { displaystyle operatorname {covercosin} theta} covercos θ { displaystyle operatorname {covercos} theta} cvc θ { displaystyle operatorname {cvc} theta} 1 + грех θ { displaystyle 1+ sin theta} полусведенный синус, гаверсин Хаверсин θ { displaystyle operatorname {haversin} theta} hav θ { displaystyle operatorname {hav} theta} сем θ { displaystyle operatorname {sem} theta} 1 − потому что θ 2 { displaystyle { frac {1- cos theta} {2}}} полусинус косинус, гаверкозин гаверкозин θ { displaystyle operatorname {havercosin} theta} havercos θ { displaystyle operatorname {havercos} theta} hvc θ { displaystyle operatorname {hvc} theta} 1 + потому что θ 2 { displaystyle { frac {1+ cos theta} {2}}} полузакрытый синус, hacoversine cohaversine hacoversin θ { displaystyle operatorname {hacoversin} theta} халаты θ { displaystyle operatorname {hacovers} theta} hcv θ { displaystyle operatorname {hcv} theta} 1 − грех θ 2 { displaystyle { frac {1- sin theta} {2}}} полупрозрачный косинус, hacovercosine когаверкозин hacovercosin θ { displaystyle operatorname {hacovercosin} theta} hacovercos θ { displaystyle operatorname {hacovercos} theta} hcc θ { displaystyle operatorname {hcc} theta} 1 + грех θ 2 { displaystyle { frac {1+ sin theta} {2}}} внешний секанс, эксцентричный exsec θ { displaystyle operatorname {exsec} theta} бывшие θ { displaystyle operatorname {exs} theta} сек θ − 1 { displaystyle sec theta -1} внешний косеканс, excosecant excosec θ { displaystyle operatorname {excosec} theta} исключая θ { displaystyle operatorname {excsc} theta} отлично θ { displaystyle operatorname {exc} theta} csc θ − 1 { displaystyle csc theta -1} аккорд crd θ { displaystyle operatorname {crd} theta} 2 грех θ 2 { displaystyle 2 sin { frac { theta} {2}}}
Размышления, сдвиги и периодичность
Отражая θ в α = 0 (α =π )
Изучая единичную окружность, можно установить следующие свойства тригонометрических функций.
Размышления Когда направление евклидова вектора представлено углом θ { displaystyle theta} , это угол, определяемый свободным вектором (начиная с начала координат) и положительным Икс -единичный вектор. Та же концепция может быть применена к линиям в евклидовом пространстве, где угол определяется параллелью данной прямой через начало координат и положительным Икс -ось. Если линия (вектор) с направлением θ { displaystyle theta} отражается о линии с направлением α , { displaystyle alpha,} тогда угол направления θ ′ { displaystyle theta '} этой отраженной линии (вектора) имеет значение
θ ′ = 2 α − θ . { Displaystyle theta '= 2 альфа - theta.} Значения тригонометрических функций этих углов θ , θ ′ { displaystyle theta, ; theta '} для определенных углов α { displaystyle alpha} удовлетворяют простым тождествам: либо они равны, либо имеют противоположные знаки, либо используют дополнительную тригонометрическую функцию. Они также известны как формулы приведения .[7]
θ отражено в α = 0[8] нечетный / четный идентичностиθ отражено в α = π / 4 θ отражено в α = π / 2 θ отражено в α = π сравнить с α = 0 грех ( − θ ) = − грех θ { Displaystyle грех (- тета) = - грех тета} грех ( π 2 − θ ) = потому что θ { displaystyle sin left ({ tfrac { pi} {2}} - theta right) = cos theta} грех ( π − θ ) = + грех θ { Displaystyle грех ( пи - тета) = + грех тета} грех ( 2 π − θ ) = − грех ( θ ) = грех ( − θ ) { Displaystyle грех (2 пи - тета) = - грех ( тета) = грех (- тета)} потому что ( − θ ) = + потому что θ { Displaystyle соз (- тета) = + соз тета} потому что ( π 2 − θ ) = грех θ { displaystyle cos left ({ tfrac { pi} {2}} - theta right) = sin theta} потому что ( π − θ ) = − потому что θ { Displaystyle соз ( пи - тета) = - соз тета} потому что ( 2 π − θ ) = + потому что ( θ ) = потому что ( − θ ) { Displaystyle соз (2 пи - тета) = + соз ( тета) = соз (- тета)} загар ( − θ ) = − загар θ { Displaystyle загар (- тета) = - загар тета} загар ( π 2 − θ ) = детская кроватка θ { displaystyle tan left ({ tfrac { pi} {2}} - theta right) = cot theta} загар ( π − θ ) = − загар θ { Displaystyle загар ( пи - тета) = - загар тета} загар ( 2 π − θ ) = − загар ( θ ) = загар ( − θ ) { Displaystyle загар (2 пи - тета) = - загар ( тета) = загар (- тета)} csc ( − θ ) = − csc θ { Displaystyle csc (- theta) = - csc theta} csc ( π 2 − θ ) = сек θ { displaystyle csc left ({ tfrac { pi} {2}} - theta right) = sec theta} csc ( π − θ ) = + csc θ { Displaystyle csc ( пи - theta) = + csc theta} csc ( 2 π − θ ) = − csc ( θ ) = csc ( − θ ) { Displaystyle csc (2 пи - theta) = - csc ( theta) = csc (- theta)} сек ( − θ ) = + сек θ { Displaystyle сек (- тета) = + сек тета} сек ( π 2 − θ ) = csc θ { Displaystyle сек слева ({ tfrac { pi} {2}} - theta right) = csc theta} сек ( π − θ ) = − сек θ { Displaystyle сек ( пи - тета) = - сек тета} сек ( 2 π − θ ) = + сек ( θ ) = сек ( − θ ) { Displaystyle сек (2 пи - тета) = + сек ( тета) = сек (- тета)} детская кроватка ( − θ ) = − детская кроватка θ { displaystyle cot (- theta) = - cot theta} детская кроватка ( π 2 − θ ) = загар θ { Displaystyle cot left ({ tfrac { pi} {2}} - theta right) = tan theta} детская кроватка ( π − θ ) = − детская кроватка θ { Displaystyle детская кроватка ( пи - тета) = - детская кроватка тета} детская кроватка ( 2 π − θ ) = − детская кроватка ( θ ) = детская кроватка ( − θ ) { Displaystyle детская кроватка (2 пи - тета) = - детская кроватка ( тета) = детская кроватка (- тета)}
Сдвиги и периодичность Путем смещения аргументов тригонометрических функций на определенные углы, изменения знака или применения дополнительных тригонометрических функций иногда можно более просто выразить определенные результаты. Некоторые примеры смен показаны ниже в таблице.
А полный оборот , или же 360° , или 2π радиан оставляет единичный круг фиксированным и представляет собой наименьший интервал, для которого sin, cos, sec и csc повторяют их ценности и, следовательно, их период. Сдвиг аргументов любой периодической функции на любое целое число, кратное полному периоду, сохраняет значение функции несмещенного аргумента. А пол-оборота , или же 180° , или же π радиан - период загар (Икс ) = грех (Икс ) / cos (Икс ) и детская кроватка (Икс ) = cos (Икс ) / грех (Икс ) , как видно из этих определений и периода определяющих тригонометрических функций. Следовательно, смещая аргументы загар (Икс ) и детская кроватка (Икс ) любым кратным π не меняет значения их функций. Для функций sin, cos, sec и csc с периодом 2π , половина оборота - это половина их периода. Для этого сдвига они меняют знак своих значений, что снова можно увидеть на единичном круге. Это новое значение повторяется после любого дополнительного сдвига на 2π , поэтому все вместе они меняют знак сдвига на любое нечетное кратное π , т.е. (2k + 1)⋅π , с k произвольное целое число. Любое, даже кратное π это, конечно, всего лишь полный период, а сдвиг назад на половину периода аналогичен сдвигу назад на один полный период плюс один сдвиг вперед на половину периода. А четверть оборота , или же 90° , или же π / 2 радиан - сдвиг на полупериод для загар (Икс ) и детская кроватка (Икс ) с периодом π (180° ), что дает значение функции применения дополнительной функции к несмещенному аргументу. Согласно приведенным выше рассуждениям это также верно для сдвига на любое нечетное кратное (2k + 1)⋅π / 2 полупериода. Для четырех других тригонометрических функций четверть оборота также представляет четверть периода. Сдвиг на произвольное кратное четверти периода, которое не покрывается кратным полупериодам, можно разложить на целое кратное периодов плюс или минус одну четверть периода. Термины, выражающие эти кратные, следующие: (4k ± 1)⋅π / 2 . Сдвиги вперед / назад на один квартал отражены в таблице ниже. Опять же, эти сдвиги дают значения функции, используя соответствующую дополнительную функцию, применяемую к несмещенному аргументу. Сдвиг аргументов загар (Икс ) и детская кроватка (Икс ) к своему квартальному периоду (π / 4 ) не дает таких простых результатов. Сдвиг на одну четверть периода Сдвиг на половину периода[9] Сдвиг на полные периоды[10] Период грех ( θ ± π 2 ) = ± потому что θ { Displaystyle грех ( theta pm { tfrac { pi} {2}}) = pm cos theta} грех ( θ + π ) = − грех θ { Displaystyle грех ( тета + пи) = - грех тета} грех ( θ + k ⋅ 2 π ) = + грех θ { Displaystyle грех ( тета + к cdot 2 пи) = + грех тета} 2 π { displaystyle 2 pi} потому что ( θ ± π 2 ) = ∓ грех θ { displaystyle cos ( theta pm { tfrac { pi} {2}}) = mp sin theta} потому что ( θ + π ) = − потому что θ { Displaystyle соз ( тета + пи) = - соз тета} потому что ( θ + k ⋅ 2 π ) = + потому что θ { Displaystyle соз ( тета + к cdot 2 пи) = + соз тета} 2 π { displaystyle 2 pi} загар ( θ ± π 4 ) = загар θ ± 1 1 ∓ загар θ { displaystyle tan ( theta pm { tfrac { pi} {4}}) = { tfrac { tan theta pm 1} {1 mp tan theta}}} загар ( θ + π 2 ) = − детская кроватка θ { Displaystyle загар ( theta + { tfrac { pi} {2}}) = - cot theta} загар ( θ + k ⋅ π ) = + загар θ { Displaystyle загар ( тета + к cdot пи) = + загар тета} π { displaystyle pi} csc ( θ ± π 2 ) = ± сек θ { Displaystyle csc ( theta pm { tfrac { pi} {2}}) = pm sec theta} csc ( θ + π ) = − csc θ { Displaystyle csc ( theta + pi) = - csc theta} csc ( θ + k ⋅ 2 π ) = + csc θ { Displaystyle csc ( theta + к cdot 2 pi) = + csc theta} 2 π { displaystyle 2 pi} сек ( θ ± π 2 ) = ∓ csc θ { displaystyle sec ( theta pm { tfrac { pi} {2}}) = mp csc theta} сек ( θ + π ) = − сек θ { Displaystyle сек ( тета + пи) = - сек тета} сек ( θ + k ⋅ 2 π ) = + сек θ { Displaystyle сек ( тета + к cdot 2 пи) = + сек тета} 2 π { displaystyle 2 pi} детская кроватка ( θ ± π 4 ) = детская кроватка θ ± 1 1 ∓ детская кроватка θ { displaystyle cot ( theta pm { tfrac { pi} {4}}) = { tfrac { cot theta pm 1} {1 mp cot theta}}} детская кроватка ( θ + π 2 ) = − загар θ { displaystyle cot ( theta + { tfrac { pi} {2}}) = - tan theta} детская кроватка ( θ + k ⋅ π ) = + детская кроватка θ { Displaystyle детская кроватка ( тета + к cdot пи) = + детская кроватка тета} π { displaystyle pi}
Сумма углов и тождества разностей
Иллюстрация формул сложения углов для синуса и косинуса. Выделенный сегмент единичной длины.
Они также известны как теоремы о сложении и вычитании углов (или же формулы Тождества могут быть получены путем объединения прямоугольных треугольников, таких как на соседней диаграмме, или путем рассмотрения неизменности длины хорды на единичной окружности при заданном центральном угле. Наиболее интуитивно понятный вывод использует матрицы вращения (см. Ниже).
Иллюстрация формулы сложения углов для тангенса. Выделенные сегменты имеют единичную длину.
Для острых углов α и β , сумма которого не является тупой, краткая диаграмма (показана) иллюстрирует формулы суммы углов для синуса и косинуса: жирный сегмент, обозначенный «1», имеет единичную длину и служит гипотенузой прямоугольного треугольника с углом β ; противоположные и соседние ножки для этого угла имеют соответствующие длины грех β и потому что β . В потому что β катет сам по себе гипотенуза прямоугольного треугольника с углом α ; стороны этого треугольника, следовательно, имеют длину, равную грех α и потому что α , умножается на потому что β . В грех β катет, как гипотенуза другого прямоугольного треугольника с углом α , аналогично приводит к отрезкам длины потому что α грех β и грех α грех β . Теперь заметим, что отрезок «1» также является гипотенузой прямоугольного треугольника с углом α + β ; нога напротив этого угла обязательно имеет длину грех (α + β ) , а прилегающая нога имеет длину cos (α + β ) . Следовательно, поскольку противоположные стороны внешнего прямоугольника диаграммы равны, мы выводим
грех ( α + β ) = грех α потому что β + потому что α грех β потому что ( α + β ) = потому что α потому что β − грех α грех β { Displaystyle { begin {выровнено} грех ( альфа + бета) & = грех альфа соз бета + соз альфа грех бета соз ( альфа + бета) & = соз альфа соз бета - грех альфа грех бета конец {выровнено}}} Перемещение одного из названных углов дает вариант диаграммы, демонстрирующий формулы угловой разности для синуса и косинуса.[11] (Диаграмма допускает другие варианты, учитывающие углы и суммы, превышающие прямой угол.) Разделив все элементы диаграммы на потому что α потому что β предоставляет еще один вариант (показан), иллюстрирующий формулу суммы углов для тангенса.
Эти удостоверения применяются, например, в синфазные и квадратурные составляющие .
Иллюстрация формулы сложения углов для котангенса. Правый верхний сегмент единичной длины.
Синус грех ( α ± β ) = грех α потому что β ± потому что α грех β { Displaystyle грех ( альфа пм бета) = грех альфа соз бета пм соз альфа грех бета} [12] [13] Косинус потому что ( α ± β ) = потому что α потому что β ∓ грех α грех β { Displaystyle соз ( альфа пм бета) = соз альфа соз бета МП грех альфа грех бета} [13] [14] Касательная загар ( α ± β ) = загар α ± загар β 1 ∓ загар α загар β { displaystyle tan ( alpha pm beta) = { frac { tan alpha pm tan beta} {1 mp tan alpha tan beta}}} [13] [15] Косеканс csc ( α ± β ) = сек α сек β csc α csc β сек α csc β ± csc α сек β { displaystyle csc ( alpha pm beta) = { frac { sec alpha sec beta csc alpha csc beta} { sec alpha csc beta pm csc alpha sec beta}}} [16] Секант сек ( α ± β ) = сек α сек β csc α csc β csc α csc β ∓ сек α сек β { displaystyle sec ( alpha pm beta) = { frac { sec alpha sec beta csc alpha csc beta} { csc alpha csc beta mp sec alpha sec beta}}} [16] Котангенс детская кроватка ( α ± β ) = детская кроватка α детская кроватка β ∓ 1 детская кроватка β ± детская кроватка α { displaystyle cot ( alpha pm beta) = { frac { cot alpha cot beta mp 1} { cot beta pm cot alpha}}} [13] [17] Арксинус Arcsin Икс ± Arcsin у = Arcsin ( Икс 1 − у 2 ± у 1 − Икс 2 ) { displaystyle arcsin x pm arcsin y = arcsin left (x { sqrt {1-y ^ {2}}} pm y { sqrt {1-x ^ {2}}} right) } [18] Арккосин arccos Икс ± arccos у = arccos ( Икс у ∓ ( 1 − Икс 2 ) ( 1 − у 2 ) ) { displaystyle arccos x pm arccos y = arccos left (ху mp { sqrt { left (1-x ^ {2} right) left (1-y ^ {2} right) }}верно)} [19] Арктангенс арктан Икс ± арктан у = арктан ( Икс ± у 1 ∓ Икс у ) { displaystyle arctan x pm arctan y = arctan left ({ frac {x pm y} {1 mp xy}} right)} [20] Арккотангенс арккот Икс ± арккот у = арккот ( Икс у ∓ 1 у ± Икс ) { displaystyle operatorname {arccot} x pm operatorname {arccot} y = operatorname {arccot} left ({ frac {xy mp 1} {y pm x}} right)}
Матричная форма Формулы суммы и разности для синуса и косинуса следуют из того факта, что поворот плоскости на угол α, следующий за поворотом на β, равен повороту на α + β. С точки зрения матрицы вращения :
( потому что α − грех α грех α потому что α ) ( потому что β − грех β грех β потому что β ) = ( потому что α потому что β − грех α грех β − потому что α грех β − грех α потому что β грех α потому что β + потому что α грех β − грех α грех β + потому что α потому что β ) = ( потому что ( α + β ) − грех ( α + β ) грех ( α + β ) потому что ( α + β ) ) . { displaystyle { begin {align} & {} quad left ({ begin {array} {rr} cos alpha & - sin alpha sin alpha & cos alpha end { array}} right) left ({ begin {array} {rr} cos beta & - sin beta sin beta & cos beta end {array}} right) [12pt] & = left ({ begin {array} {rr} cos alpha cos beta - sin alpha sin beta & - cos alpha sin beta - sin alpha cos beta sin alpha cos beta + cos alpha sin beta & - sin alpha sin beta + cos alpha cos beta end {array}} right) [12pt] & = left ({ begin {array} {rr} cos ( alpha + beta) & - sin ( alpha + beta) sin ( alpha + beta) & cos ( alpha + beta) end {array}} right). end {align}}} В матрица обратная для вращения - это вращение с отрицательным углом
( потому что α − грех α грех α потому что α ) − 1 = ( потому что ( − α ) − грех ( − α ) грех ( − α ) потому что ( − α ) ) = ( потому что α грех α − грех α потому что α ) , { displaystyle left ({ begin {array} {rr} cos alpha & - sin alpha sin alpha & cos alpha end {array}} right) ^ {- 1} = left ({ begin {array} {rr} cos (- alpha) & - sin (- alpha) sin (- alpha) & cos (- alpha) end {array }} right) = left ({ begin {array} {rr} cos alpha & sin alpha - sin alpha & cos alpha end {array}} right) , ,} который также является матрица транспонировать .
Эти формулы показывают, что эти матрицы образуют представление группы вращения в плоскости (технически специальная ортогональная группа ТАК (2) ), так как закон композиции выполняется и существуют обратные. Кроме того, матричное умножение матрицы вращения на угол α с вектором-столбцом будет вращать вектор-столбец против часовой стрелки на угол α .
Поскольку умножение на комплексное число единицы длины вращает комплексную плоскость на аргумент числа, указанное выше умножение матриц вращения эквивалентно умножению комплексных чисел:
( потому что α + я грех α ) ( потому что β + я грех β ) = ( потому что α потому что β − грех α грех β ) + я ( потому что α грех β + грех α потому что β ) = потому что ( α + β ) + я грех ( α + β ) . { Displaystyle { begin {array} {rcl} ( соз альфа + я грех альфа) ( соз бета + я грех бета) & = & ( соз альфа соз бета - sin alpha sin beta) + i ( cos alpha sin beta + sin alpha cos beta) & = & cos ( alpha {+} beta) + i sin ( alpha {+} beta). end {array}}}.
С точки зрения Формула Эйлера , это просто говорит е я α е я β = е я ( α + β ) { Displaystyle е ^ {я альфа} е ^ {я бета} = е ^ {я ( альфа + бета)}} , показывая, что θ ↦ е я θ = потому что θ + я грех θ { Displaystyle тета mapsto е ^ {я тета} = соз тета + я грех тета} - одномерное комплексное представление S О ( 2 ) { Displaystyle mathrm {SO} (2)} .
Синусы и косинусы сумм бесконечно многих углов Когда сериал ∑ я = 1 ∞ θ я { Displaystyle сумма _ {я = 1} ^ { infty} theta _ {я}} сходится абсолютно тогда
грех ( ∑ я = 1 ∞ θ я ) = ∑ странный k ≥ 1 ( − 1 ) k − 1 2 ∑ А ⊆ { 1 , 2 , 3 , … } | А | = k ( ∏ я ∈ А грех θ я ∏ я ∉ А потому что θ я ) { displaystyle sin left ( sum _ {i = 1} ^ { infty} theta _ {i} right) = sum _ {{ text {odd}} k geq 1} (- 1) ^ { frac {k-1} {2}} sum _ { begin {smallmatrix} A substeq {, 1,2,3, dots , } left | A right | = k end {smallmatrix}} left ( prod _ {i in A} sin theta _ {i} prod _ {i not in A} cos theta _ {i} верно)} потому что ( ∑ я = 1 ∞ θ я ) = ∑ четное k ≥ 0 ( − 1 ) k 2 ∑ А ⊆ { 1 , 2 , 3 , … } | А | = k ( ∏ я ∈ А грех θ я ∏ я ∉ А потому что θ я ) . { displaystyle cos left ( sum _ {i = 1} ^ { infty} theta _ {i} right) = sum _ {{ text {even}} k geq 0} ~ ( -1) ^ { frac {k} {2}} ~~ sum _ { begin {smallmatrix} A substeq {, 1,2,3, dots , } left | A right | = k end {smallmatrix}} left ( prod _ {i in A} sin theta _ {i} prod _ {i not in A} cos theta _ {i} верно),.} Потому что сериал ∑ я = 1 ∞ θ я { Displaystyle сумма _ {я = 1} ^ { infty} theta _ {я}} converges absolutely, it is necessarily the case that Lim я → ∞ θ я = 0 {displaystyle lim _{i
ightarrow infty } heta _{i}=0} , Lim я → ∞ грех θ я = 0 {displaystyle lim _{i
ightarrow infty }sin , heta _{i}=0} , и Lim я → ∞ потому что θ я = 1 {displaystyle lim _{i
ightarrow infty }cos heta _{i}=1} . In particular, in these two identities an asymmetry appears that is not seen in the case of sums of finitely many angles: in each product, there are only finitely many sine factors but there are cofinitely many cosine factors. Terms with infinitely many sine factors would necessarily be equal to zero.
When only finitely many of the angles θя are nonzero then only finitely many of the terms on the right side are nonzero because all but finitely many sine factors vanish. Furthermore, in each term all but finitely many of the cosine factors are unity.
Tangents and cotangents of sums Позволять еk (for k = 0, 1, 2, 3, ...) be the k th-degree elementary symmetric polynomial in the variables
Икс я = tan θ я {displaystyle x_{i}= an heta _{i}} за я = 0, 1, 2, 3, ..., i.e.,
е 0 = 1 е 1 = ∑ я Икс я = ∑ я tan θ я е 2 = ∑ я < j Икс я Икс j = ∑ я < j tan θ я tan θ j е 3 = ∑ я < j < k Икс я Икс j Икс k = ∑ я < j < k tan θ я tan θ j tan θ k ⋮ ⋮ {displaystyle {egin{aligned}e_{0}&=1[6pt]e_{1}&=sum _{i}x_{i}&&=sum _{i} an heta _{i}[6pt]e_{2}&=sum _{i потом
tan ( ∑ я θ я ) = грех ( ∑ я θ я ) / ∏ я потому что θ я потому что ( ∑ я θ я ) / ∏ я потому что θ я = ∑ odd k ≥ 1 ( − 1 ) k − 1 2 ∑ А ⊆ { 1 , 2 , 3 , … } | А | = k ∏ я ∈ А tan θ я ∑ even k ≥ 0 ( − 1 ) k 2 ∑ А ⊆ { 1 , 2 , 3 , … } | А | = k ∏ я ∈ А tan θ я = е 1 − е 3 + е 5 − ⋯ е 0 − е 2 + е 4 − ⋯ детская кроватка ( ∑ я θ я ) = е 0 − е 2 + е 4 − ⋯ е 1 − е 3 + е 5 − ⋯ {displaystyle {egin{aligned} an left(sum _{i} heta _{i}
ight)&={frac {sin left(sum _{i} heta _{i}
ight)/prod _{i}cos heta _{i}}{cos left(sum _{i} heta _{i}
ight)/prod _{i}cos heta _{i}}}&={frac {sum _{{ ext{odd}} kgeq 1}(-1)^{frac {k-1}{2}}sum _{egin{smallmatrix}Asubseteq {,1,2,3,dots ,}left|A
ight|=kend{smallmatrix}}prod _{iin A} an heta _{i}}{sum _{{ ext{even}} kgeq 0}~(-1)^{frac {k}{2}}~~sum _{egin{smallmatrix}Asubseteq {,1,2,3,dots ,}left|A
ight|=kend{smallmatrix}}prod _{iin A} an heta _{i}}}={frac {e_{1}-e_{3}+e_{5}-cdots }{e_{0}-e_{2}+e_{4}-cdots }}cot left(sum _{i} heta _{i}
ight)&={frac {e_{0}-e_{2}+e_{4}-cdots }{e_{1}-e_{3}+e_{5}-cdots }}end{aligned}}} using the sine and cosine sum formulae above.
The number of terms on the right side depends on the number of terms on the left side.
For example:
tan ( θ 1 + θ 2 ) = е 1 е 0 − е 2 = Икс 1 + Икс 2 1 − Икс 1 Икс 2 = tan θ 1 + tan θ 2 1 − tan θ 1 tan θ 2 , tan ( θ 1 + θ 2 + θ 3 ) = е 1 − е 3 е 0 − е 2 = ( Икс 1 + Икс 2 + Икс 3 ) − ( Икс 1 Икс 2 Икс 3 ) 1 − ( Икс 1 Икс 2 + Икс 1 Икс 3 + Икс 2 Икс 3 ) , tan ( θ 1 + θ 2 + θ 3 + θ 4 ) = е 1 − е 3 е 0 − е 2 + е 4 = ( Икс 1 + Икс 2 + Икс 3 + Икс 4 ) − ( Икс 1 Икс 2 Икс 3 + Икс 1 Икс 2 Икс 4 + Икс 1 Икс 3 Икс 4 + Икс 2 Икс 3 Икс 4 ) 1 − ( Икс 1 Икс 2 + Икс 1 Икс 3 + Икс 1 Икс 4 + Икс 2 Икс 3 + Икс 2 Икс 4 + Икс 3 Икс 4 ) + ( Икс 1 Икс 2 Икс 3 Икс 4 ) , {displaystyle {egin{aligned} an( heta _{1}+ heta _{2})&={frac {e_{1}}{e_{0}-e_{2}}}={frac {x_{1}+x_{2}}{1 - x_{1}x_{2}}}={frac { an heta _{1}+ an heta _{2}}{1 - an heta _{1} an heta _{2}}},[8pt] an( heta _{1}+ heta _{2}+ heta _{3})&={frac {e_{1}-e_{3}}{e_{0}-e_{2}}}={frac {(x_{1}+x_{2}+x_{3}) - (x_{1}x_{2}x_{3})}{1 - (x_{1}x_{2}+x_{1}x_{3}+x_{2}x_{3})}},[8pt] an( heta _{1}+ heta _{2}+ heta _{3}+ heta _{4})&={frac {e_{1}-e_{3}}{e_{0}-e_{2}+e_{4}}}[8pt]&={frac {(x_{1}+x_{2}+x_{3}+x_{4}) - (x_{1}x_{2}x_{3}+x_{1}x_{2}x_{4}+x_{1}x_{3}x_{4}+x_{2}x_{3}x_{4})}{1 - (x_{1}x_{2}+x_{1}x_{3}+x_{1}x_{4}+x_{2}x_{3}+x_{2}x_{4}+x_{3}x_{4}) + (x_{1}x_{2}x_{3}x_{4})}},end{aligned}}} and so on. The case of only finitely many terms can be proved by mathematical induction .[21]
Secants and cosecants of sums sec ( ∑ я θ я ) = ∏ я sec θ я е 0 − е 2 + е 4 − ⋯ csc ( ∑ я θ я ) = ∏ я sec θ я е 1 − е 3 + е 5 − ⋯ {displaystyle {egin{aligned}sec left(sum _{i} heta _{i}
ight)&={frac {prod _{i}sec heta _{i}}{e_{0}-e_{2}+e_{4}-cdots }}[8pt]csc left(sum _{i} heta _{i}
ight)&={frac {prod _{i}sec heta _{i}}{e_{1}-e_{3}+e_{5}-cdots }}end{aligned}}} куда еk это k th-degree elementary symmetric polynomial в п variables Икс я = tan θ я , я = 1, ..., п , and the number of terms in the denominator and the number of factors in the product in the numerator depend on the number of terms in the sum on the left.[22] The case of only finitely many terms can be proved by mathematical induction on the number of such terms.
Например,
sec ( α + β + γ ) = sec α sec β sec γ 1 − tan α tan β − tan α tan γ − tan β tan γ csc ( α + β + γ ) = sec α sec β sec γ tan α + tan β + tan γ − tan α tan β tan γ . {displaystyle {egin{aligned}sec(alpha +eta +gamma )&={frac {sec alpha sec eta sec gamma }{1- an alpha an eta - an alpha an gamma - an eta an gamma }}[8pt]csc(alpha +eta +gamma )&={frac {sec alpha sec eta sec gamma }{ an alpha + an eta + an gamma - an alpha an eta an gamma }}.end{aligned}}} Multiple-angle formulae
Тп это п th Chebyshev polynomial потому что ( п θ ) = Т п ( потому что θ ) {displaystyle cos(n heta )=T_{n}(cos heta )} [23] de Moivre's formula , я это imaginary unit потому что ( п θ ) + я грех ( п θ ) = ( потому что θ + я грех θ ) п {displaystyle cos(n heta )+isin(n heta )=(cos heta +isin heta )^{n}} [24]
Double-angle, triple-angle, and half-angle formulae Double-angle formulae Formulae for twice an angle.[25]
грех ( 2 θ ) = 2 грех θ потому что θ = 2 tan θ 1 + tan 2 θ {displaystyle sin(2 heta )=2sin heta cos heta ={frac {2 an heta }{1+ an ^{2} heta }}} потому что ( 2 θ ) = потому что 2 θ − грех 2 θ = 2 потому что 2 θ − 1 = 1 − 2 грех 2 θ = 1 − tan 2 θ 1 + tan 2 θ {displaystyle cos(2 heta )=cos ^{2} heta -sin ^{2} heta =2cos ^{2} heta -1=1-2sin ^{2} heta ={frac {1- an ^{2} heta }{1+ an ^{2} heta }}} tan ( 2 θ ) = 2 tan θ 1 − tan 2 θ {displaystyle an(2 heta )={frac {2 an heta }{1- an ^{2} heta }}} детская кроватка ( 2 θ ) = детская кроватка 2 θ − 1 2 детская кроватка θ {displaystyle cot(2 heta )={frac {cot ^{2} heta -1}{2cot heta }}} sec ( 2 θ ) = sec 2 θ 2 − sec 2 θ {displaystyle sec(2 heta )={frac {sec ^{2} heta }{2-sec ^{2} heta }}} csc ( 2 θ ) = sec θ csc θ 2 {displaystyle csc(2 heta )={frac {sec heta csc heta }{2}}} Triple-angle formulae Formulae for triple angles.[25]
грех ( 3 θ ) = 3 грех θ − 4 грех 3 θ = 4 грех θ грех ( π 3 − θ ) грех ( π 3 + θ ) {displaystyle sin(3 heta )=3sin heta -4sin ^{3} heta =4sin heta sin left({frac {pi }{3}}- heta
ight)sin left({frac {pi }{3}}+ heta
ight)} потому что ( 3 θ ) = 4 потому что 3 θ − 3 потому что θ = 4 потому что θ потому что ( π 3 − θ ) потому что ( π 3 + θ ) {displaystyle cos(3 heta )=4cos ^{3} heta -3cos heta =4cos heta cos left({frac {pi }{3}}- heta
ight)cos left({frac {pi }{3}}+ heta
ight)} tan ( 3 θ ) = 3 tan θ − tan 3 θ 1 − 3 tan 2 θ = tan θ tan ( π 3 − θ ) tan ( π 3 + θ ) {displaystyle an(3 heta )={frac {3 an heta - an ^{3} heta }{1-3 an ^{2} heta }}= an heta an left({frac {pi }{3}}- heta
ight) an left({frac {pi }{3}}+ heta
ight)} детская кроватка ( 3 θ ) = 3 детская кроватка θ − детская кроватка 3 θ 1 − 3 детская кроватка 2 θ {displaystyle cot(3 heta )={frac {3cot heta -cot ^{3} heta }{1-3cot ^{2} heta }}} sec ( 3 θ ) = sec 3 θ 4 − 3 sec 2 θ {displaystyle sec(3 heta )={frac {sec ^{3} heta }{4-3sec ^{2} heta }}} csc ( 3 θ ) = csc 3 θ 3 csc 2 θ − 4 {displaystyle csc(3 heta )={frac {csc ^{3} heta }{3csc ^{2} heta -4}}} Half-angle formulae грех θ 2 = sgn ( 2 π − θ + 4 π ⌊ θ 4 π ⌋ ) 1 − потому что θ 2 {displaystyle sin {frac { heta }{2}}=operatorname {sgn} left(2pi - heta +4pi leftlfloor {frac { heta }{4pi }}
ight
floor
ight){sqrt {frac {1-cos heta }{2}}}} грех 2 θ 2 = 1 − потому что θ 2 {displaystyle sin ^{2}{frac { heta }{2}}={frac {1-cos heta }{2}}} потому что θ 2 = sgn ( π + θ + 4 π ⌊ π − θ 4 π ⌋ ) 1 + потому что θ 2 {displaystyle cos {frac { heta }{2}}=operatorname {sgn} left(pi + heta +4pi leftlfloor {frac {pi - heta }{4pi }}
ight
floor
ight){sqrt {frac {1+cos heta }{2}}}} потому что 2 θ 2 = 1 + потому что θ 2 {displaystyle cos ^{2}{frac { heta }{2}}={frac {1+cos heta }{2}}} tan θ 2 = csc θ − детская кроватка θ = ± 1 − потому что θ 1 + потому что θ = грех θ 1 + потому что θ = 1 − потому что θ грех θ = − 1 ± 1 + tan 2 θ tan θ = tan θ 1 + sec θ {displaystyle {egin{aligned} an {frac { heta }{2}}&=csc heta -cot heta =pm ,{sqrt {frac {1-cos heta }{1+cos heta }}}={frac {sin heta }{1+cos heta }}&={frac {1-cos heta }{sin heta }}={frac {-1pm {sqrt {1+ an ^{2} heta }}}{ an heta }}={frac { an heta }{1+sec { heta }}}end{aligned}}} детская кроватка θ 2 = csc θ + детская кроватка θ = ± 1 + потому что θ 1 − потому что θ = грех θ 1 − потому что θ = 1 + потому что θ грех θ {displaystyle cot {frac { heta }{2}}=csc heta +cot heta =pm ,{sqrt {frac {1+cos heta }{1-cos heta }}}={frac {sin heta }{1-cos heta }}={frac {1+cos heta }{sin heta }}} [26] [27]
Также
tan η + θ 2 = грех η + грех θ потому что η + потому что θ {displaystyle an {frac {eta + heta }{2}}={frac {sin eta +sin heta }{cos eta +cos heta }}} tan ( θ 2 + π 4 ) = sec θ + tan θ {displaystyle an left({frac { heta }{2}}+{frac {pi }{4}}
ight)=sec heta + an heta } 1 − грех θ 1 + грех θ = | 1 − tan θ 2 | | 1 + tan θ 2 | {displaystyle {sqrt {frac {1-sin heta }{1+sin heta }}}={frac {|1- an {frac { heta }{2}}|}{|1+ an {frac { heta }{2}}|}}} Стол These can be shown by using either the sum and difference identities or the multiple-angle formulae.
Sine Cosine Tangent Cotangent Double-angle formulae[28] [29] грех ( 2 θ ) = 2 грех θ потому что θ = 2 tan θ 1 + tan 2 θ {displaystyle {egin{aligned}sin(2 heta )&=2sin heta cos heta &={frac {2 an heta }{1+ an ^{2} heta }}end{aligned}}} потому что ( 2 θ ) = потому что 2 θ − грех 2 θ = 2 потому что 2 θ − 1 = 1 − 2 грех 2 θ = 1 − tan 2 θ 1 + tan 2 θ {displaystyle {egin{aligned}cos(2 heta )&=cos ^{2} heta -sin ^{2} heta &=2cos ^{2} heta -1&=1-2sin ^{2} heta &={frac {1- an ^{2} heta }{1+ an ^{2} heta }}end{aligned}}} tan ( 2 θ ) = 2 tan θ 1 − tan 2 θ {displaystyle an(2 heta )={frac {2 an heta }{1- an ^{2} heta }}} детская кроватка ( 2 θ ) = детская кроватка 2 θ − 1 2 детская кроватка θ {displaystyle cot(2 heta )={frac {cot ^{2} heta -1}{2cot heta }}} Triple-angle formulae[23] [30] грех ( 3 θ ) = − грех 3 θ + 3 потому что 2 θ грех θ = − 4 грех 3 θ + 3 грех θ {displaystyle {egin{aligned}sin(3 heta )!&=!-sin ^{3} heta !+!3cos ^{2} heta sin heta &=-4sin ^{3} heta +3sin heta end{aligned}}} потому что ( 3 θ ) = потому что 3 θ − 3 грех 2 θ потому что θ = 4 потому что 3 θ − 3 потому что θ {displaystyle {egin{aligned}cos(3 heta )!&=!cos ^{3} heta !-!3sin ^{2} heta cos heta &=4cos ^{3} heta -3cos heta end{aligned}}} tan ( 3 θ ) = 3 tan θ − tan 3 θ 1 − 3 tan 2 θ {displaystyle an(3 heta )={frac {3 an heta - an ^{3} heta }{1-3 an ^{2} heta }}} детская кроватка ( 3 θ ) = 3 детская кроватка θ − детская кроватка 3 θ 1 − 3 детская кроватка 2 θ {displaystyle cot(3 heta )!=!{frac {3cot heta !-!cot ^{3} heta }{1!-!3cot ^{2} heta }}} Half-angle formulae[26] [27] грех θ 2 = sgn ( А ) 1 − потому что θ 2 куда А = 2 π − θ + 4 π ⌊ θ 4 π ⌋ ( или же грех 2 θ 2 = 1 − потому что θ 2 ) {displaystyle {egin{aligned}&sin {frac { heta }{2}}=operatorname {sgn}(A),{sqrt {frac {1!-!cos heta }{2}}}&{ ext{where}},A=2pi - heta +4pi leftlfloor {frac { heta }{4pi }}
ight
floor &left({ ext{or}},,sin ^{2}{frac { heta }{2}}={frac {1-cos heta }{2}}
ight)end{aligned}}} потому что θ 2 = sgn ( B ) 1 + потому что θ 2 куда B = π + θ + 4 π ⌊ π − θ 4 π ⌋ ( о р потому что 2 θ 2 = 1 + потому что θ 2 ) {displaystyle {egin{aligned}&cos {frac { heta }{2}}=operatorname {sgn}(B),{sqrt {frac {1+cos heta }{2}}}&{ ext{where}},B=pi + heta +4pi leftlfloor {frac {pi - heta }{4pi }}
ight
floor &left(mathrm {or} ,,cos ^{2}{frac { heta }{2}}={frac {1+cos heta }{2}}
ight)end{aligned}}} tan θ 2 = csc θ − детская кроватка θ = ± 1 − потому что θ 1 + потому что θ = грех θ 1 + потому что θ = 1 − потому что θ грех θ tan η + θ 2 = грех η + грех θ потому что η + потому что θ tan ( θ 2 + π 4 ) = sec θ + tan θ 1 − грех θ 1 + грех θ = | 1 − tan θ 2 | | 1 + tan θ 2 | tan θ 2 = tan θ 1 + 1 + tan 2 θ за θ ∈ ( − π 2 , π 2 ) {displaystyle {egin{aligned} an {frac { heta }{2}}&=csc heta -cot heta &=pm ,{sqrt {frac {1-cos heta }{1+cos heta }}}[8pt]&={frac {sin heta }{1+cos heta }}[8pt]&={frac {1-cos heta }{sin heta }}[10pt] an {frac {eta + heta }{2}}!&={frac {sin eta +sin heta }{cos eta +cos heta }}[8pt] an left(!{frac { heta }{2}}!+!{frac {pi }{4}}!
ight)!&=!sec heta !+! an heta [8pt]{sqrt {frac {1-sin heta }{1+sin heta }}}&={frac {|1- an {frac { heta }{2}}|}{|1+ an {frac { heta }{2}}|}}[8pt] an {frac { heta }{2}}!&=!{frac { an heta }{1!+!{sqrt {1!+! an ^{2} heta }}}}&{ ext{for}}quad heta in left(-{ frac {pi }{2}},{ frac {pi }{2}}
ight)end{aligned}}} детская кроватка θ 2 = csc θ + детская кроватка θ = ± 1 + потому что θ 1 − потому что θ = грех θ 1 − потому что θ = 1 + потому что θ грех θ {displaystyle {egin{aligned}cot {frac { heta }{2}}&=csc heta +cot heta &=pm ,{sqrt {frac {1!+!cos heta }{1!-!cos heta }}}[8pt]&={frac {sin heta }{1!-!cos heta }}[8pt]&={frac {1!+!cos heta }{sin heta }}end{aligned}}}
The fact that the triple-angle formula for sine and cosine only involves powers of a single function allows one to relate the geometric problem of a compass and straightedge construction из angle trisection to the algebraic problem of solving a cubic equation , which allows one to prove that trisection is in general impossible using the given tools, by field theory .
A formula for computing the trigonometric identities for the one-third angle exists, but it requires finding the zeroes of the cubic equation 4Икс 3 − 3Икс + d = 0 , куда Икс is the value of the cosine function at the one-third angle and d is the known value of the cosine function at the full angle. Тем не менее discriminant of this equation is positive, so this equation has three real roots (of which only one is the solution for the cosine of the one-third angle). None of these solutions is reducible to a real algebraic expression, as they use intermediate complex numbers under the cube roots .
Sine, cosine, and tangent of multiple angles For specific multiples, these follow from the angle addition formulae, while the general formula was given by 16th-century French mathematician François Viète .[нужна цитата ]
грех ( п θ ) = ∑ k odd ( − 1 ) k − 1 2 ( п k ) потому что п − k θ грех k θ , потому что ( п θ ) = ∑ k even ( − 1 ) k 2 ( п k ) потому что п − k θ грех k θ , {displaystyle {egin{aligned}sin(n heta )&=sum _{k{ ext{ odd}}}(-1)^{frac {k-1}{2}}{n choose k}cos ^{n-k} heta sin ^{k} heta ,cos(n heta )&=sum _{k{ ext{ even}}}(-1)^{frac {k}{2}}{n choose k}cos ^{n-k} heta sin ^{k} heta ,,end{aligned}}} for nonnegative values of k up through п .[нужна цитата ]
In each of these two equations, the first parenthesized term is a binomial coefficient , and the final trigonometric function equals one or minus one or zero so that half the entries in each of the sums are removed. The ratio of these formulae gives
tan ( п θ ) = ∑ k odd ( − 1 ) k − 1 2 ( п k ) загар k θ ∑ k четное ( − 1 ) k 2 ( п k ) загар k θ . { displaystyle tan (n theta) = { frac { sum _ {k { text {odd}}} (- 1) ^ { frac {k-1} {2}} {n select k } tan ^ {k} theta} { sum _ {k { text {even}}} (- 1) ^ { frac {k} {2}} {n choose k} tan ^ {k } theta}} ,.} [нужна цитата ] Метод Чебышева В Чебышев метод представляет собой рекурсивный алгоритм для поиска п формула нескольких углов, зная (п − 1) й и (п − 2) th значения.[31]
cos (nx ) можно вычислить из cos ((п − 1)Икс ) , cos ((п − 2)Икс ) , и cos (Икс ) с
cos (nx ) = 2 · cos Икс · Cos ((п − 1)Икс ) - cos ((п − 2)Икс ) .Это можно доказать, сложив формулы
cos ((п − 1)Икс + Икс ) = cos ((п − 1)Икс ) cos Икс - грех ((п − 1)Икс ) грех Икс cos ((п − 1)Икс − Икс ) = cos ((п − 1)Икс ) cos Икс + грех ((п − 1)Икс ) грех Икс .По индукции следует, что cos (nx ) является полиномом от потому что Икс , так называемый многочлен Чебышева первого рода, см. Многочлены Чебышева # Тригонометрическое определение .
По аналогии, грех (nx ) можно вычислить из грех ((п − 1)Икс ) , грех ((п − 2)Икс ) , и cos (Икс ) с
грех (nx ) = 2 · cos Икс · Грех ((п − 1)Икс ) - грех ((п − 2)Икс ) .Это можно доказать, добавив формулы для грех ((п − 1)Икс + Икс ) и грех ((п − 1)Икс − Икс ) .
Для целей, аналогичных методу Чебышева, для касательной можно записать:
загар ( п Икс ) = загар ( ( п − 1 ) Икс ) + загар Икс 1 − загар ( ( п − 1 ) Икс ) загар Икс . { Displaystyle tan (nx) = { frac { tan ((n-1) x) + tan x} {1- tan ((n-1) x) tan x}} ,.} Тангенс среднего загар ( α + β 2 ) = грех α + грех β потому что α + потому что β = − потому что α − потому что β грех α − грех β { displaystyle tan left ({ frac { alpha + beta} {2}} right) = { frac { sin alpha + sin beta} { cos alpha + cos beta }} = - , { frac { cos alpha - cos beta} { sin alpha - sin beta}}} Установка либо α или же β к 0 дает обычные формулы касательных полууглов.
Бесконечное произведение Вьете потому что θ 2 ⋅ потому что θ 4 ⋅ потому что θ 8 ⋯ = ∏ п = 1 ∞ потому что θ 2 п = грех θ θ = грех θ . { displaystyle cos { frac { theta} {2}} cdot cos { frac { theta} {4}} cdot cos { frac { theta} {8}} cdots = prod _ {n = 1} ^ { infty} cos { frac { theta} {2 ^ {n}}} = { frac { sin theta} { theta}} = operatorname {sinc} theta.} (Ссылаться на функция sinc .)
Формулы снижения мощности
Получено путем решения второго и третьего вариантов формулы двойного косинуса угла.
Синус Косинус Другой грех 2 θ = 1 − потому что ( 2 θ ) 2 { displaystyle sin ^ {2} theta = { frac {1- cos (2 theta)} {2}}} потому что 2 θ = 1 + потому что ( 2 θ ) 2 { displaystyle cos ^ {2} theta = { frac {1+ cos (2 theta)} {2}}} грех 2 θ потому что 2 θ = 1 − потому что ( 4 θ ) 8 { displaystyle sin ^ {2} theta cos ^ {2} theta = { frac {1- cos (4 theta)} {8}}} грех 3 θ = 3 грех θ − грех ( 3 θ ) 4 { displaystyle sin ^ {3} theta = { frac {3 sin theta - sin (3 theta)} {4}}} потому что 3 θ = 3 потому что θ + потому что ( 3 θ ) 4 { displaystyle cos ^ {3} theta = { frac {3 cos theta + cos (3 theta)} {4}}} грех 3 θ потому что 3 θ = 3 грех ( 2 θ ) − грех ( 6 θ ) 32 { displaystyle sin ^ {3} theta cos ^ {3} theta = { frac {3 sin (2 theta) - sin (6 theta)} {32}}} грех 4 θ = 3 − 4 потому что ( 2 θ ) + потому что ( 4 θ ) 8 { displaystyle sin ^ {4} theta = { frac {3-4 cos (2 theta) + cos (4 theta)} {8}}} потому что 4 θ = 3 + 4 потому что ( 2 θ ) + потому что ( 4 θ ) 8 { displaystyle cos ^ {4} theta = { frac {3 + 4 cos (2 theta) + cos (4 theta)} {8}}} грех 4 θ потому что 4 θ = 3 − 4 потому что ( 4 θ ) + потому что ( 8 θ ) 128 { displaystyle sin ^ {4} theta cos ^ {4} theta = { frac {3-4 cos (4 theta) + cos (8 theta)} {128}}} грех 5 θ = 10 грех θ − 5 грех ( 3 θ ) + грех ( 5 θ ) 16 { displaystyle sin ^ {5} theta = { frac {10 sin theta -5 sin (3 theta) + sin (5 theta)} {16}}} потому что 5 θ = 10 потому что θ + 5 потому что ( 3 θ ) + потому что ( 5 θ ) 16 { Displaystyle соз ^ {5} theta = { frac {10 cos theta +5 cos (3 theta) + cos (5 theta)} {16}}} грех 5 θ потому что 5 θ = 10 грех ( 2 θ ) − 5 грех ( 6 θ ) + грех ( 10 θ ) 512 { displaystyle sin ^ {5} theta cos ^ {5} theta = { frac {10 sin (2 theta) -5 sin (6 theta) + sin (10 theta)} {512}}}
и в целом полномочия грех θ или же потому что θ верно следующее, и его можно вывести с помощью Формула де Муавра , Формула Эйлера и биномиальная теорема [нужна цитата ] .
Косинус Синус если п странно { displaystyle { text {if}} n { text {нечетное}}} потому что п θ = 2 2 п ∑ k = 0 п − 1 2 ( п k ) потому что ( ( п − 2 k ) θ ) { displaystyle cos ^ {n} theta = { frac {2} {2 ^ {n}}} sum _ {k = 0} ^ { frac {n-1} {2}} { binom {n} {k}} cos {{ big (} (n-2k) theta { big)}}} грех п θ = 2 2 п ∑ k = 0 п − 1 2 ( − 1 ) ( п − 1 2 − k ) ( п k ) грех ( ( п − 2 k ) θ ) { displaystyle sin ^ {n} theta = { frac {2} {2 ^ {n}}} sum _ {k = 0} ^ { frac {n-1} {2}} (- 1 ) ^ { left ({ frac {n-1} {2}} - k right)} { binom {n} {k}} sin {{ big (} (n-2k) theta { большой )}}} если п даже { displaystyle { text {if}} n { text {четно}}} потому что п θ = 1 2 п ( п п 2 ) + 2 2 п ∑ k = 0 п 2 − 1 ( п k ) потому что ( ( п − 2 k ) θ ) { displaystyle cos ^ {n} theta = { frac {1} {2 ^ {n}}} { binom {n} { frac {n} {2}}} + { frac {2} {2 ^ {n}}} sum _ {k = 0} ^ {{ frac {n} {2}} - 1} { binom {n} {k}} cos {{ big (} ( п-2k) theta { big)}}} грех п θ = 1 2 п ( п п 2 ) + 2 2 п ∑ k = 0 п 2 − 1 ( − 1 ) ( п 2 − k ) ( п k ) потому что ( ( п − 2 k ) θ ) { displaystyle sin ^ {n} theta = { frac {1} {2 ^ {n}}} { binom {n} { frac {n} {2}}} + { frac {2} {2 ^ {n}}} sum _ {k = 0} ^ {{ frac {n} {2}} - 1} (- 1) ^ { left ({ frac {n} {2}}) -k right)} { binom {n} {k}} cos {{ big (} (n-2k) theta { big)}}}
Идентичность продукта к сумме и суммы к продукту
Идентификаторы продукта к сумме или формулы простафереза можно доказать, развернув их правые части с помощью теоремы сложения углов . Видеть амплитудная модуляция для применения формул произведения к сумме, и beat (акустика) и фазовый детектор для приложений формулы суммы к произведению.
Продукт к сумме[32] 2 потому что θ потому что φ = потому что ( θ − φ ) + потому что ( θ + φ ) { Displaystyle 2 соз тета соз varphi = { соз ( тета - varphi) + соз ( тета + varphi)}} 2 грех θ грех φ = потому что ( θ − φ ) − потому что ( θ + φ ) { displaystyle 2 sin theta sin varphi = { cos ( theta - varphi) - cos ( theta + varphi)}} 2 грех θ потому что φ = грех ( θ + φ ) + грех ( θ − φ ) { displaystyle 2 sin theta cos varphi = { sin ( theta + varphi) + sin ( theta - varphi)}} 2 потому что θ грех φ = грех ( θ + φ ) − грех ( θ − φ ) { Displaystyle 2 соз тета грех varphi = { sin ( theta + varphi) - sin ( theta - varphi)}} загар θ загар φ = потому что ( θ − φ ) − потому что ( θ + φ ) потому что ( θ − φ ) + потому что ( θ + φ ) { displaystyle tan theta tan varphi = { frac { cos ( theta - varphi) - cos ( theta + varphi)} { cos ( theta - varphi) + cos ( theta + varphi)}}} ∏ k = 1 п потому что θ k = 1 2 п ∑ е ∈ S потому что ( е 1 θ 1 + ⋯ + е п θ п ) куда S = { 1 , − 1 } п { displaystyle { begin {align} prod _ {k = 1} ^ {n} cos theta _ {k} & = { frac {1} {2 ^ {n}}} sum _ {e in S} cos (e_ {1} theta _ {1} + cdots + e_ {n} theta _ {n}) [6pt] & { text {where}} S = {1 , -1 } ^ {п} конец {выровнено}}}
Сумма к продукту[33] грех θ ± грех φ = 2 грех ( θ ± φ 2 ) потому что ( θ ∓ φ 2 ) { displaystyle sin theta pm sin varphi = 2 sin left ({ frac { theta pm varphi} {2}} right) cos left ({ frac { theta mp varphi} {2}} right)} потому что θ + потому что φ = 2 потому что ( θ + φ 2 ) потому что ( θ − φ 2 ) { displaystyle cos theta + cos varphi = 2 cos left ({ frac { theta + varphi} {2}} right) cos left ({ frac { theta - varphi) } {2}} right)} потому что θ − потому что φ = − 2 грех ( θ + φ 2 ) грех ( θ − φ 2 ) { displaystyle cos theta - cos varphi = -2 sin left ({ frac { theta + varphi} {2}} right) sin left ({ frac { theta - varphi} {2}} right)}
Другие связанные личности сек 2 Икс + csc 2 Икс = сек 2 Икс csc 2 Икс . { displaystyle sec ^ {2} x + csc ^ {2} x = sec ^ {2} x csc ^ {2} x.} [34] Если Икс + у + z = π (полукруг), затем грех ( 2 Икс ) + грех ( 2 у ) + грех ( 2 z ) = 4 грех Икс грех у грех z . { displaystyle sin (2x) + sin (2y) + sin (2z) = 4 sin x sin y sin z.} Тождество тройного касательного: Если Икс + у + z = π (полукруг), затем загар Икс + загар у + загар z = загар Икс загар у загар z . { displaystyle tan x + tan y + tan z = tan x tan y tan z.} В частности, формула верна, когда Икс , у , и z - это три угла любого треугольника. (Если любой из Икс , у , z угол прямой, обе стороны должны быть ∞ . Это ни то, ни другое +∞ ни −∞ ; для настоящих целей имеет смысл добавить только одну бесконечно удаленную точку к реальная линия , к которому подходит загар θ в качестве загар θ либо увеличивается на положительные значения, либо уменьшается на отрицательные значения. Это одноточечная компактификация реальной линии.) Тройной котангенс: Если Икс + у + z = π / 2 (прямой угол или четверть круга), затем детская кроватка Икс + детская кроватка у + детская кроватка z = детская кроватка Икс детская кроватка у детская кроватка z . { Displaystyle детская кроватка х + детская кроватка Y + детская кроватка Z = детская кроватка х детская кроватка у детская кроватка Z.} Котангенсная идентичность Эрмита Чарльз Эрмит продемонстрировал следующую идентичность.[35] Предполагать а 1 , ..., а п находятся сложные числа , никакие два из которых не отличаются на целое число, кратноеπ . Позволять
А п , k = ∏ 1 ≤ j ≤ п j ≠ k детская кроватка ( а k − а j ) { displaystyle A_ {n, k} = prod _ { begin {smallmatrix} 1 leq j leq n j neq k end {smallmatrix}} cot (a_ {k} -a_ {j} )} (особенно, А 1,1 , будучи пустой продукт , равно 1). потом
детская кроватка ( z − а 1 ) ⋯ детская кроватка ( z − а п ) = потому что п π 2 + ∑ k = 1 п А п , k детская кроватка ( z − а k ) . { displaystyle cot (z-a_ {1}) cdots cot (z-a_ {n}) = cos { frac {n pi} {2}} + sum _ {k = 1} ^ {n} A_ {n, k} cot (z-a_ {k}).} Простейший нетривиальный пример - случайп = 2 :
детская кроватка ( z − а 1 ) детская кроватка ( z − а 2 ) = − 1 + детская кроватка ( а 1 − а 2 ) детская кроватка ( z − а 1 ) + детская кроватка ( а 2 − а 1 ) детская кроватка ( z − а 2 ) . { displaystyle cot (z-a_ {1}) cot (z-a_ {2}) = - 1+ cot (a_ {1} -a_ {2}) cot (z-a_ {1}) + cot (a_ {2} -a_ {1}) cot (z-a_ {2}).} Теорема Птолемея Теорема Птолемея может быть выражена на языке современной тригонометрии как:
Если ш + Икс + у + z = π , тогда: грех ( ш + Икс ) грех ( Икс + у ) = грех ( Икс + у ) грех ( у + z ) (тривиально) = грех ( у + z ) грех ( z + ш ) (тривиально) = грех ( z + ш ) грех ( ш + Икс ) (тривиально) = грех ш грех у + грех Икс грех z . (существенный) { Displaystyle { begin {align} sin (w + x) sin (x + y) & = sin (x + y) sin (y + z) & { text {(trivial)}} & = sin (y + z) sin (z + w) & { text {(trivial)}} & = sin (z + w) sin (w + x) & { text { (тривиально)}} & = sin w sin y + sin x sin z. & { text {(значительно)}} end {align}}} (Первые три равенства представляют собой тривиальные перестановки; четвертое - суть этого тождества.)
Конечные произведения тригонометрических функций За совмещать целые числа п , м
∏ k = 1 п ( 2 а + 2 потому что ( 2 π k м п + Икс ) ) = 2 ( Т п ( а ) + ( − 1 ) п + м потому что ( п Икс ) ) { displaystyle prod _ {k = 1} ^ {n} left (2a + 2 cos left ({ frac {2 pi km} {n}} + x right) right) = 2 слева (T_ {n} (a) + {(- 1)} ^ {n + m} cos (nx) right)} куда Тп это Полином Чебышева .
Для синусоидальной функции выполняется следующее соотношение
∏ k = 1 п − 1 грех ( k π п ) = п 2 п − 1 . { displaystyle prod _ {k = 1} ^ {n-1} sin left ({ frac {k pi} {n}} right) = { frac {n} {2 ^ {n- 1}}}.} В более общем смысле [36]
грех ( п Икс ) = 2 п − 1 ∏ k = 0 п − 1 грех ( Икс + k π п ) . { displaystyle sin (nx) = 2 ^ {n-1} prod _ {k = 0} ^ {n-1} sin left (x + { frac {k pi} {n}} right ).} Линейные комбинации
Для некоторых целей важно знать, что любая линейная комбинация синусоидальных волн одного периода или частоты, но разных фазовые сдвиги также является синусоидой с тем же периодом или частотой, но с другим фазовым сдвигом. Это полезно в синусоида подбор данных , потому что измеренные или наблюдаемые данные линейно связаны с а и б неизвестные о синфазные и квадратурные составляющие ниже, что приводит к более простому Якобиан , по сравнению с c и φ .
Синус и косинус Линейная комбинация или гармоническое сложение синусоидальных и косинусоидальных волн эквивалентно одной синусоидальной волне со сдвигом фазы и масштабированной амплитудой,[37] [38]
а потому что Икс + б грех Икс = c потому что ( Икс + φ ) { Displaystyle а соз х + б грех х = с соз (х + varphi)} куда c и φ определяются так:
c = sgn ( а ) а 2 + б 2 , { displaystyle c = operatorname {sgn} (a) { sqrt {a ^ {2} + b ^ {2}}},} φ = арктан ( − б а ) . { displaystyle varphi = operatorname {arctan} left (- { frac {b} {a}} right).} Произвольный фазовый сдвиг В более общем смысле, для произвольных фазовых сдвигов мы имеем
а грех ( Икс + θ а ) + б грех ( Икс + θ б ) = c грех ( Икс + φ ) { displaystyle a sin (x + theta _ {a}) + b sin (x + theta _ {b}) = c sin (x + varphi)} куда c и φ удовлетворить:
c 2 = а 2 + б 2 + 2 а б потому что ( θ а − θ б ) , { displaystyle c ^ {2} = a ^ {2} + b ^ {2} + 2ab cos left ( theta _ {a} - theta _ {b} right),} загар φ = а грех θ а + б грех θ б а потому что θ а + б потому что θ б . { displaystyle tan varphi = { frac {a sin theta _ {a} + b sin theta _ {b}} {a cos theta _ {a} + b cos theta _ { b}}}.} Более двух синусоид Общий случай гласит[38]
∑ я а я грех ( Икс + θ я ) = а грех ( Икс + θ ) , { Displaystyle сумма _ {я} а_ {я} грех (х + тета _ {я}) = а грех (х + тета),} куда
а 2 = ∑ я , j а я а j потому что ( θ я − θ j ) { displaystyle a ^ {2} = sum _ {i, j} a_ {i} a_ {j} cos ( theta _ {i} - theta _ {j})} и
загар θ = ∑ я а я грех θ я ∑ я а я потому что θ я . { displaystyle tan theta = { frac { sum _ {i} a_ {i} sin theta _ {i}} { sum _ {i} a_ {i} cos theta _ {i} }}.} Смотрите также Добавление фазора .
Тригонометрические тождества Лагранжа
Эти личности, названные в честь Жозеф Луи Лагранж , находятся:[39] [40]
∑ п = 1 N грех ( п θ ) = 1 2 детская кроватка θ 2 − потому что ( ( N + 1 2 ) θ ) 2 грех ( θ 2 ) ∑ п = 1 N потому что ( п θ ) = − 1 2 + грех ( ( N + 1 2 ) θ ) 2 грех ( θ 2 ) { displaystyle { begin {align} sum _ {n = 1} ^ {N} sin (n theta) & = { frac {1} {2}} cot { frac { theta} { 2}} - { frac { cos left ( left (N + { frac {1} {2}} right) theta right)} {2 sin left ({ frac { theta} {2}} right)}} [5pt] sum _ {n = 1} ^ {N} cos (n theta) & = - { frac {1} {2}} + { frac { sin left ( left (N + { frac {1} {2}} right) theta right)} {2 sin left ({ frac { theta} {2}} right) }} end {выровнены}}} Связанная функция - это следующая функция Икс , называется Ядро Дирихле .
1 + 2 потому что Икс + 2 потому что ( 2 Икс ) + 2 потому что ( 3 Икс ) + ⋯ + 2 потому что ( п Икс ) = грех ( ( п + 1 2 ) Икс ) грех ( Икс 2 ) . { displaystyle 1 + 2 cos x + 2 cos (2x) +2 cos (3x) + cdots +2 cos (nx) = { frac { sin left ( left (n + { frac {1} {2}} right) x right)} { sin left ({ frac {x} {2}} right)}}.} видеть доказательство .
Другие суммы тригонометрических функций
Сумма синусов и косинусов с аргументами в арифметической прогрессии:[41] если α ≠ 0 , тогда
грех φ + грех ( φ + α ) + грех ( φ + 2 α ) + ⋯ ⋯ + грех ( φ + п α ) = грех ( п + 1 ) α 2 ⋅ грех ( φ + п α 2 ) грех α 2 и потому что φ + потому что ( φ + α ) + потому что ( φ + 2 α ) + ⋯ ⋯ + потому что ( φ + п α ) = грех ( п + 1 ) α 2 ⋅ потому что ( φ + п α 2 ) грех α 2 . { Displaystyle { begin {выровнен} & грех varphi + sin ( varphi + alpha) + sin ( varphi +2 alpha) + cdots [8pt] & {} qquad qquad cdots + sin ( varphi + n alpha) = { frac { sin { frac {(n + 1) alpha} {2}} cdot sin left ( varphi + { frac { n alpha} {2}} right)} { sin { frac { alpha} {2}}}} quad { text {and}} [10pt] & cos varphi + cos ( varphi + alpha) + cos ( varphi +2 alpha) + cdots [8pt] & {} qquad qquad cdots + cos ( varphi + n alpha) = { frac { sin { frac {(n + 1) alpha} {2}} cdot cos left ( varphi + { frac {n alpha} {2}} right)} { sin { гидроразрыв { alpha} {2}}}}. end {выравнивается}}} сек Икс ± загар Икс = загар ( π 4 ± Икс 2 ) . { displaystyle sec x pm tan x = tan left ({ frac { pi} {4}} pm { frac {x} {2}} right).} Приведенную выше личность иногда удобно знать, когда думаешь о Функция Гудермана , что связывает круговой и гиперболический тригонометрические функции, не прибегая к сложные числа .
Если Икс , у , и z - три угла любого треугольника, т. е. если Икс + у + z = π , тогда
детская кроватка Икс детская кроватка у + детская кроватка у детская кроватка z + детская кроватка z детская кроватка Икс = 1. { displaystyle cot x cot y + cot y cot z + cot z cot x = 1.} Некоторые дробно-линейные преобразования
Если ж (Икс ) дается дробно-линейное преобразование
ж ( Икс ) = ( потому что α ) Икс − грех α ( грех α ) Икс + потому что α , { Displaystyle е (х) = { гидроразрыва {( соз альфа) х- грех альфа} {( грех альфа) х + соз альфа}},} и аналогично
грамм ( Икс ) = ( потому что β ) Икс − грех β ( грех β ) Икс + потому что β , { Displaystyle г (х) = { гидроразрыва {( соз бета) х- грех бета} {( грех бета) х + соз бета}},} тогда
ж ( грамм ( Икс ) ) = грамм ( ж ( Икс ) ) = ( потому что ( α + β ) ) Икс − грех ( α + β ) ( грех ( α + β ) ) Икс + потому что ( α + β ) . { displaystyle f { big (} g (x) { big)} = g { big (} f (x) { big)} = { frac {{ big (} cos ( alpha + beta) { big)} x- sin ( alpha + beta)} {{ big (} sin ( alpha + beta) { big)} x + cos ( alpha + beta) }}.} Короче говоря, если для всех α мы позволяем жα быть тем, что мы называли ж выше, тогда
ж α ∘ ж β = ж α + β . { displaystyle f _ { alpha} circ f _ { beta} = f _ { alpha + beta}.} Если Икс наклон прямой, тогда ж (Икс ) крутизна его поворота на угол −α .
Обратные тригонометрические функции
Arcsin Икс + arccos Икс = π 2 арктан Икс + арккот Икс = π 2 арктан Икс + арктан 1 Икс = { π 2 , если Икс > 0 − π 2 , если Икс < 0 { displaystyle { begin {align} arcsin x + arccos x & = { dfrac { pi} {2}} arctan x + operatorname {arccot} x & = { dfrac { pi} {2}} arctan x + arctan { dfrac {1} {x}} & = { begin {cases} { dfrac { pi} {2}}, & { text {if}} x> 0 - { dfrac { pi} {2}}, & { text {if}} x <0 end {cases}} end {align}}} арктан 1 Икс = арктан 1 Икс + у + арктан у Икс 2 + Икс у + 1 { displaystyle arctan { frac {1} {x}} = arctan { frac {1} {x + y}} + arctan { frac {y} {x ^ {2} + xy + 1} }} [42] Композиции триггерных и обратных триггерных функций грех ( arccos Икс ) = 1 − Икс 2 загар ( Arcsin Икс ) = Икс 1 − Икс 2 грех ( арктан Икс ) = Икс 1 + Икс 2 загар ( arccos Икс ) = 1 − Икс 2 Икс потому что ( арктан Икс ) = 1 1 + Икс 2 детская кроватка ( Arcsin Икс ) = 1 − Икс 2 Икс потому что ( Arcsin Икс ) = 1 − Икс 2 детская кроватка ( arccos Икс ) = Икс 1 − Икс 2 { displaystyle { begin {align} sin ( arccos x) & = { sqrt {1-x ^ {2}}} & tan ( arcsin x) & = { frac {x} { sqrt {1-x ^ {2}}}} sin ( arctan x) & = { frac {x} { sqrt {1 + x ^ {2}}}} & tan ( arccos x) & = { frac { sqrt {1-x ^ {2}}} {x}} cos ( arctan x) & = { frac {1} { sqrt {1 + x ^ {2} }}} & cot ( arcsin x) & = { frac { sqrt {1-x ^ {2}}} {x}} cos ( arcsin x) & = { sqrt {1- x ^ {2}}} & cot ( arccos x) & = { frac {x} { sqrt {1-x ^ {2}}}} end {выровнено}}} Связь с комплексной экспоненциальной функцией
С мнимое число я удовлетворение я 2 = −1 ,
е я Икс = потому что Икс + я грех Икс { Displaystyle е ^ {ix} = соз х + я грех х} [43] (Формула Эйлера ), е − я Икс = потому что ( − Икс ) + я грех ( − Икс ) = потому что Икс − я грех Икс { Displaystyle е ^ {- ix} = соз (-x) + я грех (-x) = соз х-я грех х} е я π + 1 = 0 { Displaystyle е ^ {я pi} + 1 = 0} (Тождество Эйлера ), е 2 π я = 1 { Displaystyle е ^ {2 пи я} = 1} потому что Икс = е я Икс + е − я Икс 2 { Displaystyle соз х = { гидроразрыва {е ^ {ix} + е ^ {- ix}} {2}}} [44] грех Икс = е я Икс − е − я Икс 2 я { displaystyle sin x = { гидроразрыва {e ^ {ix} -e ^ {- ix}} {2i}}} [45] загар Икс = грех Икс потому что Икс = е я Икс − е − я Икс я ( е я Икс + е − я Икс ) . { displaystyle tan x = { frac { sin x} { cos x}} = { frac {e ^ {ix} -e ^ {- ix}} {i ({e ^ {ix} + e ^ {- ix}})}} ,.} Эти формулы полезны для доказательства многих других тригонометрических тождеств. Например, чтое я (θ +φ ) = е iθ е iφ Значит это
cos (θ +φ ) + я грех (θ +φ ) = (cos θ + я грех θ ) (cos φ + я грех φ ) = (cos θ потому что φ - грех θ грех φ ) + я (потому что θ грех φ + грех θ потому что φ ) .То, что действительная часть левой части равна действительной части правой части, является формулой сложения углов для косинуса. Равенство мнимых частей дает формулу сложения углов для синуса.
Бесконечные формулы продукта
Для приложений к специальные функции , следующее бесконечный продукт полезны формулы для тригонометрических функций:[46] [47]
грех Икс = Икс ∏ п = 1 ∞ ( 1 − Икс 2 π 2 п 2 ) грех Икс = Икс ∏ п = 1 ∞ ( 1 + Икс 2 π 2 п 2 ) потому что Икс = ∏ п = 1 ∞ ( 1 − Икс 2 π 2 ( п − 1 2 ) 2 ) шиш Икс = ∏ п = 1 ∞ ( 1 + Икс 2 π 2 ( п − 1 2 ) 2 ) { displaystyle { begin {align} sin x & = x prod _ {n = 1} ^ { infty} left (1 - { frac {x ^ {2}} { pi ^ {2} n ^ {2}}} right) sinh x & = x prod _ {n = 1} ^ { infty} left (1 + { frac {x ^ {2}} { pi ^ {2 } n ^ {2}}} right) end {align}} , { begin {align} cos x & = prod _ {n = 1} ^ { infty} left (1 - { frac {x ^ {2}} { pi ^ {2} left (n - { frac {1} {2}} right) ^ {2}}} right) cosh x & = prod _ {n = 1} ^ { infty} left (1 + { frac {x ^ {2}} { pi ^ {2} left (n - { frac {1} {2}} right ) ^ {2}}} right) end {выравнивается}}} Личности без переменных
Что касается арктангенс функция у нас есть[42]
арктан 1 2 = арктан 1 3 + арктан 1 7 . { displaystyle arctan { frac {1} {2}} = arctan { frac {1} {3}} + arctan { frac {1} {7}}.} Любопытная личность, известная как Закон Морри ,
потому что 20 ∘ ⋅ потому что 40 ∘ ⋅ потому что 80 ∘ = 1 8 , { displaystyle cos 20 ^ { circ} cdot cos 40 ^ { circ} cdot cos 80 ^ { circ} = { frac {1} {8}},} это частный случай идентичности, которая содержит одну переменную:
∏ j = 0 k − 1 потому что ( 2 j Икс ) = грех ( 2 k Икс ) 2 k грех Икс . { Displaystyle prod _ {j = 0} ^ {k-1} cos (2 ^ {j} x) = { frac { sin (2 ^ {k} x)} {2 ^ {k} sin x}}.} Тот же косинус в радианах равен
потому что π 9 потому что 2 π 9 потому что 4 π 9 = 1 8 . { displaystyle cos { frac { pi} {9}} cos { frac {2 pi} {9}} cos { frac {4 pi} {9}} = { frac {1 } {8}}.} По аналогии,
грех 20 ∘ ⋅ грех 40 ∘ ⋅ грех 80 ∘ = 3 8 { displaystyle sin 20 ^ { circ} cdot sin 40 ^ { circ} cdot sin 80 ^ { circ} = { frac { sqrt {3}} {8}}} является частным случаем тождества со случаем x = 20:
грех Икс ⋅ грех ( 60 ∘ − Икс ) ⋅ грех ( 60 ∘ + Икс ) = грех 3 Икс 4 . { displaystyle sin x cdot sin (60 ^ { circ} -x) cdot sin (60 ^ { circ} + x) = { frac { sin 3x} {4}}.} По делу Икс = 15,
грех 15 ∘ ⋅ грех 45 ∘ ⋅ грех 75 ∘ = 2 8 , { displaystyle sin 15 ^ { circ} cdot sin 45 ^ { circ} cdot sin 75 ^ { circ} = { frac { sqrt {2}} {8}},} грех 15 ∘ ⋅ грех 75 ∘ = 1 4 . { displaystyle sin 15 ^ { circ} cdot sin 75 ^ { circ} = { frac {1} {4}}.} По делу Икс = 10,
грех 10 ∘ ⋅ грех 50 ∘ ⋅ грех 70 ∘ = 1 8 . { displaystyle sin 10 ^ { circ} cdot sin 50 ^ { circ} cdot sin 70 ^ { circ} = { frac {1} {8}}.} То же косинусное тождество
потому что Икс ⋅ потому что ( 60 ∘ − Икс ) ⋅ потому что ( 60 ∘ + Икс ) = потому что 3 Икс 4 . { displaystyle cos x cdot cos (60 ^ { circ} -x) cdot cos (60 ^ { circ} + x) = { frac { cos 3x} {4}}.} По аналогии,
потому что 10 ∘ ⋅ потому что 50 ∘ ⋅ потому что 70 ∘ = 3 8 , { displaystyle cos 10 ^ { circ} cdot cos 50 ^ { circ} cdot cos 70 ^ { circ} = { frac { sqrt {3}} {8}},} потому что 15 ∘ ⋅ потому что 45 ∘ ⋅ потому что 75 ∘ = 2 8 , { displaystyle cos 15 ^ { circ} cdot cos 45 ^ { circ} cdot cos 75 ^ { circ} = { frac { sqrt {2}} {8}},} потому что 15 ∘ ⋅ потому что 75 ∘ = 1 4 . { displaystyle cos 15 ^ { circ} cdot cos 75 ^ { circ} = { frac {1} {4}}.} По аналогии,
загар 50 ∘ ⋅ загар 60 ∘ ⋅ загар 70 ∘ = загар 80 ∘ , { displaystyle tan 50 ^ { circ} cdot tan 60 ^ { circ} cdot tan 70 ^ { circ} = tan 80 ^ { circ},} загар 40 ∘ ⋅ загар 30 ∘ ⋅ загар 20 ∘ = загар 10 ∘ . { displaystyle tan 40 ^ { circ} cdot tan 30 ^ { circ} cdot tan 20 ^ { circ} = tan 10 ^ { circ}.} Следующее, возможно, не так легко обобщить на тождество, содержащее переменные (но см. Объяснение ниже):
потому что 24 ∘ + потому что 48 ∘ + потому что 96 ∘ + потому что 168 ∘ = 1 2 . { displaystyle cos 24 ^ { circ} + cos 48 ^ { circ} + cos 96 ^ { circ} + cos 168 ^ { circ} = { frac {1} {2}}. } Градусная мера перестает быть более удачной, чем радианная мера, когда мы рассматриваем это тождество с 21 в знаменателе:
потому что 2 π 21 + потому что ( 2 ⋅ 2 π 21 ) + потому что ( 4 ⋅ 2 π 21 ) + потому что ( 5 ⋅ 2 π 21 ) + потому что ( 8 ⋅ 2 π 21 ) + потому что ( 10 ⋅ 2 π 21 ) = 1 2 . { displaystyle { begin {align} & cos { frac {2 pi} {21}} + cos left (2 cdot { frac {2 pi} {21}} right) + cos left (4 cdot { frac {2 pi} {21}} right) [10pt] & {} qquad {} + cos left (5 cdot { frac {2 pi } {21}} right) + cos left (8 cdot { frac {2 pi} {21}} right) + cos left (10 cdot { frac {2 pi} { 21}} right) = { frac {1} {2}}. End {align}}} Коэффициенты 1, 2, 4, 5, 8, 10 могут прояснить шаблон: это целые числа меньше, чем 21 / 2 которые относительно простой (или не иметь главные факторы вместе с) 21. Последние несколько примеров являются следствием основного факта о неприводимости круговые полиномы : косинусы - это действительные части нулей этих многочленов; сумма нулей - это Функция Мёбиуса оценивается в (в самом последнем случае выше) 21; только половина нулей присутствует выше. Два тождества, предшествующие этому последнему, возникают таким же образом с заменой 21 на 10 и 15 соответственно.
Другие тождества косинуса включают:[48]
2 потому что π 3 = 1 , { displaystyle 2 cos { frac { pi} {3}} = 1,} 2 потому что π 5 × 2 потому что 2 π 5 = 1 , { displaystyle 2 cos { frac { pi} {5}} times 2 cos { frac {2 pi} {5}} = 1,} 2 потому что π 7 × 2 потому что 2 π 7 × 2 потому что 3 π 7 = 1 , { displaystyle 2 cos { frac { pi} {7}} times 2 cos { frac {2 pi} {7}} times 2 cos { frac {3 pi} {7} } = 1,} и так далее для всех нечетных чисел, и, следовательно,
потому что π 3 + потому что π 5 × потому что 2 π 5 + потому что π 7 × потому что 2 π 7 × потому что 3 π 7 + ⋯ = 1. { displaystyle cos { frac { pi} {3}} + cos { frac { pi} {5}} times cos { frac {2 pi} {5}} + cos { frac { pi} {7}} times cos { frac {2 pi} {7}} times cos { frac {3 pi} {7}} + dots = 1.} Многие из этих любопытных идентичностей проистекают из более общих фактов, таких как следующие:[49]
∏ k = 1 п − 1 грех k π п = п 2 п − 1 { Displaystyle prod _ {к = 1} ^ {n-1} sin { frac {k pi} {n}} = { frac {n} {2 ^ {n-1}}}} и
∏ k = 1 п − 1 потому что k π п = грех π п 2 2 п − 1 { displaystyle prod _ {k = 1} ^ {n-1} cos { frac {k pi} {n}} = { frac { sin { frac { pi n} {2}} } {2 ^ {n-1}}}} Сочетание этого дает нам
∏ k = 1 п − 1 загар k π п = п грех π п 2 { displaystyle prod _ {k = 1} ^ {n-1} tan { frac {k pi} {n}} = { frac {n} { sin { frac { pi n} { 2}}}}} Если п нечетное число (п = 2м + 1 ) мы можем использовать симметрии, чтобы получить
∏ k = 1 м загар k π 2 м + 1 = 2 м + 1 { displaystyle prod _ {k = 1} ^ {m} tan { frac {k pi} {2m + 1}} = { sqrt {2m + 1}}} Передаточная функция Фильтр нижних частот Баттерворта можно выразить через полином и полюса. Установив частоту в качестве частоты среза, можно доказать следующее:
∏ k = 1 п грех ( 2 k − 1 ) π 4 п = ∏ k = 1 п потому что ( 2 k − 1 ) π 4 п = 2 2 п { displaystyle prod _ {k = 1} ^ {n} sin { frac { left (2k-1 right) pi} {4n}} = prod _ {k = 1} ^ {n} cos { frac { left (2k-1 right) pi} {4n}} = { frac { sqrt {2}} {2 ^ {n}}}} Вычисление π Эффективный способ вычислить π основан на следующем тождестве без переменных из-за Machin :
π 4 = 4 арктан 1 5 − арктан 1 239 { displaystyle { frac { pi} {4}} = 4 arctan { frac {1} {5}} - arctan { frac {1} {239}}} или, в качестве альтернативы, используя идентификатор Леонард Эйлер :
π 4 = 5 арктан 1 7 + 2 арктан 3 79 { displaystyle { frac { pi} {4}} = 5 arctan { frac {1} {7}} + 2 arctan { frac {3} {79}}} или используя Пифагорейские тройки :
π = arccos 4 5 + arccos 5 13 + arccos 16 65 = Arcsin 3 5 + Arcsin 12 13 + Arcsin 63 65 . { displaystyle pi = arccos { frac {4} {5}} + arccos { frac {5} {13}} + arccos { frac {16} {65}} = arcsin { frac {3} {5}} + arcsin { frac {12} {13}} + arcsin { frac {63} {65}}.} Другие включают
π 4 = арктан 1 2 + арктан 1 3 ; { displaystyle { frac { pi} {4}} = arctan { frac {1} {2}} + arctan { frac {1} {3}};} [50] [42] π = арктан 1 + арктан 2 + арктан 3. { displaystyle pi = arctan 1+ arctan 2+ arctan 3.} [50] π 4 = 2 арктан 1 3 + арктан 1 7 . { displaystyle { frac { pi} {4}} = 2 arctan { frac {1} {3}} + arctan { frac {1} {7}}.} [42] Обычно для чисел т 1 , ..., т п −1 ∈ (−1, 1) для которого θ п = ∑п −1k =1 арктан т k ∈ (π /4, 3π /4) , позволять т п = загар (π /2 − θ п ) = детская кроватка θ п . Это последнее выражение можно вычислить напрямую, используя формулу котангенса суммы углов, тангенсы которых равны т 1 , ..., т п −1 и его стоимость будет в (−1, 1) . В частности, вычисленные т п будет рациональным, когда все т 1 , ..., т п −1 ценности рациональны. С этими значениями
π 2 = ∑ k = 1 п арктан ( т k ) π = ∑ k = 1 п знак ( т k ) arccos ( 1 − т k 2 1 + т k 2 ) π = ∑ k = 1 п Arcsin ( 2 т k 1 + т k 2 ) π = ∑ k = 1 п арктан ( 2 т k 1 − т k 2 ) , { Displaystyle { begin {align} { frac { pi} {2}} & = sum _ {k = 1} ^ {n} arctan (t_ {k}) pi & = sum _ {k = 1} ^ {n} operatorname {sign} (t_ {k}) arccos left ({ frac {1-t_ {k} ^ {2}} {1 + t_ {k} ^ { 2}}} right) pi & = sum _ {k = 1} ^ {n} arcsin left ({ frac {2t_ {k}} {1 + t_ {k} ^ {2} }} right) pi & = sum _ {k = 1} ^ {n} arctan left ({ frac {2t_ {k}} {1-t_ {k} ^ {2}}} right) ,, end {выровнено}}} где во всех выражениях, кроме первого, мы использовали формулы касательных полууглов. Первые две формулы работают, даже если одна или несколько т k ценности не в пределах (−1, 1) . Обратите внимание, что когда т = п /q рационально, то (2т , 1 − т 2 , 1 + т 2 ) значения в приведенных выше формулах пропорциональны тройке Пифагора (2pq , q 2 − п 2 , q 2 + п 2 ) .
Например, для п = 3 термины,
π 2 = арктан ( а б ) + арктан ( c d ) + арктан ( б d − а c а d + б c ) { displaystyle { frac { pi} {2}} = arctan left ({ frac {a} {b}} right) + arctan left ({ frac {c} {d}} справа) + arctan left ({ frac {bd-ac} {ad + bc}} right)} для любого а , б , c , d > 0 .
Полезная мнемоника для определенных значений синусов и косинусов Для некоторых простых углов синусы и косинусы принимают форму √п / 2 за 0 ≤ п ≤ 4 , благодаря чему их легко запомнить.
грех ( 0 ) = грех ( 0 ∘ ) = 0 2 = потому что ( 90 ∘ ) = потому что ( π 2 ) грех ( π 6 ) = грех ( 30 ∘ ) = 1 2 = потому что ( 60 ∘ ) = потому что ( π 3 ) грех ( π 4 ) = грех ( 45 ∘ ) = 2 2 = потому что ( 45 ∘ ) = потому что ( π 4 ) грех ( π 3 ) = грех ( 60 ∘ ) = 3 2 = потому что ( 30 ∘ ) = потому что ( π 6 ) грех ( π 2 ) = грех ( 90 ∘ ) = 4 2 = потому что ( 0 ∘ ) = потому что ( 0 ) ↑ Эти подкормки находятся 0 , 1 , 2 , 3 , 4. { displaystyle { begin {matrix} sin left (0 right) & = & sin left (0 ^ { circ} right) & = & { dfrac { sqrt {0}} {2 }} & = & cos left (90 ^ { circ} right) & = & cos left ({ dfrac { pi} {2}} right) [5pt] sin left ({ dfrac { pi} {6}} right) & = & sin left (30 ^ { circ} right) & = & { dfrac { sqrt {1}} {2}} & = & cos left (60 ^ { circ} right) & = & cos left ({ dfrac { pi} {3}} right) [5pt] sin left ({ dfrac { pi} {4}} right) & = & sin left (45 ^ { circ} right) & = & { dfrac { sqrt {2}} {2}} & = & cos left (45 ^ { circ} right) & = & cos left ({ dfrac { pi} {4}} right) [5pt] sin left ({ dfrac { pi} {3}} right) & = & sin left (60 ^ { circ} right) & = & { dfrac { sqrt {3}} {2}} & = & cos left (30 ^ { circ} right) & = & cos left ({ dfrac { pi} {6}} right) [5pt] sin left ({ dfrac { pi} { 2}} right) & = & sin left (90 ^ { circ} right) & = & { dfrac { sqrt {4}} {2}} & = & cos left (0 ^ { circ} right) & = & cos left (0 right) [5pt] &&&& uparrow &&&& { text {Эти}} &&&& { text {radicands}} &&&& { text {are}} &&&& 0, , 1, , 2, , 3, , 4. end {matrix}}} Разное С Золотое сечение φ :
потому что π 5 = потому что 36 ∘ = 5 + 1 4 = φ 2 { displaystyle cos { frac { pi} {5}} = cos 36 ^ { circ} = { frac {{ sqrt {5}} + 1} {4}} = { frac { varphi} {2}}} грех π 10 = грех 18 ∘ = 5 − 1 4 = φ − 1 2 = 1 2 φ { displaystyle sin { frac { pi} {10}} = sin 18 ^ { circ} = { frac {{ sqrt {5}} - 1} {4}} = { frac { varphi ^ {- 1}} {2}} = { frac {1} {2 varphi}}} Также см тригонометрические константы, выраженные в действительных радикалах .
Личность Евклида Евклид показано в Книге XIII, Предложение 10 его Элементы что площадь квадрата на стороне правильного пятиугольника, вписанного в круг, равна сумме площадей квадратов на сторонах правильного шестиугольника и правильного десятиугольника, вписанных в тот же круг. На языке современной тригонометрии это говорит:
грех 2 18 ∘ + грех 2 30 ∘ = грех 2 36 ∘ . { displaystyle sin ^ {2} 18 ^ { circ} + sin ^ {2} 30 ^ { circ} = sin ^ {2} 36 ^ { circ}.} Птолемей использовал это предложение для вычисления некоторых углов в его таблица аккордов .
Состав тригонометрических функций
Это тождество включает тригонометрическую функцию тригонометрической функции:[51]
потому что ( т грех Икс ) = J 0 ( т ) + 2 ∑ k = 1 ∞ J 2 k ( т ) потому что ( 2 k Икс ) { Displaystyle соз (т грех х) = J_ {0} (т) +2 сумма _ {к = 1} ^ { infty} J_ {2k} (т) соз (2kx)} грех ( т грех Икс ) = 2 ∑ k = 0 ∞ J 2 k + 1 ( т ) грех ( ( 2 k + 1 ) Икс ) { displaystyle sin (t sin x) = 2 sum _ {k = 0} ^ { infty} J_ {2k + 1} (t) sin { big (} (2k + 1) x { большой )}} потому что ( т потому что Икс ) = J 0 ( т ) + 2 ∑ k = 1 ∞ ( − 1 ) k J 2 k ( т ) потому что ( 2 k Икс ) { Displaystyle соз (т соз х) = J_ {0} (т) +2 сумма _ {к = 1} ^ { infty} (- 1) ^ {k} J_ {2k} (т) cos (2kx)} грех ( т потому что Икс ) = 2 ∑ k = 0 ∞ ( − 1 ) k J 2 k + 1 ( т ) потому что ( ( 2 k + 1 ) Икс ) { Displaystyle грех (т соз х) = 2 сумма _ {к = 0} ^ { infty} (- 1) ^ {k} J_ {2k + 1} (т) соз { big (} (2k + 1) x { big)}} куда Jя находятся Функции Бесселя .
Исчисление
В исчисление указанные ниже соотношения требуют измерения углов в радианы ; отношения усложнились бы, если бы углы измерялись в других единицах, например в градусах. Если тригонометрические функции определены в терминах геометрии, наряду с определениями длина дуги и площадь , их производные можно найти, проверив два предела. Первый:
Lim Икс → 0 грех Икс Икс = 1 , { displaystyle lim _ {x rightarrow 0} { frac { sin x} {x}} = 1,} проверено с помощью единичный круг и теорема сжатия . Второй предел:
Lim Икс → 0 1 − потому что Икс Икс = 0 , { displaystyle lim _ {x rightarrow 0} { frac {1- cos x} {x}} = 0,} проверено с использованием личности загар Икс / 2 = 1 - cos Икс / грех Икс . Установив эти два предела, можно использовать предельное определение производной и теоремы сложения, чтобы показать, что (грех Икс ) ′ = Cos Икс и (потому что Икс ) ′ = −sin Икс . Если функции синуса и косинуса определены их Серия Тейлор , то производные можно найти путем почленного дифференцирования степенного ряда.
d d Икс грех Икс = потому что Икс { displaystyle { frac {d} {dx}} sin x = cos x} Остальные тригонометрические функции можно дифференцировать, используя указанные выше тождества и правила дифференциация :[52] [53] [54]
d d Икс грех Икс = потому что Икс , d d Икс Arcsin Икс = 1 1 − Икс 2 d d Икс потому что Икс = − грех Икс , d d Икс arccos Икс = − 1 1 − Икс 2 d d Икс загар Икс = сек 2 Икс , d d Икс арктан Икс = 1 1 + Икс 2 d d Икс детская кроватка Икс = − csc 2 Икс , d d Икс арккот Икс = − 1 1 + Икс 2 d d Икс сек Икс = загар Икс сек Икс , d d Икс arcsec Икс = 1 | Икс | Икс 2 − 1 d d Икс csc Икс = − csc Икс детская кроватка Икс , d d Икс arccsc Икс = − 1 | Икс | Икс 2 − 1 { displaystyle { begin {align} { frac {d} {dx}} sin x & = cos x, & { frac {d} {dx}} arcsin x & = { frac {1} { sqrt {1-x ^ {2}}}} { frac {d} {dx}} cos x & = - sin x, & { frac {d} {dx}} arccos x & = { frac {-1} { sqrt {1-x ^ {2}}}} { frac {d} {dx}} tan x & = sec ^ {2} x, & { frac {d} {dx}} arctan x & = { frac {1} {1 + x ^ {2}}} { frac {d} {dx}} cot x & = - csc ^ {2} x, & { frac {d} {dx}} operatorname {arccot} x & = { frac {-1} {1 + x ^ {2}}} { frac {d} {dx}} sec x & = tan x sec x, & { frac {d} {dx}} operatorname {arcsec} x & = { frac {1} {| x | { sqrt {x ^ { 2} -1}}}} { frac {d} {dx}} csc x & = - csc x cot x, & { frac {d} {dx}} operatorname {arccsc} x & = { frac {-1} {| x | { sqrt {x ^ {2} -1}}}} end {выравнивается}}} Интегральные тождества можно найти в Список интегралов от тригонометрических функций . Некоторые общие формы перечислены ниже.
∫ d ты а 2 − ты 2 = грех − 1 ( ты а ) + C { displaystyle int { frac {du} { sqrt {a ^ {2} -u ^ {2}}}} = sin ^ {- 1} left ({ frac {u} {a}} right) + C} ∫ d ты а 2 + ты 2 = 1 а загар − 1 ( ты а ) + C { displaystyle int { frac {du} {a ^ {2} + u ^ {2}}} = { frac {1} {a}} tan ^ {- 1} left ({ frac { u} {a}} right) + C} ∫ d ты ты ты 2 − а 2 = 1 а сек − 1 | ты а | + C { displaystyle int { frac {du} {u { sqrt {u ^ {2} -a ^ {2}}}}} = { frac {1} {a}} sec ^ {- 1} left | { frac {u} {a}} right | + C} Подразумеваемое Тот факт, что дифференцирование тригонометрических функций (синуса и косинуса) приводит к линейные комбинации тех же двух функций имеет фундаментальное значение для многих областей математики, в том числе дифференциальные уравнения и Преобразования Фурье .
Некоторые дифференциальные уравнения, которым удовлетворяет синусоидальная функция Позволять я = √−1 - мнимая единица, а ∘ - композиция дифференциальных операторов. Тогда для каждого странный положительное числоп ,
∑ k = 0 п ( п k ) ( d d Икс − грех Икс ) ∘ ( d d Икс − грех Икс + я ) ∘ ⋯ ⋯ ∘ ( d d Икс − грех Икс + ( k − 1 ) я ) ( грех Икс ) п − k = 0. { displaystyle { begin {align} sum _ {k = 0} ^ {n} { binom {n} {k}} & left ({ frac {d} {dx}} - sin x справа) circ left ({ frac {d} {dx}} - sin x + i right) circ cdots & qquad cdots circ left ({ frac {d} {dx }} - sin x + (k-1) i right) ( sin x) ^ {nk} = 0. end {align}}} (Когда k = 0, то число составляемых дифференциальных операторов равно 0, поэтому соответствующий член в сумме выше просто(грех Икс )п .) Эта идентичность была обнаружена как побочный продукт исследования в медицинская визуализация .[55]
Экспоненциальные определения
Функция Обратная функция[56] грех θ = е я θ − е − я θ 2 я { displaystyle sin theta = { frac {e ^ {i theta} -e ^ {- i theta}} {2i}}} Arcsin Икс = − я пер ( я Икс + 1 − Икс 2 ) { displaystyle arcsin x = -i , ln left (ix + { sqrt {1-x ^ {2}}} right)} потому что θ = е я θ + е − я θ 2 { displaystyle cos theta = { frac {e ^ {i theta} + e ^ {- i theta}} {2}}} arccos Икс = − я пер ( Икс + Икс 2 − 1 ) { displaystyle arccos x = -i , ln left (x + , { sqrt {x ^ {2} -1}} right)} загар θ = − я е я θ − е − я θ е я θ + е − я θ { displaystyle tan theta = -i , { frac {e ^ {i theta} -e ^ {- i theta}} {e ^ {i theta} + e ^ {- i theta} }}} арктан Икс = я 2 пер ( я + Икс я − Икс ) { displaystyle arctan x = { frac {i} {2}} ln left ({ frac {i + x} {i-x}} right)} csc θ = 2 я е я θ − е − я θ { displaystyle csc theta = { frac {2i} {e ^ {i theta} -e ^ {- i theta}}}} arccsc Икс = − я пер ( я Икс + 1 − 1 Икс 2 ) { displaystyle operatorname {arccsc} x = -i , ln left ({ frac {i} {x}} + { sqrt {1 - { frac {1} {x ^ {2}}}) }}верно)} сек θ = 2 е я θ + е − я θ { displaystyle sec theta = { frac {2} {e ^ {i theta} + e ^ {- i theta}}}} arcsec Икс = − я пер ( 1 Икс + я 1 − 1 Икс 2 ) { displaystyle operatorname {arcsec} x = -i , ln left ({ frac {1} {x}} + i { sqrt {1 - { frac {1} {x ^ {2}}) }}}верно)} детская кроватка θ = я е я θ + е − я θ е я θ − е − я θ { displaystyle cot theta = i , { frac {e ^ {i theta} + e ^ {- i theta}} {e ^ {i theta} -e ^ {- i theta}} }} арккот Икс = я 2 пер ( Икс − я Икс + я ) { displaystyle operatorname {arccot} x = { frac {i} {2}} ln left ({ frac {x-i} {x + i}} right)} СНГ θ = е я θ { Displaystyle OperatorName {цис} тета = е ^ {я тета}} Arccis Икс = − я пер Икс { displaystyle operatorname {arccis} x = -i ln x}
Дальнейшие «условные» тождества для случая α + β + γ = 180°
Следующие формулы применимы к произвольным плоским треугольникам и следуют из α + β + γ = 180 °, если функции, входящие в формулы, четко определены (последнее относится только к формулам, в которых встречаются касательные и котангенсы).
загар α + загар β + загар γ = загар α ⋅ загар β ⋅ загар γ { displaystyle tan alpha + tan beta + tan gamma = tan alpha cdot tan beta cdot tan gamma ,} детская кроватка β ⋅ детская кроватка γ + детская кроватка γ ⋅ детская кроватка α + детская кроватка α ⋅ детская кроватка β = 1 { Displaystyle детская кроватка бета компакт-диск детская кроватка гамма + детская кроватка гамма компакт-диск детская кроватка альфа + детская кроватка альфа компакт-диск детская кроватка бета = 1} детская кроватка α 2 + детская кроватка β 2 + детская кроватка γ 2 = детская кроватка α 2 ⋅ детская кроватка β 2 ⋅ детская кроватка γ 2 { displaystyle cot { frac { alpha} {2}} + cot { frac { beta} {2}} + cot { frac { gamma} {2}} = cot { frac { alpha} {2}} cdot cot { frac { beta} {2}} cdot cot { frac { gamma} {2}}} загар β 2 загар γ 2 + загар γ 2 загар α 2 + загар α 2 загар β 2 = 1 { displaystyle tan { frac { beta} {2}} tan { frac { gamma} {2}} + tan { frac { gamma} {2}} tan { frac { альфа} {2}} + tan { frac { alpha} {2}} tan { frac { beta} {2}} = 1} грех α + грех β + грех γ = 4 потому что α 2 потому что β 2 потому что γ 2 { displaystyle sin alpha + sin beta + sin gamma = 4 cos { frac { alpha} {2}} cos { frac { beta} {2}} cos { frac { gamma} {2}}} − грех α + грех β + грех γ = 4 потому что α 2 грех β 2 грех γ 2 { displaystyle - sin alpha + sin beta + sin gamma = 4 cos { frac { alpha} {2}} sin { frac { beta} {2}} sin { гидроразрыв { gamma} {2}}} потому что α + потому что β + потому что γ = 4 грех α 2 грех β 2 грех γ 2 + 1 { displaystyle cos alpha + cos beta + cos gamma = 4 sin { frac { alpha} {2}} sin { frac { beta} {2}} sin { frac { gamma} {2}} + 1} − потому что α + потому что β + потому что γ = 4 грех α 2 потому что β 2 потому что γ 2 − 1 { displaystyle - cos alpha + cos beta + cos gamma = 4 sin { frac { alpha} {2}} cos { frac { beta} {2}} cos { гидроразрыв { gamma} {2}} - 1} грех ( 2 α ) + грех ( 2 β ) + грех ( 2 γ ) = 4 грех α грех β грех γ { Displaystyle грех (2 альфа) + грех (2 бета) + грех (2 гамма) = 4 грех альфа грех бета грех гамма ,} − грех ( 2 α ) + грех ( 2 β ) + грех ( 2 γ ) = 4 грех α потому что β потому что γ { Displaystyle - грех (2 альфа) + грех (2 бета) + грех (2 гамма) = 4 грех альфа соз бета соз гамма ,} потому что ( 2 α ) + потому что ( 2 β ) + потому что ( 2 γ ) = − 4 потому что α потому что β потому что γ − 1 { Displaystyle соз (2 альфа) + соз (2 бета) + соз (2 гамма) = - 4 соз альфа соз бета соз гамма -1 ,} − потому что ( 2 α ) + потому что ( 2 β ) + потому что ( 2 γ ) = − 4 потому что α грех β грех γ + 1 { Displaystyle - соз (2 альфа) + соз (2 бета) + соз (2 гамма) = - 4 соз альфа грех бета грех гамма +1 ,} грех 2 α + грех 2 β + грех 2 γ = 2 потому что α потому что β потому что γ + 2 { Displaystyle грех ^ {2} альфа + грех ^ {2} бета + грех ^ {2} гамма = 2 соз альфа соз бета соз гамма +2 ,} − грех 2 α + грех 2 β + грех 2 γ = 2 потому что α грех β грех γ { Displaystyle - грех ^ {2} альфа + грех ^ {2} бета + грех ^ {2} гамма = 2 соз альфа грех бета грех гамма ,} потому что 2 α + потому что 2 β + потому что 2 γ = − 2 потому что α потому что β потому что γ + 1 { Displaystyle соз ^ {2} альфа + соз ^ {2} бета + соз ^ {2} гамма = -2 соз альфа соз бета соз гамма +1 ,} − потому что 2 α + потому что 2 β + потому что 2 γ = − 2 потому что α грех β грех γ + 1 { Displaystyle - соз ^ {2} альфа + соз ^ {2} бета + соз ^ {2} гамма = -2 соз альфа грех бета грех гамма +1 ,} − грех 2 ( 2 α ) + грех 2 ( 2 β ) + грех 2 ( 2 γ ) = − 2 потому что ( 2 α ) грех ( 2 β ) грех ( 2 γ ) { Displaystyle - грех ^ {2} (2 альфа) + грех ^ {2} (2 бета) + грех ^ {2} (2 гамма) = - 2 соз (2 альфа) грех (2 бета) грех (2 гамма)} − потому что 2 ( 2 α ) + потому что 2 ( 2 β ) + потому что 2 ( 2 γ ) = 2 потому что ( 2 α ) грех ( 2 β ) грех ( 2 γ ) + 1 { Displaystyle - соз ^ {2} (2 альфа) + соз ^ {2} (2 бета) + соз ^ {2} (2 гамма) = 2 соз (2 альфа) , sin (2 beta) , sin (2 gamma) +1} грех 2 ( α 2 ) + грех 2 ( β 2 ) + грех 2 ( γ 2 ) + 2 грех ( α 2 ) грех ( β 2 ) грех ( γ 2 ) = 1 { displaystyle sin ^ {2} left ({ frac { alpha} {2}} right) + sin ^ {2} left ({ frac { beta} {2}} right) + sin ^ {2} left ({ frac { gamma} {2}} right) +2 sin left ({ frac { alpha} {2}} right) , sin left ({ frac { beta} {2}} right) , sin left ({ frac { gamma} {2}} right) = 1} Разное
Ядро Дирихле В Ядро Дирихле Dп (Икс ) это функция, встречающаяся с обеих сторон следующего тождества:
1 + 2 потому что Икс + 2 потому что ( 2 Икс ) + 2 потому что ( 3 Икс ) + ⋯ + 2 потому что ( п Икс ) = грех ( ( п + 1 2 ) Икс ) грех ( Икс 2 ) . { displaystyle 1 + 2 cos x + 2 cos (2x) +2 cos (3x) + cdots +2 cos (nx) = { frac { sin left ( left (n + { frac {1} {2}} right) x right)} { sin left ({ frac {x} {2}} right)}}.} В свертка любой интегрируемая функция периода 2π с ядром Дирихле совпадает с функцией п приближение Фурье-й степени. То же самое верно для любого мера или же обобщенная функция .
Замена касательного полуугла Если мы установим
т = загар Икс 2 , { displaystyle t = tan { frac {x} {2}},} тогда[57]
грех Икс = 2 т 1 + т 2 ; потому что Икс = 1 − т 2 1 + т 2 ; е я Икс = 1 + я т 1 − я т { displaystyle sin x = { frac {2t} {1 + t ^ {2}}}; qquad cos x = { frac {1-t ^ {2}} {1 + t ^ {2} }}; qquad e ^ {ix} = { frac {1 + it} {1-it}}} куда е ix = cos Икс + я грех Икс , иногда сокращенноСНГ Икс .
Когда эта замена т за загар Икс / 2 используется в исчисление , следует, что грех Икс заменяется на 2т / 1 + т 2 , потому что Икс заменяется на 1 − т 2 / 1 + т 2 и дифференциал dИкс заменяется на 2 дн.т / 1 + т 2 . Тем самым преобразуются рациональные функции грех Икс и потому что Икс к рациональным функциям т чтобы найти их первообразные .
Смотрите также
Примечания
^ Хэн, Ченг и Тальберт, «Дополнительная математика» , стр. 228 ^ Шаумбергер Н. (1974). "Классная теорема о тригонометрических иррациональностях". Двухлетний колледж по математике. J . 5 (1): 73–76. Дои :10.2307/3026991 . JSTOR 3026991 . ^ Вайсштейн, Эрик В. «Теорема Нивена» . MathWorld .^ Абрамовиц и Стегун, стр. 73, 4.3.45 ^ Абрамовиц и Стегун, стр. 78, 4.3.147 ^ Нильсен (1966 г. , стр. xxiii – xxiv)^ Селби 1970 , п. 188^ Абрамовиц и Стегун, стр. 72, 4.3.13–15 ^ Абрамовиц и Стегун, стр. 72, 4.3.9 ^ Абрамовиц и Стегун, стр. 72, 4.3.7–8 ^ Тригонограф (28 сентября 2015 г.). «Сумма углов и разность для синуса и косинуса» . Trigonography.com . Получено 28 мая 2017 . ^ Абрамовиц и Стегун, стр. 72, 4.3.16 ^ а б c d Вайсштейн, Эрик В. «Тригонометрические формулы сложения» . MathWorld .^ Абрамовиц и Стегун, стр. 72, 4.3.17 ^ Абрамовиц и Стегун, стр. 72, 4.3.18 ^ а б «Сумма углов и тождества разности» . www.milefoot.com . Получено 2019-10-12 .^ Абрамовиц и Стегун, стр. 72, 4.3.19 ^ Абрамовиц и Стегун, стр. 80, 4.4.32 ^ Абрамовиц и Стегун, стр. 80, 4.4.33 ^ Абрамовиц и Стегун, стр. 80, 4.4.34 ^ Бронштейн, Мануэль (1989). «Упрощение реальных элементарных функций». В Gonnet, G.H. (ред.). Материалы ACM-SIGSAM 1989 Международный симпозиум по символическим и алгебраическим вычислениям . ISSAC '89 (Портленд, США, штат Орегон, 1989-07). Нью-Йорк: ACM . С. 207–211. Дои :10.1145/74540.74566 . ISBN 0-89791-325-6 . ^ Майкл Харди (август – сентябрь 2016 г.). «О касательных и секущих бесконечных сумм» . Американский математический ежемесячный журнал . 123 (7): 701–703. Дои :10.4169 / amer.math.monthly.123.7.701 . ^ а б Вайсштейн, Эрик В. «Многоугольные формулы» . MathWorld .^ Абрамовиц и Стегун, стр. 74, 4.3.48 ^ а б Селби 1970 , стр. 190^ а б Абрамовиц и Стегун, стр. 72, 4.3.20–22 ^ а б Вайсштейн, Эрик В. «Формулы полуугловой» . MathWorld .^ Абрамовиц и Стегун, стр. 72, 4.3.24–26 ^ Вайсштейн, Эрик В. «Формулы двойного угла» . MathWorld .^ Абрамовиц и Стегун, стр. 72, 4.3.27–28 ^ Уорд, Кен. "Multiple angles recursive formula" . Ken Ward's Mathematics Pages . ^ Abramowitz and Stegun, p. 72, 4.3.31–33 ^ Abramowitz and Stegun, p. 72, 4.3.34–39 ^ Nelson, Roger. "Mathematics Without Words", The College Mathematics Journal 33(2), March 2002, p. 130. ^ Johnson, Warren P. (Apr 2010). "Trigonometric Identities à la Hermite". American Mathematical Monthly . 117 (4): 311–327. Дои :10.4169/000298910x480784 . ^ "Product Identity Multiple Angle" .^ Apostol, T.M. (1967) Calculus. 2nd edition. New York, NY, Wiley. Pp 334-335. ^ а б Weisstein, Eric W. "Harmonic Addition Theorem" . MathWorld .^ Ortiz Muñiz, Eddie (Feb 1953). "A Method for Deriving Various Formulas in Electrostatics and Electromagnetism Using Lagrange's Trigonometric Identities". Американский журнал физики . 21 (2): 140. Bibcode :1953AmJPh..21..140M . Дои :10.1119/1.1933371 . ^ Jeffrey, Alan; Dai, Hui-hui (2008). "Section 2.4.1.6". Handbook of Mathematical Formulas and Integrals (4-е изд.). Academic Press. ISBN 978-0-12-374288-9 . ^ Knapp, Michael P. "Sines and Cosines of Angles in Arithmetic Progression" (PDF) . ^ а б c d Wu, Rex H. "Proof Without Words: Euler's Arctangent Identity", Mathematics Magazine 77(3), June 2004, p. 189. ^ Abramowitz and Stegun, p. 74, 4.3.47 ^ Abramowitz and Stegun, p. 71, 4.3.2 ^ Abramowitz and Stegun, p. 71, 4.3.1 ^ Abramowitz and Stegun, p. 75, 4.3.89–90 ^ Abramowitz and Stegun, p. 85, 4.5.68–69 ^ Humble, Steve (Nov 2004). "Grandma's identity". Mathematical Gazette . 88 : 524–525. Дои :10.1017/s0025557200176223 . ^ Weisstein, Eric W. "Sine" . MathWorld .^ а б Harris, Edward M. "Sums of Arctangents", in Roger B. Nelson, Proofs Without Words (1993, Mathematical Association of America), p. 39. ^ Milton Abramowitz and Irene Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables , Dover Publications , New York, 1972, formulae 9.1.42–9.1.45^ Abramowitz and Stegun, p. 77, 4.3.105–110 ^ Abramowitz and Stegun, p. 82, 4.4.52–57 ^ Finney, Ross (2003). Calculus : Graphical, Numerical, Algebraic . Glenview, Illinois: Prentice Hall. стр.159–161 . ISBN 0-13-063131-0 . ^ Kuchment, Peter; Lvin, Sergey (Aug 2013). "Identities for sin Икс that Came from Medical Imaging". American Mathematical Monthly . 120 : 609–621. arXiv :1110.6109 . Дои :10.4169/amer.math.monthly.120.07.609 . ^ Abramowitz and Stegun, p. 80, 4.4.26–31 ^ Abramowitz and Stegun, p. 72, 4.3.23 Рекомендации
Abramowitz, Milton ; Stegun, Irene A. , ред. (1972). Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables . Нью-Йорк: Dover Publications . ISBN 978-0-486-61272-0 .Nielsen, Kaj L. (1966), Logarithmic and Trigonometric Tables to Five Places (2nd ed.), New York: Barnes & Noble , LCCN 61-9103 Selby, Samuel M., ed. (1970), Standard Mathematical Tables (18th ed.), The Chemical Rubber Co. внешняя ссылка