Section 2

Miscellaneous Problems

[28/100%]
Show
LaTeX
Problem 8.245

Let qq denote an odd prime number and let r1,r2,…,rqr_1,r_2,\ldots ,r_q and s1,s2,…,sqs_1,s_2,\ldots ,s_q be two complete systems of residues mod qq. Then the qq numbers r1s1,r2s2,…,rqsqr_1s_1,r_2s_2,\ldots ,r_qs_q do not form a complete system of residues mod qq.

?
Problem 8.246

Let the highest power of the odd prime number pp that divides the number nn be pαp^\alpha, α≥1\alpha \geq 1. Then we have

1λ+2λ+3λ+⋯+nλ≡−npor0(modpα), 1^\lambda +2^\lambda +3^\lambda +\cdots +n^\lambda \equiv -\frac np \quad \text{or} \quad 0 \pmod{p^\alpha } ,

according as λ\lambda is or is not divisible by p−1p-1, λ=1,2,3,…\lambda =1,2,3,\ldots.

?
Problem 8.247

Let pp be the smallest prime number that divides nn. Then there exist two complete systems of residues mod nn

r1, r2, …, rn,s1, s2, …, sn r_1, \ r_2, \ \ldots , \ r_n , \qquad s_1, \ s_2, \ \ldots , \ s_n

such that each of the p−2p-2 lines

r1+s1, r2+s2, …, rn+sn,r1+2s1, r2+2s2, …, rn+2sn, r_1+s_1, \ r_2+s_2, \ \ldots , \ r_n+s_n , \qquad r_1+2s_1, \ r_2+2s_2, \ \ldots , \ r_n+2s_n , ⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots r1+(p−2)s1, r2+(p−2)s2, …, rn+(p−2)sn r_1+(p-2)s_1, \ r_2+(p-2)s_2, \ \ldots , \ r_n+(p-2)s_n

represents a complete system of residues mod nn. However then

r1+(p−1)s1, r2+(p−1)s2, …, rn+(p−1)sn r_1+(p-1)s_1, \ r_2+(p-1)s_2, \ \ldots , \ r_n+(p-1)s_n

is not a complete system of residues mod nn.

?
Problem 8.247.1

If pp is a prime number, then

(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

are divisible by pp. (For the definitions of skns_k^n and SknS_k^n see the introductions to Problem 197 and Problem 186 of Part I, respectively.)

?
Problem 8.247.2

If pp is an odd prime, the coefficients of the Tchebychev polynomial Tp(x)T_p(x) (defined at the beginning of Part Six) are all divisible by pp, with the exception of the leading coefficient which is equal to 2p−12^{p-1}.

?
Problem 8.248

Every integral power of a number nn can be represented as the sum of nn consecutive odd integers.

?
Problem 8.249

A number in the sequence 2,3,4,…,n2,3,4,\ldots ,n (n>2n>2) is relatively prime to all the other numbers if and only if it is a prime number that exceeds n/2n/2. (That such a prime number always exists for n>2n>2 was proved by Tchebychev. Cf. Oeuvres, Vol. 1, p. 63, St. Petersbourg 1899.)

?
Problem 8.250

The partial sums of the harmonic series

11+12+13+⋯+1n \frac11+\frac12+\frac13+\cdots +\frac1n

for n>1n>1 are not equal to an integer. This follows directly from the Tchebychev theorem [249], but is to be proved without using that theorem.

?
Problem 8.251

The sum of two or more consecutive terms of the harmonic series, i.e. a sum of the form

1n+1n+1+⋯+1m,n=1,2,3,…;n<m, \frac1n+\frac{1}{n+1}+\cdots +\frac1m , \qquad n=1,2,3,\ldots ; \quad n<m ,

cannot be an integer. If it is written in the form of a fraction in its lowest terms, then its denominator is even and its numerator is odd.

?
Problem 8.252

If the positive integer nn is divisible by all numbers that are ≤n\leq \sqrt n, then nn is either 24 or a divisor of 24.

More generally show by an elementary argument the following: If 0<α<10<\alpha <1, then there exist only a finite number of positive integers nn such that nn is divisible by 1,2,3,…,[nα]1,2,3,\ldots ,[n^\alpha ].

?
Problem 8.253

Let QQ be a prime number and relatively prime to 10P10P. The arithmetic mean of the digits in a period of the expression of P/QP/Q as a decimal fraction is 4.5 if and only if the length of the period is an even number.

?
Problem 8.254

The number n=2h+1n=2^h+1, h≥2h\geq 2 is a prime number if and only if

3n−12≡−1(modn). 3^{\frac{n-1}{2}} \equiv -1 \pmod n .
?
Problem 8.255

The following theorem given by Euler as a conjecture is true: The Diophantine equation

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

has no solution in positive integers x,y,z,tx,y,z,t.

?
Problem 8.256

If the prime number q≥11q\geq 11, then there always exist positive odd prime numbers p1,p2,p3,p4p_1,p_2,p_3,p_4, not necessarily distinct, that are all smaller than qq, and satisfy the equations

(p1q)=+1,(p2q)=−1,(qp3)=+1,(qp4)=−1 \left(\frac{p_1}{q}\right) = +1 , \qquad \left(\frac{p_2}{q}\right) = -1 , \qquad \left(\frac{q}{p_3}\right) = +1 , \qquad \left(\frac{q}{p_4}\right) = -1

respectively. [(p1q)\left[\left(\dfrac {p_1}{q}\right)\right. etc., are Legendre symbols defined in Problem 45 of Part V.]

?
Problem 8.257

The decimal fraction

0.23571113171923… 0.23571113171923\ldots

(formed by writing consecutively all the prime numbers) is irrational. [249, 110.]

?
Problem 8.258

The number

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

is irrational.

?
Problem 8.259

The number ee is not only irrational, but it is also not an algebraic number of the second degree, i.e. it cannot satisfy an equation of the form

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

where a,b,ca,b,c are integers and are not all =0=0.

?
Problem 8.260

If the Euler (Mascheroni) constant C=−Γ′(1)C=-\Gamma '(1) were a rational number, then Γ′(n+1)\Gamma '(n+1) would have to be an integer for all integers nn from some point onward.

?
Problem 8.260.1

The number

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

is irrational.

?
Problem 8.260.2

The numbers aa and bb are positive; aa may be rational or irrational and the same holds for bb, and so there are four possible cases. Show by means of examples that aba^b can be rational or irrational in each of these four cases (eight examples are required).

?
Problem 8.261

The question whether the number π\pi has the property that the arithmetic mean of its first nn decimal places converges to 4.5 must be left unresolved. If however the number π\pi has this property then the number 4−π4-\pi has the same property.

?
Problem 8.262

Denote by qnq_n the denominator of the nnth Bernoulli number BnB_n [182]. Then we have

lim⁡n→∞q1q2q3⋯qn(2n)!n=12. \lim _{n\to \infty } \sqrt[n]{\frac{q_1q_2q_3\cdots q_n}{(2n)!}} = \frac12 .
?
Problem 8.262.1

If ζ(s)\zeta (s) denotes the Riemann zeta-function defined in the introduction to 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 .
?
Problem 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 .
?
Problem 8.263

Let the arithmetic function f(n)f(n) be multiplicative [introduction to Chapter 1, § 6] and converge to 0 as nn tends to infinity through the prime numbers and the powers of prime numbers. Then f(n)f(n) also satisfies the stronger requirement that

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

as nn tends to infinity through all positive integers.

?
Problem 8.264

For every given positive number δ\delta,

lim⁡n→∞n1−δφ(n)=0,lim⁡n→∞τ(n)nδ=0. \lim _{n\to \infty } \frac{n^{1-\delta }}{\varphi (n)} = 0 , \qquad \lim _{n\to \infty } \frac{\tau (n)}{n^\delta } = 0 .
?
Problem 8.265

Let the quadratic polynomial ax2+bx+cax^2+bx+c with integral coefficients be represented by the lattice point a,b,ca,b,c of a three-dimensional cubic lattice. Let the number of those lattice points that lie in the cube

−n≤a≤n,−n≤b≤n,−n≤c≤n -n\leq a\leq n , \qquad -n\leq b\leq n , \qquad -n\leq c\leq n

and correspond to a reducible polynomial be rnr_n. Prove that

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

(It is in a certain sense the ``normal case'' for a quadratic polynomial to be irreducible.)

?
Problem 8.266

The probability that a polynomial with integral coefficients of given degree is reducible is equal to 0. More precisely: Let hh be an integer, h≥2h\geq 2, and let rnr_n denote the number of those lattice points of (h+1)(h+1)-dimensional space that lie in the cube

−n≤a0≤n,−n≤a1≤n,…,−n≤ah≤n -n\leq a_0\leq n , \qquad -n\leq a_1\leq n , \qquad \ldots , \qquad -n\leq a_h\leq n

and correspond to a reducible polynomial a0xh+a1xh−1+⋯+aha_0x^h+a_1x^{h-1}+\cdots +a_h. Then we have

rn=O(nhlog⁡2n). r_n = O(n^h\log ^2n) .

(This result generalizes and improves 265.) [Problem 46 of Part II.]

?