Section 6.13

Elementary Number Theory

[24/96%]
Show
LaTeX
Problem 6.13.1

Prove that if six people are riding together in an Evans Hall elevator, there is either a three-person subset of mutual friends (each knows the other two) or a three-person subset of mutual strangers (each knows neither of the other two).

?
Problem 6.13.2

Let um,nu_{m,n} be an array of numbers for 1≤m≤N1 \leq m \leq N and 1≤n≤N1 \leq n \leq N. Suppose that um,n=0u_{m,n} = 0 when mm is 1 or NN, or when nn is 1 or NN. Suppose also that

um,n=14(um−1,n+um+1,n+um,n−1+um,n+1) u_{m,n} = \frac{1}{4} \left( u_{m-1,n} + u_{m+1,n} + u_{m,n-1} + u_{m,n+1} \right)

whenever 1<m<N1 < m < N and 1<n<N1 < n < N. Show that all the um,nu_{m,n} are zero.

?
Problem 6.13.3

How many functions f:{1,2,3,4,5}→{1,2,3,4,5}f : \left\{ 1,2,3,4,5\right\} \rightarrow \left\{ 1,2,3,4,5\right\} have a range of size exactly 3?

?
Problem 6.13.4

Let m≥0m \geq 0 be an integer. Let a1,a2,…,ama_1, a_2, \ldots , a_m be integers and let

f(x)=∑i=1maixii! f(x) = \sum _{i=1}^{m} \frac{a_i x^i}{i!}

Show that if d≥0d \geq 0 is an integer then f(x)d/d!f(x)^d/d! can be expressed in the form

∑i=0mdbixii!. \sum _{i=0}^{md} \frac{b_i x^i}{i!} .

where the bib_i are integers.

?
Problem 6.13.5

Let f:[0,1]→[0,1]f : [0,1] \rightarrow [0,1] be an increasing (not strictly increasing) function such that

f(∑j=1∞aj3−j)=∑j=1∞aj22−j f\left( \sum _{j=1}^{\infty } a_j 3^{-j} \right) = \sum _{j=1}^{\infty } \frac{a_j}{2} 2^{-j}

whenever the aja_j are 0 or 2. Prove that there is a constant C0C_0 such that

∣f(x)−f(y)∣≤C0∣x−y∣log⁡2/log⁡3 \left|f(x)-f(y)\right| \leq C_0 \left|x-y\right|^{\log 2/\log 3}

for all x,y∈[0,1]x,y \in [0,1].

?
Problem 6.13.6

Let pp be an odd prime. Let Q(p)Q(p) be the set of integers aa, 0≤a≤p−10 \leq a \leq p-1, for which the congruence

x2≡a(modp) x^2 \equiv a \pmod{p}

has a solution. Show that Q(p)Q(p) has cardinality (p+1)/2(p+1)/2.

?
Problem 6.13.7

Let pp be an odd prime. If the congruence x2≡−1(modp)x^2 \equiv -1 \pmod{p} has a solution, show that p≡1(mod4)p \equiv 1 \pmod{4}.

?
Problem 6.13.8

Let n≥2n \geq 2 be an integer such that 2n+n22^n+n^2 is prime. Prove that

n≡3(mod6). n \equiv 3 \pmod{6} .
?
Problem 6.13.9
?
(1)

Show that the set of all units in a ring with unity form a group under multiplication. (A unit is an element having a two-sided multiplicative inverse.)

(2)

In the ring Zn\mathbb {Z}^{n} of integers mod nn, show that kk is a unit if and only if kk and nn are relatively prime.

(3)

Suppose n=pqn = pq, where pp and qq are primes. Prove that the number of units in Zn\mathbb {Z}^{n} is (p−1)(q−1)(p-1)(q-1).

Problem 6.13.10

Which rational numbers tt are such that

3t3+10t2−3t 3t^3 + 10t^2 - 3t

is an integer?

?
Problem 6.13.11

Show the denominator of (1/2n)\binom {1/2}{n} is a power of 2 for all integers nn.

?
Problem 6.13.12

Let nn be a positive integer.

?
(1)

Show that the binomial coefficient

cn=(2nn) c_n = \binom {2n}{n}

is even.

(2)

Prove that cnc_n is divisible by 4 if and only if nn is not a power of 2.

Problem 6.13.13

Suppose that n>1n > 1 is an integer. Prove that the sum

1+12+⋯+1n 1 + \frac{1}{2} + \cdots + \frac{1}{n}

is not an integer.

?
Problem 6.13.14

Let gcd⁡\gcd abbreviate greatest common divisor and lcm⁡\operatorname {lcm} abbreviate least common multiple. For three nonzero integers a,b,ca,b,c, show that

gcd⁡{a,lcm⁡{b,c}}=lcm⁡{gcd⁡{a,b},gcd⁡{a,c}}. \gcd \left\{ a, \operatorname {lcm}\left\{ b,c\right\} \right\} = \operatorname {lcm}\left\{ \gcd \left\{ a,b\right\} , \gcd \left\{ a,c\right\} \right\} .
?
Problem 6.13.15

Let a1,a2,…,a10a_1, a_2, \ldots , a_{10} be integers with 1≤ai≤251 \leq a_i \leq 25, for 1≤i≤101 \leq i \leq 10. Prove that there exist integers n1,n2,…,n10n_1, n_2, \ldots , n_{10}, not all zero, such that

∏i=110aini=1. \prod _{i=1}^{10} a_i^{n_i} = 1 .
?
Problem 6.13.16

The number 21982145917308330487013369 is the thirteenth power of a positive integer. Which positive integer?

?
Problem 6.13.17

Determine the rightmost decimal digit of

A=171717. A = 17^{17^{17}} .
?
Problem 6.13.18

Determine the last digit of

23232323 23^{23^{23^{23}}}

in the decimal system.

?
Problem 6.13.19

Show that one can represent the set of nonnegative integers, Z+\mathbb {Z}^{}_{+}, as the union of two disjoint subsets N1N_1 and N2N_2 (N1∩N2=∅N_1 \cap N_2 = \emptyset, N1∪N2=Z+N_1 \cup N_2 = \mathbb {Z}^{}_{+}) such that neither N1N_1 nor N2N_2 contains an infinite arithmetic progression.

?
Problem 6.13.20

Let φ\varphi be Euler's totient function; so if nn is a positive integer, then φ(n)\varphi (n) is the number of integers mm for which 1≤m≤n1 \leq m \leq n and gcd⁡{n,m}=1\gcd \left\{ n,m\right\} =1. Let aa and kk be two integers, with a>1a > 1, k>0k > 0. Prove that kk divides φ(ak−1)\varphi (a^k-1).

?
Problem 6.13.21

Determine the greatest common divisor of the elements of the set {n13−n∣n∈Z}\left\{ n^{13}-n \mid n \in \mathbb {Z}\right\}.

?
Problem 6.13.22

For nn a positive integer, let d(n)d(n) denote the number of positive integers that divide nn. Prove that d(n)d(n) is odd if and only if nn is a perfect square.

?
Problem 6.13.23

Which of the numbers 0,1,2,3,4,5,6,7,8,90,1,2,3,4,5,6,7,8,9 occur as the last digit of nnn^n for infinitely many positive integers nn?

?
Problem 6.13.24

Let N=30030N = 30030, which is the product of the first six primes. How many nonnegative integers xx less than NN have the property that NN divides x3−1x^3-1?

?