2

Разные задачи

[28/100%]
Показать
LaTeX
Задача 8.245

Пусть r1,r2,…,rqr_{1}, r_{2}, \ldots , r_{q} и s1,s2,…,sqs_{1}, s_{2}, \ldots , s_{q} — две полные системы вычетов  mod q\bmod q, где qq — нечетное простое число. Тогда qq чисел r1s1,r2s2,…,rqsqr_{1} s_{1}, r_{2} s_{2}, \ldots , r_{q} s_{q} не могут образовывать полной системы вычетов  mod q\bmod q.

?
Задача 8.246

Пусть pαp^{\alpha }, где α⩾1\alpha \geqslant 1, — наивысшая степень, в которой нечетное простое число pp входит в число nn. Показать, что

1λ+2λ+3λ+…+nλ≡−np или 0( mod pα), 1^{\lambda }+2^{\lambda }+3^{\lambda }+\ldots +n^{\lambda } \equiv -\frac{n}{p} \text{ или } 0\left(\bmod p^{\alpha }\right),

смотря по тому, делится ли λ\lambda на p−1p-1 или нет (λ=1,2,3,…)(\lambda =1,2,3, \ldots ).

?
Задача 8.247

Пусть pp — наименьшее простое число, входящее в nn. Тогда существуют две такие полные системы вычетов  mod n\bmod n

r1,r2,…,rn,s1,s2,…,sn, \begin{array}{ll} r_{1}, & r_{2}, \ldots , r_{n}, \\ s_{1}, & s_{2}, \ldots , s_{n}, \end{array}

что каждая из p−2p-2 строк

r1+s1,r2+s2,…,rn+sn,r1+2s1,r2+2s2,…,rn+2sn,⋯⋯⋯⋯r1+(p−2)s1,r2+(p−2)s2,…,rn+(p−2)sn \begin{array}{llll} r_{1}+s_{1}, & r_{2}+s_{2}, & \ldots , & r_{n}+s_{n}, \\ r_{1}+2 s_{1}, & r_{2}+2 s_{2}, & \ldots , & r_{n}+2 s_{n}, \\ \cdots & \cdots & \cdots & \cdots \\ r_{1}+(p-2) s_{1}, & r_{2}+(p-2) s_{2}, & \ldots , & r_{n}+(p-2) s_{n} \end{array}

также представляет собой полную систему вычетов. Что касается системы

r1+(p−1)s1,r2+(p−1)s2,…,rn+(p−1)sn, r_{1}+(p-1) s_{1}, \quad r_{2}+(p-1) s_{2}, \ldots , r_{n}+(p-1) s_{n},

то она никак не может быть полной системой вычетов  mod n\bmod n.

?
Задача 8.247.1

Если pp — простое число, то числа

(p1),(p2),(p3),…,(pp−1), \binom p1, \quad \binom p2, \quad \binom p3, \quad \ldots , \quad \binom {p}{p-1} , s2p,s3p,…,sp−1p, s_2^p, \quad s_3^p, \quad \ldots , \quad s_{p-1}^p , S2p,S3p,…,Sp−1p S_2^p, \quad S_3^p, \quad \ldots , \quad S_{p-1}^p

делятся на pp. (Определения чисел skns_k^n и SknS_k^n см. соответственно во введениях к задачам I 197 и I 186.)

?
Задача 8.247.2

Если pp — нечетное простое число, то коэффициенты полинома Чебышева Tp(x)T_p(x) (определенного в начале отдела шестого) все делятся на pp, за исключением старшего коэффициента, равного 2p−12^{p-1}.

?
Задача 8.248

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

?
Задача 8.249

Число из ряда 2,3,4,…,n(n>2)2,3,4, \ldots , n(n>2) тогда и только тогда — взаимно простое со всеми остальными, когда оно представляет собой простое число, превосходящее n2\frac{n}{2}.

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

Что такое число всегда существует при n>2n>2, было доказано Чебышевым. См. Собр. соч., т. I, стр. 63, СПб, 1899.

Задача 8.250

Частичные суммы

11+12+13+…+1n \frac{1}{1}+\frac{1}{2}+\frac{1}{3}+\ldots +\frac{1}{n}

гармонического ряда не могут быть целыми при n>1n>1. Это сразу же получается из теоремы Чебышева [249], но может быть доказано и без нее.

?
Задача 8.251

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

1n+1n+1+…+1m(n=1,2,3,…;n<m), \frac{1}{n}+\frac{1}{n+1}+\ldots +\frac{1}{m} \quad (n=1,2,3, \ldots ; n<m),

не может быть целым числом; если представить ее в виде несократимой дроби, то знаменатель будет четный, числитель — нечетный.

?
Задача 8.252

Если целое положительное число nn делится на все числа, меньшие или равные n\sqrt{n}, то nn есть либо 24, либо делитель этого числа.

Доказать элементарными средствами более общую теорему: каково бы ни было α\alpha, 0<α<10<\alpha <1, имеется лишь конечное число целых положительных чисел nn, делящихся на все числа 1,2,3,…,[nα]1,2,3, \ldots , \left[n^{\alpha }\right].

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

G. Pólya, задача, Arch. d. Math. u. Phys., серия 3, т. 23, стр. 289, 1915. Решение — S. Sidon, там же, серия 3, т. 24, стр. 284, 1916; излагаемое ниже решение принадлежит A. Fleck'у.

Задача 8.253

Пусть QQ — простое число, не являющееся делителем 10P10 P. Среднее арифметическое цифр в периоде десятичной дроби, в которую разлагается PQ\frac{P}{Q}, будет тогда и только тогда равно 4,5, когда длина периода представляет собой четное число.

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

L. Kollros.

Задача 8.254

Число n=2h+1(h⩾2)n=2^{h}+1(h \geqslant 2) в том и только том случае является простым, когда

3n−12≡−1( mod n). 3^{\frac{n-1}{2}} \equiv -1 \quad (\bmod n) .
?
Примечание.
?

E. Lucas; см. A. Hurwitz, Interméd. des math., т. 3, стр. 214, 1896.

Задача 8.255

Доказать справедливость следующей теоремы, высказанной Эйлером в качестве предположения:

Диофантово уравнение

4xyz−x−y−t2=0 4 x y z-x-y-t^{2}=0

не имеет решений в положительных целых числах x,y,z,tx, y, z, t.

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

Euler, Opera Postuma, т. 1, стр. 220, Petropoli, 1862; G. Pólya, задача, Arch. d. Math. u. Phys., серия 3, т. 24, стр. 84, 1916. Решение — G. Szegö, там же, серия 3, т. 25, стр. 340, 1917.

Задача 8.256

Если qq — простое число ⩾11\geqslant 11, то существуют положительные нечетные простые числа p1,p2,p3,p4p_{1}, p_{2}, p_{3}, p_{4}, все меньшие, чем qq, но не обязательно различные, удовлетворяющие соответственно условиям

(p1q)=+1,(p2q)=−1,(qp3)=+1,(qp4)=−1. \begin{array}{ll} \left(\frac{p_{1}}{q}\right)=+1, & \left(\frac{p_{2}}{q}\right)=-1, \\ \left(\frac{q}{p_{3}}\right)=+1, & \left(\frac{q}{p_{4}}\right)=-1 . \end{array}
?
Примечание.
?

(p1q)\left(\frac{p_{1}}{q}\right) и т. д. — символы Лежандра.

Задача 8.257

Десятичная дробь

0,23571113171923… 0,23571113171923 \ldots

(все простые числа выписаны одно за другим) иррациональна.

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

G. Pólya, задача, Arch. d. Math. u. Phys., серия 3, т. 21, стр. 288, 1913. Решение — O. Szász, G. Szegö, L. Neder, там же, серия 3, т. 22, стр. 366, 1914. См. W. H. Young and Grace Chisholm Young, The theory of sets of points, стр. 3, Cambridge, University Press, 1906.

Задача 8.258

Число

e=1+11!+12!+13!+14!+… e=1+\frac{1}{1!}+\frac{1}{2!}+\frac{1}{3!}+\frac{1}{4!}+\ldots

иррационально.

?
Задача 8.259

Число ee не только иррационально, но и не является квадратической иррациональностью, т. е. не может удовлетворять никакому уравнению вида

ae+be−1+c=0, a e+b e^{-1}+c=0,

где a,b,ca, b, c — целые числа, не все равные нулю.

?
Задача 8.260

Если бы постоянная Эйлера-Маскерони C=−Γ′(1)C=-\Gamma^{\prime }(1) была рациональным числом, то Γ′(n+1)\Gamma^{\prime }(n+1) должно было бы быть целым числом при всех достаточно больших целых nn.

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

A. Hurwitz.

Задача 8.260.1

Число

λ=log⁡3log⁡2 \lambda = \frac{\log 3}{\log 2}

иррационально.

?
Задача 8.260.2

Числа aa и bb положительны; aa может быть рациональным или иррациональным, и то же самое верно для bb, так что возможны четыре случая. Показать на примерах, что aba^b может быть рациональным или иррациональным в каждом из этих четырех случаев (требуется восемь примеров).

?
Задача 8.261

Неизвестно, обладает ли число π\pi тем свойством, что среднее арифметическое первых nn его десятичных знаков стремится к 4,5. Однако, если π\pi обладает этим свойством, то им обладает также 4−π4-\pi.

?
Задача 8.262

Пусть qnq_{n} обозначает знаменатель nn-го числа Бернулли BnB_{n} [182]. Показать, что

lim⁡n→∞q1q2q3…qn(2n)!n=12. \lim _{n \rightarrow \infty } \sqrt[n]{\frac{q_{1} q_{2} q_{3} \ldots q_{n}}{(2 n)!}}=\frac{1}{2} .
?
Примечание.
?

G. Pólya, задача, Arch. d. Math. u. Phys., серия 3, т. 27, стр. 161, 1918.

Задача 8.262.1

Если ζ(s)\zeta (s) обозначает дзета-функцию Римана, определенную во введении к 39, то

lim⁡n→∞(ζ(2)+ζ(3)+⋯+ζ(n+1)−n)=1. \lim _{n\to \infty } \left(\zeta (2)+\zeta (3)+\cdots +\zeta (n+1)-n\right) = 1 .
?
Задача 8.262.2
lim⁡n→∞(12ζ(2)+13ζ(3)+⋯+1nζ(n)−log⁡n)=0. \lim _{n\to \infty } \left(\frac12\zeta (2)+\frac13\zeta (3)+\cdots +\frac1n\zeta (n)-\log n\right) = 0 .
?
Задача 8.263

Пусть теоретико-числовая функция f(n)f(n) мультипликативна и стремится к нулю, когда nn стремится к бесконечности по простым числам и их степеням. В таком случае

lim⁡n→∞f(n)=0, \lim _{n \rightarrow \infty } f(n)=0,

если nn стремится к бесконечности по всем вообще целым положительным числам.

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

Теоретико-числовая функция f(n)f(n) называется мультипликативной, если f(n)f(m)=f(nm)f(n) f(m)=f(n m) для всех взаимно простых nn и mm; определение дано в списке теоретико-числовых функций, открывающем § 5 настоящей главы.

Задача 8.264

При всяком положительном δ\delta

lim⁡n→∞n1−δφ(n)=0,lim⁡n→∞τ(n)nδ=0. \lim _{n \rightarrow \infty } \frac{n^{1-\delta }}{\varphi (n)}=0, \quad \lim _{n \rightarrow \infty } \frac{\tau (n)}{n^{\delta }}=0 .
?
Задача 8.265

Пусть целочисленный квадратный трехчлен ax2+bx+ca x^{2}+b x+c представлен целой точкой a,b,ca, b, c в трехмерной кубической числовой решетке. Обозначим число целых точек, содержащихся в кубе

−n⩽a⩽n,−n⩽b⩽n,−n⩽c⩽n -n \leqslant a \leqslant n, \quad -n \leqslant b \leqslant n, \quad -n \leqslant c \leqslant n

и представляющих приводимый трехчлен, через rnr_{n}. Доказать, что

lim⁡n→∞rn(2n+1)3=0 \lim _{n \rightarrow \infty } \frac{r_{n}}{(2 n+1)^{3}}=0

(Неприводимость квадратного трехчлена представляет в некотором смысле «нормальный случай».)

?
Задача 8.266

«Вероятность» того, что целочисленный полином заданной степени приводим, равна нулю. Точнее говоря: пусть hh — целое число, h⩾2h \geqslant 2, и rnr_{n} обозначает число целых точек (h+1)(h+1)-мерного пространства, лежащих в кубе

−n⩽a0⩽n,−n⩽a1⩽n,…,−n⩽ah⩽n -n \leqslant a_{0} \leqslant n, \quad -n \leqslant a_{1} \leqslant n, \quad \ldots , \quad -n \leqslant a_{h} \leqslant n

и представляющих приводимые полиномы a0xh+a1xh−1+…+aha_{0} x^{h}+a_{1} x^{h-1}+\ldots +a_{h}. Тогда

rn=O(nhln⁡2n). r_{n}=O\left(n^{h} \ln ^{2} n\right) .

(Обобщение и уточнение теоремы 265.)

?