Математическая энциклопедия - деления круга многочлен
Связанные словари
Деления круга многочлен
круговой многочлен,многочлен, имеющий вид
где 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.
П. В. Проскуряков.
Математическая энциклопедия. — М.: Советская энциклопедия
И. М. Виноградов
1977—1985