Равенства, в которых участвуют тригонометрические функции
В тригонометрии тригонометрические тождества — это равенства , которые включают тригонометрические функции и верны для любого значения встречающихся переменных , для которых определены обе части равенства. Геометрически это тождества , включающие в себя определенные функции одного или нескольких углов . Они отличаются от тождеств треугольника , которые потенциально включают в себя углы, но также включают длины сторон или другие длины треугольника .
Эти тождества полезны всякий раз, когда необходимо упростить выражения, включающие тригонометрические функции. Важным применением является интегрирование нетригонометрических функций: общий метод предполагает сначала использование правила замены тригонометрической функцией , а затем упрощение полученного интеграла с помощью тригонометрического тождества.
Пифагорейские идентичности
Тригонометрические функции и обратные им на единичной окружности. Все прямоугольные треугольники подобны, то есть соотношения между соответствующими сторонами одинаковы. Для sin, cos и tan радиус единичной длины образует гипотенузу определяющего их треугольника. Взаимные тождества возникают как отношения сторон в треугольниках, где эта единичная линия больше не является гипотенузой. Треугольник, закрашенный синим цветом, иллюстрирует идентичность , а красный треугольник показывает это .
Основное соотношение между синусом и косинусом задается тождеством Пифагора:
где средства и средства
Это можно рассматривать как версию теоремы Пифагора и следует из уравнения для единичного круга . Это уравнение можно решить как для синуса, так и для косинуса:
Разделив это тождество на , или на оба, получим следующие тождества:
Используя эти тождества, можно выразить любую тригонометрическую функцию через любую другую ( с точностью до знака плюс или минус):
Размышления, сдвиги и периодичность
Исследуя единичную окружность, можно установить следующие свойства тригонометрических функций.
Размышления
Преобразование координат ( a , b ) при сдвиге угла отражения с шагом .
Когда направление евклидова вектора представлено углом, это угол, определяемый свободным вектором (начиная с начала координат) и положительным единичным вектором. Та же концепция может быть применена и к линиям в евклидовом пространстве, где угол определяется параллелью данной линии, проходящей через начало координат и положительную -ось. Если линия (вектор) с направлением отражается относительно линии с направлением , то направляющий угол этой отраженной линии (вектора) имеет значение
Значения тригонометрических функций этих углов для конкретных углов удовлетворяют простым тождествам: либо они равны, либо имеют противоположные знаки, либо используют дополнительную тригонометрическую функцию. Они также известны как формулы приведения . [2]
Сдвиги и периодичность
Преобразование координат ( a , b ) при сдвиге угла с шагом .
Знаки
Знак тригонометрических функций зависит от квадранта угла. Если и Sign — знаковая функция ,
Тригонометрические функции являются периодическими с общим периодом, поэтому для значений θ вне интервала они принимают повторяющиеся значения (см. § Сдвиги и периодичность выше).
Тождества угловой суммы и разности
Иллюстрация формул сложения синуса и косинуса острых углов. Выделенный отрезок имеет единичную длину.Диаграмма, показывающая тождества угловой разности для и .
Они также известны как теоремы сложения и вычитания углов (или формулы ).
Тождества угловой разности для и могут быть получены из версий суммы углов путем замены и использования фактов, которые и . Их также можно получить, используя слегка измененную версию рисунка тождеств суммы углов, оба из которых показаны здесь.
Эти тождества суммированы в первых двух строках следующей таблицы, которая также включает тождества суммы и разности для других тригонометрических функций.
Поскольку ряд сходится абсолютно, то обязательно бывает так, что и В частности, в этих двух тождествах появляется асимметрия, не наблюдаемая в случае сумм конечного числа углов: в каждом произведении имеется лишь конечное число синусоидальных множителей, но являются коконечно многими косинусными коэффициентами. Члены с бесконечным числом синусоидальных множителей обязательно будут равны нулю.
Когда только конечное число углов отличны от нуля, тогда только конечное число членов в правой части отличны от нуля, поскольку все синусоидальные множители, кроме конечного числа, обращаются в нуль. Более того, в каждом члене все косинусные множители, кроме конечного числа, равны единице.
используя приведенные выше формулы суммы синуса и косинуса.
Количество слагаемых в правой части зависит от количества слагаемых в левой части.
Например:
и так далее. Случай лишь конечного числа членов может быть доказан с помощью математической индукции . [14] Случай бесконечного числа членов можно доказать, используя некоторые элементарные неравенства. [15]
Секансы и косеканты сумм
где – элементарный симметричный полином k -й степени от n переменных , а количество слагаемых в знаменателе и количество множителей в произведении в числителе зависят от количества слагаемых в сумме слева. [16] Случай только конечного числа термов может быть доказан методом математической индукции по числу таких термов.
Например,
Теорема Птолемея
Диаграмма, иллюстрирующая связь между теоремой Птолемея и тригонометрическим тождеством суммы углов для синуса. Теорема Птолемея утверждает, что сумма произведений длин противоположных сторон равна произведению длин диагоналей. Когда эти длины сторон выражаются через значения sin и cos, показанные на рисунке выше, это дает тригонометрическое тождество суммы углов для синуса: sin( α + β ) = sin α cos β + cos α sin β .
Теорема Птолемея важна в истории тригонометрических тождеств, поскольку именно ею были впервые доказаны результаты, эквивалентные формулам суммы и разности для синуса и косинуса. В нем говорится, что в вписанном четырехугольнике , как показано на прилагаемом рисунке, сумма произведений длин противоположных сторон равна произведению длин диагоналей. В особых случаях, когда одна из диагоналей или сторон является диаметром круга, эта теорема непосредственно приводит к тригонометрическим тождествам суммы углов и разности. [17] Это соотношение легче всего прослеживается, когда круг построен так, чтобы его диаметр был равен единице, как показано здесь.
По теореме Фалеса и оба угла прямые . Прямоугольные треугольники и оба имеют общую гипотенузу длины 1. Таким образом, стороны , , и .
По теореме о вписанном угле центральный угол, образуемый хордой в центре окружности, вдвое больше угла , т.е. Следовательно, каждая симметричная пара красных треугольников имеет угол в центре. Каждый из этих треугольников имеет гипотенузу длины , поэтому длина равна , т.е. просто . Другая диагональ четырехугольника имеет диаметр, равный 1, поэтому произведение длин диагоналей также равно .
Когда эти значения подставляются в утверждение теоремы Птолемея о том , что это дает тригонометрическое тождество суммы углов для синуса: . Формулу угловой разницы можно вывести аналогичным образом, если в качестве диаметра использовать сторону, а не . [17]
Формулы нескольких углов и половинных углов
Многоугольные формулы
Формулы двойного угла
Наглядная демонстрация формулы двойного угла для синуса. Для приведенного выше равнобедренного треугольника с единичными сторонами и углом площадь 1/2 × основание × высота рассчитывается в двух ориентациях. В вертикальном положении площадь составляет . Когда он находится на его стороне, та же площадь равна . Поэтому,
Формулы удвоения угла. [20]
Формулы тройного угла
Формулы тройных углов. [20]
Многоугольные формулы
Формулы для нескольких углов. [21]
метод Чебышева
Метод Чебышева представляет собой рекурсивный алгоритм поиска формулы кратного угла n , зная значения th и th. [22]
Аналогично можно вычислить из и с.
Это можно доказать, добавив формулы для и
Для целей, аналогичных цели метода Чебышева, для касательной можно записать:
Формулы половинного угла
[23] [24]
Также
Стол
Их можно показать, используя либо тождества суммы и разности, либо формулы нескольких углов.
Тот факт, что формула тройного угла для синуса и косинуса включает в себя степени только одной функции, позволяет связать геометрическую задачу построения циркуля и линейки трисекции угла с алгебраической задачей решения кубического уравнения , что позволяет доказать что трисекция вообще невозможна с использованием данных инструментов теории поля . [ нужна цитата ]
Формула для вычисления тригонометрических тождеств для угла в одну треть существует, но она требует найти нули кубического уравнения 4 x 3 − 3 x + d = 0 , где – значение косинуса при угле в одну треть d — известное значение косинуса на полном угле. Однако дискриминант этого уравнения положителен, поэтому это уравнение имеет три вещественных корня (из которых только один является решением косинуса трети угла). Ни одно из этих решений не сводится к реальному алгебраическому выражению , поскольку они используют промежуточные комплексные числа под кубическими корнями .
Формулы снижения мощности
Получено решением второго и третьего вариантов формулы косинуса двойного угла.
Формула косинусного приведения в степень: наглядная схема. Красный, оранжевый и синий треугольники подобны, а красный и оранжевый треугольники конгруэнтны. Гипотенуза синего треугольника имеет длину . Угол равен , поэтому основание этого треугольника имеет длину . Эта длина также равна сумме длин и , т.е. Поэтому, . Разделив обе части на, получим формулу приведения степени косинуса: . Формулу половинного угла для косинуса можно получить, заменив на и извлекая квадратный корень из обеих частей:
Формула снижения синусоидальной мощности: наглядная диаграмма. Заштрихованные синий и зеленый треугольники, а также треугольник, обведенный красным, являются прямоугольными и одинаковыми, и все они содержат угол . Гипотенуза треугольника, обведенного красным, имеет длину , поэтому длина его стороны равна . Отрезок линии имеет длину и сумму длин и равен длине , которая равна 1. Следовательно, . Вычитание из обеих частей и деление на 2 на два дает формулу приведения степени для синуса: . Формула половинного угла для синуса может быть получена путем замены на и извлечения квадратного корня из обеих сторон: Обратите внимание, что на этом рисунке также показано в вертикальном отрезке , что .
Тождества произведения к сумме и суммы к произведению
Доказательство косинусного тождества суммы и разности для расчета простафереза с использованием равнобедренного треугольника.
Тождества произведения к сумме [28] или формулы простафереза можно доказать, разложив их правые части с помощью теорем сложения углов. Исторически первые четыре из них были известны как формулы Вернера , в честь Иоганна Вернера , который использовал их для астрономических расчетов. [29] См. амплитудную модуляцию для применения формул преобразования суммы в сумму, а также детектор биений (акустика) и фазовый детектор для применения формул преобразования суммы в произведение.
Тождества произведения к сумме
Тождества суммы к произведению
Диаграмма, иллюстрирующая тождества суммы и произведения для синуса и косинуса. У синего прямоугольного треугольника есть угол , а у красного прямоугольного треугольника есть угол . Оба имеют гипотенузу длины 1. Вспомогательные углы, называемые здесь и , построены так, что и . Поэтому и . Это позволяет построить два конгруэнтных треугольника с фиолетовым контуром , каждый из которых имеет гипотенузу и угол в основании. Сумма высот красного и синего треугольников равна , и это равна двойной высоте одного фиолетового треугольника, т.е. Запись и в этом уравнении через и дает тождество суммы к произведению для синуса: . Точно так же сумма ширин красного и синего треугольников дает соответствующее тождество для косинуса.
Тождества суммы к произведению следующие: [30]
Котангенсное тождество Эрмита
Чарльз Эрмит продемонстрировал следующее тождество. [31] Предположим, являются комплексными числами , никакие два из которых не отличаются на целое число, кратное π . Позволять
Это происходит в результате разложения многочлена на линейные коэффициенты (ср. корень из единицы ): для точки z на комплексной единичной окружности и целого числа n > 0
Линейные комбинации
Для некоторых целей важно знать, что любая линейная комбинация синусоидальных волн одного и того же периода или частоты, но с разными фазовыми сдвигами, также является синусоидальной волной с тем же периодом или частотой, но с другим фазовым сдвигом. Это полезно при аппроксимации данных синусоиды , поскольку измеренные или наблюдаемые данные линейно связаны с неизвестными a и b базиса синфазных и квадратурных компонентов , приведенного ниже, что приводит к более простому якобиану по сравнению с якобианом и .
Синус и косинус
Линейная комбинация или гармоническое сложение синусоидальных и косинусоидальных волн эквивалентно одной синусоидальной волне со сдвигом фазы и масштабированной амплитудой, [33] [34]
где и определяются так:
при условии
Произвольный фазовый сдвиг
В более общем смысле для произвольных фазовых сдвигов мы имеем
Говоря более кратко, если мы позволим всему быть тем, что мы назвали выше, тогда
Если – наклон линии, то – наклон ее поворота на угол
Связь с комплексной показательной функцией
Формула Эйлера утверждает, что для любого действительного числа x : [39]
где i — мнимая единица . Замена − x на x дает нам:
Эти два уравнения можно использовать для вычисления косинуса и синуса в терминах экспоненциальной функции . В частности, [40] [41]
Эти формулы полезны для доказательства многих других тригонометрических тождеств. Например, то, что e i ( θ + φ ) = e iθ e iφ означает, что
cos( θ + φ ) + я sin( θ + φ ) = (cos θ + я sin θ ) (cos φ + я sin φ ) = (cos θ cos φ − sin θ sin φ ) + i (cos θ sin φ + грех θ потому что φ ) .
То, что действительная часть левой части равна действительной части правой части, является формулой сложения углов для косинуса. Равенство мнимых частей дает формулу сложения углов для синуса.
В следующей таблице тригонометрические функции и их обратные выражаются через экспоненциальную функцию и комплексный логарифм .
Расширение серии
При использовании разложения в степенной ряд для определения тригонометрических функций получаются следующие тождества: [43]
Следующие тождества дают результат составления тригонометрической функции с обратной тригонометрической функцией. [46]
Если мультипликативное обращение обеих частей каждого приведенного выше уравнения приводит к уравнениям для
Правая часть приведенной выше формулы всегда будет перевернута. Например, уравнение для :
а уравнения для и :
Следующие тождества подразумеваются тождествами отражения. Они выполняются всякий раз, когда находятся в области определения соответствующих функций.
Любопытная закономерность, известная как закон Морри ,
является частным случаем тождества, которое содержит одну переменную:
Аналогично,
это частный случай тождества с :
Для случая ,
Для случая ,
То же косинусное тождество
Сходным образом,
Сходным образом,
Следующее, возможно, не так легко обобщить на тождество, содержащее переменные (но см. объяснение ниже):
Градусная мера перестает быть более удачной, чем радианная мера, когда мы рассматриваем это тождество с 21 в знаменателе:
Факторы 1, 2, 4, 5, 8, 10 могут прояснить закономерность: это целые числа меньше .21/2 которые относительно просты (или не имеют общих простых множителей с) 21. Последние несколько примеров являются следствием основного факта о неприводимых круговых многочленах : косинусы являются действительными частями нулей этих многочленов; сумма нулей представляет собой функцию Мёбиуса, рассчитанную (в самом последнем случае выше) 21; выше присутствует только половина нулей. Две идентичности, предшествующие последней, возникают таким же образом: 21 заменяется 10 и 15 соответственно.
Другие косинусные тождества включают: [49]
и т. д. для всех нечетных чисел и, следовательно,
Многие из этих любопытных тождеств проистекают из более общих фактов, таких как следующие: [50]
и
Их объединение дает нам
Если n нечетное число ( ), мы можем использовать симметрии, чтобы получить
Передаточная функция фильтра нижних частот Баттерворта может быть выражена через полином и полюсы. Установив частоту в качестве частоты среза, можно доказать следующее тождество:
В общем случае для чисел t 1 , ..., t n −1 ∈ (−1, 1), для которых θ n = Σп -1 к =1арктан t k ∈ ( π /4, 3 π /4) , пусть t n = tan( π /2 − θ n ) = cot θ n . Это последнее выражение можно вычислить непосредственно, используя формулу котангенса суммы углов, тангенсы которых равны t 1 , ..., t n −1 , и его значение будет находиться в (−1, 1) . В частности, вычисленное t n будет рациональным, если все значения t 1 , ..., t n -1 рациональны. Благодаря этим значениям
где во всех выражениях, кроме первого, мы использовали формулы касательного полуугла. Первые две формулы работают, даже если одно или несколько значений t k не находятся в пределах (−1, 1) . Обратите внимание, что если t = p / q рационально, то значения (2 t , 1 − t 2 , 1 + t 2 ) в приведенных выше формулах пропорциональны тройке Пифагора (2 pq , q 2 − p 2 , q 2 + п 2 ) .
Например, для n = 3 членов
для любых a , b , c , d > 0 .
Личность Евклида
Евклид показал в книге XIII, предложении 10 своих «Начал» , что площадь квадрата на стороне правильного пятиугольника, вписанного в круг, равна сумме площадей квадратов на сторонах правильного шестиугольника и правильного десятиугольника. вписаны в тот же круг. На языке современной тригонометрии это говорит:
Дальнейшие «условные» тождества для делаα+β+γ= 180°
Условное тригонометрическое тождество — это тригонометрическое тождество, которое выполняется, если выполняются заданные условия на аргументы тригонометрических функций. [53] Следующие формулы применимы к произвольным плоским треугольникам и следуют из того, что функции, входящие в формулы, четко определены (последнее применимо только к формулам, в которых встречаются тангенсы и котангенсы).
Исторические сокращения
В навигации использовались версинус , коверсинус , гаверсинус и эксеканс . Например, формула гаверсинуса использовалась для расчета расстояния между двумя точками на сфере. Сегодня они используются редко.
Разнообразный
Ядро Дирихле
Ядро Дирихле D n ( x ) — это функция, встречающаяся по обе стороны следующего тождества:
Если мы установим then [54]
, где иногда сокращается до cis x .
Когда эта замена на tan Икс/2 используется в исчислении , следовательно,заменяется на 2 т/1 + т 2 ,заменяется на 1 − т 2/1 + т 2 и дифференциал d x заменяется на 2 д т/1 + т 2 . Тем самым преобразуются рациональные функцииив рациональные функции сцелью найти их первообразные .
^ ab «Угловая сумма и разностные тождества». www.milefoot.com . Проверено 12 октября 2019 г.
^ Абрамовиц и Стегун, с. 72, 4.3.19
^ Абрамовиц и Стегун, с. 80, 4.4.32
^ Абрамовиц и Стегун, с. 80, 4.4.33
^ Абрамовиц и Стегун, с. 80, 4.4.34
^ Бронштейн, Мануэль (1989). «Упрощение реальных элементарных функций». В Гонне, GH (ред.). Труды Международного симпозиума ACM- SIGSAM 1989 по символьным и алгебраическим вычислениям . ISSAC '89 (Портленд, США, Орегон, 1989–07). Нью-Йорк: ACM . стр. 207–211. дои : 10.1145/74540.74566. ISBN0-89791-325-6.
^ Майкл Харди. (2016). «О касательных и секансах бесконечных сумм». The American Mathematical Monthly , том 123, номер 7, 701–703. https://doi.org/10.4169/amer.math.monthly.123.7.701
^ Харди, Майкл (2016). «О касательных и секансах бесконечных сумм». Американский математический ежемесячник . 123 (7): 701–703. doi : 10.4169/amer.math.monthly.123.7.701.
^ Вайсштейн, Эрик В. «Формулы нескольких углов». mathworld.wolfram.com . Проверено 6 февраля 2022 г.
^ Уорд, Кен. «Рекурсивная формула нескольких углов». Страницы математики Кена Уорда .
^ Аб Абрамовиц, Милтон ; Стегун, Ирен Энн , ред. (1983) [июнь 1964 г.]. «Глава 4, уравнения 4.3.20-22». Справочник по математическим функциям с формулами, графиками и математическими таблицами . Серия «Прикладная математика». Том. 55 (Девятое переиздание с дополнительными исправлениями десятого оригинального издания с исправлениями (декабрь 1972 г.); первое изд.). Вашингтон, округ Колумбия; Нью-Йорк: Министерство торговли США, Национальное бюро стандартов; Дуврские публикации. п. 72. ИСБН978-0-486-61272-0. LCCN 64-60036. МР 0167642. LCCN 65-12253.
^ Ортис Муньис, Эдди (февраль 1953 г.). «Метод вывода различных формул электростатики и электромагнетизма с использованием тригонометрических тождеств Лагранжа». Американский журнал физики . 21 (2): 140. Бибкод : 1953AmJPh..21..140M. дои : 10.1119/1.1933371.
^ Агарвал, Рави П.; О'Риган, Донал (2008). Обыкновенные дифференциальные уравнения и уравнения в частных производных: со специальными функциями, рядами Фурье и краевыми задачами (иллюстрированное изд.). Springer Science & Business Media. п. 185. ИСБН978-0-387-79146-3.Выдержка со страницы 185
^ Фэй, Темпл Х.; Клопперс, П. Хендрик (2001). «Феномен Гиббса». Международный журнал математического образования в области науки и технологий . 32 (1): 73–89. дои : 10.1080/00207390117151.
^ Абрамовиц и Стегун, с. 74, 4.3.47
^ Абрамовиц и Стегун, с. 71, 4.3.2
^ Абрамовиц и Стегун, с. 71, 4.3.1
^ Абрамовиц и Стегун, с. 80, 4.4.26–31
^ Абрамовиц и Стегун, с. 74, 4.3.65–66
^ Абрамовиц и Стегун, с. 75, 4.3.89–90
^ Абрамовиц и Стегун, с. 85, 4.5.68–69
^ Абрамовиц и Стегун 1972, с. 73, 4.3.45
^ abc Ву, Рекс Х. «Доказательство без слов: арктангенсальная идентичность Эйлера», Mathematics Magazine 77 (3), июнь 2004 г., стр. 189.
^ С. М. Абраров, Р. К. Джагпал, Р. Сиддики и Б. М. Куайн (2021), «Алгоритмическое определение большого целого числа в двухчленной машиноподобной формуле для π», Математика , 9 (17), 2162, arXiv : 2107.01027 , дои : 10.3390/math9172162{{citation}}: CS1 maint: multiple names: authors list (link)
^ Скромный, Стив (ноябрь 2004 г.). «Бабушкина личность». Математический вестник . 88 : 524–525. дои : 10.1017/s0025557200176223. S2CID 125105552.