В математике формула приближения синуса Бхаскары I представляет собой рациональное выражение с одной переменной для вычисления приближенных значений тригонометрических синусов, открытых Бхаскарой I (ок. 600 – ок. 680), индийским математиком седьмого века . [1] Эта формула приведена в его трактате под названием Махабхаскария . Неизвестно, как Бхаскара I пришел к своей формуле приближения. Однако несколько историков математики выдвинули различные гипотезы относительно метода, который Бхаскара мог использовать для получения своей формулы. Формула элегантна и проста, и она позволяет вычислять достаточно точные значения тригонометрических синусов без использования геометрии. [2]
Формула дана в стихах 17–19 главы VII Махабхаскарии Бхаскары I. Перевод стихов приведен ниже: [3]
(Теперь) я кратко изложу правило (для нахождения бхуджапхалы и котипхалы и т. д.), не используя разности синусов 225 и т. д. Вычтите градусы бхуджи ( или коти ) из градусов полукруга (то есть 180 градусов). Затем умножьте остаток на градусы бхуджи или коти и запишите результат в двух местах. В одном месте вычтите результат из 40500. На одну четвертую остатка (полученного таким образом) разделите результат в другом месте, умноженный на антьяпхала ( то есть эпициклический радиус). Таким образом получается вся бахупхала (или котипхала ) для солнца, луны или звезд-планет. Таким образом также получаются прямые и обратные синусы.
(Ссылка «Разность синусов 225» является намеком на таблицу синусов Арьябхаты .)
В современных математических обозначениях для угла x в градусах эта формула дает [3]
Формулу приближения синуса Бхаскары I можно выразить с использованием радианной меры углов следующим образом: [1]
Для положительного целого числа n это принимает следующий вид: [4]
Формула приобретает еще более простую форму, если выразить ее через косинус, а не через синус. Используя радианную меру для углов от до и подставляя , получаем
Чтобы выразить предыдущую формулу с константой, можно использовать
Эквивалентные формы формулы Бхаскары I были даны почти всеми последующими астрономами и математиками Индии. Например, Брахма-Спхута-Сиддханта (стихи 23–24, глава XIV) [3] Брахмагупты (598–668 гг. н. э. ) дает формулу в следующем виде:
Кроме того, Бхаскара II (1114–1185 гг. н.э. ) привел эту формулу в своей «Лилавати» (Кшетра-вьявахара, Сока № 48) в следующей форме:
Формула применима для значений x ° в диапазоне от 0° до 180°. Формула исключительно точна в этом диапазоне. Графики sin x и формулы приближения визуально неразличимы и почти идентичны. На одном из прилагаемых рисунков представлен график функции ошибок, а именно, функции
при использовании формулы. Он показывает, что максимальная абсолютная ошибка при использовании формулы составляет около 0,0016. Из графика процентного значения абсолютной ошибки ясно, что максимальная относительная ошибка составляет менее 1,8%. Таким образом, формула приближения дает достаточно точные значения синусов для большинства практических целей. Однако ее было недостаточно для более точных вычислительных требований астрономии. Поиск более точных формул индийскими астрономами в конечном итоге привел к открытию Мадхавой из Сангамаграма (ок. 1350 – ок. 1425), основателем керальской школы астрономии и математики , разложений в степенные ряды sin x и cos x.
Бхаскара не указал ни одного метода, с помощью которого он пришел к своей формуле. Историки размышляли о различных возможностях. Пока не получено никаких окончательных ответов. Помимо своей исторической важности как главного примера математических достижений древнеиндийских астрономов, формула имеет значение и с современной точки зрения. Математики пытались вывести правило, используя современные концепции и инструменты. Было предложено около полудюжины методов, каждый из которых основан на отдельном наборе предпосылок. [2] [3] Большинство этих выводов используют только элементарные концепции.
Пусть окружность круга измеряется в градусах , а радиус круга R также измеряется в градусах . Выбрав фиксированный диаметр AB и произвольную точку P на окружности и опустив перпендикуляр PM на AB , мы можем вычислить площадь треугольника APB двумя способами. Приравнивая два выражения для площади, получаем ( 1/2 ) AB × PM = (1/2) AP × BP . Это дает
Пусть x будет длиной дуги AP , длина дуги BP равна 180 − x . Эти дуги намного больше соответствующих хорд. Следовательно, получаем
Теперь ищутся две константы α и β такие, что
Действительно, получить такие константы невозможно. Однако можно выбрать значения для α и β так, чтобы приведенное выше выражение было справедливо для двух выбранных значений длины дуги x . Выбрав 30° и 90° в качестве этих значений и решив полученные уравнения, можно немедленно получить формулу приближения синуса Бхаскары I. [2] [3]
Предполагая, что x выражен в радианах, можно искать приближение к sin x в следующей форме:
Константы a , b , c , p , q и r (только пять из них являются независимыми) можно определить, предположив, что формула должна быть точно верна при x = 0, π/6, π/2, π, и дополнительно предположив, что она должна удовлетворять свойству sin( x ) = sin(π − x ). [2] [3] Эта процедура создает формулу, выраженную с использованием радианной меры углов.
Часть графика sin x в диапазоне от 0° до 180° «выглядит» как часть параболы, проходящей через точки (0, 0) и (180, 0). Общий вид такой параболы:
Парабола, которая также проходит через (90, 1) (точку, соответствующую значению sin(90°) = 1), равна
Парабола, которая также проходит через (30, 1/2) (точку, соответствующую значению sin(30°) = 1/2), равна
Эти выражения предполагают переменный знаменатель, который принимает значение 90 × 90 при x = 90 и значение 2 × 30 × 150 при x = 30. То, что это выражение также должно быть симметричным относительно линии x = 90, исключает возможность выбора линейного выражения по x . Вычисления, включающие x (180 − x ), могут немедленно предполагать, что выражение может иметь вид
Небольшой эксперимент (или составление и решение двух линейных уравнений относительно a и b ) даст значения a = 5/4, b = −1/4. Это дает формулу приближения синуса Бхаскары I. [4]
Карел Строетхофф (2014) предлагает похожий, но более простой аргумент в пользу выбора Бхаскары I. Он также приводит аналогичную аппроксимацию для косинуса и распространяет эту технику на полиномы второго и третьего порядка. [5]