Раннее изучение треугольников можно проследить до 2-го тысячелетия до н. э ., в египетской математике ( Риндский математический папирус ) и вавилонской математике . Тригонометрия также была распространена в кушитской математике. [1] Систематическое изучение тригонометрических функций началось в эллинистической математике , достигнув Индии как часть эллинистической астрономии . [2] В индийской астрономии изучение тригонометрических функций процветало в период Гуптов , особенно благодаря Арьябхате (шестой век н. э.), который открыл функцию синуса, функцию косинуса и функцию версинуса.
Когда в Средние века изучение тригонометрии продолжилось в исламской математике такими математиками, как Аль-Хорезми и Абу аль-Вафа . Она стала независимой дисциплиной в исламском мире , где были известны все шесть тригонометрических функций . Переводы арабских и греческих текстов привели к тому, что тригонометрия была принята в качестве предмета на латинском Западе, начиная с эпохи Возрождения с Региомонтаном .
Развитие современной тригонометрии изменилось в эпоху западного Просвещения , начавшись с математики 17-го века ( Исаак Ньютон и Джеймс Стерлинг ) и достигнув своей современной формы с Леонардом Эйлером (1748).
Термин «тригонометрия» произошел от греческого τρίγωνον trigōnon — «треугольник» и μέτρον Metron — «мера». [3]
Современные слова «синус» и «косинус» произошли от латинского слова sinus через неправильный перевод с арабского (см. Синус и косинус#Этимология ). В частности, sinus rectus arcus Фибоначчи оказал влияние на установление этого термина. [4]
Слово «тангенс» происходит от латинского tangens , что означает «касающийся», поскольку линия касается окружности единичного радиуса, тогда как слово «секанс» происходит от латинского secans — «разрезание», поскольку линия пересекает окружность. [5]
Префикс « co- » (в «косинус», «котангенс», «косеканс») встречается в «Каноне треугольника » Эдмунда Гюнтера (1620), который определяет косинус как сокращение от sinus completi (синус дополнительного угла ) и далее аналогичным образом определяет котангенс . [6] [7]
Слова «минута» и «секунда» произошли от латинских фраз partes minutae primae и partes minutae secundae . [8] Они примерно переводятся как «первые малые части» и «вторые малые части».
Древние египтяне и вавилоняне знали теоремы о соотношениях сторон подобных треугольников на протяжении многих веков. Однако, поскольку доэллинские общества не имели понятия об угловой мере, они были ограничены изучением сторон треугольников. [9]
Вавилонские астрономы вели подробные записи о восходе и заходе звезд , движении планет , а также солнечных и лунных затмениях , все из которых требовали знакомства с угловыми расстояниями, измеренными на небесной сфере . [10] Основываясь на одной из интерпретаций клинописной таблички Плимптона 322 (ок. 1900 г. до н. э.), некоторые даже утверждали, что у древних вавилонян была таблица секансов, но это не работает в данном контексте, поскольку без использования окружностей и углов в данной ситуации современные тригонометрические обозначения не будут применяться. [11] Однако существует много споров о том, является ли это таблицей пифагорейских троек , решением квадратных уравнений или тригонометрической таблицей . [12]
С другой стороны, египтяне использовали примитивную форму тригонометрии для строительства пирамид во 2-м тысячелетии до н. э. [10] Математический папирус Ринда , написанный египетским писцом Ахмесом (ок. 1680–1620 гг. до н. э.), содержит следующую задачу, связанную с тригонометрией: [10]
«Если высота пирамиды составляет 250 локтей, а длина стороны ее основания — 360 локтей, то каков ее секед ?»
Решение Ахмеса этой проблемы — это отношение половины стороны основания пирамиды к ее высоте, или отношение длины ее грани к ее подъему. Другими словами, найденная им величина для секеда — это котангенс угла между основанием пирамиды и ее гранью. [10]
Древнегреческие и эллинистические математики использовали хорду . Если даны окружность и дуга на окружности, хорда — это линия, которая стягивает дугу. Перпендикулярная середина хорды проходит через центр окружности и делит угол пополам. Одна половина разделенной пополам хорды — это синус половины разделенного пополам угла, то есть, [13]
и, следовательно, функция синуса также известна как полухорда . Благодаря этой связи, ряд тригонометрических тождеств и теорем, которые известны сегодня, были также известны эллинистическим математикам, но в эквивалентной им форме хорды. [14] [15]
Хотя в трудах Евклида и Архимеда нет тригонометрии в строгом смысле этого слова, существуют теоремы, представленные геометрическим способом (а не тригонометрическим способом), которые эквивалентны определенным тригонометрическим законам или формулам. [9] Например, предложения двенадцать и тринадцать второй книги «Начал » являются законами косинусов для тупых и острых углов соответственно. Теоремы о длинах хорд являются приложениями закона синусов . А теорема Архимеда о разорванных хордах эквивалентна формулам для синусов сумм и разностей углов. [9] Чтобы компенсировать отсутствие таблицы хорд , математики времен Аристарха иногда использовали утверждение, что в современной записи sin α /sin β < α / β < tan α / tan β всякий раз, когда 0° < β < α < 90°, теперь известное как неравенство Аристарха . [16]
Первая тригонометрическая таблица была, по-видимому, составлена Гиппархом Никейским (180 – 125 гг . до н. э.), который теперь известен как «отец тригонометрии». [17] Гиппарх был первым, кто составил таблицу соответствующих значений дуги и хорды для ряда углов. [4] [17]
Хотя неизвестно, когда систематическое использование круга в 360° вошло в математику, известно, что систематическое введение круга в 360° произошло немного позже, чем Аристарх Самосский составил «О размерах и расстояниях Солнца и Луны» (ок. 260 г. до н. э.), поскольку он измерил угол в терминах дроби квадранта. [16] Кажется, что систематическое использование круга в 360° во многом обязано Гиппарху и его таблице хорд . Гиппарх, возможно, взял идею этого деления у Гипсикла , который ранее разделил день на 360 частей, разделение дня, которое могло быть предложено вавилонской астрономией. [18] В древней астрономии зодиак был разделен на двенадцать «знаков» или тридцать шесть «деканов». Сезонный цикл продолжительностью примерно 360 дней мог соответствовать знакам и деканам зодиака путем деления каждого знака на тридцать частей, а каждого декана на десять частей. [8] Благодаря вавилонской шестидесятеричной системе счисления каждый градус делится на шестьдесят минут, а каждая минута делится на шестьдесят секунд. [8]
Менелай Александрийский (ок. 100 г. н. э.) написал в трех книгах свою «Сферику» . В книге I он установил основу для сферических треугольников, аналогичную евклидовой основе для плоских треугольников. [15] Он установил теорему, которая не имеет евклидова аналога, о том, что два сферических треугольника равны, если соответствующие углы равны, но он не различал равные и симметричные сферические треугольники. [15] Другая теорема, которую он устанавливает, заключается в том, что сумма углов сферического треугольника больше 180°. [15] Книга II « Сферики» применяет сферическую геометрию к астрономии. А книга III содержит «теорему Менелая». [15] Он также дал свое знаменитое «правило шести величин». [19]
Позже Клавдий Птолемей (ок. 90 – ок. 168 н. э.) расширил Хорды Гиппарха в своем Альмагесте , или Математическом синтаксисе . Альмагест в первую очередь является работой по астрономии, а астрономия опирается на тригонометрию. Таблица хорд Птолемея дает длины хорд окружности диаметром 120 как функцию числа градусов n в соответствующей дуге окружности, для n в диапазоне от 1/2 до 180 с шагом 1/2. [20] Тринадцать книг Альмагеста являются наиболее влиятельным и значительным тригонометрическим трудом всей древности. [21] Теорема, которая была центральной для расчета хорд Птолемеем, была тем, что до сих пор известно как теорема Птолемея , о том, что сумма произведений противоположных сторон вписанного четырехугольника равна произведению диагоналей. Частный случай теоремы Птолемея появился как предложение 93 в «Данных» Евклида . Теорема Птолемея приводит к эквиваленту четырех формул суммы и разности для синуса и косинуса, которые сегодня известны как формулы Птолемея, хотя сам Птолемей использовал хорды вместо синуса и косинуса. [21] Птолемей далее вывел эквивалент формулы половинного угла
Птолемей использовал эти результаты для создания своих тригонометрических таблиц, но невозможно определить, были ли эти таблицы получены из работ Гиппарха. [21]
Ни таблицы Гиппарха, ни таблицы Птолемея не сохранились до наших дней, хотя описания других древних авторов оставляют мало сомнений в том, что они когда-то существовали. [22]
Некоторые из ранних и очень важных разработок тригонометрии были в Индии . Влиятельные работы 4–5 веков н. э., известные как Сиддханты (всего их было пять, наиболее важной из которых является Сурья-сиддханта [23] ), впервые определили синус как современное отношение между половиной угла и половиной хорды, а также определили косинус, версинус и обратный синус . [24] Вскоре после этого другой индийский математик и астроном , Арьябхата (476–550 н. э.), собрал и расширил разработки Сиддхант в важной работе под названием Арьябхатия . [25] Сиддханты и Арьябхатия содержат самые ранние сохранившиеся таблицы значений синуса и версина (1 − косинус) в интервалах 3,75° от 0° до 90° с точностью до 4 знаков после запятой. [ 26] Они использовали слова jya для синуса, kojya для косинуса, utkrama-jya для версина и otkram jya для арксинуса. Слова jya и kojya в конечном итоге стали синусом и косинусом соответственно после неправильного перевода, описанного выше.
В VII веке Бхаскара I вывел формулу для вычисления синуса острого угла без использования таблицы. Он также дал следующую приближенную формулу для sin( x ), которая имела относительную погрешность менее 1,9%:
Позже, в VII веке, Брахмагупта переработал формулу
(также выведенная ранее, как упоминалось выше) и интерполяционная формула Брахмагупты для вычисления значений синуса. [11]
Другим более поздним индийским автором по тригонометрии был Бхаскара II в 12 веке. Бхаскара II разработал сферическую тригонометрию и открыл много тригонометрических результатов.
Бхаскара II был одним из первых, кто открыл и получил такие тригонометрические результаты, как:
Мадхава (ок. 1400) сделал первые шаги в анализе тригонометрических функций и их бесконечных рядов расширений. Он разработал концепции степенного ряда и ряда Тейлора и создал степенные ряды расширений синуса, косинуса, тангенса и арктангенса. [27] [28] Используя приближения ряда Тейлора для синуса и косинуса, он создал таблицу синуса с точностью до 12 знаков после запятой и таблицу косинуса с точностью до 9 знаков после запятой. Он также дал степенной ряд π и угол , радиус , диаметр и окружность круга в терминах тригонометрических функций. Его работы были расширены его последователями в Керальской школе вплоть до 16-го века. [27] [28]
Индийский текст Юктибхаша содержит доказательство разложения функций синуса и косинуса , а также вывод и доказательство степенного ряда для арктангенса , открытого Мадхавой. Юктибхаша также содержит правила нахождения синусов и косинусов суммы и разности двух углов.
В Китае таблица синусов Арьябхаты была переведена в китайскую математическую книгу Кайюань Чжаньцзин , составленную в 718 году нашей эры во времена династии Тан . [30] Хотя китайцы преуспели в других областях математики, таких как стереометрия, биномиальная теорема и сложные алгебраические формулы, ранние формы тригонометрии не были так широко оценены, как в более раннем греческом, эллинистическом, индийском и исламском мире. [31] Вместо этого ранние китайцы использовали эмпирическую замену, известную как чжун ча , в то время как практическое использование плоской тригонометрии с использованием синуса, тангенса и секанса было известно. [30] Однако это эмбриональное состояние тригонометрии в Китае начало медленно меняться и развиваться во время династии Сун (960–1279), когда китайские математики начали уделять больше внимания необходимости сферической тригонометрии в календарной науке и астрономических вычислениях. [30] Китайский ученый -полимат , математик и чиновник Шэнь Ко (1031–1095) использовал тригонометрические функции для решения математических задач хорд и дуг. [30] Виктор Дж. Кац пишет, что в формуле Шэня «техника пересекающихся окружностей» он создал приближение дуги s окружности, учитывая диаметр d , стрелу v и длину c хорды, стягивающей дугу, длину которой он аппроксимировал как [32]
Сэл Рестиво пишет, что работа Шэня по длинам дуг окружностей послужила основой для сферической тригонометрии, разработанной в XIII веке математиком и астрономом Го Шоуцзином (1231–1316). [33] Как утверждают историки Л. Гоше и Джозеф Нидхэм, Го Шоуцзин использовал сферическую тригонометрию в своих вычислениях для улучшения календарной системы и китайской астрономии . [30] [34] Наряду с более поздней китайской иллюстрацией XVII века математических доказательств Го, Нидхэм утверждает, что:
Го использовал четырехугольную сферическую пирамиду, базовый четырехугольник которой состоял из одной экваториальной и одной эклиптической дуги, а также двух меридиональных дуг , одна из которых проходила через точку летнего солнцестояния ... Такими методами он смог получить ду люй (градусы экватора, соответствующие градусам эклиптики), цзи ча (значения хорд для заданных эклиптических дуг) и ча люй (разница между хордами дуг, отличающихся на 1 градус). [35]
Несмотря на достижения Шэня и Го в тригонометрии, другая существенная работа по китайской тригонометрии не была опубликована до 1607 года, когда появились «Начала» Евклида , изданные одновременно китайским чиновником и астрономом Сюй Гуанци (1562–1633) и итальянским иезуитом Маттео Риччи (1552–1610). [36]
Предыдущие работы были позднее переведены и расширены в средневековом исламском мире мусульманскими математиками в основном персидского и арабского происхождения , которые сформулировали большое количество теорем, которые освободили предмет тригонометрии от зависимости от полного четырехугольника , как это было в эллинистической математике из-за применения теоремы Менелая . По словам Э. С. Кеннеди, именно после этого развития в исламской математике «появилась первая настоящая тригонометрия, в том смысле, что только тогда объектом изучения стал сферический или плоский треугольник , его стороны и углы ». [37]
Методы, имеющие дело со сферическими треугольниками, также были известны, в частности, метод Менелая Александрийского , который разработал «теорему Менелая» для решения сферических задач. [15] [38] Однако, Е. С. Кеннеди указывает, что, хотя в доисламской математике было возможно вычислить величины сферической фигуры, в принципе, с помощью таблицы хорд и теоремы Менелая, применение теоремы к сферическим задачам было очень сложным на практике. [39] Для того чтобы соблюдать священные дни в исламском календаре , в котором время определялось фазами Луны , астрономы изначально использовали метод Менелая для вычисления положения Луны и звезд , хотя этот метод оказался неуклюжим и сложным. Он включал в себя создание двух пересекающихся прямоугольных треугольников ; применяя теорему Менелая, можно было решить одну из шести сторон, но только если были известны остальные пять сторон. Например, чтобы определить время по высоте солнца , требовалось многократное применение теоремы Менелая. Для средневековых исламских астрономов существовала очевидная проблема — найти более простой тригонометрический метод. [40]
В начале 9 века нашей эры Мухаммад ибн Муса аль-Хорезми создал точные таблицы синусов и косинусов, а также первую таблицу тангенсов. Он также был пионером в сферической тригонометрии . В 830 году нашей эры Хабаш аль-Хасиб аль-Марвази создал первую таблицу котангенсов. [41] [42] Мухаммад ибн Джабир аль-Харрани аль-Баттани (Альбатениус) (853–929 гг. н. э.) открыл обратные функции секанса и косеканса и создал первую таблицу косекансов для каждого градуса от 1° до 90°. [43]
К 10 веку нашей эры в работе Абу аль-Вафы аль-Бузджани были использованы все шесть тригонометрических функций . [44] Абу аль-Вафа имел таблицы синусов с шагом 0,25°, с точностью до 8 знаков после запятой и точные таблицы значений тангенса. [44] Он также разработал следующую тригонометрическую формулу: [45]
В своем оригинальном тексте Абу аль-Вафа утверждает: «Если мы этого хотим, мы умножаем данный синус на косинус минут , и результат равен половине синуса двойного числа». [45] Абу аль-Вафа также установил тождества сложения и разности углов, представленные с полными доказательствами: [45]
Для второго в тексте говорится: «Мы умножаем синус каждой из двух дуг на косинус других минут . Если нам нужен синус суммы, мы складываем произведения, если нам нужен синус разности, мы берем их разность». [45]
Он также открыл закон синусов для сферической тригонометрии: [41]
Также в конце X и начале XI веков нашей эры египетский астроном Ибн Юнус выполнил множество тщательных тригонометрических вычислений и продемонстрировал следующее тригонометрическое тождество : [46]
Аль-Джайяни (989–1079) из аль-Андалуса написал «Книгу неизвестных дуг сферы », которая считается «первым трактатом по сферической тригонометрии ». [47] Она «содержит формулы для прямоугольных треугольников , общий закон синусов и решение сферического треугольника с помощью полярного треугольника». Этот трактат позже оказал «сильное влияние на европейскую математику», а его «определение отношений как чисел» и «метод решения сферического треугольника, когда все стороны неизвестны», вероятно, повлияли на Региомонтана . [47]
Метод триангуляции был впервые разработан мусульманскими математиками, которые применили его для практических целей, таких как геодезия [48] и исламская география , как описано Абу Райханом Бируни в начале 11-го века. Сам Бируни ввел методы триангуляции для измерения размера Земли и расстояний между различными местами. [49] В конце 11-го века Омар Хайям (1048–1131) решал кубические уравнения , используя приближенные числовые решения, найденные путем интерполяции в тригонометрических таблицах. В 13-м веке Насир ад-Дин ат-Туси был первым, кто рассматривал тригонометрию как математическую дисциплину, независимую от астрономии, и он развил сферическую тригонометрию в ее нынешней форме. [42] Он перечислил шесть различных случаев прямоугольного треугольника в сферической тригонометрии, а в своей работе «О секторной фигуре » он сформулировал закон синусов для плоских и сферических треугольников, открыл закон касательных для сферических треугольников и предоставил доказательства обоих этих законов. [50] Насир ад-Дин ат-Туси был описан как создатель тригонометрии как самостоятельной математической дисциплины. [51] [52] [53]
В 15 веке Джамшид аль-Каши дал первое явное изложение закона косинусов в форме, пригодной для триангуляции . [ требуется ссылка ] Во Франции закон косинусов до сих пор называют теоремой Аль-Каши . Он также дал тригонометрические таблицы значений синусоидальной функции до четырех шестидесятеричных цифр (эквивалентных 8 десятичным знакам) для каждого 1° аргумента с разностями, которые следует добавлять для каждой 1/60 от 1°. [ требуется ссылка ] Улугбек также дает точные таблицы синусов и тангенсов с точностью до 8 десятичных знаков примерно в то же время. [ требуется ссылка ]
В 1342 году Леви бен Гершон, известный как Герсонид , написал труд «О синусах, хордах и дугах» , в котором, в частности, доказывал закон синусов для плоских треугольников и приводил пятизначные таблицы синусов . [54]
Упрощенная тригонометрическая таблица, " toleta de marteloio ", использовалась моряками Средиземного моря в XIV-XV веках для расчета навигационных курсов. Она описана Рамоном Луллием Майоркским в 1295 году и изложена в атласе 1436 года венецианского капитана Андреа Бьянко .
Региомонтан был, возможно, первым математиком в Европе, который рассматривал тригонометрию как отдельную математическую дисциплину [55] в своем труде De triangulis omnimodis , написанном в 1464 году, а также в своей более поздней работе Tabulae directionum , которая включала функцию тангенса, не названную. Opus palatinum de triangulis Георга Иоахима Ретикуса , ученика Коперника , был, вероятно, первым в Европе, который определил тригонометрические функции непосредственно в терминах прямоугольных треугольников вместо окружностей, с таблицами для всех шести тригонометрических функций; эта работа была завершена учеником Ретикуса Валентином Ото в 1596 году.
В XVII веке Исаак Ньютон и Джеймс Стерлинг разработали общую интерполяционную формулу Ньютона–Стерлинга для тригонометрических функций.
В XVIII веке работа Леонарда Эйлера « Введение в анализ бесконечных функций» (1748) в основном способствовала установлению аналитической обработки тригонометрических функций в Европе, выведению их бесконечных рядов и представлению « формулы Эйлера » e ix = cos x + i sin x . Эйлер использовал почти современные сокращения sin. , cos. , tang. , cot. , sec. , и cosec. До этого Роджер Коутс вычислил производную синуса в своей работе Harmonia Mensurarum (1722). [56] Также в XVIII веке Брук Тейлор определил общий ряд Тейлора и дал разложения и приближения для всех шести тригонометрических функций. Работы Джеймса Грегори в XVII веке и Колина Маклорена в XVIII веке также оказали большое влияние на развитие тригонометрических рядов.
Одним из важнейших математических вкладов аль-Туси было создание тригонометрии как самостоятельной математической дисциплины, а не просто инструмента для астрономических приложений. В «Трактате о четырехугольнике» аль-Туси дал первое сохранившееся изложение всей системы плоской и сферической тригонометрии. Эта работа действительно является первой в истории по тригонометрии как независимой ветви чистой математики и первой, в которой изложены все шесть случаев для прямоугольного сферического треугольника.
Его главный вклад в математику (Nasr, 1996, стр. 208-214) считается вкладом в тригонометрию, которая впервые была им составлена как новая самостоятельная дисциплина. Сферическая тригонометрия также обязана своим развитием его усилиям, и это включает в себя концепцию шести основных формул для решения сферических прямоугольных треугольников.