функции , один из важнейших классов элементарных функций.
Для определения Т. ф. обычно рассматривают окружность единичного радиуса с двумя взаимно перпендикулярными диаметрами A'A и B'B ( рис. 1 ). От точки А по окружности откладываются дуги произвольной длины, которые считаются положительными, если откладываются в направлении от А к В (против часовой стрелки), и отрицательными, если они откладываются в направлении от А к B' (по часовой стрелке). Если С - конец дуги, имеющей длину j, то проекция OP радиуса OC на диаметр A'A называется косинусом дуги j ( OP cos j). При этом под проекцией OP понимается длина направленного отрезка , взятая со знаком плюс, если точка Р лежит на радиусе OA , и со знаком минус, если она лежит на радиусе OA'; Проекция OQ радиуса OC на диаметр B'B (равная + OQ , если точка Q лежит на радиусе OB , и равная - OQ , если она лежит на радиусе OB' ) называется синусом дуги j ( OQ sin j). Т. ф. cos j и sin j не могут принимать значений, по абсолютной величине превосходящих 1, то есть
|cosj| £ 1, |sinj| £ 1 .
Иначе cosj и sinj могут быть определены как прямоугольные декартовы координаты точки С , лежащей на дуге окружности единичного радиуса, центр которой в начале координат, ось абсцисс направлена по диаметру A'A , а ось ординат - по диаметру B'B .
Так как центральный угол в радианной мере измеряется тем же числом, что и дуга (радиус окружности равен единице), то cosj и sinj можно рассматривать как косинус и синус угла. Вообще под аргументом Т. ф. принято понимать число, которое можно рассматривать геометрически как длину дуги или радианную меру угла. Если аргумент Т. ф. рассматривают как угол, то его значение может быть выражено и в градусной мере. Для острых углов j (0 < j < p/2), и только для них, Т. ф. cos j и sin j можно рассматривать как отношение катетов прямоугольного треугольника, прилежащего углу или противолежащего углу, к гипотенузе. Дуга AB окружности называется 1-й её четвертью, соответственно дуги BA' - 2-й, A'B' - 3-й, B'A - 4-й четвертями. Для углов j из 1-й четверти: cosj > 0, sinj > 0, из 2-й четверти: cosj < 0, sinj > 0, из 3-й четверти: cosj < 0, sinj < 0, из 4-й четверти: cosj > 0, sinj < 0 . Кроме того, cosj - чётная функция: cos (-j) cosj, а sinj - нечётная функция: sin (-j) -sinj.
С помощью основных Т. ф. можно определить другие Т. ф.: тангенс tgj sinj /cosj, котангенс ctgj cosj /sinj, секанс secj 1/cosj, косеканс cosecj 1/sinj. При этом tgj и secj определяются только для таких j, для которых cosj ¹ 0; а ctgj и cosecj для тех j, для которых sinj ¹ 0; функция secj - чётная, а функции cosecj, tgj и ctgj - нечётные. Эти функции также могут быть представлены геометрически отрезками прямых ( рис. 1 ): tgj AL , ctgj BK , secj OL , cosecj OK (для острых углов j и соответствующими отрезками для других углов). С этим геометрическим представлением связано и происхождение названий Т. ф. Так, латинское tangens означает касательную (tgj изображается отрезком AL касательной к окружности), secans - секущую (secj изображается отрезком OL секущей к окружности). Название 'синус' (лат. sinus - изгиб, пазуха) представляет собой перевод арабского 'джайб', являющегося, по-видимому, искажением санскритского слова 'джива' (буквально - тетива лука), которым индийские математики обозначали синус. Названия 'косинус', 'котангенс', 'косеканс' представляют собой сокращения термина complementi sinus (синус дополнения) и ему подобных, выражающих тот факт, что cosj, ctgj и cosecj равны соответственно синусу, тангенсу и секансу аргумента (дуги или угла), дополнительного к j (до или, в градусной мере, до 90|):
cosj sin ( - j); ctgj tg ( - j);
cosecj sec ( - j).
Подобно синусу и косинусу, остальные Т. ф. для острых углов могут рассматриваться как отношения сторон прямоугольного треугольника: тангенс и котангенс как отношения катетов (противолежащего к прилежащему и наоборот), а секанс и косеканс как отношения гипотенузы соответственно к прилежащему и противолежащему катетам.
Так как точка С, являющаяся концом дуги j, служит одновременно концом дуг j + 2p, j + 4p, - (2p - длина окружности), то все Т. ф. оказываются периодическими. При этом основным периодом функций sinj, cosj, secj, cosecj является число 2p (угол в 360|), а основным периодом tgj и ctgj - число p (угол в 180|). Графики Т. ф. см. на рис. 2.
Значения Т. ф. одного и того же аргумента связаны между собой рядом соотношений:
sin2j + cos2j 1,
tg2j + 1 sec2j; ctg2j + 1 cosec2j.
Для некоторых значений аргумента значения Т. ф. могут быть получены из геометрических соображений (табл.).
Аргумент Тригонометрические функции
в градусах
в радианах
sinj
cosj
tgj
ctgj
secj
cosecj
0-
0
0
1
0
не существует
1
не существует
30-
p/6
1/2
O3/2 ' 0,8660
O3/3 ' 0,5774
O3 ' 1,7322
2O3/3 ' 1,1547
2
45-
p/4
O2/2 ' 0,7071
O2/2 ' 0,7071
1
1
O2 ' 1,4142
O2 ' 1,4142
60-
p/3
O3/2 ' 0,8660
1/2
O3 '
1,7322
O3/3 ' 0,5774
2
2O3/3 ' 1,1547
90-
p/2
1
0
не существует
0
не существует
1
Для больших значений аргумента можно пользоваться так называемыми формулами приведения, которые позволяют выразить Т. ф. любого аргумента через
Т. ф. аргумента j, удовлетворяющего соотношению 0 £ j £ или даже 0 £ j £ , что упрощает составление таблиц Т. ф. и пользование ими, а также построение графиков. Эти формулы имеют вид:
(1)
в первых трёх формулах n может быть любым целым числом, причём верхний знак соответствует значению n 2 k , а нижний - значению n 2 k + 1; в последних - n может быть только нечётным числом, причём верхний знак берётся при n 4 k + 1, а нижний при n 4 k - 1 .
Важнейшими тригонометрическими формулами являются формулы сложения, выражающие Т. ф. суммы или разности значений аргумента через Т. ф. этих значений:
(2)
знаки в левой и правой частях всех формул согласованы, то есть верхнему (нижнему) знаку слева соответствует верхний (нижний) знак справа. Из них, в частности, получаются формулы для Т. ф. кратных аргументов, например:
Часто бывают полезны формулы, выражающие степени sin и cos простого аргумента через sin и cos кратного, например:
, .
Формулы для cos2j и sin2j можно использовать для нахождения значений Т. ф. половинного аргумента:
(3)
Знак перед корнем выбирается в зависимости от величины .
Суммы или разности Т. ф. различных аргументов могут быть преобразованы в произведения по следующим формулам:
(4)
в первой и последней формулах (4) знаки согласованы. Наоборот, произведения Т. ф. могут быть преобразованы в сумму или разность по формулам:
;
;
.
Производные всех Т. ф. выражаются через Т. ф.:
;
;
;
;
;
.
При интегрировании Т. ф. получаются Т. ф. или их логарифмы:
,
,
,
,
,
.
Интегралы от рациональных комбинаций Т. ф. всегда являются элементарными функциями.
Все Т. ф. допускают разложение в степенные ряды . При этом функции sin x и cos x представляются рядами, сходящимися для всех значений х :
;
.
Эти ряды можно использовать для получения приближённых выражений sin x и cos x при малых значениях х :
а) , б) .
Тригонометрическая система 1, cos x , sin x , cos2 x , sin2 x , -, cos nx , sin nx , -, образует на отрезке [-p, p] ортогональную систему функций , что даёт возможность представления функций в виде тригонометрических рядов (см. Фурье ряд ).
Для комплексных значений аргумента значения Т. ф. могут быть определены посредством степенных рядов. Т. ф. комплексного аргумента связаны с показательной функцией формулой Эйлера:
.
Отсюда можно получить выражения для sin x и cos x через показательные функции чисто мнимого аргумента (которые также называют формулами Эйлера):
,
Эти формулы также могут быть использованы для определения значений cos z и sin z для комплексного z . Для чисто мнимых значений z ix ( х - действительное) получаем:
, ,
где ch x и sh x - гиперболические косинус и синус (см. Гиперболические функции ).Наоборот,
, .
Синус и косинус комплексного аргумента могут принимать действительные значения, превосходящие 1 по абсолютной величине. Например:
.
Т. ф. комплексного аргумента являются аналитическими функциями, причём sin z и cos z - целые функции , а tg z , ctg z , sec z, cosec z - мероморфные функции .Полюсы tg z и sec z находятся в точках z p/2 + p n , а ctg z и cosec z в точках z p n ( n 0, | 1, | 2, -). Аналитическая функция w sin z осуществляет конформное отображение полуполосы -p < x < p, y > 0 плоскости z на плоскость w без отрезка действительной оси между точками -1 и +1. При этом семейства лучей х x 0 и отрезков y y 0 переходят соответственно в семейства софокусных гипербол и эллипсов. Вдвое более узкая полоса -p/2 < x < p/2 преобразуется в верхнюю полуплоскость.
Уравнение х sin y определяет у как многозначную функцию от х . Эта функция является обратной по отношению к синусу и обозначается у Arc sin x . Аналогично определяются функции, обратные по отношению к косинусу, тангенсу, котангенсу, секансу и косекансу: Arc cos x , Arc tg x , Arc ctg x , Arc sec x , Arc cosec x . Все эти функции называются обратными тригонометрическими функциями (в иностранной литературе иногда эти функции обозначаются sin-1 z, cos-1 z и т.д.).
Т. ф. возникли впервые в связи с исследованиями в астрономии и геометрии. Соотношения отрезков в треугольнике и окружности, являющиеся по существу Т. ф., встречаются уже в 3 в. до н. э. в работах математиков Древней Греции - Евклида, Архимеда, Аполлония Пергского и др. Однако эти соотношения не являются у них самостоятельным объектом исследования, так что Т. ф. как таковые ими не изучались. Т. ф. рассматривались первоначально как отрезки и в такой форме применялись Аристархом (конец 4 - 2-я половина 3 вв. до н. э.), Гиппархом (2 в. до н. э.), Менелаем (1 в. н. э.) и Птолемеем (2 в. н. э.) при решении сферических треугольников. Птолемей составил первую таблицу хорд для острых углов через 30' с точностью до 10-6. Это была первая таблица синусов. Как отношение функция sin j встречается уже у Ариабхаты (конец 5 в.). Функции tg j и ctg j встречаются у аль-Баттани (2-я половина 9 - начало 10 вв.) и Абуль-Вефа (10 в.), который употребляет также sec j и cosec j. Ариабхата знал уже формулу (sin2j + cos2j) 1, а также формулы (3), с помощью которых построил таблицы синусов для углов через 3|45'; исходя из известных значений Т. ф. для простейших аргументов . Бхаскара (12 в.) дал способ построения таблиц через 1 с помощью формул (2). Формулы (4) выводились Региомонтаном (15 в.) и Дж. Непером в связи с изобретением последним логарифмов (1614). Региомонтан дал таблицу значений синуса через 1'. Разложение Т. ф. в степенные ряды получено И. Ньютоном (1669). В современную форму теорию Т. ф. привёл Л. Эйлер (18 в.). Ему принадлежат определение Т. ф. для действительного и комплексного аргументов, принятая ныне символика, установление связи с показательной функцией, ортогональности системы синусов и косинусов.
Лит.: Кочетков Е. С., Кочеткова Е. С., Алгебра и элементарные функции, ч. 1-2, М., 1966; Шабат Б. В., Введение в комплексный анализ, М., 1969, с. 61-65.