Список тригонометрических тождеств - List of trigonometric identities

Косинусы и синусы вокруг единичный круг

В математика, тригонометрические тождества находятся равенства которые включают тригонометрические функции и верны для любого значения происходящего переменные где определены обе части равенства. Геометрически это идентичности включающие определенные функции одного или нескольких углы. Они отличаются от тождества треугольников, которые являются тождествами, потенциально включающими углы, но также включающие длины сторон или другие длины треугольник.

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

Обозначение

Углы

Знаки тригонометрических функций в каждом квадранте. Мнемоника "Все Sнаука Тeachers (есть) Crazy "перечисляет основные функции ('Все', sв, тан, cos), положительные от квадрантов I до IV.[1] Это вариант мнемоники "Все студенты сдают расчет ".

В этой статье используется Греческие буквы Такие как альфа (α), бета (β), гамма (γ), и тета (θ) представлять углы. Несколько разных единицы измерения угла широко используются, в том числе степень, радиан, и Градиан (углы ):

1 полный круг (повернуть ) = 360 градусов = 2π радиан = 400 гон.

Если специально не обозначено (°) для степени или () для градиана все значения углов в этой статье предполагаются в радианах.

В следующей таблице для некоторых распространенных углов показаны их преобразования и значения основных тригонометрических функций:

Преобразования общих углов
ПовернутьСтепеньРадианГрадиансинускосинускасательная
Неопределенный
Неопределенный

Результаты для других углов можно найти на Тригонометрические константы, выраженные в действительных радикалах. За Теорема Нивена, являются единственными рациональными числами, которые в градусах дают рациональное значение синуса для соответствующего угла в пределах первого поворота, что может объяснить их популярность в примерах.[2][3] Аналогичное условие для единичного радиана требует, чтобы аргумент делился на π рационально и дает решения 0, π/6, π/2, 5π/6, π, 7π/6, 3π/2, 11π/6(, 2π).

Тригонометрические функции

График шести тригонометрических функций, единичный круг и линия угла θ = 0,7 радианы. Точки, помеченные 1, Сек (θ), Csc (θ) представляют длину отрезка от начала координат до этой точки. Грех (θ), Загар (θ), и 1 высота линии, начинающейся от Иксось, а Cos (θ), 1, и Детская кроватка (θ) длины по Икс- ось, начиная с начала координат.

Функции синус, косинус и касательная угла иногда называют начальный или же базовый тригонометрические функции. Их обычные сокращения: грех (θ), cos (θ) и загар (θ)соответственно, где θ обозначает угол. Скобки вокруг аргумента функций часто опускаются, например, грех θ и потому что θ, если интерпретация однозначно возможна.

Синус угла определяется в контексте прямоугольный треугольник, как отношение длины стороны, противоположной углу, к длине самой длинной стороны треугольника ( гипотенуза ).

Косинус угла в этом контексте - это отношение длины стороны, которая примыкает к углу, деленное на длину гипотенузы.

В касательная Угол в данном контексте - это отношение длины стороны, противоположной углу, к длине стороны, прилегающей к углу. Это то же самое, что и соотношение синуса на косинус этого угла, как можно увидеть, подставив определения грех и потому что сверху:

Остальные тригонометрические функции секущие (сек), косеканс (csc) и котангенс (детская кроватка) определяются как взаимные функции косинуса, синуса и тангенса соответственно. Редко их называют вторичными тригонометрическими функциями:

Эти определения иногда называют соотношение идентичностей.

Прочие функции

указывает на функция знака, который определяется как:

Обратные функции

Обратные тригонометрические функции являются частичными обратные функции для тригонометрических функций. Например, обратная функция для синуса, известная как обратный синус (грех−1) или же арксинус (Arcsin или же как в), удовлетворяет

и

В этой статье используются следующие обозначения для обратных тригонометрических функций:

Функциягрехпотому чтозагарсекcscдетская кроватка
ОбратныйArcsinarccosарктанarcsecarccscарккот

В следующей таблице показано, как обратные тригонометрические функции могут использоваться для решения равенств, включающих шесть стандартных тригонометрических функций. Предполагается, что р, s, Икс, и у все находятся в соответствующем диапазоне. Обратите внимание, что "для некоторых k "это просто другой способ сказать" для некоторых целое число k."

РавенствоРешениекуда...
грех θ = уθ =(-1) karcsin (у) + π kдля некоторых k
cos θ = Иксθ =± arccos (Икс) + 2π kдля некоторых k ∈ ℤ
загар θ = sθ =арктан (s) + π kдля некоторых k ∈ ℤ
csc θ = рθ =(-1) karccsc (р) + π 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 и потому что2 θ средства (потому что θ)2.

Это можно рассматривать как версию теорема Пифагора, и следует из уравнения Икс2 + у2 = 1 для единичный круг. Это уравнение может быть решено как для синуса, так и для косинуса:

где знак зависит от квадрант из θ.

Разделив эту идентичность на грех2 θ или же потому что2 θ дает два других пифагоровых тождества:

Используя эти тождества вместе с тождествами отношений, можно выразить любую тригонометрическую функцию через любую другую (вплоть до знак плюс или минус):

Каждая тригонометрическая функция в терминах каждой из пяти других.[4]
с точки зрения

Исторические сокращения

Все тригонометрические функции угла θ можно построить геометрически в терминах единичного круга с центром вО. Многие из этих терминов больше не используются; однако эта диаграмма не является исчерпывающей.

В Версина, Coverine, гаверсин, и эксцентричный использовались в навигации. Например, формула гаверсина использовался для расчета расстояния между двумя точками на сфере. Сегодня они используются редко.

ИмяСокращениеЦенить[5][6]
(правый) дополнительный угол, со-угол
разбирающийся синус, Версина

разбирающийся косинус, веркозин

покрытый синус, Coverine

закрытый косинус, покровный козин

полусведенный синус, гаверсин

полусинус косинус, гаверкозин

полузакрытый синус, hacoversine
cohaversine


полупрозрачный косинус, hacovercosine
когаверкозин


внешний секанс, эксцентричный
внешний косеканс, excosecant

аккорд

Размышления, сдвиги и периодичность

Отражая θ в α = 0 (α =π)

Изучая единичную окружность, можно установить следующие свойства тригонометрических функций.

Размышления

Когда направление евклидова вектора представлено углом , это угол, определяемый свободным вектором (начиная с начала координат) и положительным Икс-единичный вектор. Та же концепция может быть применена к линиям в евклидовом пространстве, где угол определяется параллелью данной прямой через начало координат и положительным Икс-ось. Если линия (вектор) с направлением отражается о линии с направлением тогда угол направления этой отраженной линии (вектора) имеет значение

Значения тригонометрических функций этих углов для определенных углов удовлетворяют простым тождествам: либо они равны, либо имеют противоположные знаки, либо используют дополнительную тригонометрическую функцию. Они также известны как формулы приведения.[7]

θ отражено в α = 0[8]
нечетный / четный идентичности
θ отражено в α = π/4θ отражено в α = π/2θ отражено в α = π
сравнить с α = 0

Сдвиги и периодичность

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

  • А полный оборот, или же 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]Период

Сумма углов и тождества разностей

Иллюстрация формул сложения углов для синуса и косинуса. Выделенный сегмент единичной длины.

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

Иллюстрация формулы сложения углов для тангенса. Выделенные сегменты имеют единичную длину.

Для острых углов α и β, сумма которого не является тупой, краткая диаграмма (показана) иллюстрирует формулы суммы углов для синуса и косинуса: жирный сегмент, обозначенный «1», имеет единичную длину и служит гипотенузой прямоугольного треугольника с углом β; противоположные и соседние ножки для этого угла имеют соответствующие длины грех β и потому что β. В потому что β катет сам по себе гипотенуза прямоугольного треугольника с углом α; стороны этого треугольника, следовательно, имеют длину, равную грех α и потому что α, умножается на потому что β. В грех β катет, как гипотенуза другого прямоугольного треугольника с углом α, аналогично приводит к отрезкам длины потому что α грех β и грех α грех β. Теперь заметим, что отрезок «1» также является гипотенузой прямоугольного треугольника с углом α + β; нога напротив этого угла обязательно имеет длину грех (α + β), а прилегающая нога имеет длину cos (α + β). Следовательно, поскольку противоположные стороны внешнего прямоугольника диаграммы равны, мы выводим

Перемещение одного из названных углов дает вариант диаграммы, демонстрирующий формулы угловой разности для синуса и косинуса.[11] (Диаграмма допускает другие варианты, учитывающие углы и суммы, превышающие прямой угол.) Разделив все элементы диаграммы на потому что α потому что β предоставляет еще один вариант (показан), иллюстрирующий формулу суммы углов для тангенса.

Эти удостоверения применяются, например, в синфазные и квадратурные составляющие.

Иллюстрация формулы сложения углов для котангенса. Правый верхний сегмент единичной длины.
Синус[12][13]
Косинус[13][14]
Касательная[13][15]
Косеканс[16]
Секант[16]
Котангенс[13][17]
Арксинус[18]
Арккосин[19]
Арктангенс[20]
Арккотангенс

Матричная форма

Формулы суммы и разности для синуса и косинуса следуют из того факта, что поворот плоскости на угол α, следующий за поворотом на β, равен повороту на α + β. С точки зрения матрицы вращения:

В матрица обратная для вращения - это вращение с отрицательным углом

который также является матрица транспонировать.

Эти формулы показывают, что эти матрицы образуют представление группы вращения в плоскости (технически специальная ортогональная группа ТАК (2)), так как закон композиции выполняется и существуют обратные. Кроме того, матричное умножение матрицы вращения на угол α с вектором-столбцом будет вращать вектор-столбец против часовой стрелки на угол α.

Поскольку умножение на комплексное число единицы длины вращает комплексную плоскость на аргумент числа, указанное выше умножение матриц вращения эквивалентно умножению комплексных чисел:

С точки зрения Формула Эйлера, это просто говорит , показывая, что - одномерное комплексное представление .

Синусы и косинусы сумм бесконечно многих углов

Когда сериал сходится абсолютно тогда

Потому что сериал converges absolutely, it is necessarily the case that , , и . 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 kth-degree elementary symmetric polynomial in the variables

за я = 0, 1, 2, 3, ..., i.e.,

потом

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:

and so on. The case of only finitely many terms can be proved by mathematical induction.[21]

Secants and cosecants of sums

куда еk это kth-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.

Например,

Multiple-angle formulae

Тп это пth Chebyshev polynomial  [23]
de Moivre's formula, я это imaginary unit    [24]

Double-angle, triple-angle, and half-angle formulae

Double-angle formulae

Formulae for twice an angle.[25]

Triple-angle formulae

Formulae for triple angles.[25]

Half-angle formulae

[26][27]

Также

Стол

These can be shown by using either the sum and difference identities or the multiple-angle formulae.

SineCosineTangentCotangent
Double-angle formulae[28][29]
Triple-angle formulae[23][30]
Half-angle formulae[26][27]

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.[нужна цитата ]

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

[нужна цитата ]

Метод Чебышева

В Чебышев метод представляет собой рекурсивный алгоритм для поиска пформула нескольких углов, зная (п − 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)ИксИкс).

Для целей, аналогичных методу Чебышева, для касательной можно записать:

Тангенс среднего

Установка либо α или же β к 0 дает обычные формулы касательных полууглов.

Бесконечное произведение Вьете

(Ссылаться на функция sinc.)

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

Получено путем решения второго и третьего вариантов формулы двойного косинуса угла.

СинусКосинусДругой

и в целом полномочия грех θ или же потому что θ верно следующее, и его можно вывести с помощью Формула де Муавра, Формула Эйлера и биномиальная теорема[нужна цитата ].

КосинусСинус

Идентичность продукта к сумме и суммы к продукту

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

Продукт к сумме[32]
Сумма к продукту[33]

Другие связанные личности

  • [34]
  • Если Икс + у + z = π (полукруг), затем
  • Тождество тройного касательного: Если Икс + у + z = π (полукруг), затем
В частности, формула верна, когда Икс, у, и z - это три угла любого треугольника.
(Если любой из Икс, у, z угол прямой, обе стороны должны быть . Это ни то, ни другое +∞ ни −∞; для настоящих целей имеет смысл добавить только одну бесконечно удаленную точку к реальная линия, к которому подходит загар θ в качестве загар θ либо увеличивается на положительные значения, либо уменьшается на отрицательные значения. Это одноточечная компактификация реальной линии.)
  • Тройной котангенс: Если Икс + у + z = π/2 (прямой угол или четверть круга), затем

Котангенсная идентичность Эрмита

Чарльз Эрмит продемонстрировал следующую идентичность.[35] Предполагать а1, ..., ап находятся сложные числа, никакие два из которых не отличаются на целое число, кратноеπ. Позволять

(особенно, А1,1, будучи пустой продукт, равно 1). потом

Простейший нетривиальный пример - случайп = 2:

Теорема Птолемея

Теорема Птолемея может быть выражена на языке современной тригонометрии как:

Если ш + Икс + у + z = π, тогда:

(Первые три равенства представляют собой тривиальные перестановки; четвертое - суть этого тождества.)

Конечные произведения тригонометрических функций

За совмещать целые числа п, м

куда Тп это Полином Чебышева.

Для синусоидальной функции выполняется следующее соотношение

В более общем смысле [36]

Линейные комбинации

Для некоторых целей важно знать, что любая линейная комбинация синусоидальных волн одного периода или частоты, но разных фазовые сдвиги также является синусоидой с тем же периодом или частотой, но с другим фазовым сдвигом. Это полезно в синусоида подбор данных, потому что измеренные или наблюдаемые данные линейно связаны с а и б неизвестные о синфазные и квадратурные составляющие ниже, что приводит к более простому Якобиан, по сравнению с c и φ.

Синус и косинус

Линейная комбинация или гармоническое сложение синусоидальных и косинусоидальных волн эквивалентно одной синусоидальной волне со сдвигом фазы и масштабированной амплитудой,[37][38]

куда c и φ определяются так:

Произвольный фазовый сдвиг

В более общем смысле, для произвольных фазовых сдвигов мы имеем

куда c и φ удовлетворить:

Более двух синусоид

Общий случай гласит[38]

куда

и

Смотрите также Добавление фазора.

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

Эти личности, названные в честь Жозеф Луи Лагранж, находятся:[39][40]

Связанная функция - это следующая функция Икс, называется Ядро Дирихле.

видеть доказательство.

Другие суммы тригонометрических функций

Сумма синусов и косинусов с аргументами в арифметической прогрессии:[41] если α ≠ 0, тогда

Приведенную выше личность иногда удобно знать, когда думаешь о Функция Гудермана, что связывает круговой и гиперболический тригонометрические функции, не прибегая к сложные числа.

Если Икс, у, и z - три угла любого треугольника, т. е. если Икс + у + z = π, тогда

Некоторые дробно-линейные преобразования

Если ж(Икс) дается дробно-линейное преобразование

и аналогично

тогда

Короче говоря, если для всех α мы позволяем жα быть тем, что мы называли ж выше, тогда

Если Икс наклон прямой, тогда ж(Икс) крутизна его поворота на угол α.

Обратные тригонометрические функции

[42]

Композиции триггерных и обратных триггерных функций

Связь с комплексной экспоненциальной функцией

С мнимое число я удовлетворение я2 = −1,

[43] (Формула Эйлера ),
(Тождество Эйлера ),
[44]
[45]

Эти формулы полезны для доказательства многих других тригонометрических тождеств. Например, чтоея(θ+φ) = е е Значит это

cos (θ+φ) + я грех (θ+φ) = (cos θ + я грех θ) (cos φ + я грех φ) = (cos θ потому что φ - грех θ грех φ) + я (потому что θ грех φ + грех θ потому что φ).

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

Бесконечные формулы продукта

Для приложений к специальные функции, следующее бесконечный продукт полезны формулы для тригонометрических функций:[46][47]

Личности без переменных

Что касается арктангенс функция у нас есть[42]

Любопытная личность, известная как Закон Морри,

это частный случай идентичности, которая содержит одну переменную:

Тот же косинус в радианах равен

По аналогии,

является частным случаем тождества со случаем x = 20:

По делу Икс = 15,

По делу Икс = 10,

То же косинусное тождество

По аналогии,

По аналогии,

Следующее, возможно, не так легко обобщить на тождество, содержащее переменные (но см. Объяснение ниже):

Градусная мера перестает быть более удачной, чем радианная мера, когда мы рассматриваем это тождество с 21 в знаменателе:

Коэффициенты 1, 2, 4, 5, 8, 10 могут прояснить шаблон: это целые числа меньше, чем 21/2 которые относительно простой (или не иметь главные факторы вместе с) 21. Последние несколько примеров являются следствием основного факта о неприводимости круговые полиномы: косинусы - это действительные части нулей этих многочленов; сумма нулей - это Функция Мёбиуса оценивается в (в самом последнем случае выше) 21; только половина нулей присутствует выше. Два тождества, предшествующие этому последнему, возникают таким же образом с заменой 21 на 10 и 15 соответственно.

Другие тождества косинуса включают:[48]

и так далее для всех нечетных чисел, и, следовательно,

Многие из этих любопытных идентичностей проистекают из более общих фактов, таких как следующие:[49]

и

Сочетание этого дает нам

Если п нечетное число (п = 2м + 1) мы можем использовать симметрии, чтобы получить

Передаточная функция Фильтр нижних частот Баттерворта можно выразить через полином и полюса. Установив частоту в качестве частоты среза, можно доказать следующее:

Вычисление π

Эффективный способ вычислить π основан на следующем тождестве без переменных из-за Machin:

или, в качестве альтернативы, используя идентификатор Леонард Эйлер:

или используя Пифагорейские тройки:

Другие включают

[50][42]
[50]
[42]

Обычно для чисел т1, ..., тп−1 ∈ (−1, 1) для которого θп = ∑п−1
k=1
арктан тk ∈ (π/4, 3π/4)
, позволять тп = загар (π/2 − θп) = детская кроватка θп. Это последнее выражение можно вычислить напрямую, используя формулу котангенса суммы углов, тангенсы которых равны т1, ..., тп−1 и его стоимость будет в (−1, 1). В частности, вычисленные тп будет рациональным, когда все т1, ..., тп−1 ценности рациональны. С этими значениями

где во всех выражениях, кроме первого, мы использовали формулы касательных полууглов. Первые две формулы работают, даже если одна или несколько тk ценности не в пределах (−1, 1). Обратите внимание, что когда т = п/q рационально, то (2т, 1 − т2, 1 + т2) значения в приведенных выше формулах пропорциональны тройке Пифагора (2pq, q2п2, q2 + п2).

Например, для п = 3 термины,

для любого а, б, c, d > 0.

Полезная мнемоника для определенных значений синусов и косинусов

Для некоторых простых углов синусы и косинусы принимают форму п/2 за 0 ≤ п ≤ 4, благодаря чему их легко запомнить.

Разное

С Золотое сечение φ:

Также см тригонометрические константы, выраженные в действительных радикалах.

Личность Евклида

Евклид показано в Книге XIII, Предложение 10 его Элементы что площадь квадрата на стороне правильного пятиугольника, вписанного в круг, равна сумме площадей квадратов на сторонах правильного шестиугольника и правильного десятиугольника, вписанных в тот же круг. На языке современной тригонометрии это говорит:

Птолемей использовал это предложение для вычисления некоторых углов в его таблица аккордов.

Состав тригонометрических функций

Это тождество включает тригонометрическую функцию тригонометрической функции:[51]

куда Jя находятся Функции Бесселя.

Исчисление

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

проверено с помощью единичный круг и теорема сжатия. Второй предел:

проверено с использованием личности загар Икс/2 = 1 - cos Икс/грех Икс. Установив эти два предела, можно использовать предельное определение производной и теоремы сложения, чтобы показать, что (грех Икс) ′ = Cos Икс и (потому что Икс) ′ = −sin Икс. Если функции синуса и косинуса определены их Серия Тейлор, то производные можно найти путем почленного дифференцирования степенного ряда.

Остальные тригонометрические функции можно дифференцировать, используя указанные выше тождества и правила дифференциация:[52][53][54]

Интегральные тождества можно найти в Список интегралов от тригонометрических функций. Некоторые общие формы перечислены ниже.

Подразумеваемое

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

Некоторые дифференциальные уравнения, которым удовлетворяет синусоидальная функция

Позволять я = −1 - мнимая единица, а ∘ - композиция дифференциальных операторов. Тогда для каждого странный положительное числоп,

(Когда k = 0, то число составляемых дифференциальных операторов равно 0, поэтому соответствующий член в сумме выше просто(грех Икс)п.) Эта идентичность была обнаружена как побочный продукт исследования в медицинская визуализация.[55]

Экспоненциальные определения

ФункцияОбратная функция[56]

Дальнейшие «условные» тождества для случая α + β + γ = 180°

Следующие формулы применимы к произвольным плоским треугольникам и следуют из α + β + γ = 180 °, если функции, входящие в формулы, четко определены (последнее относится только к формулам, в которых встречаются касательные и котангенсы).

Разное

Ядро Дирихле

В Ядро Дирихле Dп(Икс) это функция, встречающаяся с обеих сторон следующего тождества:

В свертка любой интегрируемая функция периода 2π с ядром Дирихле совпадает с функцией пприближение Фурье-й степени. То же самое верно для любого мера или же обобщенная функция.

Замена касательного полуугла

Если мы установим

тогда[57]

куда еix = cos Икс + я грех Икс, иногда сокращенноСНГ Икс.

Когда эта замена т за загар Икс/2 используется в исчисление, следует, что грех Икс заменяется на 2т/1 + т2, потому что Икс заменяется на 1 − т2/1 + т2 и дифференциал dИкс заменяется на 2 дн.т/1 + т2. Тем самым преобразуются рациональные функции грех Икс и потому что Икс к рациональным функциям т чтобы найти их первообразные.

Смотрите также

Примечания

  1. ^ Хэн, Ченг и Тальберт, «Дополнительная математика», стр. 228
  2. ^ Шаумбергер Н. (1974). "Классная теорема о тригонометрических иррациональностях". Двухлетний колледж по математике. J. 5 (1): 73–76. Дои:10.2307/3026991. JSTOR  3026991.
  3. ^ Вайсштейн, Эрик В. «Теорема Нивена». MathWorld.
  4. ^ Абрамовиц и Стегун, стр. 73, 4.3.45
  5. ^ Абрамовиц и Стегун, стр. 78, 4.3.147
  6. ^ Нильсен (1966 г., стр. xxiii – xxiv)
  7. ^ Селби 1970, п. 188
  8. ^ Абрамовиц и Стегун, стр. 72, 4.3.13–15
  9. ^ Абрамовиц и Стегун, стр. 72, 4.3.9
  10. ^ Абрамовиц и Стегун, стр. 72, 4.3.7–8
  11. ^ Тригонограф (28 сентября 2015 г.). «Сумма углов и разность для синуса и косинуса». Trigonography.com. Получено 28 мая 2017.
  12. ^ Абрамовиц и Стегун, стр. 72, 4.3.16
  13. ^ а б c d Вайсштейн, Эрик В. «Тригонометрические формулы сложения». MathWorld.
  14. ^ Абрамовиц и Стегун, стр. 72, 4.3.17
  15. ^ Абрамовиц и Стегун, стр. 72, 4.3.18
  16. ^ а б «Сумма углов и тождества разности». www.milefoot.com. Получено 2019-10-12.
  17. ^ Абрамовиц и Стегун, стр. 72, 4.3.19
  18. ^ Абрамовиц и Стегун, стр. 80, 4.4.32
  19. ^ Абрамовиц и Стегун, стр. 80, 4.4.33
  20. ^ Абрамовиц и Стегун, стр. 80, 4.4.34
  21. ^ Бронштейн, Мануэль (1989). «Упрощение реальных элементарных функций». В Gonnet, G.H. (ред.). Материалы ACM-SIGSAM 1989 Международный симпозиум по символическим и алгебраическим вычислениям. ISSAC '89 (Портленд, США, штат Орегон, 1989-07). Нью-Йорк: ACM. С. 207–211. Дои:10.1145/74540.74566. ISBN  0-89791-325-6.
  22. ^ Майкл Харди (август – сентябрь 2016 г.). «О касательных и секущих бесконечных сумм». Американский математический ежемесячный журнал. 123 (7): 701–703. Дои:10.4169 / amer.math.monthly.123.7.701.
  23. ^ а б Вайсштейн, Эрик В. «Многоугольные формулы». MathWorld.
  24. ^ Абрамовиц и Стегун, стр. 74, 4.3.48
  25. ^ а б Селби 1970, стр. 190
  26. ^ а б Абрамовиц и Стегун, стр. 72, 4.3.20–22
  27. ^ а б Вайсштейн, Эрик В. «Формулы полуугловой». MathWorld.
  28. ^ Абрамовиц и Стегун, стр. 72, 4.3.24–26
  29. ^ Вайсштейн, Эрик В. «Формулы двойного угла». MathWorld.
  30. ^ Абрамовиц и Стегун, стр. 72, 4.3.27–28
  31. ^ Уорд, Кен. "Multiple angles recursive formula". Ken Ward's Mathematics Pages.
  32. ^ Abramowitz and Stegun, p. 72, 4.3.31–33
  33. ^ Abramowitz and Stegun, p. 72, 4.3.34–39
  34. ^ Nelson, Roger. "Mathematics Without Words", The College Mathematics Journal 33(2), March 2002, p. 130.
  35. ^ Johnson, Warren P. (Apr 2010). "Trigonometric Identities à la Hermite". American Mathematical Monthly. 117 (4): 311–327. Дои:10.4169/000298910x480784.
  36. ^ "Product Identity Multiple Angle".
  37. ^ Apostol, T.M. (1967) Calculus. 2nd edition. New York, NY, Wiley. Pp 334-335.
  38. ^ а б Weisstein, Eric W. "Harmonic Addition Theorem". MathWorld.
  39. ^ 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.
  40. ^ 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.
  41. ^ Knapp, Michael P. "Sines and Cosines of Angles in Arithmetic Progression" (PDF).
  42. ^ а б c d Wu, Rex H. "Proof Without Words: Euler's Arctangent Identity", Mathematics Magazine 77(3), June 2004, p. 189.
  43. ^ Abramowitz and Stegun, p. 74, 4.3.47
  44. ^ Abramowitz and Stegun, p. 71, 4.3.2
  45. ^ Abramowitz and Stegun, p. 71, 4.3.1
  46. ^ Abramowitz and Stegun, p. 75, 4.3.89–90
  47. ^ Abramowitz and Stegun, p. 85, 4.5.68–69
  48. ^ Humble, Steve (Nov 2004). "Grandma's identity". Mathematical Gazette. 88: 524–525. Дои:10.1017/s0025557200176223.
  49. ^ Weisstein, Eric W. "Sine". MathWorld.
  50. ^ а б Harris, Edward M. "Sums of Arctangents", in Roger B. Nelson, Proofs Without Words (1993, Mathematical Association of America), p. 39.
  51. ^ 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
  52. ^ Abramowitz and Stegun, p. 77, 4.3.105–110
  53. ^ Abramowitz and Stegun, p. 82, 4.4.52–57
  54. ^ Finney, Ross (2003). Calculus : Graphical, Numerical, Algebraic. Glenview, Illinois: Prentice Hall. стр.159–161. ISBN  0-13-063131-0.
  55. ^ 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.
  56. ^ Abramowitz and Stegun, p. 80, 4.4.26–31
  57. ^ Abramowitz and Stegun, p. 72, 4.3.23

Рекомендации

внешняя ссылка