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

Эта статья находится на начальном уровне проработки, в одной из её версий выборочно используется текст из источника, распространяемого под свободной лицензией
Материал из энциклопедии Руниверсалис

В математике тригонометрическое число (англ. trigonometric number)[1] — иррациональное число, полученное как синус или косинус рационального числа оборотов или, что то же самое, синус или косинус угла, величина которого в радианах является рациональным кратным числа пи, или синус или косинус рационального числа градусов.

Вещественное число, отличное от 0, 1, −1, является тригонометрическим числом тогда и только тогда, когда оно является вещественной частью корня из единицы.

Доказательства теорем об этих числах дал канадско-американский математик Айвен Нивен[1], впоследствии его доказательства улучшили и упростили Ли Чжоу и Любомир Марков[2].

Любое тригонометрическое число может быть выражено через радикалы. Таким образом, каждое тригонометрическое число является алгебраическим числом. Последнее утверждение можно доказать[1], взяв за основу формулу Муавра для случая [math]\displaystyle{ \theta = 2\pi k/n }[/math] для взаимно простых k и n:

[math]\displaystyle{ (\cos \theta + i \sin \theta )^n =1. }[/math]

Расширение левой части и приравнивание вещественных частей дает уравнение в [math]\displaystyle{ \cos \theta }[/math] и [math]\displaystyle{ \sin^2 \theta; }[/math] подставляя [math]\displaystyle{ \sin^2 \theta =1-\cos^2 \theta }[/math], получаем уравнение полинома, имеющее [math]\displaystyle{ \cos \theta }[/math] своим решением, поэтому последнее по определению является алгебраическим числом. Также [math]\displaystyle{ \sin \theta }[/math] является алгебраическим числом, поскольку он равен алгебраическому числу [math]\displaystyle{ \cos(\theta-\pi /2). }[/math] Наконец, [math]\displaystyle{ \tan \theta }[/math], где [math]\displaystyle{ \theta }[/math] является рациональным, кратным [math]\displaystyle{ \pi }[/math], является алгебраическим, что можно получить, приравнивая мнимые части двух сторон разложения уравнения Муавра друг к другу и разделив на [math]\displaystyle{ \cos^n \theta }[/math] для получения полиномиального уравнения в [math]\displaystyle{ \tan \theta. }[/math]

Примечания

  1. 1,0 1,1 1,2 Niven, Ivan. Irrational Numbers, Carus Mathematical Monographs no. 11, 1956.
  2. Li Zhou and Lubomir Markov. Recurrent Proofs of the Irrationality of Certain Trigonometric Values (англ.) // American Mathematical Monthly : journal. — 2010. — Vol. 117. — P. 360—362. — doi:10.4169/000298910x480838. https://arxiv.org/abs/0911.1933 Архивная копия от 7 февраля 2019 на Wayback Machine