Многочлены с целыми коэффициентами и целочисленные функции
[46/93%]Полином
— целозначный, однако не целочисленный, если .
Каждый полином степени можно представить в форме
Полином является целозначным тогда и только тогда, когда все коэффициенты — целые числа.
Если полином степени — целозначный, то полином — целочисленный.
Если целая рациональная функция степени принимает целые значения для последовательных целых значений переменной, то она принимает целые значения для всех вообще целых значений переменной.
Каждый нечетный полином степени можно представить в форме
Полином тогда и только тогда целозначный, когда все коэффициенты — целые числа.
G. Pólya, Rend. Palermo, т. 40, стр. 5, 1915.
Каждый четный полином степени можно представить в форме
Полином тогда и только тогда целозначный, когда все коэффициенты — целые числа.
Целочисленные полиномы степени , абсолютное значение которых равно единице при целых значениях, существуют, если , и не существуют, если .
G. Pólya, Deutsche Math.-Ver., т. 28, стр. 31--40, 1919.
Если целая рациональная функция степени принимает рациональные значения при целых значениях , то все ее коэффициенты рациональны.
Если дробная рациональная функция во всех положительных целых точках принимает рациональные значения, то она представляет собой отношение двух взаимно простых целочисленных полиномов.
Решающим обстоятельством является рациональность коэффициентов.
Рациональная функция, принимающая целые значения для бесчисленного множества целых значений аргумента, является целой рациональной функцией.
В числовой последовательности
все члены — попарно взаимно простые. (Отсюда, между прочим, вытекает, что число простых чисел бесконечно.)
В арифметической прогрессии
где и — целые числа, , содержится бесконечное множество членов, имеющих одни и те же простые множители.
G. Pólya, Math. Zeitschr., т. 1, стр. 144, 1918.
Каждый член последовательности
обладает простым множителем, который .
Пусть — целозначный полином. Могут ли все члены последовательности
представлять собой простые числа? (Как заметил Эйлер, в случае полинома простыми оказываются первые 40 членов.)
Goldbach; см. Euler, Opera omnia, серия 1, т. 3, стр. 4, 337, Leipzig, B. G. Teubner, 1917.
Полином имеет простыми делителями числа , т. е. 2 и нечетные простые числа вида . Ни одно простое число вида не может служить простым делителем указанного полинома.
Определить простые делители полинома .
Каков бы ни был заданный неприводимый полином второй степени, существует бесчисленное множество простых чисел, не являющихся его простыми делителями.
Доказывается путем привлечения довольно глубоких вспомогательных средств. См. сноску к задаче 110.
Если целозначный полином, не равный тождественно нулю, имеет рациональный нуль, то все простые числа, за исключением, быть может, нескольких, являются его простыми делителями.
Все простые числа служат простыми делителями полинома , не обладающего вовсе рациональными нулями.
Нечетные простые делители -го полинома деления круга [36] либо делят , либо .
Если простое число () не делит и
то — взаимно простое с и принадлежит показателю .
Существует бесконечное множество простых чисел вида .
Существует бесконечное множество простых чисел вида .
Целозначная функция , где — целые числа, , имеет бесконечное множество простых делителей.
G. Pólya, J. für Math., т. 151, стр. 19--21, 1921.
Целозначный полином , не тождественно постоянный, обладает бесконечным множеством простых делителей.
Утверждению, содержащемуся в теореме 108, можно придать такой вид: если — целозначный не тождественно постоянный полином, то все члены последовательности
нельзя составить из конечного числа простых чисел. Может ли какая-нибудь бесконечная часть этой последовательности быть составлена из конечного числа простых чисел?
Пусть — целое положительное число. В арифметической прогрессии
содержится бесконечное множество простых чисел1.
Footnotes
-
Теоремы 105, 106, 110 являются частными случаями следующей важной теоремы, доказанной Дирихле: в каждой арифметической прогрессии, первый член и разность которой взаимно просты, содержится бесконечное множество простых чисел. ↩
J. A. Serret и др.; см. E. Landau, Handbuch der Lehre von der Verteilung der Primzahlen, стр. 436, 897, Leipzig und Berlin, B. G. Teubner, 1909.
Пусть целозначные полиномы и взаимно просты. Тогда существуют произвольно большие целые числа , обладающие тем свойством, что наименьшее общее кратное чисел и содержит простые множители, не входящие в их наибольший общий делитель.
Пусть — неприводимый целозначный полином (определение неприводимости см. в начале § 3 настоящей главы). Тогда существуют произвольно большие целые числа , обладающие тем свойством, что в по крайней мере один простой множитель входит в первой степени, т. е.
Пусть — целозначный полином, наименьшая кратность нулей которого равна . (Все простые множители, входящие в , за исключением, быть может, нескольких, должны тогда входить по меньшей мере в -й степени, ). Существуют произвольно большие целые числа , обладающие тем свойством, что по крайней мере один простой делитель входит в не более чем в -й степени.
Если целая рациональная функция для каждого целого положительного значения принимает значение, равное квадрату целого числа, то представляет собой квадрат целой рациональной функции. (Аналогичная теорема имеет место и для высших степеней.)
Ch. Brisse, задача, Interméd. des math., т. 1, стр. 10, 1894; R. Jentzsch, задача, Arch. d. Math. u. Phys., серия 3, т. 19, стр. 361, 1912. Решение — W. Grosch, там же, серия 3, т. 21, стр. 368, 1913; см. также серия 3, т. 25, стр. 86, 1917.
Пусть — различные целые положительные числа () и — целочисленные полиномы. Показать, что функция
имеет бесконечное множество простых делителей.
Всякий приводимый целочисленный полином может быть представлен в виде произведения целочисленных же полиномов низших степеней.
Целочисленный полином не может обращаться в нуль ни в одной целой точке, если и — нечетные числа.
Gauss. См. Nouv. Ann. de math., серия 1, т. 15, стр. 383, 1856. Решение — De Rochas и др., там же, серия 1, т. 16, стр. 9, 10, 71, 1857.
Целочисленный полином -й степени, принимающий в различных целых точках значения, отличные от нуля и по абсолютной величине меньшие, чем , неприводим.
L. c. 90.
Пусть — наименьшее расстояние между целыми точками, указанными в задаче 118. Тогда приведенную в этой задаче границу можно заменить следующей:
L. c. 90.
Если целочисленный полином при бесконечном множестве целых принимает значения, являющиеся простыми числами, то он должен быть неприводимым и наибольший общий делитель совокупности его коэффициентов должен быть равен единице. Это очевидное положение не может быть обращено: полином
неприводим и, однако, если , не равен простому числу ни при каком целом значении .
P. Stäckel, J. für Math., т. 148, стр. 104, 1918; G. Pólya, l. c. 90.
Полином
где — различные целые числа, всегда неприводим.
I. Schur, задача, Arch. d. Math. u. Phys., серия 3, т. 13, стр. 367, 1908. Решение — W. Flügel, там же, серия 3, т. 15, стр. 271--272, 1909.
В каких случаях полином
будет приводимым?
Продолжение задачи 121: — различные целые числа. L. c. 121.
Полином
неприводим.
Продолжение задачи 121: — различные целые числа. I. Schur, задача, Arch. d. Math. u. Phys., серия 3, т. 15, стр. 259, 1909.
Полином
также неприводим.
Продолжение задачи 121: — различные целые числа. I. Schur, задача, l. c. 123. Решение — A. и R. Brauer'ы.
Если есть положительно определенный неприводимый целочисленный полином, то полином
приводим лишь в том случае, если (12-й полином деления круга) и
с целым .
Продолжение задачи 121: — различные целые числа.
Полином
где — целое положительное число, приводим лишь в том случае, если является четвертой степенью целого числа.
Продолжение задачи 121: — различные целые числа.
Пусть — целочисленный полином и пусть существует целое число , удовлетворяющее следующим трем условиям:
нули полинома лежат в полуплоскости ,
,
есть простое число.
Тогда полином неприводим.
Пусть
— простое число, записанное по десятичной системе (, ; ). Показать, что полином
неприводим.
Пусть и — нечетные простые числа, удовлетворяющие соотношениям
Такими простыми числами являются, например, и . Тогда полином
в обычном смысле неприводим, однако, как можно элементарно показать с помощью формул (1), (2) и (3), «приводим» (именно, может быть разложен на два множителя второй степени) по любому модулю .