Деления Круга Многочлен

Круговой многочлен,- многочлен, имеющий вид где jk — первообразные корни степени n из единицы и произведение берется по всем числам к, взаимно простым с n и взятым из ряда 1, 2, . .., n. Степень многочлена Ф п (х)- число натуральных чисел, меньших, чем л, и взаимно простых с га. Д. к. м. удовлетворяют соотношению где произведение берется по всем положительным делителям dчисла га, включая и само га. Это соотношение позволяет рекурсивно вычислять многочлены Ф п (х)путем деления многочлена х п-1 на произведение всех Ф d (х), d<n, d|n. При этом коэффициенты многочлена оказываются лежащими в исходном простом поле Р, а в случае поля рациональных чисел — целыми числами. Так, Если п=р- простое и поле Римеет характеристику 0, то Для многочлена Ф п (х)можно указать явное выражение через Мёбиуса функциюm(k): Напр., Над полем рациональных чисел все многочлены Ф п (х)неприводимы, но над конечными простыми полями эти многочлены могут быть приводимы. Так, над полем вычетов по модулю 11 имеет место соотношение: Уравнение Ф n (х) = 0, дающее все первообразные корни п-й степени из единицы, наз. уравнением деления круга (окружности). Решение этого уравнения в тригонометрич. форме имеет вид: где дробь kin несократима, т. е. ки пвзаимно просты. Решение в радикалах уравнения деления круга тесно связано с задачей построения правильного га-угольника или с эквивалентной ей задачей деления окружности на n равных частей, а именно, задача деления окружности на n частей решается с помощью циркуля и линейки тогда и только тогда, когда уравнение Ф n(x) = 0 решается в квадратных радикалах. Последнее, как доказал К. Гаусс (С. Gauss, 1801), имеет место в том и только в том случае, когда где т- целое неотрицательное число и р 1; р 2,. .., ps- попарно различные простые числа, представимые в виде 22k+1 с целым неотрицательным к. Лит.:[1] Ван дер Варден Б. Л., Алгебра, пер. с нем., М., 1976; [2] Сушкевич А. К., Основы высшей алгебры, 4 изд., М.-Л., 1941. П. В. Проскуряков.