2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2
 
 Re: Корни из единицы
Сообщение29.09.2010, 18:40 
А как можно обосновать, что именно в последнем (Это же так?) слагаемом будет 5 в меньшей степени?

 
 
 
 Re: Корни из единицы
Сообщение29.09.2010, 19:48 
Ну, например, тем, что $k!$ не делится на $5^{k-1}$ для $k>1$.

 
 
 
 Re: Корни из единицы
Сообщение02.10.2010, 10:22 
Аватара пользователя
lega4 в сообщении #357345 писал(а):
И вообще, аргумент этой дроби - $\pi-arcsin(\frac{12}{13})$. А это не очень красивый аргумент)))

$$
-\arctg \frac{5}{13}
$$
Так красивее? :-)

 
 
 
 Re: Корни из единицы
Сообщение02.10.2010, 13:48 
Вообще легко доказать что если $cos(\frac{p\pi}{q})=\frac{a}{b}$, то $\frac{a}{b}\in\{-1,-0.5,0,0.5,1\}$

Надо заметить что $cos(\frac{2^k p\pi}{q})$-периодическая по $k$ начиная с некоторого места.

 
 
 
 Re: Корни из единицы
Сообщение06.10.2010, 16:55 
venco в сообщении #357416 писал(а):
Ну, например, тем, что $k!$ не делится на $5^{k-1}$ для $k>1$.

Что-то недополнял, как эту неделимость привязать к младшей степени пятерки...
Цитата:
Так красивее?

Нет :)

Null в сообщении #358282 писал(а):
Вообще легко доказать что если $cos(\frac{p\pi}{q})=\frac{a}{b}$, то $\frac{a}{b}\in\{-1,-0.5,0,0.5,1\}$

Надо заметить что $cos(\frac{2^k p\pi}{q})$-периодическая по $k$ начиная с некоторого места.

Как это, интересно, легко доказать...
Пока вариант с делимостью норм, только вот про меньшую степень вопрос...

 
 
 
 Re: Корни из единицы
Сообщение07.10.2010, 14:27 
Итак, известно:
$\cos a = -5/13, \sin a = 12/13$.

Может ли $n a = 0 \mod 2\pi$?

Это тоже, что и $\cos na = 1$.

$\cos na = T_n (\cos a)$, $T_n$ - многочлены Чебышева.

То есть надо: $T_n(-5/13)=1$.

$T_n$ - многочлен с целыми коэффициентами и старшим коэф. $2^{n-1}$.

Если многочлен $f(x) = \sum_{k=0}^n a_k x^k$ с целыми коэффициентами имеет рац. корень $p/q$, то

$\sum_{k=0}^n a_k p^k q^{-k} = 0$

умножим на $q^n$:
$\sum_{k=0}^n a_k p^k q^{n-k} = 0$

Берем по модулю q: $a_n = 0 \mod q$. Старший коэффициент делится на q.
Очевидно, что $2^{n-1}$ не может делиться на 13.

Ответ: это не корень из 1.

 
 
 
 Re: Корни из единицы
Сообщение07.10.2010, 14:50 
AlexandreII
Красиво!

 
 
 
 Re: Корни из единицы
Сообщение07.10.2010, 15:06 
Пусть $cos(\frac{p\pi}{q})=\frac{a}{b}$. -несократимая.
$cos(\frac{2p\pi}{q})=\frac{2a^2-b^2}{b^2}$ -дробь может сократиться максимум на 2. Если $b>2$, то $b^2/2>b$ -знаменатель возрос. Продолжаем удваивать угол. Знаменатель $\frac{p_i\pi}{q_i}$ не больше $q$, значит однажды $\frac{p_i\pi}{q_i}-\frac{p_j\pi}{q_j}=2\pi k$ тогда и косинусы равны, но знаменатели не могут быть равными они возрастают.

 
 
 
 Re: Корни из единицы
Сообщение07.10.2010, 15:30 
Null
Красиво!

 
 
 
 Re: Корни из единицы
Сообщение07.10.2010, 16:04 
Цитата:
многочлены Чебышева.

Кхм... первый раз слышу об этом))) Мнеб вариант попроще))))

 
 
 
 Re: Корни из единицы
Сообщение07.10.2010, 16:08 
Почитайте:

http://ru.wikipedia.org/wiki/Многочлены_Чебышева

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

 
 
 
 Re: Корни из единицы
Сообщение07.10.2010, 16:31 

(Оффтоп)

AlexandreII в сообщении #359956 писал(а):
Вообще странно, что Вы про них не слышали, обычно входят в стандартный курс анализа

Вообще говоря, не входят (в курс именно анализа).

 
 
 
 Re: Корни из единицы
Сообщение07.10.2010, 19:55 
Ну может и будем эти многочлены проходить, я пока еще учусь, многого не знаю :)
Мне кажется, что вместо нового доказательства проще таки добить старое - сейчас вопрос стоит так:
Надо доказать, что в мнимой части при четных n, меньшая степень пятерки одна. Т.е. (правда ли), что при $n=5^k r$ меньшая степень пятерки в мнимой части равна $k+1$ и она одна, все остальные больше.
$Im= C_n^1 12\cdot5^{n-1}-C_n^3 12^3\cdot5^{n-3}+C_n^5 12^5\cdot5^{n-5}-...\pm n\cdot 12^{n-1}\cdot5$

 
 
 
 Re: Корни из единицы
Сообщение07.10.2010, 23:13 
Ещё можно записать уравнение как $(2 + 3i)^n = (2 - 3i)^n$ и воспользоваться основной теоремой арифметики в $\mathbb{Z}[i]$.

 
 
 [ Сообщений: 29 ]  На страницу Пред.  1, 2


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group