n-ый круговой многочлен - многочлен вида Ф_n(x) = (x-w_1)...(x_w_s), где w_1,...,w_s --- все примитивные корни n-ой степени из 1.
Понятно, что всякий корень k-й степени из 1 является корнем l-й степени из 1, если k делит l. Следовательно, лишних множителей в произведении (1) нет. Но как показать, что в произведении (1) присутствуют абсолютно все корни степени n из 1??