Глава 8.2

Многочлены с целыми коэффициентами и целочисленные функции

[46/93%]
Показать
LaTeX
§
Задача 8.84

Полином

x(x−1)(x−2)…(x−m+1)1⋅2⋅3…m=(xm) \frac{x(x-1)(x-2) \ldots (x-m+1)}{1 \cdot 2 \cdot 3 \ldots m}=\binom {x}{m}

— целозначный, однако не целочисленный, если m⩾2m \geqslant 2.

?
Задача 8.85

Каждый полином P(x)P(x) степени mm можно представить в форме

P(x)=b0(xm)+b1(xm−1)+…+bm−1(x1)+bm. P(x)=b_{0}\binom {x}{m}+b_{1}\binom {x}{m-1}+\ldots +b_{m-1}\binom {x}{1}+b_{m} .

Полином P(x)P(x) является целозначным тогда и только тогда, когда все коэффициенты b0,b1,…,bm−1,bmb_{0}, b_{1}, \ldots , b_{m-1}, b_{m} — целые числа.

?
Задача 8.86

Если полином P(x)P(x) степени mm — целозначный, то полином m!P(x)m! P(x) — целочисленный.

?
Задача 8.87

Если целая рациональная функция степени mm принимает целые значения для m+1m+1 последовательных целых значений переменной, то она принимает целые значения для всех вообще целых значений переменной.

?
Задача 8.88

Каждый нечетный полином P(x)P(x) степени 2m−12 m-1 можно представить в форме

P(x)=c1(x1)+c2(x+13)+c3(x+25)+…+cm(x+m−12m−1). P(x)=c_{1}\binom {x}{1}+c_{2}\binom {x+1}{3}+c_{3}\binom {x+2}{5}+\ldots +c_{m}\binom {x+m-1}{2 m-1} .

Полином P(x)P(x) тогда и только тогда целозначный, когда все коэффициенты c1,c2,…,cm−1,cmc_{1}, c_{2}, \ldots , c_{m-1}, c_{m} — целые числа.

?
Примечание.
?

G. Pólya, Rend. Palermo, т. 40, стр. 5, 1915.

Задача 8.89

Каждый четный полином P(x)P(x) степени 2m2 m можно представить в форме

P(x)=d0+d1x1(x1)+d2x2(x+13)+…+dmxm(x+m−12m−1). P(x)=d_{0}+d_{1} \frac{x}{1}\binom {x}{1}+d_{2} \frac{x}{2}\binom {x+1}{3}+\ldots +d_{m} \frac{x}{m}\binom {x+m-1}{2 m-1} .

Полином P(x)P(x) тогда и только тогда целозначный, когда все коэффициенты d0,d1,d2,…,dm−1,dmd_{0}, d_{1}, d_{2}, \ldots , d_{m-1}, d_{m} — целые числа.

?
Задача 8.90

Целочисленные полиномы степени mm, абсолютное значение которых равно единице при m+1m+1 целых значениях, существуют, если m⩽3m \leqslant 3, и не существуют, если m⩾4m \geqslant 4.

?
Примечание.
?

G. Pólya, Deutsche Math.-Ver., т. 28, стр. 31--40, 1919.

Задача 8.91

Если целая рациональная функция степени mm принимает рациональные значения при m+1m+1 целых значениях xx, то все ее коэффициенты рациональны.

?
Задача 8.92

Если дробная рациональная функция во всех положительных целых точках принимает рациональные значения, то она представляет собой отношение двух взаимно простых целочисленных полиномов.

?
Примечание.
?

Решающим обстоятельством является рациональность коэффициентов.

Задача 8.93

Рациональная функция, принимающая целые значения для бесчисленного множества целых значений аргумента, является целой рациональной функцией.

?
§
Задача 8.94

В числовой последовательности

21+1,22+1,24+1,28+1,…,22n+1,… 2^{1}+1, \quad 2^{2}+1, 2^{4}+1, 2^{8}+1, \ldots , 2^{2^{n}}+1, \ldots

все члены — попарно взаимно простые. (Отсюда, между прочим, вытекает, что число простых чисел бесконечно.)

?
Задача 8.95

В арифметической прогрессии

a,a+d,a+2d,…,a+nd,…, a, a+d, a+2 d, \ldots , a+n d, \ldots ,

где aa и dd — целые числа, d≠0d \neq 0, содержится бесконечное множество членов, имеющих одни и те же простые множители.

?
Примечание.
?

G. Pólya, Math. Zeitschr., т. 1, стр. 144, 1918.

Задача 8.96

Каждый член последовательности

5,11,17,23,29,35,…,6n−1,… 5, \quad 11, \quad 17, \quad 23, \quad 29, \quad 35, \ldots , 6 n-1, \ldots

обладает простым множителем, который ≡−1( mod 6)\equiv -1(\bmod 6).

?
Задача 8.97

Пусть P(x)P(x) — целозначный полином. Могут ли все члены последовательности

P(1),P(2),P(3),…,P(n),… P(1), P(2), P(3), \ldots , P(n), \ldots

представлять собой простые числа? (Как заметил Эйлер, в случае полинома P(x)=x2−x+41P(x)=x^{2}-x+41 простыми оказываются первые 40 членов.)

?
Примечание.
?

Goldbach; см. Euler, Opera omnia, серия 1, т. 3, стр. 4, 337, Leipzig, B. G. Teubner, 1917.

Задача 8.98

Полином x2+1x^{2}+1 имеет простыми делителями числа 2,5,13,17,…2, 5, 13, 17, \ldots, т. е. 2 и нечетные простые числа вида 4n+14 n+1. Ни одно простое число вида 4n+34 n+3 не может служить простым делителем указанного полинома.

?
Задача 8.99

Определить простые делители полинома x2+15x^{2}+15.

?
Задача 8.100

Каков бы ни был заданный неприводимый полином второй степени, существует бесчисленное множество простых чисел, не являющихся его простыми делителями.

?
Примечание.
?

Доказывается путем привлечения довольно глубоких вспомогательных средств. См. сноску к задаче 110.

Задача 8.101

Если целозначный полином, не равный тождественно нулю, имеет рациональный нуль, то все простые числа, за исключением, быть может, нескольких, являются его простыми делителями.

?
Задача 8.102

Все простые числа служат простыми делителями полинома x6−11x4+36x2−36x^{6}-11 x^{4}+36 x^{2}-36, не обладающего вовсе рациональными нулями.

?
Задача 8.103

Нечетные простые делители mm-го полинома деления круга Km(x)K_{m}(x) [36] либо делят mm, либо ≡1( mod m)\equiv 1(\bmod m).

?
Задача 8.104

Если простое число pp (p>2p>2) не делит mm и

Km(a)≡0( mod p), K_{m}(a) \equiv 0(\bmod p),

то aa — взаимно простое с pp и принадлежит ( mod p)(\bmod p) показателю mm.

?
Задача 8.105

Существует бесконечное множество простых чисел вида 6n−16 n-1.

?
Задача 8.106

Существует бесконечное множество простых чисел вида 4n−14 n-1.

?
Задача 8.107

Целозначная функция abx+ca b^{x}+c, где a,b,ca, b, c — целые числа, a≠0,b⩾2,c≠0a \neq 0, b \geqslant 2, c \neq 0, имеет бесконечное множество простых делителей.

?
Примечание.
?

G. Pólya, J. für Math., т. 151, стр. 19--21, 1921.

Задача 8.108

Целозначный полином P(x)P(x), не тождественно постоянный, обладает бесконечным множеством простых делителей.

?
Задача 8.109

Утверждению, содержащемуся в теореме 108, можно придать такой вид: если P(x)P(x) — целозначный не тождественно постоянный полином, то все члены последовательности

P(0),P(1),P(2),…,P(n),… P(0), P(1), P(2), \ldots , P(n), \ldots

нельзя составить из конечного числа простых чисел. Может ли какая-нибудь бесконечная часть этой последовательности быть составлена из конечного числа простых чисел?

?
Задача 8.110

Пусть mm — целое положительное число. В арифметической прогрессии

1,1+m,1+2m,1+3m,… 1,1+m, 1+2 m, 1+3 m, \ldots

содержится бесконечное множество простых чисел1.

Footnotes

  1. Теоремы 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.

Задача 8.111

Пусть целозначные полиномы P(x)P(x) и Q(x)Q(x) взаимно просты. Тогда существуют произвольно большие целые числа nn, обладающие тем свойством, что наименьшее общее кратное чисел P(n)P(n) и Q(n)Q(n) содержит простые множители, не входящие в их наибольший общий делитель.

?
Задача 8.112

Пусть P(x)P(x) — неприводимый целозначный полином (определение неприводимости см. в начале § 3 настоящей главы). Тогда существуют произвольно большие целые числа nn, обладающие тем свойством, что в P(n)P(n) по крайней мере один простой множитель pp входит в первой степени, т. е.

P(n)≡0( mod p) и P(n)≢0( mod p2). P(n) \equiv 0(\bmod p) \text{ и } P(n) \not\equiv 0\left(\bmod p^{2}\right) .
?
Задача 8.113

Пусть P(x)P(x) — целозначный полином, наименьшая кратность нулей которого равна mm. (Все простые множители, входящие в P(n)P(n), за исключением, быть может, нескольких, должны тогда входить по меньшей мере в mm-й степени, n=0,1,2,…n=0,1,2, \ldots). Существуют произвольно большие целые числа nn, обладающие тем свойством, что по крайней мере один простой делитель входит в P(n)P(n) не более чем в mm-й степени.

?
Задача 8.114

Если целая рациональная функция P(x)P(x) для каждого целого положительного значения xx принимает значение, равное квадрату целого числа, то P(x)P(x) представляет собой квадрат целой рациональной функции. (Аналогичная теорема имеет место и для высших степеней.)

?
Примечание.
?

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.

Задача 8.115

Пусть b1,b2,…,bkb_{1}, b_{2}, \ldots , b_{k} — различные целые положительные числа (0<b1<b2<…<bk0<b_{1}<b_{2}<\ldots <b_{k}) и P1(x),P2(x),…,Pk(x)P_{1}(x), P_{2}(x), \ldots , P_{k}(x) — целочисленные полиномы. Показать, что функция

P1(x)b1x+P2(x)b2x+…+Pk(x)bkx P_{1}(x) b_{1}^{x}+P_{2}(x) b_{2}^{x}+\ldots +P_{k}(x) b_{k}^{x}

имеет бесконечное множество простых делителей.

?
§
Задача 8.116

Всякий приводимый целочисленный полином может быть представлен в виде произведения целочисленных же полиномов низших степеней.

?
Примечание.
?

Gauss. См. Hecke, стр. 14, 781.

Footnotes

  1. Гекке, стр. 19 и 82. ↩

Задача 8.117

Целочисленный полином f(x)f(x) не может обращаться в нуль ни в одной целой точке, если f(0)f(0) и f(1)f(1) — нечетные числа.

?
Примечание.
?

Gauss. См. Nouv. Ann. de math., серия 1, т. 15, стр. 383, 1856. Решение — De Rochas и др., там же, серия 1, т. 16, стр. 9, 10, 71, 1857.

Задача 8.118

Целочисленный полином P(x)P(x) nn-й степени, принимающий в nn различных целых точках значения, отличные от нуля и по абсолютной величине меньшие, чем (n−[n2])!2n−[n2]\frac{\left(n-\left[\frac{n}{2}\right]\right)!}{2^{n-\left[\frac{n}{2}\right]}}, неприводим.

?
Примечание.
?

L. c. 90.

Задача 8.119

Пусть dd — наименьшее расстояние между целыми точками, указанными в задаче 118. Тогда приведенную в этой задаче границу можно заменить следующей:

(d2)n−[n2](n−[n2])!. \left(\frac{d}{2}\right)^{n-\left[\frac{n}{2}\right]}\left(n-\left[\frac{n}{2}\right]\right)! .
?
Примечание.
?

L. c. 90.

Задача 8.120

Если целочисленный полином P(x)P(x) при бесконечном множестве целых xx принимает значения, являющиеся простыми числами, то он должен быть неприводимым и наибольший общий делитель совокупности его коэффициентов должен быть равен единице. Это очевидное положение не может быть обращено: полином

x(x−(n!+1))(x−2(n!+1))…(x−(n−1)(n!+1))+n!=xn+… x(x-(n!+1))(x-2(n!+1)) \ldots (x-(n-1)(n!+1))+n!=x^{n}+\ldots

неприводим и, однако, если n⩾3n \geqslant 3, не равен простому числу ни при каком целом значении xx.

?
Примечание.
?

P. Stäckel, J. für Math., т. 148, стр. 104, 1918; G. Pólya, l. c. 90.

Задача 8.121

Полином

(x−a1)(x−a2)…(x−an)−1, \left(x-a_{1}\right)\left(x-a_{2}\right) \ldots \left(x-a_{n}\right)-1,

где a1,a2,…,ana_{1}, a_{2}, \ldots , a_{n} — различные целые числа, всегда неприводим.

?
Примечание.
?

I. Schur, задача, Arch. d. Math. u. Phys., серия 3, т. 13, стр. 367, 1908. Решение — W. Flügel, там же, серия 3, т. 15, стр. 271--272, 1909.

Задача 8.122

В каких случаях полином

(x−a1)(x−a2)…(x−an)+1 \left(x-a_{1}\right)\left(x-a_{2}\right) \ldots \left(x-a_{n}\right)+1

будет приводимым?

?
Примечание.
?

Продолжение задачи 121: a1,a2,…,ana_{1}, a_{2}, \ldots , a_{n} — различные целые числа. L. c. 121.

Задача 8.123

Полином

(x−a1)2(x−a2)2…(x−an)2+1 \left(x-a_{1}\right)^{2}\left(x-a_{2}\right)^{2} \ldots \left(x-a_{n}\right)^{2}+1

неприводим.

?
Примечание.
?

Продолжение задачи 121: a1,a2,…,ana_{1}, a_{2}, \ldots , a_{n} — различные целые числа. I. Schur, задача, Arch. d. Math. u. Phys., серия 3, т. 15, стр. 259, 1909.

Задача 8.124

Полином

(x−a1)4(x−a2)4…(x−an)4+1 \left(x-a_{1}\right)^{4}\left(x-a_{2}\right)^{4} \ldots \left(x-a_{n}\right)^{4}+1

также неприводим.

?
Примечание.
?

Продолжение задачи 121: a1,a2,…,ana_{1}, a_{2}, \ldots , a_{n} — различные целые числа. I. Schur, задача, l. c. 123. Решение — A. и R. Brauer'ы.

Задача 8.125

Если F(z)=z4+Az3+Bz2+Az+1F(z)=z^{4}+A z^{3}+B z^{2}+A z+1 есть положительно определенный неприводимый целочисленный полином, то полином

F((x−a1)(x−a2)…(x−an)) F\left(\left(x-a_{1}\right)\left(x-a_{2}\right) \ldots \left(x-a_{n}\right)\right)

приводим лишь в том случае, если F(z)=z4−z2+1F(z)=z^{4}-z^{2}+1 (12-й полином деления круга) и

(x−a1)(x−a2)…(x−an)=(x−α)(x−α−1)(x−α−2) \left(x-a_{1}\right)\left(x-a_{2}\right) \ldots \left(x-a_{n}\right)=(x-\alpha )(x-\alpha -1)(x-\alpha -2)

с целым α\alpha.

?
Примечание.
?

Продолжение задачи 121: a1,a2,…,ana_{1}, a_{2}, \ldots , a_{n} — различные целые числа.

Задача 8.126

Полином

A(x−a1)4(x−a2)4…(x−an)4+1, A\left(x-a_{1}\right)^{4}\left(x-a_{2}\right)^{4} \ldots \left(x-a_{n}\right)^{4}+1,

где AA — целое положительное число, приводим лишь в том случае, если A4\frac{A}{4} является четвертой степенью целого числа.

?
Примечание.
?

Продолжение задачи 121: a1,a2,…,ana_{1}, a_{2}, \ldots , a_{n} — различные целые числа.

Задача 8.127

Пусть P(x)P(x) — целочисленный полином и пусть существует целое число nn, удовлетворяющее следующим трем условиям:

?
(1)

нули полинома P(x)P(x) лежат в полуплоскости ℜx<n−12\Re x<n-\frac{1}{2},

(2)

P(n−1)≠0P(n-1) \neq 0,

(3)

P(n)P(n) есть простое число.

Тогда полином P(x)P(x) неприводим.

Задача 8.128

Пусть

p=a0a1…am=a010m+a110m−1+…+am p=a_{0} a_{1} \ldots a_{m}=a_{0} 10^{m}+a_{1} 10^{m-1}+\ldots +a_{m}

— простое число, записанное по десятичной системе (0⩽aν⩽90 \leqslant a_{\nu } \leqslant 9, ν=0,1,…,m\nu =0,1, \ldots , m; a0⩾1a_{0} \geqslant 1). Показать, что полином

a0xm+a1xm−1+…+am−1x+am a_{0} x^{m}+a_{1} x^{m-1}+\ldots +a_{m-1} x+a_{m}

неприводим.

?
Задача 8.129

Пусть rr и ss — нечетные простые числа, удовлетворяющие соотношениям

r≡1( mod 8) и (rs)=(sr)=1. r \equiv 1(\bmod 8) \text{ и }\left(\frac{r}{s}\right)=\left(\frac{s}{r}\right)=1 .

Такими простыми числами являются, например, r=41r=41 и s=5s=5. Тогда полином

(x−r−s)(x−r+s)(x+r−s)(x+r+s)==x4−2(r+s)x2+(r−s)2==(x2+r−s)2−4rx2==(x2−r+s)2−4sx2==(x2−r−s)2−4rs \begin{align} (x-\sqrt{r}-\sqrt{s})(x & -\sqrt{r}+\sqrt{s})(x+\sqrt{r}-\sqrt{s})(x+\sqrt{r}+\sqrt{s})= \\ & =x^{4}-2(r+s) x^{2}+(r-s)^{2}= \\ & =\left(x^{2}+r-s\right)^{2}-4 r x^{2}= \tag {1} \\ & =\left(x^{2}-r+s\right)^{2}-4 s x^{2}= \tag {2} \\ & =\left(x^{2}-r-s\right)^{2}-4 r s \tag {3} \end{align}

в обычном смысле неприводим, однако, как можно элементарно показать с помощью формул (1), (2) и (3), «приводим» (именно, может быть разложен на два множителя второй степени) по любому модулю mm.

?