Тригономе́трия
(от
др.-греч.
τρίγωνον
«
треугольник
» и
μετρέω
«измеряю», то есть
измерение треугольников
) — раздел
математики
, в котором изучаются
тригонометрические функции
и их использование в
геометрии
. Данный термин впервые появился в 1595 г. как название книги немецкого математика
Бартоломеуса Питискуса
, а сама наука ещё в глубокой древности использовалась для расчётов в
астрономии
, архитектуре и
геодезии
для вычисления одних элементов треугольника по данным о других его элементах.
Древнегреческие математики в своих построениях, связанных с измерением дуг круга, использовали технику хорд. Перпендикуляр к хорде, опущенный из центра окружности, делит пополам дугу и опирающуюся на неё хорду. Половина поделенной пополам хорды — это синус половинного угла (для единичной окружности), и поэтому функция синус известна также как «половина хорды». Благодаря этой зависимости, значительное число тригонометрических тождеств и теорем, известных сегодня, были также известны древнегреческим математикам, но в эквивалентной хордовой форме.
Хотя в работах Евклида и Архимеда нет тригонометрии в строгом смысле этого слова, их теоремы представлены в геометрическом виде, эквивалентном специфическим тригонометрическим формулам. Теорема Архимеда для деления хорд эквивалентна формулам для синусов суммы и разности углов. Для компенсации отсутствия таблицы хорд математики времен
Аристарха
иногда использовали хорошо известную теорему, в современной записи — sinα/sinβ < α/β < tgα/tgβ, где 0° < β < α < 90°, совместно с другими теоремами.
Первые
тригонометрические таблицы
были, вероятно, составлены
Гиппархом
Никейским (180—125 лет до н. э.). Гиппарх был первым, кто свёл в таблицы соответствующие величины дуг и хорд для серии углов. Систематическое использование полной окружности в 360° установилось в основном благодаря
Гиппарху
и его таблице хорд. Возможно
Гиппарх
взял идею такого деления у
Гипсикла
, который ранее разделил день на 360 частей, хотя такое деление дня могли предложить и вавилонские астрономы.
Менелай Александрийский
(100 н. э.) написал «Сферику» в трёх книгах. В первой книге он представил основы для
сферических треугольников
, аналогично I книге «Начал»
Евклида
о плоских треугольниках. Он представил теорему, для которой нет аналога у
Евклида
, о том, что два сферических треугольника
конгруэнтны
, если соответствующие углы равны, но он не делал различия между конгруэнтными и симметричными сферическими треугольниками. Другая его теорема гласит о том, что сумма углов сферического треугольника всегда больше 180°. Вторая книга «Сферики» применяет сферическую геометрию к астрономии. Третья книга содержит «
теорему Менелая
», известную также как «правило шести величин».
Позднее
Клавдий Птолемей
(90 — 168 г. н. э.) в «Альмагесте» расширил
Гиппарховы
«Хорды в окружности». Тринадцать книг «Альмагеста» — самая значимая тригонометрическая работа всей античности. Теорема, которая была центральной в вычислении хорд Птолемея, также известна сегодня как
теорема Птолемея
, которая говорит о том, что сумма произведений противоположных сторон выпуклого вписанного четырёхугольника равна произведению диагоналей. Отдельный случай теоремы Птолемея появился как 93-е предложение «Данных»
Евклида
.
Теорема Птолемея влечёт за собой эквивалентность четырёх формул суммы и разности для синуса и косинуса. Позднее Птолемей вывел формулу половинного угла. Птолемей использовал эти результаты для создания своих тригонометрических таблиц, хотя, возможно, эти таблицы были выведены из работ Гиппарха.
Средневековая Индия
Замена хорд синусами стала главным достижением средневековой Индии. Такая замена позволила вводить различные функции, связанные со сторонами и углами прямоугольного треугольника. Таким образом, в Индии было положено начало тригонометрии как учению о тригонометрических величинах.
Индийские учёные пользовались различными тригонометрическими соотношениями, в том числе и теми, которые в современной форме выражаются как
Индийцы также знали формулы для кратных углов
где
Тригонометрия необходима для астрономических расчётов, которые оформляются в виде таблиц. Первая таблица синусов имеется в «
Сурья-сиддханте
» и у
Ариабхаты
. Позднее учёные составили более подробные таблицы: например,
Бхаскара
приводит таблицу синусов через 1°.
Южноиндийские математики в XVI веке добились больших успехов в области суммирования бесконечных числовых рядов. По-видимому, они занимались этими исследованиями, когда искали способы вычисления более точных значений числа
π
.
Нилаканта
словесно приводит правила разложения арктангенса в бесконечный степенной ряд. А в анонимном трактате «
» («Техника вычислений») даны правила разложения синуса и косинуса в бесконечные степенные ряды. Нужно сказать, что в Европе к подобным результатам подошли лишь в 17-18 вв. Так, ряды для синуса и косинуса вывел
Исаак Ньютон
около 1666 г., а ряд арктангенса был найден
Дж. Грегори
в 1671 г. и
Г. В. Лейбницем
в 1673 г.
С VIII века учёные стран Ближнего и Среднего Востока развили тригонометрию своих предшественников. В середине IX века среднеазиатский учёный
аль-Хорезми
написал сочинение «
Об индийском счёте
». После того как трактаты мусульманских ученых были переведены на латынь, многие идеи греческих, индийских и мусульманских математиков стали достоянием европейской, а затем и мировой науки.
Первоначально тригонометрические функции были связаны с соотношениями сторон в прямоугольном
треугольнике
. Их единственным аргументом является угол (один из острых углов этого треугольника).
Косинус
— отношение прилежащего катета к гипотенузе.
Тангенс
— отношение противолежащего катета к прилежащему.
Котангенс
— отношение прилежащего катета к противолежащему.
Секанс
— отношение гипотенузы к прилежащему катету.
Косеканс
— отношение гипотенузы к противолежащему катету.
Данные определения позволяют вычислить значения функций для острых углов, то есть от 0° до 90° (от 0 до
радиан). В XVIII веке
Леонард Эйлер
дал современные, более общие определения, расширив область определения этих функций на всю
числовую ось
. Рассмотрим в
прямоугольной системе координат
окружность
единичного радиуса (см. рисунок) и отложим от горизонтальной оси угол
(если величина угла положительна, то откладываем против часовой стрелки, иначе по часовой стрелке). Точку пересечения построенной стороны угла с окружностью обозначим
A
. Тогда:
Для острых углов новые определения совпадают с прежними.
Возможно также чисто аналитическое определение этих функций, которое не связано с геометрией и представляет каждую функцию её разложением в бесконечный ряд.
Свойства функции синус
Область определения функции — множество всех действительных чисел:
.
Множество значений — промежуток [−1; 1]:
= [−1;1].
Функция
является нечётной:
.
Функция периодическая, наименьший положительный период равен
:
.
График функции пересекает ось
Ох
при
.
Промежутки знакопостоянства:
при
и
при
.
Функция непрерывна и имеет производную при любом значении аргумента:
Функция
возрастает при
, и убывает при
.
Функция имеет минимум при
и максимум при
.
Свойства функции косинус
Область определения функции — множество всех действительных чисел:
.
Множество значений — промежуток [−1; 1]:
= [−1;1].
Функция
является чётной:
.
Функция периодическая, наименьший положительный период равен
:
.
График функции пересекает ось
Ох
при
.
Промежутки знакопостоянства:
при
и
при
Функция непрерывна и имеет производную при любом значении аргумента:
Функция
возрастает при
и убывает при
Функция имеет минимум при
и максимум при
Свойства функции тангенс
Область определения функции — множество всех действительных чисел:
, кроме чисел
Множество значений — множество всех действительных чисел:
Функция
является нечётной:
.
Функция периодическая, наименьший положительный период равен
:
.
График функции пересекает ось
Ох
при
.
Промежутки знакопостоянства:
при
и
при
.
Функция непрерывна и имеет производную при любом значении аргумента из области определения:
Функция
возрастает при
.
Свойства функции котангенс
Область определения функции — множество всех действительных чисел:
кроме чисел
Множество значений — множество всех действительных чисел:
Функция
является нечётной:
Функция периодическая, наименьший положительный период равен
:
График функции пересекает ось
Ох
при
Промежутки знакопостоянства:
при
и
при
Функция непрерывна и имеет производную при любом значении аргумента из области определения:
Вышеуказанные уравнения могут быть получены путём сложения или вычитания формул Эйлера:
с последующим решением относительно синуса или косинуса.
Также эти формулы могут служить определением тригонометрических функций комплексной переменной. Например, выполняя подстановку
x
=
iy
, получаем:
Комплексные экспоненты позволяют упростить тригонометрические расчеты, поскольку ими проще манипулировать, нежели синусоидальными компонентами. Один из подходов предусматривает преобразование синусоид в соответствующие экспоненциальные выражения. После упрощения результат выражения остается вещественным. Суть другого подхода в представлении синусоид в качестве вещественных частей комплексного выражения и проведения манипуляций непосредственно с комплексным выражением.
Важным частным разделом тригонометрии, используемым в астрономии, геодезии, навигации и других отраслях, является сферическая тригонометрия, рассматривающая свойства углов между большими кругами на сфере и дуг этих больших кругов. Геометрия сферы существенно отличается от евклидовой планиметрии; так, сумма углов сферического треугольника, вообще говоря, отличается от 180°, треугольник может состоять из трёх прямых углов. В сферической тригонометрии длины сторон треугольника (дуги больших кругов сферы) выражаются посредством центральных углов, соответствующих этим дугам. Поэтому, например,
сферическая теорема синусов
выражается в виде