Тригонометрические константы

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Синусы и косинусы основных углов на тригонометрической окружности.

В данной статье приведены точные алгебраические выражения для некоторых тригонометрических чисел. Такие выражения могут потребоваться, например, для приведения результатов выражений с тригонометрическими функциями в радикальную форму, что даёт возможность для дальнейшего упрощения.

Любое тригонометрическое число алгебраично. Некоторые тригонометрические числа могут быть выражены в комплексных радикалах, однако не всегда в действительных: в частности, среди значений тригонометрических функций в углах, выражающихся целым числом градусов, в действительных радикалах могут быть выражены только значения в тех из них, количество градусов в которых кратно трём. Но по теореме Абеля бывают и те, которые неразрешимы в радикалах.

По теореме Нивена[en] у синуса с рациональным в градусах аргументом значение либо иррационально, либо равно одному из чисел среди , , .

По теореме Бейкера[en] если синус, косинус или тангенс в данной точке дают алгебраическое число, то их аргумент в градусах либо рационален, либо трансцендентен. Иначе говоря, если аргумент в градусах алгебраичен и иррационален, то значения всех тригонометрических функций от этого аргумента будут трансцендентны.

Критерии включения[править | править код]

Значения для тригонометрических функций от аргумента, соизмеримого с , выразимы в действительных радикалах, только если знаменатель сокращённой рациональной дроби, полученной делением его на , является степенью двойки, умноженной на произведение нескольких простых чисел Ферма (см. теорема Гаусса — Ванцеля). Данная страница посвящена преимущественно углам, выражающимся в действительных радикалах.

При помощи формулы половинного угла можно получать алгебраические выражения для значений тригонометрических функций в любом угле, для которого они уже найдены, делённом пополам. В частности, для углов, лежащих на промежутке от до , верны формулы

, и .

Выражения ниже позволяют также получать выражения в комплексных радикалах значений тригонометрических функций в тех углах, в которых они не выражаются в действительных. К примеру, при наличии формулы для угла формула для /3 может быть получена путём решения следующего уравнения третьей степени:

Однако в его решении в общем виде могут возникнуть комплексные невещественные числа (этот случай называется casus irreducibilis).

Таблица некоторых часто встречающихся углов[править | править код]

Встречаются различные единицы измерения углов, например, градусы, радианы, обороты, грады (гоны).

Эта таблица показывает переводы из одних мер в другие и значения тригонометрических функций от наиболее часто встречающихся углов:

Обороты Градусы Радианы Грады (гоны) Синус Косинус Тангенс
0 0 0 0 1 0
1/12 30° /6 33+1/3 1/2 3/2 3/3
1/8 45° /4 50 2/2 2/2 1
1/6 60° /3 66+2/3 3/2 1/2 3
1/4 90° /2 100 1 0
1/3 120° 2/3 133+1/3 3/2 1/2 3
3/8 135° 3/4 150 2/2 2/2 −1
5/12 150° 5/6 166+2/3 1/2 3/2 3/3
1/2 180° 200 0 −1 0
7/12 210° 7/6 233+1/3 1/2 3/2 3/3
5/8 225° 5/4 250 2/2 2/2 1
2/3 240° 4/3 266+2/3 3/2 1/2 3
3/4 270° 3/2 300 −1 0
5/6 300° 5/3 333+1/3 3/2 1/2 3
7/8 315° 7/4 350 2/2 2/2 −1
11/12 330° 11/6 366+2/3 1/2 3/2 3/3
1 360° 2 400 0 1 0

Дальнейшие углы[править | править код]

Exact trigonometric table for multiples of 3 degrees.

Значения тригонометрических функций в углах, не находящихся в промежутке от до , элементарно выводятся из значений в углах этого промежутка при помощи формул приведения. Все углы записаны в градусах и радианах, при этом число, обратное множителю, стоящему перед в выражении для данного угла, является единственным числом символа Шлефли правильного (возможно, звёздчатого) многоугольника с внешним углом, равным данному.

0° = 0 (rad)[править | править код]

1,5°=(1/120)π (rad)[править | править код]

1,875°=(1/96)π (rad)[править | править код]

2,25°=(1/80)π (rad)[править | править код]

2,8125°=(1/64)π (rad)[править | править код]

3°=(1/60)π (rad)[править | править код]

3,75°=(1/48)π (rad)[править | править код]

4,5°=(1/40)π (rad)[править | править код]

5,625°=(1/32)π (rad)[править | править код]

6°=(1/30)π (rad)[править | править код]

7,5°=(1/24)π (rad)[править | править код]

9°=(1/20)π (rad)[править | править код]

11,25°=(1/16)π (rad)[править | править код]

12°=(1/15)π (rad)[править | править код]

15°=(1/12)π (rad)[править | править код]

18°=(1/10)π (rad)[1][править | править код]

21°=(7/60)π (rad)[править | править код]

22,5°=(1/8)π (rad)[править | править код]

, серебряное сечение

24°=(2/15)π (rad)[править | править код]

27°=(3/20)π (rad)[править | править код]

30°=(1/6)π (rad)[править | править код]

33°=(11/60)π (rad)[править | править код]

36°=(1/5)π (rad)[править | править код]

[1]
где  — золотое сечение;

39°=(13/60)π (rad)[править | править код]

42°=(7/30)π (rad)[править | править код]

45°=(1/4)π (rad)[править | править код]

54°=(3/10)π (rad)[править | править код]

60°=(1/3)π (rad)[править | править код]

67,5°=(3/8)π (rad)[править | править код]

72°=(2/5)π (rad)[править | править код]

где  — золотое сечение;

75°=(5/12)π (rad)[править | править код]

90°=(1/2)π (rad)[править | править код]

Список значений тригонометрических функций от аргумента, равного 2π/n[править | править код]

Приведены только формулы, не использующие корней степени больше . Так как (по теореме Муавра) в множестве комплексных чисел извлечение корня целой степени n приводит к n различным значениям, то для корней 3-й и 5-й степеней от невещественных чисел, появляющихся в этом разделе ниже, следует брать главное значение, равное корню с наибольшей действительной частью: она всегда положительна. Следовательно, суммы корней 3-й или 5-й степени от комплексно сопряжённых чисел, появляющиеся в таблице, тоже положительны. Тангенс приведён в тех случаях, когда его можно записать сильно проще, чем отношение записей синуса и косинуса.

В некоторых случаях ниже используются два числа , обладающие таким свойством, что .

Доказательство[править | править код]

Одно из общих и наглядных методов вывести формулы для (n и o — целые числа) — это решить уравнение xn = 1, то есть найти комплексные корни из 1. При этом сами косинус и синус равны и соответственно. Данный метод обосновывается теоремой Муавра:

если модуль, а — аргумент комплексного числа, то все корни целой степени от выражаются числами где пробегает множество целых чисел

В свою очередь, эта теорема доказывается утверждением, что при умножении комплексных чисел их модули умножаются, а аргументы — складываются (последнее равносильно тригонометрическим тождествам для суммы):

Среди корней натуральной степени n из 1 есть те, которые не являются корнями никакой другой натуральной степени m < n из 1, — они называются первообразными, или примитивными, корнями n-й степени из 1. А многочлен, в качестве своих корней содержащий только примитивные радикалы из 1, причём с единичной кратностью, называется круговым. Для корней n-й степени из 1 степень кругового многочлена равна φ(n), где φ — функция Эйлера, и обязательно чётна при n ≥ 3, поскольку при n ≥ 3 все первообразные корни (среди которых уже нет ±1) невещественны и образуют комплексно сопряжённые пары.

При n ≥ 2 круговой полином является симметричным, то есть все его коэффициенты отражаются относительно степени φ(n)/2. Если n ≥ 3, то, чтобы решить уравнение с круговым многочленом sφ(n)(x) = 0 чётной степени φ(n), симметричный полином sφ(n)(x) надо разделить на xφ(n)/2, а затем сгруппировать по степеням числа x + 1/x (это возможно из-за симметричности), которое, как совпадение, и оказывается искомым косинусом, умноженным на 2.

Пример 1: n = 3[править | править код]

Способ 1 — решение уравнения 2-й степени по общему методу[править | править код]

Полином раскладывается на круговые множители и у первого из каких корень равен 1, а второй является полиномом 2-й степени. И в общем случае, чтобы решить квадратное уравнение, надо поделить многочлен на старший коэффициент (здесь он равен 1), а затем выделить точный квадрат так, чтобы избавиться от слагаемого-одночлена той степени, которая меньше степени полинома на 1, — то есть привести многочленное уравнение к каноническому виду:

(канонический вид).

В итоге в совокупности с уравнением получается, что

или

Способ 2 — сведение уравнения к уравнению 1-й степени[править | править код]

Вместо того, чтобы решать уравнение как квадратное, симметричный многочлен можно поделить на x, сгруппировать относительно x + 1/x, учитывая, что x + 1/x — это искомый косинус, умноженный на 2:

Пример 2: n = 5[править | править код]

Круговой полином равен и, чтобы найти его корни, его нужно поделить на x2, сгруппировать по степеням x + 1/x (сведя к квадратному полиному) и приравнять 0:

(искомый косинус, умноженный на 2),

Пример 3: n = 7[править | править код]

Условные обозначения. Обозначим как

Шаг 1 — приведение уравнения к канонической форме[править | править код]

Проведя с круговым многочленом преобразования, аналогичные каким представлены для n = 5, получаем уравнение 3-й степени Далее, как и в случае с квадратным уравнением, это уравнение нужно привести к каноническому виду, то есть поделить обе части уравнения на старший коэффициент (единицу) и затем выделить точный куб, избавившись от слагаемого той степени, которая меньше степени многочлена на 1:

(каноническая форма).

Шаг 2 — метод дель Ферро[править | править код]

Метод решения канонических кубических уравнений вошёл в историю под именем Джероламо Кардано, но впервые был открыт Сципионом дель Ферро. Он заключается в следующем: заменим искомую переменную () на сумму :

а затем зададим между v и w такую зависимость, чтобы уравнение можно было свести к менее чем 3-й степени. Тогда оказывается, что в числе множитель надо приравнять нулю. В таком случае и (сам косинус), а само кубическое уравнение сокращается до квадратного:

а с учётом главных значений кубических корней получается:

где

где o = 1 (o = 6) соответствует m = 0, o = 2 (o = 5) — m = 1, а o = 3 (o = 4) — m = 2.

Шаг 3 — синус[2][править | править код]

Синус лучше всего искать не по основному тригонометрическому тождеству, а по формуле половинного угла иначе появятся квадраты чисел и упрощение станет неочевидное. В итоге все примитивные корни 7-й степени из 1 равны

где

Пример 4: n = 32 = 9[править | править код]

Условное обозначение. Обозначим как

Число 9 раскладывается на простые множители как 32, так что многочлен можно разложить на круговые множители как Корни последнего из них представляют собой корни 3-й степени из чисел (корней многочлена ), которые, в свою очередь, являются первообразными корнями 3-й степени из 1, то есть первообразные корни 9-й степени из 1 равны

где

Тогда (с учётом главных значений кубических корней) «первообразные» косинусы и синусы выражаются как

Пример 5: n = 2 · 7 = 14[править | править код]

Условное обозначение:

У полинома круговые множители таковы:

  • (круговой полином для 1-й степени);
  • (круговой полином для 2-й степени);
  • (для 7-й степени);
  • (для 14-й степени).

Корни полинома точно противоположны корням полинома (это можно доказать с помощью замены переменной на противоположную ей или по теореме Виета) и, следовательно, выглядят так:

где

Пример 6: n = 3 · 5 = 15[править | править код]

Круговой многочлен не очень прост, и вместо того, чтобы искать его корни, лучше разложить угол (o — целое число) как сумму где o1 и o2 — некоторые целые числа.

Примечание. В отличие от 15, в факторизации числа 9 участвует один и тот же множитель двойной кратности — и в отличие от угол не всегда можно разложить в виде (o, o1 и o2 — целые числа).

Разложив угол на сумму углов, можно вычислять косинус и синус:

Например, если o = 1, то в качестве o1 и o2 можно выбрать −1 и 2 соответственно. Тогда

Пример 7: n = 17[править | править код]

Шаг 1[править | править код]

Поскольку данное число Ферма является простым, то, как и в случае n = 3, n = 5 и n = 7, в первую очередь нужно круговой полином поделить на x8 и заменить на некоторую переменную b = x + 1/x ― получим

Условное обозначение. Обозначим корни многочлена как

Шаг 2[3][править | править код]

Корни полинома лучше всего найти не через его коэффициенты, а пользуясь тем, что его корни ― удвоенные косинусы. Для этого нужно некоторым образом распределить все его корни по двум суммам S1 и S2, найти S1 + S2 и S1S2 и по теореме Виета вывести для S1 и S2 уравнение, решив которое и получим S1 и S2.

Если поточнее, корни полинома нужно распределять по степеням двойки:

Сумма S1 + S2 равна сумме всех корней а значит, по теореме Виета равна −1, а произведение находится по формуле косинуса произведения

(по формуле косинуса произведения)

Тогда получается квадратное уравнение с корнями причём они распределяются так:

Шаг 3[править | править код]

Слагаемые, заключённые в S1 и S2, снова надо распределить пополам по суммам, причём по степеням четвёрки — и образуются четыре числа:

Сумма (где m пробегает множество {1, 2}) равна а произведение (по той же формуле ) равно −1 (при m = 1 и при m = 2), а значит, здесь по теореме Виета мы получаем квадратное уравнение для T:

Шаг 4[править | править код]

Во 2-м и 3-м этапах мы каждый раз «дробили» суммы пополам. Здесь мы сделаем то же самое и таким образом уже дойдём до самих корней (чисел bo/17). Суммы равны:

а соответствующие произведения:

Составив все требуемые квадратные уравнения, получаем искомые косинусы:

  • или  —
  • или  —
  •  —
  •  —

где .

Пример 8: n = 13[править | править код]

Нужно круговой полином поделить на x6 и заменить x + 1/x на некоторую переменную b ― получается полином Между 7-м примером (n = 17) и данным (n = 13) есть некоторые сходства: во-первых, 13 и 17 оба простые числа, а во-вторых, степени многочленов (который соответствует n = 13) и (n = 17) являются составными числами — поэтому возникает такое подозрение, что корни полинома нужно найти по тому же принципу, какой был в 7-м примере: причём здесь нужно сначала вывести и решить квадратное уравнение, а лишь потом — кубическое.

Условное обозначение. Обозначим корни полинома как

Шаг 1[править | править код]

Распределим все шесть корней указанного полинома по двум суммам S1, S2 и по степеням тройки:

и вычислим следующие величины с помощью тождества

получив уравнение , решив которое получаем:

Шаг 2[править | править код]

S1 и S2 известны — теперь с помощью них нужно вывести кубические уравнения относительно b. Для демонстрации выберем, например, корни, входящие в сумму S1. Тогда нужно найти следующие величины:

чтобы по теореме Виета получить уравнение. Если в совокупности с корнями, входящими в S1, включить корни, входящие в S2, — в результате получится уравнение .

Шаг 3 — приведение к канонической форме[править | править код]

(каноническая форма)

(чтобы в ответе знаменатель сразу был вынесен из-под корня).

Шаг 4 — решение канонического уравнения[править | править код]

где m пробегает {0, 1, 2}, а

Прочее[править | править код]

Использование для вычисления других констант[править | править код]

Например, объём правильного додекаэдра с длиной ребра может быть задан формулой:

Если использовать выражения

формулу можно упростить до

Вывод через треугольники[править | править код]

Правильный n-угольник и его фундаментальный прямоугольный треугольник. Углы: a = 180°/n, b =90(1 − 2/n

Вывод значений синуса, косинуса и тангенса в радикальную форму базируется на возможности построения при помощи циркуля и линейки правильных многоугольников.

Здесь прямоугольные треугольники, сделанные сечениями по осям симметрии правильных многоугольников, используются для вычисления фундаментальных тригонометрических соотношений. В каждом из прямоугольных треугольников вершинами являются:

  • Центр многоугольника
  • Вершина многоугольника
  • Середина стороны, содержащей эту вершину

Правильный n-угольник можно разделить на 2n треугольников с углами 180/n, 90 − 180/n, 90 градусов для n, большего или равного 3. Возможность построения при помощи циркуля и линейки треугольника, квадрата, пяти- и пятнадцатиугольника — в базе, биссектрисы углов также позволяют быть выведенными многоугольники с числом сторон, равным степени двойки, умноженным на число сторон данного многоугольника.

Есть и ещё правильные многоугольники, которые можно построить при помощи циркуля и линейки: 17, 51, 85, 255, 257, 353, 449, 641, 1409, 2547, …, 65535, 65537, 69481, 73697, …, 4294967295.)
  • Нельзя построить при помощи циркуля и линейки (с полуградусными или целыми углами) — Для получаемых соотношений сторон треугольников нет конечных радикальных форм, включающих действительные числа, а значит, многоугольники с числом сторон, равным степени двойки, умноженным на число сторон данного многоугольника, не могут быть выведены.

Подсчитанные значения синуса и косинуса[править | править код]

Тривиальные величины[править | править код]

Синус и косинус 0, 30, 45, 60 и 90 градусов могут быть вычислены из соответственных прямоугольных треугольников по теореме Пифагора.

При использовании радианов, синус и косинус / 2n могут быть выражены в радикальной форме при помощи рекурсивного применения следующих формул:

; т.д.
; т.д.

Например:

;
;
;
;
;

и т. д.

Радикальная форма, синус и косинус /(3 × 2n)[править | править код]

;
;
;
;
;
;

и т. д.

Радикальная форма, синус и косинус /(5 × 2n)[править | править код]

(Поэтому )
;
;
;
;
;

и т. д.

Радикальная форма, синус и косинус /(5 × 3 × 2n)[править | править код]

;
;
;
;
;

и т. д.

Радикальная форма, синус и косинус /(17 × 2n)[править | править код]

Если и , то

Затем, используя индукцию, получаем, что

;

Радикальная форма, синус и косинус /(257 × 2n); /(65537 × 2n)[править | править код]

Индукция, применённая выше, может быть применена точно так же к любым простым числам Ферма (F3=223+1=28+1=257; F4=224+1=216+1=65537), кратные чьи значения синуса и косинуса в радикальной форме существуют, но чересчур длинны, чтобы их здесь привести.

;
;

Радикальная форма, синус и косинус /(255 × 2n), /(65535 × 2n); /(4294967295 × 2n)[править | править код]

D = 232 — 1 = 4294967295 — самый большой известный на данный момент нечётный целый знаменатель, для которого радикальные формы sin(/D) и cos (/D) известны. Используя радикальные формы величин из разделов выше, и применяя правило по индукции, получаем -

;
;

Следовательно, используя радикальные формы величин из разделов выше, и применяя правило по индукции, получаем -

;
;

И наконец, используя радикальные формы величин из разделов выше, и применяя правило по индукции, получаем -

;
;

Радикальная форма раскрытия, приведённого выше, очень велика, следовательно, выражена проще (как выше).

n × π/(5 × 2m)[править | править код]

Хорда(36°) = a/b = 1/φ, то есть, числу, обратному золотому сечению, из неравенства Птолемея

Геометрический метод[править | править код]

Применяя неравенство Птолемея ко вписанному четырёхугольнику ABCD, определённому четырьмя последовательными вершинами пятиугольника, находим, что:

что равно обратному числу 1/φ по отношению к золотому сечению. crd — функция длины хорды,

А значит,

(Также можно обойтись и без неравенства Птолемея. Обозначим за X пересечение AC и BD, и заметим, что треугольник AXB равнобедренный, а значит, AX = AB = a. Треугольники AXD и CXB подобны, так как AD параллельно BC. Значит, XC = a·(a/b). Но AX + XC = AC, а значит, a + a2/b = b. Решив полученное, имеем, что a/b = 1/φ, как и получено ранее).

Точно так же

а значит,

Алгебраический метод[править | править код]

Если θ равно 18° или −54°, то 2θ и 3θ сводятся к 5θ = 90° или −270°, значит, .

Далее, , что значит

Следовательно,

и и
и

Также формулы кратного угла для функций от 5x, где x ∈ {18, 36, 54, 72, 90} и 5x ∈ {90, 180, 270, 360, 450}, могут быть решены для функций от x, так как мы знаем значения функций от 5x. Далее следуют формулы кратного угла:

  • Если sin 5x = 0 или cos 5x = 0, обозначим y = sin x или y = cos x и решим уравнение для y:
Один из корней равен 0, так что полученное уравнение четвёртой степени может быть решено как квадратное для y2.
  • Если же sin 5x = 1 или cos 5x = 1, опять-таки обозначим y = sin x или y = cos x и решим уравнение для y:
что мы рассматриваем как:

n × /20[править | править код]

9° = 45 − 36 и 27° = 45 − 18; так что можно использовать формулу разности для синуса и косинуса.

n × /30[править | править код]

6° = 36 − 30, 12° = 30 − 18, 24° = 54 − 3, и 42° = 60 − 18; так что можно использовать формулу разности для синуса и косинуса.

n × /60[править | править код]

3° = 18 − 15, 21° = 36 − 15, 33° = 18 + 15 и 39° = 54 − 15, так что можно использовать формулу разности (или суммы) для синуса и косинуса.

Способы упрощения выражений[править | править код]

Рационализация знаменателя[править | править код]

  • Если знаменатель является корнем натуральной степени n > 1, числитель и знаменатель нужно умножить на этот радикал в степени n − 1: .
  • В общем случае если знаменатель — алгебраическое число второй степени (комплексное число вида , где q и r рациональны), то числитель и знаменатель нужно умножить на сопряжённое ему число:
  • В некоторых случаях знаменатель нужно рационализировать больше одного раза:
  • А если знаменатель представляет собой алгебраическое число более чем второй степени, то лучше всего будет не умножать на сопряжённые числа (хотя это тоже имеет место), а найти минимальный многочлен этого алгебраического числа, выразить через него многочлен, одним из корней какого является число, обратное этому числу, и найти корни последнего.
    • Дано число Обратная к нему величина, умноженная на 2, является корнем многочлена (это было показано выше). Тогда сам секанс, делённый на 2, — корень многочлена , и в итоге

Превращение дроби в сумму (разность) двух (или более) дробей[править | править код]

Иногда помогает разбиение одной дроби на сумму нескольких и дальнейшее их упрощение по отдельности.

Возведение в квадрат и извлечение квадратного корня[править | править код]

Этот план может помочь, если выражение состоит из одного составного члена и в нём присутствует только один тип радикала. Возведите член в квадрат, сложите как члены и извлеките квадратный корень. Этот способ может оставить вложенные радикалы, но часто такое выражение проще первоначального.

Упрощение выражений с вложенными радикалами[править | править код]

В основном вложенные радикалы не упрощаются. Но если

где a, b и c — рациональные числа, получаем, что

рационально, затем оба выражения

рациональны; следовательно

Например,

См. также[править | править код]

Примечания[править | править код]

  1. 1 2 Bradie, Brian. Exact values for the sine and cosine of multiples of 18°: A geometric approach (англ.) // The College Mathematics Journal  (англ.) : magazine. — 2002. — September (vol. 33, no. 4). — P. 318—319. — doi:10.2307/1559057. — JSTOR 1559057.
  2. trigonometry - Method to find $\sin (2\pi/7)$. Mathematics Stack Exchange. Дата обращения: 30 марта 2021. Архивировано 28 сентября 2015 года.
  3. How to prove that [math]\cos\left(\frac{2\pi}{17}\right)=\frac{-1+\sqrt{17}+\sqrt{34-2\sqrt{17}}+2\sqrt{17+3\sqrt{17}-\sqrt{34-2\sqrt{17}}-2\sqrt{34+2\sqrt{17}}}}{16} [/math] - Quora. www.quora.com. Дата обращения: 3 апреля 2021.

Ссылки[править | править код]