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

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

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

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

По Шаблон:Нп5 у синуса с рациональным в градусах аргументом значение либо иррационально, либо равно одному из чисел среди 0, 12, 1, −12, −1.

По Шаблон:Нп5 если синус, косинус или тангенс в данной точке дают алгебраическое число, то их аргумент в градусах либо рационален, либо трансцендентен. Иначе говоря, если аргумент в градусах алгебраичен и иррационален, то значения всех тригонометрических функций от этого аргумента будут трансцендентны.

Критерии включения

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

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

sin⁡α2=1−cos⁡α2, cos⁡α2=1+cos⁡α2 и tg⁡α2=1−cos⁡α1+cos⁡α.

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

4cos3θ3−3cos⁡θ3=cos⁡θ,

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

Таблица некоторых часто встречающихся углов

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

1полный оборот=360∘=2π(rad)=400(gon).

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

Обороты Градусы Радианы Грады (гоны) Синус Косинус Тангенс
0 0° 0 0 0 1 0
Шаблон:Sfrac 30° Шаблон:Sfrac Шаблон:Sfrac Шаблон:Sfrac Шаблон:Sfrac Шаблон:Sfrac
Шаблон:Sfrac 45° Шаблон:Sfrac 50 Шаблон:Sfrac Шаблон:Sfrac 1
Шаблон:Sfrac 60° Шаблон:Sfrac Шаблон:Sfrac Шаблон:Sfrac Шаблон:Sfrac Шаблон:Sqrt
Шаблон:Sfrac 90° Шаблон:Sfrac 100 1 0
Шаблон:Sfrac 120° Шаблон:Sfrac Шаблон:Sfrac Шаблон:Sfrac −Шаблон:Sfrac −Шаблон:Sqrt
Шаблон:Sfrac 135° Шаблон:Sfrac 150 Шаблон:Sfrac −Шаблон:Sfrac −1
Шаблон:Sfrac 150° Шаблон:Sfrac Шаблон:Sfrac Шаблон:Sfrac −Шаблон:Sfrac −Шаблон:Sfrac
Шаблон:Sfrac 180° π 200 0 −1 0
Шаблон:Sfrac 210° Шаблон:Sfrac Шаблон:Sfrac −Шаблон:Sfrac −Шаблон:Sfrac Шаблон:Sfrac
Шаблон:Sfrac 225° Шаблон:Sfrac 250 −Шаблон:Sfrac −Шаблон:Sfrac 1
Шаблон:Sfrac 240° Шаблон:Sfrac Шаблон:Sfrac −Шаблон:Sfrac −Шаблон:Sfrac Шаблон:Sqrt
Шаблон:Sfrac 270° Шаблон:Sfrac 300 −1 0
Шаблон:Sfrac 300° Шаблон:Sfrac Шаблон:Sfrac −Шаблон:Sfrac Шаблон:Sfrac −Шаблон:Sqrt
Шаблон:Sfrac 315° Шаблон:Sfrac 350 −Шаблон:Sfrac Шаблон:Sfrac −1
Шаблон:Sfrac 330° Шаблон:Sfrac Шаблон:Sfrac −Шаблон:Sfrac Шаблон:Sfrac −Шаблон:Sfrac
1 360° 2π 400 0 1 0

Дальнейшие углы

Таблица значений синуса и косинуса углов с градусной мерой, кратной трём (от 0 до 45°).

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

0° = 0 (rad)

sin⁡0=0
cos⁡0=1
tg⁡0=0
ctg⁡0=∞

1,5°=(1/120)π (rad)

sin⁡(π120)=sin⁡(1.5∘)=(2+2)(15+3−10−25)−(2−2)(30−65+5+1)16
cos⁡(π120)=cos⁡(1.5∘)=(2+2)(30−65+5+1)+(2−2)(15+3−10−25)16

1,875°=(1/96)π (rad)

sin⁡(π96)=sin⁡(1.875∘)=122−2+2+2+3
cos⁡(π96)=cos⁡(1.875∘)=122+2+2+2+3

2,25°=(1/80)π (rad)

sin⁡(π80)=sin⁡(2.25∘)=122−2+2+5+52
cos⁡(π80)=cos⁡(2.25∘)=122+2+2+5+52

2,8125°=(1/64)π (rad)

sin⁡(π64)=sin⁡(2.8125∘)=122−2+2+2+2
cos⁡(π64)=cos⁡(2.8125∘)=122+2+2+2+2

3°=(1/60)π (rad)

sin⁡(π60)=sin⁡(3∘)=2(1−3)5+5+(10−2)(3+1)16
cos⁡(π60)=cos⁡(3∘)=2(1+3)5+5+(10−2)(3−1)16
tg⁡(π60)=tg⁡(3∘)=[(2−3)(3+5)−2][2−10−25]4
ctg⁡(π60)=ctg⁡(3∘)=[(2+3)(3+5)−2][2+10−25]4

3,75°=(1/48)π (rad)

sin⁡(π48)=sin⁡(3.75∘)=122−2+2+3
cos⁡(π48)=cos⁡(3.75∘)=122+2+2+3

4,5°=(1/40)π (rad)

sin⁡(π40)=sin⁡(4.5∘)=122−2+5+52
cos⁡(π40)=cos⁡(4.5∘)=122+2+5+52

5,625°=(1/32)π (rad)

sin⁡(π32)=sin⁡(5.625∘)=122−2+2+2
cos⁡(π32)=cos⁡(5.625∘)=122+2+2+2

6°=(1/30)π (rad)

sin⁡π30=sin⁡6∘=30−180−5−18
cos⁡π30=cos⁡6∘=10−20+3+158
tg⁡π30=tg⁡6∘=10−20+3−152
ctg⁡π30=ctg⁡6∘=27+15+50+24202

7,5°=(1/24)π (rad)

sin⁡(π24)=sin⁡(7.5∘)=122−2+3=148−26−22
cos⁡(π24)=cos⁡(7.5∘)=122+2+3=148+26+22
tg⁡(π24)=tg⁡(7.5∘)=6−3+2−2 =(2−1)(3−2)
ctg⁡(π24)=ctg⁡(7.5∘)=6+3+2+2 =(2+1)(3+2)

9°=(1/20)π (rad)

sin⁡π20=sin⁡9∘=122−5+52
cos⁡π20=cos⁡9∘=122+5+52
tg⁡π20=tg⁡9∘=5+1−5+25
ctg⁡π20=ctg⁡9∘=5+1+5+25

11,25°=(1/16)π (rad)

sin⁡π16=sin⁡11.25∘=122−2+2
cos⁡π16=cos⁡11.25∘=122+2+2
tg⁡π16=tg⁡11.25∘=4+22−2−1
ctg⁡π16=ctg⁡11.25∘=4+22+2+1

12°=(1/15)π (rad)

sin⁡π15=sin⁡12∘=18[2(5+5)+3−15]
cos⁡π15=cos⁡12∘=18[6(5+5)+5−1]
tg⁡π15=tg⁡12∘=12[33−15−2(25−115)]
ctg⁡π15=ctg⁡12∘=12[15+3+2(5+5)]

15°=(1/12)π (rad)

sin⁡π12=sin⁡15∘=14(6−2)=122−3
cos⁡π12=cos⁡15∘=14(6+2)=122+3
tg⁡π12=tg⁡15∘=2−3
ctg⁡π12=ctg⁡15∘=2+3

18°=(1/10)π (rad)[1]

sin⁡π10=sin⁡18∘=14(5−1)
cos⁡π10=cos⁡18∘=142(5+5)
tg⁡π10=tg⁡18∘=155(5−25)
ctg⁡π10=ctg⁡18∘=5+25

21°=(7/60)π (rad)

sin⁡7π60=sin⁡21∘=116(2(3+1)5−5−(6−2)(1+5))
cos⁡7π60=cos⁡21∘=116(2(3−1)5−5+(6+2)(1+5))
tg⁡7π60=tg⁡21∘=14(2−(2+3)(3−5))(2−2(5+5))
ctg⁡7π60=ctg⁡21∘=14(2−(2−3)(3−5))(2+2(5+5))

22,5°=(1/8)π (rad)

sin⁡π8=sin⁡22.5∘=122−2,
cos⁡π8=cos⁡22.5∘=122+2
tg⁡π8=tg⁡22.5∘=2−1
ctg⁡π8=ctg⁡22.5∘=2+1=δS, серебряное сечение

24°=(2/15)π (rad)

sin⁡2π15=sin⁡24∘=18[15+3−2(5−5)]
cos⁡2π15=cos⁡24∘=18(6(5−5)+5+1)
tg⁡2π15=tg⁡24∘=12[50+225−33−15]
ctg⁡2π15=ctg⁡24∘=12[15−3+2(5−5)]

27°=(3/20)π (rad)

sin⁡3π20=sin⁡27∘=18[25+5−2(5−1)]
cos⁡3π20=cos⁡27∘=18[25+5+2(5−1)]
tg⁡3π20=tg⁡27∘=5−1−5−25
ctg⁡3π20=ctg⁡27∘=5−1+5−25

30°=(1/6)π (rad)

sin⁡π6=sin⁡30∘=12
cos⁡π6=cos⁡30∘=32
tg⁡π6=tg⁡30∘=33=13
ctg⁡π6=ctg⁡30∘=3

33°=(11/60)π (rad)

sin⁡11π60=sin⁡33∘=116[2(3−1)5+5+2(1+3)(5−1)]
cos⁡11π60=cos⁡33∘=116[2(3+1)5+5+2(1−3)(5−1)]
tg⁡11π60=tg⁡33∘=14[2−(2−3)(3+5)][2+2(5−5)]
ctg⁡11π60=ctg⁡33∘=14[2−(2+3)(3+5)][2−2(5−5)]

36°=(1/5)π (rad)

[1]
sin⁡π5=sin⁡36∘=1410−25
cos⁡π5=cos⁡36∘=5+14=φ2, где φ — золотое сечение;
tg⁡π5=tg⁡36∘=5−25
ctg⁡π5=ctg⁡36∘=1525+105

39°=(13/60)π (rad)

sin⁡13π60=sin⁡39∘=116[2(1−3)5−5+2(3+1)(5+1)]
cos⁡13π60=cos⁡39∘=116[2(1+3)5−5+2(3−1)(5+1)]
tg⁡13π60=tg⁡39∘=14[(2−3)(3−5)−2][2−2(5+5)]
ctg⁡13π60=ctg⁡39∘=14[(2+3)(3−5)−2][2+2(5+5)]

42°=(7/30)π (rad)

sin⁡7π30=sin⁡42∘=30+65−5+18
cos⁡7π30=cos⁡42∘=15−3+10+258
tg⁡7π30=tg⁡42∘=15+3−10+252
ctg⁡7π30=ctg⁡42∘=50−225+33−152

45°=(1/4)π (rad)

sin⁡π4=sin⁡45∘=22=12
cos⁡π4=cos⁡45∘=22=12
tg⁡π4=tg⁡45∘=1
ctg⁡π4=ctg⁡45∘=1

54°=(3/10)π (rad)

sin⁡3π10=sin⁡54∘=5+14
cos⁡3π10=cos⁡54∘=10−254
tg⁡3π10=tg⁡54∘=25+1055
ctg⁡3π10=ctg⁡54∘=5−20

60°=(1/3)π (rad)

sin⁡π3=sin⁡60∘=32
cos⁡π3=cos⁡60∘=12
tg⁡π3=tg⁡60∘=3
ctg⁡π3=ctg⁡60∘=33=13

67,5°=(3/8)π (rad)

sin⁡3π8=sin⁡67.5∘=122+2
cos⁡3π8=cos⁡67.5∘=122−2
tg⁡3π8=tg⁡67.5∘=2+1
ctg⁡3π8=ctg⁡67.5∘=2−1

72°=(2/5)π (rad)

sin⁡2π5=sin⁡72∘=142(5+5)
cos⁡2π5=cos⁡72∘=14(5−1)=φ−12, где φ — золотое сечение;
tg⁡2π5=tg⁡72∘=5+25
ctg⁡2π5=ctg⁡72∘=155(5−25)

75°=(5/12)π (rad)

sin⁡5π12=sin⁡75∘=14(6+2)
cos⁡5π12=cos⁡75∘=14(6−2)
tg⁡5π12=tg⁡75∘=2+3
ctg⁡5π12=ctg⁡75∘=2−3

90°=(1/2)π (rad)

sin⁡π2=sin⁡90∘=1
cos⁡π2=cos⁡90∘=0
tg⁡π2=tg⁡90∘=∞
ctg⁡π2=ctg⁡90∘=0

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

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

В некоторых случаях ниже используются два числа ω3=−1+i32,ω5=14(−1+5+i10+25), обладающие таким свойством, что ω33=ω55=1. nsin⁡(2πn)cos⁡(2πn)tg⁡(2πn)101020−103123−12−3410±∞514(10+25)14(5−1)5+2561231237163(7−ω3‾7+21i323−ω37−21i323)16(−1+7+21i323+7−21i323)812212219i2(ω3‾3−ω33)12(ω33+ω3‾3)1014(10−25)14(5+1)5−25111212123133131126(13−13−4(26−513−3i39)3−4(26−513+3i39)3)112(−1+13+4(26−513−3i39)3+4(26−513+3i39)3)14163(7−7+21i323−7−21i323)16(1−ω37+21i323−ω3‾7−21i323)1518(15+3−10−25)18(1+5+30−65)12(−33−15+50+225)1612(2−2)12(2+2)2−117116(−1+17+34−217+217+317−34−217−234+217)18i2(−ω33−−ω3‾3)12(−ω33+−ω3‾3)192014(5−1)14(10+25)15(25−105)2122232414(6−2)14(6+2)2−325i2(ω5‾5−ω55)12(ω55+ω5‾5)

Доказательство

Одно из общих и наглядных методов вывести формулы для x=cos⁡2πon+isin⁡2πon (n и o — целые числа) — это решить уравнение xn = 1, то есть найти комплексные корни из 1. При этом сами косинус и синус равны x+1/x2 и x−1/x2i соответственно. Данный метод обосновывается теоремой Муавра:

если r>0 — модуль, а α∈ℝ — аргумент комплексного числа, то все корни целой степени n≠0 от r(cos⁡α+isin⁡α) выражаются числами rn[cos⁡(αn+2πon)+isin⁡(αn+2πon)], где o пробегает множество целых чисел ℤ.

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

[r(cos⁡α+isin⁡α)]⋅[s(cos⁡β+isin⁡β)]=(rs)⋅[cos⁡(α+β)+isin⁡(α+β)].

Среди корней натуральной степени 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-й степени по общему методу

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

x2+x=−1,

(x+12)2=−34,

(x+12)2+34=0 (канонический вид).

В итоге в совокупности с уравнением x−1=0 получается, что

x=1 или x=−1±3i2.

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

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

(x+1x)+1=0,

x+1x=−1,

x=−1±3i2.

Пример 2: n = 5

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

x2+x+1+x−1+x−2=0,

(x+1x)2+(x+1x)−1=0,

x+1x=−1±52 (искомый косинус, умноженный на 2),

x=−1±154±2i410±125.

Пример 3: n = 7

Условные обозначения. Обозначим cos⁡2πn+isin⁡2πn как ωn.

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

Проведя с круговым многочленом x6+x5+x4+x3+x2+x+1 преобразования, аналогичные каким представлены для n = 5, получаем уравнение 3-й степени (x+1x)3+(x+1x)2−2(x+1x)−1=0. Далее, как и в случае с квадратным уравнением, это уравнение нужно привести к каноническому виду, то есть поделить обе части уравнения на старший коэффициент (единицу) и затем выделить точный куб, избавившись от слагаемого той степени, которая меньше степени многочлена на 1:

(x+1x)3+(x+1x)2=2(x+1x)+1,

[(x+1x)+13]3=73[(x+1x)+13]+727,

(x+13+1x)3−73(x+13+1x)−727=0 (каноническая форма).

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

(v3+3v2w+3vw2+w3)−73(v+w)−727=0,

а затем зададим между v и w такую зависимость, чтобы уравнение можно было свести к менее чем 3-й степени. Тогда оказывается, что в числе 3v2w+3vw2−73(v+w)=(3vw−73)(v+w) множитель 3vw−73 надо приравнять нулю. В таком случае w=79v и 12(x+x−1)=12(−13+v+w)=12(−13+v+79v) (сам косинус), а само кубическое уравнение сокращается до квадратного:

v3−733+7336v−3=0,

v3=72⋅33±i7336−722236=7±7i227−12⋅33=7±21i32⋅33,

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

v=ω3m37±21i323,79v=ω3−m37∓21i323, где m∈ℤ,

cos⁡2πo7=16(−1+ω3−m7+21i323+ω3m7−21i323),

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

Шаг 3 — синус[2]

Синус лучше всего искать не по основному тригонометрическому тождеству, а по формуле половинного угла sin⁡2πo7=±12−12cos⁡4πo7, иначе появятся квадраты чисел 12(7±21i3)3, и упрощение станет неочевидное. В итоге все примитивные корни 7-й степени из 1 равны

16[−1+w+w‾±i3(7−ω3‾w−ω3w‾)],

где 2w3=7+21i3.

Пример 4: n = 32 = 9

Условное обозначение. Обозначим cos⁡2πn+isin⁡2πn как ωn.

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

x=ω3mω3±13, где m∈{0,1,2}.

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

12(x+1x)=12(ω3mω3±13+ω3−mω3∓13),

12i(x−1x)=i2(ω3−mω3∓13+ω3mω3±13),

Пример 5: n = 2 · 7 = 14

Условное обозначение: ωn:=cos⁡2πn+isin⁡2πn.

У полинома x14−1=(x7−1)(x7+1) круговые множители таковы:

  • x−1 (круговой полином для 1-й степени);
  • x+1 (круговой полином для 2-й степени);
  • x6+x5+x4+x3+x2+x+1 (для 7-й степени);
  • x6−x5+x4−x3+x2−x+1 (для 14-й степени).

Корни полинома x6−x5+x4−x3+x2−x+1 точно противоположны корням полинома x6+x5+x4+x3+x2+x+1 (это можно доказать с помощью замены переменной на противоположную ей или по теореме Виета) и, следовательно, выглядят так:

16[1−w−w‾±i3(7−ω3‾y−ω3w‾)],

где 2w3=7+21i3.

Пример 6: n = 3 · 5 = 15

Круговой многочлен x8−x7+x5−x4+x3−x+1 не очень прост, и вместо того, чтобы искать его корни, лучше разложить угол 2πo3⋅5 (o — целое число) как сумму 2π3o1+2π5o2, где o1 и o2 — некоторые целые числа.

Примечание. В отличие от 15, в факторизации числа 9 участвует один и тот же множитель двойной кратности — и в отличие от 2πo3⋅5 угол 2πo32 не всегда можно разложить в виде 2πo13+2πo23 (o, o1 и o2 — целые числа).

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

cos⁡(2πo13+2πo25)+isin⁡(2πo13+2πo25)=

=(cos⁡2πo13+isin⁡2πo13)(cos⁡2πo25+isin⁡2πo25)=

=(−1+i32)o1[14(−1+5+i10+25)]o2.

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

cos⁡2π15+isin⁡2π15=18(−1−i3)(−1−5+i10−25)=

=18[1+5+30−65+i(3+15−10−25)].

Пример 7: n = 17

Шаг 1

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

Условное обозначение. Обозначим корни многочлена b8+b7+⋯−4b+1 как bo/17=2cos⁡2πo17.

Шаг 2[3]

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

Если поточнее, корни полинома b8+b7+⋯−4b+1 нужно распределять по степеням двойки:

  • S1=b20/17+b21/17+b22/17+b23/17=b1/17+b2/17+b4/17+b8/17;
  • S2=b3⋅20/17+b3⋅21/17+b3⋅22/17+b3⋅23/17=b3/17+b6/17+b5/17+b7/17.

Сумма S1 + S2 равна сумме всех корней b8+b7+⋯−4b+1, а значит, по теореме Виета равна −1, а произведение находится по формуле косинуса произведения (2cos⁡α)(2cos⁡β)=[2cos⁡(α+β)]+[2cos⁡(±α∓β)]:

(b1/17+b2/17+b4/17+b8/17)(b3/17+b6/17+b5/17+b7/17)=

=(b1/17b3/17)+⋯+(b8/17b7/17)⏟16 слагаемых=(b4/17+b2/17)+⋯+(b15/17+b1/17)⏟32 слагаемых, включая внутри скобок (по формуле косинуса произведения)

=2(b1/17+b2/17+⋯+b15/17+b16/17)⏟16 слагаемых=4(S1+S2)=−4.

Тогда получается квадратное уравнение S2+S−4=0 с корнями −1±172, причём они распределяются так:

  • S1=b1/17+b2/17+b4/17+b8/17=−1+172;
  • S2=b3/17+b6/17+b5/17+b7/17=−1−172.

Шаг 3

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

  • T1.1=b20/17+b22/17=b1/17+b4/17;
  • T1.2=b21/17+b23/17=b2/17+b8/17;
  • T2.1=b3⋅20/17+b3⋅22/17=b3/17+b5/17;
  • T2.2=b3⋅21/17+b3⋅23/17=b6/17+b7/17.

Сумма Tm.1+Tm.2 (где m пробегает множество {1, 2}) равна Sm=−1±172, а произведение Tm.1Tm.2 (по той же формуле cos⁡αcos⁡β=12[cos⁡(α+β)+cos⁡(±α∓β)]) равно −1 (при m = 1 и при m = 2), а значит, здесь по теореме Виета мы получаем квадратное уравнение Tm2−SmTm−1=0 для T:

  • T1.1=14(−1+17+34−217);
  • T1.2=14(−1+17−34−217);
  • T2.1=14(−1−17+34+217);
  • T2.2=14(−1−17−34+217).

Шаг 4

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

  • b1/17+b4/17=T1.1;
  • b2/17+b8/17=T1.2;
  • b3/17+b5/17=T2.1;
  • b6/17+b7/17=T2.2,

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

  • b1/17b4/17=b5/17+b3/17=T2.1;
  • b2/17b8/17=b10/17+b6/17=T2.2;
  • b3/17b5/17=b8/17+b2/17=T1.2;
  • b6/17b7/17=b13/17+b1/17=T1.1.

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

  • b1/17/2 или b4/17/2 — 116(16−N+2N±22M−N−2N−22M);
  • b2/17/2 или b8/17/2 — 116(16−N−2N±22M−N+2N+22M);
  • b3/17/2,b5/17/2 — 116(16−M+2M±22N−M−2M+22N);
  • b6/17/2,b7/17/2 — 116(16−M−2M±22N−M+2M−22N);

где M=17+17,N=17−17.

Пример 8: n = 13

Нужно круговой полином x12+⋯+x+1 поделить на x6 и заменить x + 1/x на некоторую переменную b ― получается полином b6+b5−5b4−4b3+6b2+3b−1. Между 7-м примером (n = 17) и данным (n = 13) есть некоторые сходства: во-первых, 13 и 17 оба простые числа, а во-вторых, степени многочленов b6+b5−5b4−4b3+6b2+3b−1 (который соответствует n = 13) и b8+b7+⋯−4b+1 (n = 17) являются составными числами — поэтому возникает такое подозрение, что корни полинома b6+b5−5b4−4b3+6b2+3b−1 нужно найти по тому же принципу, какой был в 7-м примере: причём здесь нужно сначала вывести и решить квадратное уравнение, а лишь потом — кубическое.

Условное обозначение. Обозначим корни полинома b6+b5−5b4−4b3+6b2+3b−1 как bo/13=2cos⁡2πo13.

Шаг 1

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

  • S1=x30/13+x31/13+x32/13=x1/13+x3/13+x4/13;
  • S2=x2⋅30/13+x2⋅31/13+x2⋅32/13=x2/13+x6/13+x5/13

и вычислим следующие величины с помощью тождества (2cos⁡α)(2cos⁡β)=[2cos⁡(α+β)]+[2cos⁡(±α∓β)]:

  • S1+S2=−1;
  • S1S2=(b1/13+b3/13+b4/13)(b2/13+b6/13+b5/13)=b1/13b2/13+b1/13b6/13+b1/13b5/13+b3/13b2/13+b3/13b6/13+b3/13b5/13+b4/13b2/13+b4/13b6/13+b4/13b5/13=(b3/13+b1/13)+(b7/13+b5/13)+(b6/13+b4/13)+(b5/13+b1/13)+(b9/13+b3/13)+(b8/13+b2/13)+(b6/13+b2/13)+(b10/13+b2/13)+(b9/13+b1/13)=3(b1/13+b2/13+b3/13+b4/13+b5/13+b6/13)=3(S1+S2)=−3,

получив уравнение S2+S−3=0, решив которое получаем: S1=b1/13+b3/13+b4/13=−1+132, S2=b2/13+b6/13+b5/13=−1−132.

Шаг 2

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

  • b1/13+b3/13+b4/13=S1=−1+132;
  • b1/13b3/13+b3/13b4/13+b4/13b1/13=b4/13+b2/13+b7/13+b1/13+b5/13+b3/13=S1+S2=−1;
  • b1/13b3/13b4/13=(b4/13+b2/13)b4/13=b4/132+b2/13b4/13=(2+b8/13)+(b6/13+b2/13)=2+S2=3−132,

чтобы по теореме Виета получить уравнение. Если в совокупности с корнями, входящими в S1, включить корни, входящие в S2, — в результате получится уравнение b3−−1±132b2−b+−3±132=0.

Шаг 3 — приведение к канонической форме

(b−−1±136)3+−13±136(b−1±136)+−26±51327=0 (каноническая форма) |⋅63,

[6b−(−1±13)]3+6(−13±13)[6b−(−1±13)]+8(−26±513)=0 (чтобы в ответе знаменатель сразу был вынесен из-под корня).

Шаг 4 — решение канонического уравнения

6b−(−1±13)=ω3m−8(−26±513)2−8(−26±513)22+6(−13±13)333+ω3−m−8(−26±513)2+8(−26±513)22+6(−13±13)333=ω3m4(26∓513−3i39)3+ω3−m4(26∓513+3i39)3,

где m пробегает {0, 1, 2}, а ωn=cos⁡2πn+isin⁡2πn.

Прочее

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

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

V=5a3cos⁡36∘tan236∘.

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

cos⁡36∘=5+14,
tan⁡36∘=5−25,

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

V=a3(15+75)4.

Вывод через треугольники

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

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

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

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

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

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

Подсчитанные значения синуса и косинуса

Тривиальные величины

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

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

2cos⁡θ=2+2cos⁡2θ=2+2+2cos⁡4θ=2+2+2+2cos⁡8θ; т.д.
2sin⁡θ=2−2cos⁡2θ=2−2+2cos⁡4θ=2−2+2+2cos⁡8θ; т.д.

Например:

cos⁡π21=02
cos⁡π22=2+02; sin⁡π22=2−02
cos⁡π23=2+22; sin⁡π23=2−22
cos⁡π24=2+2+22; sin⁡π24=2−2+22
cos⁡π25=2+2+2+22; sin⁡π25=2−2+2+22
cos⁡π26=2+2+2+2+22; sin⁡π26=2−2+2+2+22

и т. д.

Радикальная форма, синус и косинус Шаблон:Sfrac

cos⁡2π3=−12
cos⁡π3×20=2−12; sin⁡π3×20=2+12
cos⁡π3×21=2+12; sin⁡π3×21=2−12
cos⁡π3×22=2+32; sin⁡π3×22=2−32
cos⁡π3×23=2+2+32; sin⁡π3×23=2−2+32
cos⁡π3×24=2+2+2+32; sin⁡π3×24=2−2+2+32
cos⁡π3×25=2+2+2+2+32; sin⁡π3×25=2−2+2+2+32

и т. д.

Радикальная форма, синус и косинус Шаблон:Sfrac

cos⁡2π5=5−14
cos⁡π5×20=5+14 (Поэтому 2+2cos⁡π5=2+1.25+0.5)
cos⁡π5×21=2.5+1.252; sin⁡π5×21=1.5−1.252
cos⁡π5×22=2+2.5+1.252; sin⁡π5×22=2−2.5+1.252
cos⁡π5×23=2+2+2.5+1.252; sin⁡π5×23=2−2+2.5+1.252
cos⁡π5×24=2+2+2+2.5+1.252; sin⁡π5×24=2−2+2+2.5+1.252
cos⁡π5×25=2+2+2+2+2.5+1.252; sin⁡π5×25=2−2+2+2+2.5+1.252

и т. д.

Радикальная форма, синус и косинус Шаблон:Sfrac

cos⁡π15×20=0.703125+1.875+0.3125−0.252
cos⁡π15×21=0.703125+1.875+0.3125+1.752; sin⁡π15×21=2.25−0.703125+1.875−0.31252
cos⁡π15×22=2+0.703125+1.875+0.3125+1.752; sin⁡π15×22=2−0.703125+1.875+0.3125+1.752
cos⁡π15×23=2+2+0.703125+1.875+0.3125+1.752; sin⁡π15×23=2−2+0.703125+1.875+0.3125+1.752
cos⁡π15×24=2+2+2+0.703125+1.875+0.3125+1.752; sin⁡π15×24=2−2+2+0.703125+1.875+0.3125+1.752
cos⁡π15×25=2+2+2+2+0.703125+1.875+0.3125+1.752; sin⁡π15×25=2−2+2+2+0.703125+1.875+0.3125+1.752

и т. д.

Радикальная форма, синус и косинус Шаблон:Sfrac

Если M=2(17+17) и N=2(17−17), то

cos⁡π17=M−4+2(N+2(2M−N+17N−N−8M))8.

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

cos⁡π17×20=30+217+136−817+272+4817+834−217×(17−1)−6434+2178;
cos⁡π17×2n+1=2+2cos⁡π17×2n2; sin⁡π17×2n+1=2−2cos⁡π17×2n2.

Радикальная форма, синус и косинус Шаблон:Sfrac; Шаблон:Sfrac

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

cos⁡π257×2n+1=2+2cos⁡π257×2n2; sin⁡π257×2n+1=2−2cos⁡π257×2n2;
cos⁡π65537×2n+1=2+2cos⁡π65537×2n2; sin⁡π65537×2n+1=2−2cos⁡π65537×2n2.

Радикальная форма, синус и косинус Шаблон:Sfrac, Шаблон:Sfrac; Шаблон:Sfrac

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

cos⁡π255×20=2+2cos⁡(π15−π17)2; sin⁡π255×20=2−2cos⁡(π15−π17)2;
cos⁡π255×2n+1=2+2cos⁡π255×2n2; sin⁡π255×2n+1=2−2cos⁡π255×2n2;

Следовательно, используя радикальные формы величин из разделов выше, и применяя правило cos⁡(a−b)=cos⁡a×cos⁡b+sin⁡a×sin⁡b по индукции, получаем -

cos⁡π65535×20=2+2cos⁡(π255−π257)2; sin⁡π65535×20=2−2cos⁡(π255−π257)2;
cos⁡π65535×2n+1=2+2cos⁡π65535×2n2; sin⁡π65535×2n+1=2−2cos⁡π65535×2n2.

И наконец, используя радикальные формы величин из разделов выше, и применяя правило cos⁡(a−b)=cos⁡a×cos⁡b+sin⁡a×sin⁡b по индукции, получаем -

cos⁡π4294967295×20=2+2cos⁡(π65535−π65537)2; sin⁡π4294967295×20=2−2cos⁡(π65535−π65537)2;
cos⁡π4294967295×2n+1=2+2cos⁡π4294967295×2n2; sin⁡π4294967295×2n+1=2−2cos⁡π4294967295×2n2.

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

Хорда(36°) = Шаблон:Sfrac = Шаблон:Sfrac, то есть, числу, обратному золотому сечению, из неравенства Птолемея

Геометрический метод

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

crd⁡36∘=crd⁡(∠ADB)=ab=21+5=5−12

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

crd⁡ θ=2sin⁡θ2.

А значит,

sin⁡18∘=11+5=5−14.

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

Точно так же

crd⁡ 108∘=crd⁡(∠ABC)=ba=1+52,

а значит,

sin⁡54∘=cos⁡36∘=1+54.

Алгебраический метод

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

(2sin⁡θ)cos⁡θ=sin⁡2θ=cos⁡3θ=4cos3θ−3cos⁡θ=(4cos2θ−3)cos⁡θ=(1−4sin2θ)cos⁡θ
Далее, 4sin2θ+2sin⁡θ−1=0, что значит sin⁡θ=sin⁡(18∘,−54∘)=−1±54.

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

sin⁡(18∘)=cos⁡(72∘)=5−14 и sin⁡(54∘)=cos⁡(36∘)=5+14 и
sin⁡(36∘)=cos⁡(54∘)=10−254 и sin⁡(72∘)=cos⁡(18∘)=10+254.

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

sin⁡5x=16sin5x−20sin3x+5sin⁡x,
cos⁡5x=16cos5x−20cos3x+5cos⁡x.
  • Если sin 5x = 0 или cos 5x = 0, обозначим y = sin x или y = cos x и решим уравнение для y:
16y5−20y3+5y=0.
Один из корней равен 0, так что полученное уравнение четвёртой степени может быть решено как квадратное для y2.
  • Если же sin 5x = 1 или cos 5x = 1, опять-таки обозначим y = sin x или y = cos x и решим уравнение для y:
16y5−20y3+5y−1=0,
что мы рассматриваем как:
(y−1)(4y2+2y−1)2=0.
9° = 45 − 36 и 27° = 45 − 18; так что можно использовать формулу разности для синуса и косинуса.
6° = 36 − 30, 12° = 30 − 18, 24° = 54 − 3, и 42° = 60 − 18; так что можно использовать формулу разности для синуса и косинуса.
3° = 18 − 15, 21° = 36 − 15, 33° = 18 + 15 и 39° = 54 − 15, так что можно использовать формулу разности (или суммы) для синуса и косинуса.

Способы упрощения выражений

Рационализация знаменателя

  • Если знаменатель является корнем натуральной степени n > 1, числитель и знаменатель нужно умножить на этот радикал в степени n − 1: 13=33.
  • В общем случае если знаменатель — алгебраическое число второй степени (комплексное число вида q±r, где q и r рациональны), то числитель и знаменатель нужно умножить на сопряжённое ему число: 11+3=1−3(1+3)(1−3)=1−3−2.
  • В некоторых случаях знаменатель нужно рационализировать больше одного раза:
    • csc⁡2π5=410+25=410−25(10+25)(10−25)=10−255=10(5−5)5.
  • А если знаменатель представляет собой алгебраическое число более чем второй степени, то лучше всего будет не умножать на сопряжённые числа (хотя это тоже имеет место), а найти минимальный многочлен этого алгебраического числа, выразить через него многочлен, одним из корней какого является число, обратное этому числу, и найти корни последнего.
    • Дано число sec⁡2π7=6−1+7+213i23+7−213i23. Обратная к нему величина, умноженная на 2, является корнем многочлена b3+b2−2b−1 (это было показано выше). Тогда сам секанс, делённый на 2, — корень многочлена (b−3+b−2−2b−1−1)b3, и в итоге sec⁡2π7=23(−2+−7+213i23+−7−213i23).

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

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

Возведение в квадрат и извлечение квадратного корня

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

Упрощение выражений с вложенными радикалами

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

a±bc

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

R=a2−b2c

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

d=a+R2 и e=a−R2

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

a±bc=d±e.

Например,

4sin⁡18∘=6−25=5−1.
4sin⁡15∘=22−3=2(3−1).

См. также

Примечания

Шаблон:Примечания

Ссылки

Шаблон:Refless

Шаблон:Тригонометрия