Elem en Ts of Num Ber Theory: T Ransl at Ed From The Fifth Revised Edition by Saul Kravet Z
Elem en Ts of Num Ber Theory: T Ransl at Ed From The Fifth Revised Edition by Saul Kravet Z
Elem en Ts of Num Ber Theory: T Ransl at Ed From The Fifth Revised Edition by Saul Kravet Z
BY I. M. VINOGRADOV
Saul Kravetz
D over P u b l i c a t i o n s , Inc.
F i r s t E n g li s h t r a n s l a t i o n of the
F if th R u s s i a n ed itio n o f 1949.
P reface vii
C hapter I
DIVISIBILITY THEORY
§ 1. B asic C oncepts and Theorem s ( 1). § 2 . The G reatest
Common D ivisor (2). § 3 . The L e a s t Common Multiple (7).
§ 4 . The Relation of E u c lid ’s Algorithm to Continued F ractions
(8). § 5 . Prime Numbers (14). § 6 . T he U nicity of Prime De
composition (15). Problem s for C hapter I (17). Numerical
E x e r c is e s for Chapter I (20).
C hapter II
Chapter III .
CONGRUENCES
§ 1. B asic C oncepts (41). § 2. P ro p erties of Congruences
Similar to those of Equation® (42). §3. Further P ro p erties of
Congruences (44). §4. Complete Systems of R esid u e s (45).
§5. Reduced S ystem s of R esid u e s (47). § 6. The Theorem s of
ill
Euler and Ferm at (48). Problem s for Chapter III (49). Numeri
cal E x e r c is e s for Chapter III (58).
C hapter IV
C hapter V
C hapter VI
DIVISIBILITY THEORY
§1. Bas ic Concepts and Theorems
I ' Zj b, . . . , n —n^ b, p ■
—p ^ Z), ^ —q ^ b ^ • • • , 5 —s ^ b ^
h = p + q + . . . + s — I — . . . —n
= (pi + qt + • • • + Si - l x - . . . - n f)b t
proving our theorem.
c. In the general c a s e , which includes the particular c a s e in
which o is d iv isib le by b, we have the theorem:
E very integer a is uniquely representable in terms o f the
p o sitive integer b in the form
a = bq + r, 0 <r<b
r n —i — r n —i ? n + r n» 0 r n ^ r n —l
r n —i = r n 7 n + i»
4
525 525 = 231 • 2 + 63,
462 231 = 6 3 - 3 + 42,
231 63
63 = 4 2 - 1 + 21,
189 3
42 = 21 • 2.
63 42
42 1
42 21
42 2
5
Indeed, since (a, A) = 1, we have (ac, b) = (c, b). But if ac
is a multiple of b , then (1, b) we have (ac, b) = A, which means
that (c, 6) = 6, i.e . c is a m ultiple of b.
3. I f each alf a 2, . . . , a m is rela tively prime to each bu A2,
. . . , An, tAera tAe product a i a 2. . . a m is rela tively prime to the
product bibj . . . bn.
Indeed (theorem 1), we have
6
8 of all the numbers a lt a3, . . . , an c a u s e s all the numbers
d i, d3, to be multiplied by m or to be divided by 8.
ab
m — ----- .
d '
Introducing m, we can rewrite the formula we have obtained
for M as:
M = mt.
7
T he la s t and the next to the la s t equations lead to the
theorems:
1. The common m ultiples o f two numbers are identical with
the m ultiples o f their le a st common m ultiple.
2 . The le a s t common m ultiple o f two numbers is equal to
their product divided by their greatest common divisor.
c. Assume that we are now required to find the le a s t common
multiple of more than two numbers a2, a2, . . . , an . Letting the
symbol m(a, b) denote the le a s t common multiple of the num
bers a and b, we form the sequence of numbers:
1
a = , a 2 > 1,
8
Similarly, for non-integers a 2, . . . , a s _t we have
1
= + a 3 > 1;
<7j +
<73 +
+
<7s-i + a .
'2 ’4
— = <73 + — *
r, r.
9
2 fn
r n —2 = r n —l ? n —1 + r n? = 7 n —l +
rn - 1 rn_t
^n—1
^"n—l ~ *"n^r ?ni
a 1
T = 7i + -----------
7i +
7a +
1
+ ---- .
7n
1 1
§1 = 7l> ^2 = 71 + > ^3 = 7l + » •••
72 1
+ —
7a
10
way (when the equation — is written here, it means
<hPi + p i =
5, =
1 ? 3& + Qx Q3
<72 + Qi + Qo
e tc ., and in general
<7s P « -i + P . - ! Ps
< 7 « (? « -1 + <?«
Qa 0 1 Qi Qa-l e. b
11
105
Exam ple. Develop the nu m b e r------ in a continuous fraction.
38
Here
105 1
2 +
~38 1
1 +
1
3 +
1
4 + —
2
<7s 2 1 3 4 2
Ps 1 2 3 11 47 105
Qs 0 1 1 4 17 38
Ps Pa—1
6S — 5S ! ------------ = -----------
Qs Qs- l Qs Qs- l
105 • 17 - 38 ‘ 47 = (-1 )5 = - 1 .
as i s decreased,
a .-i is increased,
^ 3—2 is d ecreased ,
(1) 1, 2...........N.
14
We delete from the sequence ( 1) (since they are composite
numbers) all the numbers which are m ultiples of 2, except 2 it
self. The first number following 2 which is not deleted is 3;
it is not divisible by 2 (otherwise it would have been deleted),
and hence 3 is divisible only by 1 and itself, and hence it is
also prime.
D elete from the seq u en ce ( 1) all the numbers which are
m ultiples of 3, except 3 itse lf. The first number following 3
which is not d eleted is 5; it is not divisible by either 2 or 3
(otherw ise it would have been deleted). Therefore 5 is divis
ible only by 1 and itse lf, and therefore it is also prime.
And so forth.
When th is p ro c e s s h as deleted all the numbers which are
m ultiples of primes le s s than the prime p, then all the numbers
remaining which are l e s s than p2 are primes. Indeed, every
com posite number a which is le s s than p2 h a s already been
deleted s in c e it is a multiple of its s m a lle s t prime divisor
which is <C \fa < p. T h is implies:
1. In the p rocess o f d eletin g the m ultiples o f the prime p,
this s e t o f d e le te d numbers m ust start with p2.
2 . The formation o f the table o f primes ^ N is com pleted
once we have d e le te d all the com posite m ultiples o f primes
not e xc eed in g 'JW .
15
C. Every integer greater than one can be decom posed into
the product o f prime factors and uniquely, i f we disregard the
order o f the factors.
Indeed, let a be an integer greater than unity; if pt is its
s m a lle s t prime divisor, then a = p la l . If a, > 1, then if p2 is
its s m a lle s t prime divisor, we have a j = p2a 2. If a 2 > 1, th en,
in exactly the same way, we find a2 = p3a3, etc. until we come
to some an equal to one. Then a n - l = pn . Multiplying all
these equations together, and simplifying, we obtain the fol
lowing decomposition of a into prime factors:
a ~ P 1P2 • • • P n •
P1P2 • • • Pn = • qs‘
16
CL* Qm CLj _
a = p ^ p p . . . pkk .
d = . . . p£*;
(l)
o < Pi < 0Cj, 0 < ^ a„ ..., 0 ^ < a*.
1 1 < a, c,
— , — between every two neighboring fractions — and —
2 1 b, d2
a. + c
with b. + d. ^ r we insert the fraction — , and so
bi +
forth as long a s th is is p o s sib le . F ir s t prove that for any two
a c
pairs of neighboring fractions — and — of the sequence, ob-
b d
a — + — ; 0 < Q ^ r, (P , Q) = l , | d\ < 1.
Q Qt
18
c. Prove the theorem of problem b using h, 44.
5. a. Prove that there are an infinite number of primes of
the form 4m + 3.
b. Prove there are Em infinite number of primes of the form
6m + 5.
6 . Prove that there e x is t an infinite number of primes by
counting the number of integers, not exceeding N, whose
canonical decomposition does not contain prime numbers dif
ferent from p lt p2, . . . , p*.
7. L e t K be a po sitiv e integer. Prove that the sequence of
natural numbers contains an infinite s e t of s e q u e n c e s M, M +
+ 1, . . . , M + K — 1, not containing primes.
8 . Prove that there are an infinite number of composite
numbers among the numbers represented by the polynomial
a0x n + + . . . + an , where n > 0, a 0, a 1? . . . , a n are
integers and a 0 > 0 .
9. a. Prove that the indeterminate equation (1) x 2 + y 2 = z 2,
x > 0 , y > 0 , z > 0, (x, y, z) = 1 is s a tis f ie d by those, and
only those, s y ste m s x, y, z for which one of the numbers x
and y is of the form 2uv, the other of the form u2 — V2, and
finally z is of the form u2 + v2; here u > v > 0, (u, v) = 1,
uv i s even.
b. Using the theorem of problem a, prove that the equation
x* + y* = z* cannot be solved in positive integers x, y, z.
10. Prove the theorem: if the equation x n + a lx n~l + . . . +
+ an = 0, where n > 0 and a lt a2, . . . , an are integers, h a s a
rational root then th is root is an integer.
is not an integer.
1 1
b. L e t S = — + + + ------------; n > 0. Prove that S
3 5 2n + 1
is not an integer.
19
12. L e t n be an integer, n > 0. Prove that all the coef
ficien ts of the expansion of the Newtonian binomial (a + b)n
are odd if and only if n is of the form 2k — 1.
ing the table of convergents (d, $4), find: a) 6«; (3) the repre
sentation of a in the form considered in problem 4, b, with
x = 20.
5391
b. Expanding a = --------- in a continuous fraction and form-
3976
ing the table of convergents, find: a ) S6; j8 ) the representation
of a in the form considered in problem 4, b, with r = 1000.
3, Form the F arey s e r ie s (problem 4) from 0 to 1, excluding
1, with denominators not exceeding 8 .
4, Form the ta b le of primes l e s s than 100.
5, a. Find the canonical decomposition of the number
82 798 848.
b. F in d the canonical decomposition of the number
81 057 226 635 000.
20
CHAP TER II
IMPORTANT NUMBER-
THEORETICAL FUNCTIONS
§ 1. The Functions \_x\, fx:}
~n~ ‘ n~ “ n~
— 4- + 3
w |_P J IP J
d0i a xa 2) = = d ^ i a fi d ^ i a ^ d ^ a ^ d ^ a f) =
= d ^ a J d j i a J d ^ a J d t i a J = dQiaf)d6ia2).
d ip f t ) d i p f 2) . . . d ip f t ) = d i p f t p f t • • • p f t ) ;
(i) E d * = ( i + P? + P\* + . . . + Pf t * ) . . .
d \e
• • *(1 + Pk + P*S + • • • + Pk*")-
Pla ‘ +1 - 1 p?’+l - 1 p ^ +1 - 1
Sia) = --------------- ■ . . . -----------------.
Pi - l P2 ~ 1 Pk ~ 1
23
Example.
S(720) = S ( 2 4 • 3 2 * 5) =
Example.
t (720) = (4 + 1) (2 + 1) (1 + 1) = 30.
^ = 0, if a > 1,
£ pW )
d \a
= 1, if a = 1.
1
Setting 6 (d) — , we find
d
1
1 --------j , if a > 1 ,
E p(d) Pi - - Pk /
------- <
d \a d
1, if a = 1 .
S ' = 2> W )S d,
s '= A £ p ( d ) + ft E pW ) + . . . + fn £ pW)-
A s, A s, A sn
25
Gathering those terms with the same value of d and bracketing
the coefficient of this p(d), the bracket contains those and
only th o se f whose corresponding S are m ultiples of d, and
this is ju st S d .
(1) 0, 1, a — 1
9(1) = 1, cp(4) = 2,
9(2) = 1, 9(5) = 4,
9(3) = 2 , 9 (6) = 2.
b. L e t
( 2)
a, a>
a = px lp p Pk'
^ Pi y v Pi I ^ Pk
or also
in particular,
cf>(a) = J 2 V-(d) —
d \a d
cp(60) = 60 (1 ------
cp(81) = 81 - 27 = 54;
q>(5) = 5 - 1 = 4.
27
In view of (5), the right side can be rewritten as
y . [fu)]
Q < x^.R
T = 1 + 4[r] + 8 ^ [VP - ** ] -
V2
o<x<—=
V 2
28
d. L et n > 0 and le t T be the number of la ttic e points of
the region x > 0, y > 0, x y ^ n. Prove that
n
T = 2 E x
= M .
Caxj, x = 1, 2, • • •, [^ y ]j y = 1, 2, • • •
1 1
— + — = 1.
a 0
0, { a x j , { a x j, . . . , {ax, I, 1
"[a]' a
c_ _c
[ a + j8 + . . . + A] £ [ a ] + [/3] + . . . + [A].
a!
a \ b \ . . . Z!
is an integer.
7. L e t A be a positive integer, p a prime and
p s+1 - 1
u a =* --------------
p - 1
p(x) = — - \x ], a( x) = f p(z)dz,
2
_____ r\
- o ( R ) f' ( R ) - J
R
o ( x ) f" ( x ) d x ,
ln(n!) = n In n — n + 0 (ln n)
31
9, a. L e t n > 2, 0 ( z , z 0) =
Z0<p^2
E
I np, where p runs through
Prove that
a) In ([n]!) = ipin) + ip f — ) + ip ( — ] + . . .
( n \ n n \ n n\
_ ln p
2^ ------- = In n + 0(1),
p^n P
Pn+l ^ P n ( l f)*
1
7~1 — = C + I n i n n + 0 9
p^n P I nn
1 - 1 + 0
P(^7n Inn Jn n ,
rl i m ------—
rm(a) = n
0.
a -* CD CL
(£(s))m = £
n_ 1 na
33
13, a. For R{s) > 1, prove that
1
t ( s ) = / 7 ----------
1 --------
PS
where p runs through all the primes.
b. Prove that there e x ist an infinite number of primes, s ta rt
ing from the fact th a t the harmonic s e r ie s diverges.
c. Prove th a t there e x ist an infinite number of prim es, start-
77 2
ing from the fact that £(2) = ---- is an irrational number.
6
14. L e t A (a) = In p for a = p 1, where p is a prime and I
is a positive integer; and le t A (a) = 0 for all other positive
integers a. For R{s) > 1, prove that
£ '( s ) 00 A (n)
CD
p (n )
= £
n
1 = Z] fiW)
O^cJ^n 7
b. L e t Miz, z 0) = /*(<*); Mix) = Mix, 0). Prove that
z 0<a^z
a ) Min) + M + . = 1 , 71 ^ 1.
( t) * < T>
34
(' n \ (n n\ (n n\
~2)+ \T ' t ) + l l ’l ) +•••=* ^ 2.
T l,n
s'= E ^ ) s dt
d \a
/ / / // // // _ . (n) (n>
i • * • i x k> x i » xt » • • • » x k > • • • » i X 2 * 4 n>,
s ' = y j i{ d ) s d,
G(8) = £ F{d),
d \S
F(a) = T fM(d)G
d \e
8lt 8a, . . . . 8n
fit fit • • • f fn
„ M(c()
r ' - n p d
= £ ^ ) d mo m ( — \ .
36
b. Prove that
a
<A,(a) — <?(a).
2
c. Prove that
a
ip2(a) 2 + — ; — P i P i ' - P k1j y iw ,.
(" 1)k
3
z
Tz = E p(d)
d \a 7
b. Prove that
T z = — cp(a) + 0 { a €) .
a
n(z) = * ( V 7 ) - 1 + 2Z pU)
d \a
37
where, on the left s id e , n runs through the positive integers
relatively prime to a, while, on the right sid e, p runs through
all the prime divisors of the number a.
21, a. The probability P that k po sitiv e integers x1, x 2, . . . ,
x k are rela tiv e ly prime i s defined as the lim it, as N —> oo, of
the probability P N that the k numbers x lt x 2, . . . , x k are rela
tively prime, when these k numbers take on the v alu es 1, 2,
. . . , N independently and with equal probability. Applying the
theorem of problem 17, b, prove that P = (£(/c))- 1 .
b. Defining the probability of the irreducibility of the frac-
x 6
tion — as in problem a for k = 2, prove that P = — .
y 77*
22, a. L e t r > 2 and le t T be the number of la ttic e points
(x, y) with rela tiv e ly prime coordinates in the region ** + y 2 <
^ r. Prove that
T = — r 2 + O (rln r).
77
b. L e t r > 2 and let T be the number of lattice points {x, y,
z) with relatively prime coordinates lying in the region x 2 +
+ y 2 + z 1 ^ r 2. Prove that
4>77
T = --------- r J + 0 ( r 2)
N (qr) e
n(N, q, I) = 0(A); A
qr
J^p(d) = 0.
d
£ p(d) = 0.
27. Using the expression for cp(a), prove that there exist an
infinite number of primes.
39
28. a. Prove the theorem of d, §4 by showing that the num
ber of integers of the seq u en ce 1, 2, . . . , a which have the
® yU) £(s - 1)
„?1
40
CIIA PTE 1! Ill
CONGRUENCES
§1. Bas ic Concepts
a = Mmod m),
a = mq + r, b = mqt + r; 0 ^ r < m.
and hence
b = mqx + r, 0 ^ r < m,
we deduce
a = mq + r; q = q 2 + t,
i.e.
a = Mmod m)
proving assertio n 1.
A ssertion 2 follows immediately from assertion 1.
Indeed, let
Then (1, c, § 1)
and hence
or (1, c, 51)
a i + a2 + . . . + a k = + b2 + . . . + 6fc(mod m)
42
A summand on either side o f a congruence can be put on the
other side by changing its sign.
Indeed, adding the congruence a + b = c(mod m) to the evi
dent congruence —b = —6(mod m), we find a = c — b(mod m).
Any number which is a multiple o f the modulus can be added
to {or subtracted from) any s id e o f a congruence.
Indeed, adding the congruence a = b(mod m) to the evident
congruence mk s 0(mod m), we obtain a + mk = b(mod m).
C. Congruences can be multiplied termwise.
Indeed, we again consider the congruences (1) and deduce
from them the equations (2). Multiplying equations (2) together
term wise we find
A x * lX j 2 . . .x%k = B y ^ y f 1 • • • y£k(niod m)
If
x = x,(mod m),
then
a = b + mt, ak = bk + mkt
We have
m m m
take for p e ith er of the two numbers — and — — m = —— .
2 2 2
T aking one residue from each equivalence c la s s , we obtain
a complete s y s te m o f residues modulo m. F requently, a s a
complete system of re sid u e s we use the le a s t non-negative
re sid u e s 0, 1, . . . , m — 1 or the absolutely le a s t resid u es; the
la tter, as follows from our above d is c u s s io n , is represented in
the case of odd m by the sequence
m —1 1
~ * • • • t ~1» 0, 1,
m m
1, . . , - 1 , 0, 1, .
2 + ~2’
m m
.., 1 , 0 , 1, • — + 1.
2 ’ 2
46
c. Any m numbers which are pairwise incongruent modulo m
form a complete s y s t e m o f residues modulo m.
Indeed, being incongruent, these numbers must belong to
different equivalence c l a s s e s , and s in ce there are m of them,
i.e. as many as there are c l a s s e s , it follows that one number
falls into each c l a s s .
d. I f (a, m) - 1 and x runs over a complete s y s t e m o f resi
dues modulo m, then ax + b, where b is any integer also runs
over a complete s y s te m o f residues modulo m.
Indeed, there are a s many numbers ax + b as there are
numbers x, i.e. m. Accordingly, it only remains to prove that
any two numbers a x j + b and ax2 + b corresponding to incon
gruent x t and x 2 will also be incongruent modulo m.
But, assum ing that a x 2 + b = ax2 + Mmod m), we arrive at
the congruence a x 2 = ax2 (mod m), from which we obtain
x x = x 2 (mod m) as a consequence of (a, m) = 1, and this
contradicts the assum ption of the incongruence of the num
bers x t and x 2.
1, 5, 11, 13, 17, 19, 23, 25, 29, 31, 37, 41.
i (mod m).
* = rt , r,, . . . , r c; c = cp(m),
a c = 1 (mod m)
ap = a (mod p),
1 ),
1
— cp{m).
o
(1) 5 =
1
c. L etting, in contradistinction to problem b, S = —
6
for the v e rtic e s , prove formula (1) for a triangle with la ttice
point v e rtic e s .
3, a. L e t m > 0, (a, m) = 1, h > 0, le t c be a real number,
let
ax + ipix)
s = £ tn
a X M+ m -l
A = — + — , S = £ M , + 5}
m
" m
" x-Af
Prove that
1
S —— m < IM + -■
2
Af + m—l
s - £
x-M
wh ere
1 ^ m ^ t, t = /I5, /4 ^ 2, A > 1.
Prove th a t
k + 3
S —— m
2
M+m-l 1
2^ \Ax + B j = — m + 0 ( ln m).
x-M ^
A
— « Ir w I
A A
L - <?> + M < i.
Q < x^.R 2
A = (2T O - Q) In A + 8k A ) A - v>.
T = TO2 + 0 ( r /j In r).
3 n+l - 1
-H, . . . , - 1 , 0, 1, H = -----------
3 -1
Xl X2 Xk
■----- + ----- + . . . + ----- ■
Tfl^ 7712 m
54
and le t
fix. w) = ,8 w
.8
s-i
x a, • • ■, w s run through complete residue s y ste m s , while
£ af . . . , &ja run through reduced residue sy stem s modulo ms ;
x, . . . , w run through complete residue sy stem s, while
£, . . . , co run through reduced residue system s modulo m.
Prove that the fractions
A(*i. • ■• » f k ix k> W,
m. m.
' f{x, . . . , w )
coincide with the fractions • , while the fractions
m
• • • > ^ i) f k i ^ k t • • • » 03k)
m. TTl f
fi£, • • •» <y)
coincide with the fractions (a generalization
m
of the theorem of problem a).
11, a. L e t m be a positive integer, le t a be an integer, and
let x run through a complete residue system modulo m. Prove
that
m, if a is a multiple of m
0, otherw ise.
55
from a to the n e a re s t integer), prove that
2 alw ays
Af+P-
e 27Tia. x
L < min ; h >
1
3, for ( a ) ^ — .
6
in (« y p (flh i a
277J-5TX
e
L L
x»Af (a )
fi(m) = J 2 e 2nl m
€
CL, . . . , S
<? <? _ c
Kj6 l f m l , ’ ’ ‘J a k , m k KjM i a l + . . . + M k a k , m f
S'J a' l , m | ‘ ‘S
^ a' k , m k - ,JM
S' la l + .. . + Mka k , m •
277 i *
cp(a) = £
58
CHAPTER IV
CONGRUENCES IN ONE
UNKNO W N
§ 1 . B a s ic Concepts
x s + x + 1 s 0(mod 7)
(2) x = aCjfmod m j .
i.e . d numbers of the form (2), and hence the congruence (1)
h as d solutions.
d. Gathering together our r e s u lts , we obtain the following
theorem:
L e t (a, m) = d. The congruence ax - fe(mod m) is impossi
ble i f b is not divis ibl e by d. For b a multiple o f d , the con
gruence has d s o l u t i o n s .
e. Turning to the finding of solutions of the congruence (1),
we shall only consider a method which is based on the theory
of continued fractions, where it is sufficient to re s tric t our
s e lv e s to the ca s e in which (a, m) = 1.
Developing the fraction m /a in a continued fraction,
m 1
~ = <h +
a 1
+ -------
?! + 1
+
<7n
P n -l Pn _
Qn —l Qn a
m Q n-i ~ a P n -i = (-!)">
107 II
74 2
37 33
33 1
33
32
4 _1_
_4 4
»»
7 2 1 8 4
Ps 1 2 3 26 107
x = - 2 6 • 25 s 99(mod 107).
62
From th is the so lu tio n s of congruence (3) can be represented
in the form:
i.e.
in one unknown, but with different and pairw ise prime moduli.
b. It is p o s sib le to solve the system (1), i.e . find all values
of x satisfy in g it, by applying the following theorem:
Let the numbers Ms and Ma be defined by the conditions
and let
x0 = + M2M2'b 2 + . . . + MkMkbk .
Indeed, in view of the fact that all the Mj which are different
from Ma are divisible by m„ , for any s = 1, 2, . . . , k, we have
(i.e. the sy stem s (1) and (3) are s a tis f ie d by the same values
of x). But the system (3), in view of the theorems of c, $3,
ch. Ill and d, $3, ch. Ill, is s a tis f ie d by those and only those
valu es of x which s a tis f y the congruence (2).
c. I f b2, b2, b k independently run through complete
residue s y s t e m s modulo mit m2, . . . , mk , then x 0 runs through
a complete residue s y s t e m modulo m1mI .. , m k.
Indeed, x 0 runs through m2m2 . . , m k values which are incon-
gruent modulo m1m1 . . . m k , in view of d, §3, ch. III.
d. Example. We solve the system
Therefore
is
is equivalent to the s y s t e m
T = T J 2. . . T k.
x = bs (mod m s ),
f(x) = 0 ( m o d 5 ) , fix) - 0 (m o d 7 ).
x = x x (mod p)
68
and hence the la tte r equation h a s one solution:
t2 = t f (mod p),
t2 — t2 + p t3.
x = xa + p ata5
x = x a (mod p a).
x = 4 + 9t2,
x = 22 + 2713.
70
Therefore, the congruence (7) has one solution:
x = 22 (mod 27).
m -rl m —l m —1 al(x, . . . , w)
e
2TTI m
T m - Z Z - Z .
am 0 J T -0 * V -0
Tm = mr Z ^ (m0).
m0\m
ax + . . . + fw + g = 0(mod m).
mr~l d , if g is a multiple of d,
H I 0, otherw ise.
1/
x = o ( - l)
(P— !Hp - - a + D (mod
, J p).,
1*2... a
m
ax = y (m o d m ), 0 < * < r, 0 < | y | < —.
2P - 2 1 1 1
----------- = 1 _ — + ------ . . . -------------- (mod p).
p 2 3 p - 1
73
5, a. L e t d be a divisor of the number a which is not di
v isib le by primes sm aller than n, and le t k be the number of
different divisors of the number d. Prove that the number of
m ultiples of d in the sequence
n K„a
is ------- .
d
b. L e t p t, p2f . . . , p k be the different prime divisors of the
number a which are not sm aller than n. Prove that the number
of in teg ers of the seq u en ce (1) re la tiv e ly prime to a is
n
a [1 - — 1 n 1
V Pi Pi Pk
x = x 1^ (mod ml>2).
X - x 1»2, • (mod m.
74
7. Let m be an integer, m > 1, let a and b be integers, and
let
ax + b x '
( — ) = £ exP
m
/ a, b \
a ) ( ------- ] is real.
\ m )
f a, b h \ ah, b
y ) F or (h, m) = 1, we have
\' m 1/ \ m
S ) For m „ mlt . . . , mk relatively prime in pairs, setting
mxmt . . . mk = m, m = m„il/s , we have
8. L e t the congruence
+ ayXn~' + . . . + an = 0(mod p)
x = x lt x 2, . . . , x n (mod p).
75
Prove that
fix) = 0 (mod 3)
by trial.
b. Solve the congruence 9a;2 + 29a: + 62 = 0(mod 64).
10, a. Solve the congruence a^ + 2a: + 2 = 0 (mod 125).
b. Solve the congruence x 4 + 4x* + 2a^ + 2x + 12 =
= 0(mod 625).
11, a. Solve the congruence 6a^ + 27a^ + 17a: + 20 =
- 0 (mod 30).
b. Solve the congruence 31a:4 + 57a^ + 96a; + 191 =
= 0 (mod 225).
78
CHAPTER V
CONGRUENCES OF THE
SECOND DEGREE
§ 1 . General Th eorems
P —1
and — - — quadratic non-r es idu es .
p - 1 P “ 1
(4)— , . . . , - 2 , - 1 , 1, 2, . . . , — —
i.e . with the numbers of (3). Here the numbers of (3) are in-
p —1
congruent modulo p, s in c e Id = I1 (mod p), 0 < k < 1 ^ ---------
2
it would follow that the congruence xd = P (mod p) is s a tis fie d
by four numbers: x = ~k, k, I among the numbers of (4),
contradicting c.
e. I f a is a quadratic residue modulo p, then
p -i
(5) a 2 = 1 (mod p);
p -i
(6) a 2 = - 1 (mod p).
80
Indeed, by F erm at’s theorem,
p - i P-1
ap - i
1 (mod p); a 2
1 a 1 + 1 0(mod p).
One and only one of the factors of the left side of the la tter
congruence is divisible by p (both factors cannot be divisible
by p, for if they were, then 2 would be divisible by p). T here
fore one and only one of the congruences (5) and (6) can hold.
But every quadratic residue a s a ti s f i e s the congruence
(7) a = x2 (mod p)
81
c. Here we deduce the most important properties of the
Legendre symbol and in the next paragraph, the properties of
the generalization of th is symbol— J a c o b i’s symbol, which is
useful for the rapid calculation of this symbol, and hence
s o lv es the problem of the p o ssib ility of the congruence
x2 = a (mod p).
G* I p ' j = lm
Indeed, 1 = l 2 and hence 1 is a quadratic residue.
■■ (?) - < - » -
T h is property follows from b for a = —1.
p — 1
Since ---------- is even for p of the form 4 m + 1 and odd for
2
p of the form 4m + 3, it follows that - 1 is a quadratic residue
of primes of the form 4m + 1 and a quadratic non-residue of
primes of the form 4m + 3.
/ ab . . . Z\ / a \ / b \ /I
g. ------------- =
7 )(7 ) ~ ( 7 )
Indeed, we have
(mod p),
from which it follows that our assertio n is true. A consequence
of our result is
fab2 a
a ‘ 1 = (1rl (mod p)
a ‘ 2 = t2r2 (mod p)
( 1)
p - i
a ‘ Pi = < p /Pl (mod p); Pi =
1 - 2 . . . P , = rxr2 . . . r p^
p-i
we find a 2 s ( x(2 . . . (p (mod p), from which (b) we have
a
( 2)
83
i. The expression for L eg e n d re’s symbol which we have
found can be put in a more concise form. We have
(8m ± l ) 2 - 1
8m2 + 2m, even
8
while
(8m ± 3)2 - 1
----------------------- = 8m2 ± 6m + 1, odd,
P ~ 1 7 ~ 1
Since is odd only in the ca se in which
2 2
both numbers p and q are of the form 4m + 3 and even if one
of th e se numbers is of the form 4m + 1, the above property
can be formulated as follows:
If both the numbers p and q are of the form 4m + 3, then
R_ P_
P
/ 7\ P_ \
/ P
P 7
85
In order to prove our re s u lts , we note that, in view of k,
formula (3) ta k es on the form
(4)
x — 1, 2, Pi t y — 1, 2, q Xt
independently.
We can never have qx - py, b ec a u se it would follow from
this equation that py is a multiple of q which is im possible
b eca u se (p, q) = (y, q) = 1 (since 0 < y < q). Therefore we
can s e t p ^ j = St + S2, where S, is the number of pairs with
qx < p y and S2 is the number of pairs with py < qx.
It is evident that is also the number of pairs with
P
x < — y. F o r given y we can take x = 1, 2, —y .
9 9
p p p P
(Since — y ^ — q2 < — we have — y ^ Pi*)*
9 9 2 .9
Consequently,
p
— y .
s‘ - L
9
9
—x .
X- 1 P
86
But then equation (4) gives
t 7
and hence
\ / \ / = (“ 1)Sl+Sl = (~ 1)Pl91
a a a
Pi Pi Pr
b. I f a = o, (mod P ), then
Indeed,
a.
Pi Pi
87
so that a, being congruent to a, modulo P , is also congruent to
a1 modulo p t , p2t . . . , p r, which are the divisors of P .
but
P ~ 1 _ P1P2 - P r ~ 1
2 2
Pr ~ 1
1 + 2A J i l ) i + 2^ ± .1 + 2
Pi “ 1 P i- 1 Pr ~ 1 nM
---------- + ---------- + . . . + ---------- + 2 N
2
- » r
88
ab . . . I
e.
8 8 8
89
and hence we deduce from formula (2)
P ar1 q/3-1
y y 2 2 r s
= ( - l ) a“l ^ 77 77
a - i /3«i
r
s 2 P
= (- 1)
a -i /3-i
\.
QJ
But, as in d, we find
f
Q - i £ ^ 3 — L + 2/V
L + 2/V,
2 2
and hence
p -1
2 2
(- 1)
90
Exam ple, As an example of the calculation of the Legendre
symbol (we will consider it to be a particular c a s e of the
Jacobi symbol) we in v e stig ate the solutions of the congruence
( 2) x 2 = a (mod p)
91
then s in c e (a, p) = 1 we also have (x lf p) = 1, and since p is
odd, (2*lt p) = 1, i.e. f ' { x x) is not divisible by p. Therefore
to find the solutions of the congruence (1) we can apply the
argument of b, §5, ch. IV, while each solution of the con
gruence (2) g iv e s one solution of the congruence (1). It
follows from th is that
The congruence (1) has two solutions or none according as
a is a quadratic residue or a quadratic non-residue modulo p.
c. We now consider the congruence
1 + 4t(t + 1) = a (mod 2 a ).
a - 1
(1 + 4t,)2 s a (mod 16), t 3 = ----------(mod 2),
8
t, = t 3 + 2t4, x = ±(1 + 4 13 + 8£4) = ± (x4 + 8t4).
x = ± { x a + 2a~l t a ).
x? = a (mod 2 a ); (a, 2) = 1
are:
x2 = a (mod p); p = 4m + 3.
x 2 = a (mod p); p = 8m + 5.
x2 = a (mod p); p = 8m + 1
x 2 + 1 = 0 (mod p); p = 4m + 1
are
x = ± 1 • 2 . . . 2m (mod p).
(1) x2 + 1 = 0 (mod p)
95
is solvable if and only if p is of the form 4m + 1; the
congruence
(2) x2 + 2 = 0(mod p)
x2 s a(m od p a ); (a, p) = 1,
x2 = a (mod 2 a ); (a, 2) = 1,
x2 - a (mod p a ); (a, p) = 1
96
are x = ± P Q ' (mod p a ), where
(z + \ f a ) a + (z - V c i ) a (2 + Va~)a - (2 - Va^)a
P = --------------------------------------- , Q = -------------------- --- ---------------
2 2vT
22 = a ( m o d p ) , = 1 (mo'd p a ).
8 . L et ^ j = 0 for (a, p) = p.
a. F o r (k , p) = 1, prove that
p - ‘ ( x(x + h)
L
5=o \
-------
P
-1.
T 77-07
5 =
Is | < Vm>
In the proof use the inequality
2
'xy + k
£ X
L L
P
p- i /x + z
S = £ SJX; S x = £
M, M + 1, . . . , M + 3[Vp"] - 1
98
In proving th is, s e t r = Vm~ and use the representation of
z
a = — given in the theorem of problem 4, b, ch. I, and then
m
consider the congruence obtained by multiplying (2) termwise
by Q* •
b. L e t a be one of the numbers 2, 3. Prove th a t the number
of rep resen tatio n s of a prime p > a in the form
c. L e t p be of the form 4m + 1, (k , p) = 1,
P-- »1 /:xix2
P + k)
S (« - £ -
X«0 \
P = isw )\ (isw)\
10. L e t D be a positive integer which is not the square of
an integer. Prove that:
a. If two pairs x = x x, y = y, and x = x lt y = ya of
integers satisfy the equation
x 2 - Dy2 = k
99
for a given integer k, then the equation
X 2 - D Y 2 = k?
(1) x2 - Dy2 = 1
(2) x + yVD~ = (x 0 + y 0\ f D ) r; r = 1, 2, . . .
11, a. L e t a be an integer. L et
x t = x t (mod p),
or
x x = x + t (mod p)
100
for fixed t.
a \ Ua, p
P / V>,P
b. L e t m > 2, (a, m) = 1,
1771 '
= L
x-0
n^ 1 / A x2 + ax
^ exp --------------- = Vm-
Moreover, let the function $ (z) be such that, for some A and
any a = 1, 2, . . . , m - 1, we have
/ az\
£ 0 (z) exp 2/rt---- ^ A.
V m ,
Prove that
M+Q-i / x
< Vp~ In p.
L 7
x-M \ P
1 d r - 1 Q . .
R = ~2® + ~ 2 ^ ln p ’ N = ~2® ~ In P; ^ <
T = — + Q \ f ^ (In p)2.
P
y ) x 2 = 11 (mod 353).
104
CHAPTER VI
gp“ ‘ = 1 + PT,
(2)
(g + pt)p~l = 1 + p ( T 0 - gp“ 1t +. pT) = 1 + pu,
(g + p t ) p(p-1) = (1 + p u ) p = 1 + p 2u a ,
(4) (g + p t ) S s 1 (mod p a ).
1 + p ru r = l ( m o d p a ), p r = 0 ( m o d p a ), r = a , 8 = cp(pa ),
c c
g Qi = 1 (mod m), g q* = 1 (mod m),
(1)
. . . , g qk S 1 (mod m).
108
Indeed, if g is a primitive root, then a fortiori it belongs to
the exponent c and hence none of the congruences o f (1) can
be s a tisfie d .
C onversely, we now assum e that g s a tis f ie s none of the
congruences of (1). If the exponent 8 to which g belongs,
turns out to be l e s s than c, then, letting q be one of the prime
c c c —
divisors of — , we would have — = qu, — = 8u, gq= 1
8 8 q
(mod p), which contradicts our assum ption. Hence 8 = c
and g is a primitive root.
E xam ple 1. L e t m = 41. We have cp(41) = 40 = 21 *5,
40 40
---- = 8, ----- = 20. Therefore, in order that the number g,
5 2
not divisible by 41, be a primitive root modulo 41, it is
n e c e ss a ry and sufficient that this g s a tisfy neither of the
congruences
y = 0, 1, . . . , c — 1.
d. We have
and in particular.
Indeed,
N 0 1 2 3 4 5 6 7 8 9
0 0 26 15 12 22 1 39 38 30
1 8 3 27 31 25 37 24 33 16 9
2 34 14 29 36 13 4 17 5 11 7
3 23 28 10 18 19 21 2 32 35 6
4 20
I 0 '1 2 3 4 5 6 7 8 9
0 1 6 36 11 25 27 39 29 10 19
1 32 28 4 24 21 3 18 26 33 34
2 40 35 5 30 16 14 2 12 31 22
3 9 13 37 17 20 38 23 15 8 7
Here the row number is the first digit and the column number
is the second digit of the number (index). At the place common
to the given row and given column we place the corresponding
index (number).
F or example, we find the ind 25 at the place in the first
table common to the 2-nd row and the 5-th column, i.e.
ind 25 = 4. The number whose index is 33 is found in the
place in the second table common to the 3-rd row and the
3-rd column, i.e. 33 = ind 17.
112
§5. Consequences o f the Preceding Theory
(1) x n = a (mod m)
c
~3~
6
( ) a = 1 (mod m).
114
Indeed, the condition ind a = 0 (mod <f) is equivalent to'the
c
condition: — ind a = 0 (mod c). T h e la tte r is equivalent to
d
condition (6).
Example. By the theorem of $3, the im possibility of the
C
congruence g q s i (mod m) is equivalent to the statem ent
that g is a ^-th power non-residue modulo m. In particular,
c
the im possibility of the congruence g 2 = 1 (mod m) is
equivalent to the s tatem en t that g is a quadratic non-residue
modulo m (cf. e , $1, ch. V).
d, 1. The exponent 8 to which a belongs modulo m is de-
c
fined by the equation find a, c) = — ; in particular, the fact
8
that a belongs to a number o f primitive roots modulo m is
equivalent to the equation (ind a, c) = 1.
2. In a reduced residue s y s t e m modulo m, the number o f
numbers belonging to the exponent 8 is cp(S); in particular,
the number o f primitive roots is cp(c).
Indeed, 8 is the s m a lle s t divisor of c such that o S s 1
(mod m). T h is condition is equivalent to
ind a = 0
6, 7, 11, 12, 13, 15, 17, 19, 22, 24, 26, 28, 29, 30, 34, 35.
§ 6 . Indices Modulo 2a
x2 = 1 + 8tlf
x* = 1 + 16t2,
C
L—2
X2 = 1 + 2at a_, = 1 (mod 2 a ).
5 = 1 + 4,
52 = 1 + 8 + 16,
54 = 1 + 16 + 32uj,
117
to the numbers of the lower row since the former are congruent
to 1, while the la tte r are congruent to -1 modulo 4.
e. F or convenience in la te r in v e stig a tio n s , we ex p ress the
resu lts of b, c, d in more unified form, which is also applicable
in the ca se a = 0.
Let
c = 1; c0 = 1, i f a = 0, or a = 1;
c = 2; c0 = 2 a~2, i f a ^ 2
y : 0, •« •, c 1, y0 = 0, •« •, c 0 1
a = (- 1 ) ^ 5 ^ ° (mod 2a ),
118
then the system y, y0 is called an index s y s t e m o f the number
a modulo 2a .
In view of e, every a relatively prime to 2 a (i.e. every odd
a) has a unique index system y ' i y 0' in the c c 0 = cp(2a ) pairs
of values y, y0 considered in e.
Knowing a system y ' , y 0', we can also find all index s y s
tems of the number a; according to f, th e se will be all pairs
y, y0 co n s is tin g of the non-negative numbers of the equiva
lence c l a s s e s
a , , , l = ( - l ) r ( a ) + • • *+ y ( 0 5 7 o(a)+ • •. + 7o(0
a = ( - l ) r 5^<> (mod 2a ),
(1)
a = g f 1 (mod p,a»), . . . , a s g]fk (mod p j fc),
119
then y, y0, y lt . . . , y k is called an index s y s te m o f the number
a modulo m.
It follows from this definition that y, y 0 is an index system
of the number a modulo 2 a , w hile y lt .. . , y k are indices of the
number a for the moduli p “l, . . . , pk k . Hence (g, $6; c, $4)
every a which is relatively prime to m (and hence also rela
tively prime to all the numbers 2 a , p^1, . . . , p kk ), has a unique
index system y y 0', y f , . . . , y'k in the cc fic l . . . c k = cp(m)
sy stem s which are obtained by letting y, y0, y w . . . , y k run
independently through the l e a s t non-negative resid u es for the
moduli c, c0, c lt . . . , c k , while all the index sy stem s of the
number a are ju s t all the system s y, y0, y lf . . . , y k consisting
of the non-negative numbers of the equivalence c l a s s e s
m = 2, 4, p a , 2 p a .
1, 3, 5, . . . , n ~ 2, n, n 1, n 3, . . . , 4, 2,
1, 5, 9, . . . , 7, 3
1, 3, 3, . . . , n 1, n , n “ 2, . . . , 4, 2,
1, 5, 9, . . . , 7, 3,
etc. Prove that the /c-th operation gives the original sequence
if and only if 2k = ±1 (mod 2n - 1).
b. L e t n be an integer, n > 1, and le t m be an integer,
m > 1. We consider the numbers 1, 2, . . . . n in direct order
121
from 1 to n, then in reverse order from n to 2, then in direct
order from 1 to n , then in reverse order from n to 2, etc. From
this sequence we take the 1 -st, (m + l) - s t , (2m + l) - s t , etc.,
until we obtain n numbers. We repeat the same operation with
this new sequence of n numbers, etc. Prove that the A-th
operation gives the original sequence if and only if
mk = +1 (mod 2n — l)
R c = 1, R 0c o - 1, R f i = 1, R%* - 1,
we s e t
X (a) - R y R?<>R'?' . . . R y *.
a ) y ( l ) = 1,
123
/3) x ( a iaj) = x ( ai)x K )»
y) x K ) = a i - ° j (m0(i m)*
C. Prove that
cp(m), if a = 1 (mod m)
X 0, otherw ise.
X(a)
H - L L
'A(a)
X a
tfj{a) = 0, if (a, m) = 1,
^ ( a , a 2) =
is a character.
f. Prove the following theorems.
a ) If Xi(°) an(i Xa^a ) are chara cters, then X i ^ X a ^ 0) i s
also a character.
124
/9) If x ^ a ) is a ch ara cter and \ ( a ) runs through all the
ch ara cters, then X i(o )y (a) a^so runs through all the characters.
y ) F or (I , m) = 1, we have
cp(m), if a = I (mod m)
0, otherw ise.
p-i , 2 C -1 / I ind (x + z) \
S- £ |S,,n„l ; S ,,„ „ - £ « p N ------- --------- )
X -0 z-0 ' '
/ p - I \ 1
b. L e t p > 4 I ---------------- 22k, le t k be the number of
p U ( p - D /
different prime divisors of p — 1, and let M be an integer.
125
Prove that the sequence M, M + 1, . . . , M +
1
+ 2 2k\ U - 1 contains a primitive root modulo
cp(p - 1)
p- 1 / k ind x \ ( a x
JJa p = Y 1 exp 277-t----------- exp 2 n i-----
’ hi \ n \ P
—k ind a u a, p
exp 2ni-
"I,
| S a > p | < (5 - 1 ) V F .
126
j8) L e t (n , p) = 1 and le t s be an integer, 1 < s ^ n. Prove
that
s» I P 6 =P
«-i
, S a,
' p = 0.
s a, p a pn-
■
lS a
*Pl
S'
p
= 0.
S ) Prove that
A f+ < ?-i / Ji i n d x
exp I27ri----------- < \fp In p.
T =* — + 0V jT In p; |(?| < 1 .
n
cp(p - 1)
// = Q + 92k \Tp In p; \ 0 \ < 1.
P ~ 1
127
d. L e t Mx and (?,be integers, 0 ^ Mx < Mx + Qx ^ p ~ 1,
and le t / be the number of integers of the sequence ind M,
ind (M + 1), . . . , ind (M + Q - 1) in the sequence Mit Mx + 1,
. . . , Mx + Q - 1. Prove that
J = + 0VJT ( l n p ) a ; \ d \ <1.
P “ 1
— 2 / 1 \
< h; h = p c (In p) ; c = 2exp I 1 - — 1 .
m -i m -1 / a ry \
s = r E v(x)p(y)exp ( 2^ t ---------- ) ;
x - 0 y - 0 \ m I
m —1 m ^i
£ kwl - X, £ Ip<y) r - r.
x - 0 y - 0
Prove th a t | S | ^ V X Y m .
b, a ) L e t m > 1, (a, m) = 1, le t n be a positive integer,
le t K be the number of solutions of the congruence x n = 1
(mod m), rind let
n
1 7 ,-1 1| . flX
S= £ *(*)« m *
X-l
Prove th a t | S | ^ KVtn .
/3) L e t f be an arbitrary positive constant. F or constant n
prove that K = 0(m c) where X is the number considered in
problem a).
128
15, a. L e t (a, p) = (6, p) = 1 and let n be an integer,
I « | = n lt 0 < n l < p.
p -i / a x n + bx
S = 2^ exP ( 2m
Xml \
Prove that
Mo+Qo—1 / Axn
S = 2^ ex P ------
x-M0 \ P
3 JL —
Prove that | S | < — n \ p * In P-
2
fi ) L e t M and Q be in teg ers such that 0 < M < M + Q JC p,
and le t T be the number of in teg ers of the sequence A x n ;
x = M0, Ma + 1, . . . , M0 + Qc - 1, congruent to numbers of
the sequence M, M + 1, M + — 1 modulo p.
Prove that
Q.Q 3 i 1 . ..
T = — + 0 — n \ p * (In p)1; \ o\ < 1.
p 2
ax2 + bx + c \ j yx
--------------------- exp 2m'----
s = L
P / \ P
129
3 1
Prove that I S I < — p 4 .
2
/3) Let M and Q be integers such that 0 < M < M + Q < p ,
and let
M+Q-i / ax* + bx + c
s L ---------------------
x-M \ P
Prove that | S | P-
x3 = 23 (mod 109).
132
SOLUTIONS OF THE
PROBLEMS
Solutions o f the Problems for Chapter /.
-*o+ -7o.
a 1
S s+l
T bQ *+1
1
^s+l 5. >
a a
Therefore — < 5 S or S B+1 < — . I n both c a s e s 8 m is closer
b b
a
to a than — .
b
3. F o r n ^ 6 the theorem is evident; we therefore assume
n > 6. We have
„ 1 + V5 ,
£ = ----- = 1.618 . . . ; lo g 10£ * 0.2 . . . ;
& > 1 =* gi = 1
Hence
^QgicA
N > £ n“ 2; n < + 2 < 5A; + 2; n ^ 5& + 1.
^ g io ^
134
0 1
4, a. F or the fractions — and — we have 0 • 1 - 1 • 1 =
1 1
A C
= —1. Between the fractions — and — with AD ~ BC = —1,
B D
A + C
we in se rt the fraction ------------ , and hence A(B + D) ~
B + D
~ B(A + C) = (A + C)D ~ (B + D)C = - 1 . Therefore the
assertio n at the end of the problem is true. T he existen ce of
k a k c
a fraction — such that — < — < — , Z < r is im p o ssib le.
I b i d
Otherwise we would have
k a l c k l c a b + d ^
7 ~ ~b ' lb ’7 ~T * Id ’ d ~ ~b ' Ibd > ~bd
b. It is evident that it is su fficie n t to consider the case in
a c a c
which 0 < a < 1. L e t — < a < — , where — and — are
b d b d
neighboring fractions of the F arey s e rie s corresponding to r .
There are two p o s sib le c a s e s :
a a + c a +c
— ^ a < -----------; ---------- < a < —
b b + d b +d d
a 1 c
a —— < --------------; a ——
b b(b + d) d d(b + d)
/ In /V
^ ------- + 1 < (3 In N) k < N
\ In 2 J
M = 2 • 3 • • • (K + l ) t + 2; t = 1, 2, . . .
x z + y 2- y
2
z + y z - y
where, clearly, = 1, that there exist
. 2 2 /
positive integers u and v such that
x z + y
— = uv, ---------- i»2
2 2
k n + aikn~l l + . . . + anl n = 0.
n n(n — 1) n(n — 1) . . . 2
1 ’ 1-2 ’ " ' ’ 1 • 2 . .. U - 1)
nl n l(nl — 1) — 1) . . . 2
l ’ 1*2 1 • 2 . . . (nt - 1) ‘
Since n t < n, the la tte r are all odd if and only if n l is of the
form 2k — 1, i.e . if and only if n is of the form 2(2* — 1) +
+ 1 = 2*+1 - 1.
138
Solutions o f the Problems for Chapter II
Q P
0 < x < 0 < y < — x,
P Q
0 < y < — , o < x < — y.
Q p
0 < x < — , 0 < y < — .
2 2
T = 1 + 4 (7 , + 7 a + T a - TJ,
x = 0, 0 < y r\
0 < x ^ , 0 < y $
\/2 V2 '
139
d. The required equation follows from T = T l + T 2 — T
where T lf T2, T%denote the number of la ttic e points of the
regions
r— n
0 < y <L \ n , 0 < x ^ — :
y
0 < x ^ Vrc , 0 < y ^ Vri .
S'! n
x there correspond numbers of this form.
N N
pend on N. Dividing — + A + — + At = N by /V, and
a ft
1 1
letting N —* oo, we find — + — = 1. The la tte r equation
a ft
a
for rational a = — (a > b > 0) would give [ab] = [ft(a — 6)].
b
{ a x j , fot(xj - x t) ] ........... | a ( x f - x t^ ) \ , | - a x t |,
x = 0, 1, . . . , X 0; y = 0, 1, . . . , T0; 2 = 0, 1, . . . , Z 0.
"[a]" r a r + faP
_ _
? + — = R, R +
c c c c
L_ _
6, a. We have [ a + /3 + . . . + A] = [a ] + [/3l + . . . +
+ [A] = [ f a | + |/3 | + . . . + |A |].
b. The prime p divides n\ , a!, . . . , / ! to the exact powers
— —i i— _ _ _ _ _
n n a a
— + + *• • f — +
L p_ Lp j P |_p’J
PI +
r n
___ 1
„
Q.
_P_
Moreover '
n a r n
+ • •• +
|_puJ Lp “J Lp 'J
Jr 4*1 If 3 /
a = RkP + R k-iP + . . . + R tP 1 + RoP + R 5
^ ^ R k ^ P t ® ^ : R k —l P t ••• *
By b, *1,
142
Moreover, for any s = 1, 2, . . . , m, we have
P P
f{x)dx = j p'{x)f{x)dx = p(F})f{{3) - p (a )/(a ) -
a cl
*i+‘ *i+‘
- J f t o d x = - — f( x l + 1) - + j o{x)f"(x)dx.
* i * i
R Q
£
Q<x^R
fix) =
J
f f(x)dx -
J
f f(x)dx + p(R)f{R) - p(Q)f(Q) -
0
0 C
O
l n l + l n 2 + . . . + l nra = C + r c l n r c - r a +
1 f n v
+ — In n + I -------dx = n In n — n + 0(ln n).
2 J x1
n
n n
(1) ln([n]!) = £ — + In
p<r _P_
In ( [ n ] !) - 2 In
0( b) - j j - 0 f — j + . . . > 0 ( « ) “ 0 f— j
144
(2m + 1)1
i//(n) - i]t ^ In
(ml)1
5 . . . (2m + 1)
^ In $ In (2'"3n') < n,
1 •2 ... m
n n
+ 0 + ..• n -t- ~ ~ ■ ™ 2 n.
4 ' i 2 4
[n ] ln [ „ ] ~ ( n ] ~ 2 [ j j In + 0(ln n) ■
- n In 2 + 0(1 n n).
0(V^T ) - 0 +
r
< 2 always
+ 0
- 0 for .<! > r; r
In 2_
145
Therefore
■c-i In p In m 4
2_i = In m + 0(1) ^ -------- , 2_i— > 1.
P ^ m<Cp^m* P
If pn+l > pn( l + f ) for all p airs pn, pn+1 such that
m < p n < pn+l ^ m* then we would have
00 4
r ------------— > 1
r^o m (l + ()r
146
where C2 is a co nstant. Hence, for r > 1 (we consider
oc(l) - 1)
I n r — 1n (r - 1)
— =* T l + T 2\ 7 \ =*
0<p^n P K r^n In
a(r) - a(r - 1)
T
1 2 L
K r^n In n
We have (8, b)
1 1
£ 1 + £ / + "I + . . .I
l<r<n r ln r l< ^ n V2'* ln r ,n
C2 + In In n + 0
i In n
T = a (2)
In 2 In 3
1 \ a (n)
+ . . . + a (n - 1) +
In (n — 1) ln n In n
1
1 \In m In (m + 1)
1 1
+ Ci I + . . . —
In (m + 1) In (m + 2) In m
147
Therefore the s e r ie s
1 \ ( 1
a(2) + a(3)
In 2 In 3 In 3 In 4
T. = C, + 0
In n ,
e. We have
in 77 fi - P P
(-p r +
\
j t
3?
+■■
p^n ) p<in p^n
= C ' — In In n + 0
In n
£ QUidj) = \p(a) = 0 ( a t) 0 ( a z) =
di \ a i
(1 )
= L L W W -
^ i\ai
148
s a tis fie d for all products a va2 equal to a. But condition
2, a, $2 is s a tis f ie d for the product 1 • 1 which is equal to 1.
Therefore, it is s a tis f ie d for all products.
11, a. L et m > 1; for each given x m dividing a , the in
so lu tio n s. Therefore
Tm (o) = y * rm—\
xm\a
but when x m runs through all the divisors of the number a, the
a
numbers d = ------ run through all th e se same divisors in re-
rm(a) = 2 ]
tf\a
Hence (problem 10, a), if the theorem is true for the function
rm_i(a), then it is also true for the function rm(a). But the
theorem is true for the function rj(a) *= 1, and hence it is
alw ays true.
b. If m > 1 and the theorem is true for the function rm-1(a),
then
= (1 + m - 1)* - mk .
T(a) a.l + 1 a2 + 1 ak + 1
2 ai V 3 aJ^ (h + l ) a *77 *
aM + 1 , „ / 1 \ ■”
-------------- ^ 1. Therefore, settin g C * ( — I , we find
r( a ) r(a ) C
—— < C, lim ----— < lim —— = 0.
a ,V a - oo a cj 5-co a 7?
rw(a) ( r(a)
lim --------- — < lim I — —
a-.oo a _oo ^ 0 e a
00 00
(C is)r 8
1 1 .
for R{s) > 1. Since ------------- =■= + + . . . for
1 _ J _ Pa P2S
PS
N > 2, we have
1
77
P^N 1 n
1
P
where the second sum on the right is extended over those
numbers n which are not divisible by primes larger than /V.
As /V —* oo, the left side tends to P, the first sum of the
right s id e tends to £ ( s ) , while the second sum on the right
tends to zero.
b. L e t N > 2. A ssum ing that there are no primes other
than p,, . . . , pkt we find that (cf. the solution of problem a)
k 1
L - •
n
'- 1 —
1 - —r
P 0< n< JV
Pi
T h is inequality is im possible for sufficiently large N because
1 1
the harmonic s e r ie s 1 + — + — + . . . diverges.
2 3
c. Assuming that there are no primes other than p „ . . . , Pk
we find (problem a)
k i
i -1
n i
= £ 2).
i —
151
T his equation is im possible in view of the irrationality of
TT2
C© - — •
C'k) = y I ln P In p ln “ A(n)
2s Is ~~ 2_l
M “ H P* n -1 Tl
/
1 £ p (n) p (n)
77 1 E
P^N P oKn^N n ns
5 = 1, 2, . . . , [n], f = 1, 1, . . . , 1.
n
values 5 which are m ultiples of d, i.e .
~d
M(n) + M ( y j + M I j j + AH — ) + . . . = 1,
T2 = — n + )
n
5 , — (^"s» fa x ft^a)'
153
b. We obtain the required equation from d, 53, if we s et
£ F (— j -c(f) .
^ 7 .
b. We have
E ( a1 a a
11 (d) + — — cp(a).
d\a 1 2d 2 2
154
We can obtain the same re su lt more simply. We first write
down the numbers of the sequence 1, . . . , a relatively prime
to a in in c re asin g order, and then in d ecreasing order. The
sum of the terms of the two s e q u e n c e s equally d is ta n t from the
initial terms, is equal to a; the number of terms in each s e
quence is equal to cp(a).
c. We have
iAj(a) £ /*W)
d \a
O a
= — cp(a) + — (1 - Pi) . . . (1 P
3 6
b. We have
T z ~ 22 fi(d) — + 0 ( r ( a ) ) - — cp(a) + 0 ( a £ ).
d \a d a
1 Hid)
- L nid) 22 L z r •
d \a d ° x e - Ld \e N x
0<x< —
0<x^
s'
Then P „ = —— , Sd “ — » and we obtain
" Nk L d]
N 1
PN
°iz: N d k~l
c f-1
Therefore
In N
A * -------- for h = 2.
N
77
b. We have £ (2) * ---- .
6
22, a. Elementary arguments show th a t the number of la ttic e
points (u, v) of the region u2 + v2 p2; p > 0, not counting
the point (0, 0), is equal to np2 + Oip). We apply the theorem
of problem 17, b, considering the coordinates x, y of the la t
tice points of the region x2 + y2 ^ r2, different from (0, 0),
and s e ttin g f ( x , y) = 1. Then T = S ' + 1, S d is equal to the
156
[r] r2 /M r'
* 0 £ - r2 + 0 ( r In r).
dal
M 4 r> /M r2 \ 4^r*
Z / W j » - + o l £ - \ - acoT + Ofr2).
( k
; moreover fi(d) = ( - I ) * . Therefore
\ H .
£ p(<fl = £ \ (-1)" - (l - Dk = o.
d \a H -o \* /
k
for m > — the second expression is ^ 0. If m is odd, then
157
k k
for m < — , the first expression <0. and for m > — the
2 2
second expression ^ 0 .
c. T he proof is alm ost the same as in d, $3, except that
the re s u lt of problem b must be taken into account.
d. T h e proof is almost the same as in problems 17, a and
17, b.
24. L e t d run through the divisors of the number a, let
(!(</) be the number of prime divisors of the number d , and
let Q(a) = s. Follow ing the process given in the problem,
we have
- T +T0- Tj K | < 1,
|r | < E i. T , - Ir.l - E 4 -
Q(dy^jn 9 d ® Q(cf )>m 9
Moreover
s qr N
s m < enm < exp( 5 ^ “ 6 In r ) - ---------- 0(A ),
L n N qr
1
N
To 0(A).
9
n i
/V • / 3 \ /V - 4 l n - , x
< C2— 7 " — < C,— r 3 = 0(A ).
q « k» U q
2 ^ p { d t) = 7 ] M W + 2 ] = Zj “ 0.
dj dt dj d \a
a = H cp [ — j = 2Z cp(oO.
d \a J d \a
m = 2Z W)-
d\m
Therefore
cp(a) = 2 ] .
d \a d
r - —
p8 C(s - l)
77 £(s)
l - „ s —1
160
30. We have
p (<D p(d)
z E — + + « E
d\i ~ d ~ d\t d d\n d
p(d) [ 1 + 2 + . +
d-l \
Z] TT + 0(n In n)
dml 2 d2
n2 w p(d)
— 2^ — ~ + 0(n In n) = ——n1 + 0(n In n).
2 d-i d 77
1, a. It follows from
that
P = an + a n-l + . . . + a f (mod 9)
that
that
ifjyim) 1
— cp(m).
m 2
N+m I 1
E [ / W ] -------W + m)] + - [ / ( A ) ] - - + — m =«
x-w+i 2 2 2 2
/V+m W+m 1 1
= E ^ ~ Z] IfM l - + — (rn - 1) =» S;
x - N +l X‘ f f + 1 2 2
and the case in which t > 1 also reduces to this case trivially.
c. L e t A, A/, P t , P 4 be integers, A/ > 0, P t > 0, P 2 > 0.
The trapezoid with v ertices (A, 0), (A, P t), (A + A/, 0),
(A + A/, Pj) is a s p ecia l c a s e of the one considered in problem
b. Therefore equation (l) is also valid for it. Equation (1)
can also be obtained easily for such a trapezoid by consider
ing the rectangle with v ertices (A, 0), (A, P + P ), (A + A/, 0),
(A + A/, P + P), which is equal to two such trapezoids. For
this rectangle, the equation
E s - s ',
kS A2 R
lim ---- = 1, lim ---- = 1, lim ----- = 1.
A1 R kT
s
lim — = 1, 5 =■= T.
T
r + 4>(r) 1
m \
r + <D(r)
— = S(r),
m m
164
h + f
we have - 1 + — <C 5(r) < --------- for r = m — [h + (},
m m
e ^ + f
. . . , m - 1; in the other c a s e s — <; 5(r) ^ ---------- .
m m
Therefore
m - 1 1
—[A + c] + €. ^ S — ^ A + £. S — —m ^ A+
2 2
b. We have
m_l f az + iA(z) 1 „ X
S = £ j ------------ — r ; i W = m<<AM + B) + — 2.
2-0 I m m
0 < z 0 < m - 1.
P' Q'
, ( P ' t Q ' ) = 1, \ 0 ' \ < 1.
~Q' + ~Q^n
165
It follows from m < (^n+1 < (<<rn+l + l)<?n ^ CQm where C is
a constant which is not larger than all the q a + 1, that, for
the la rg e st integer H ' such that H ' Q ' < m, we have H ' < C.
Applying the theorem of problem 3, b, we find
m +h 'q '- i 1 3
£ U x + fij - — H'Q' — C.
XmM ^ 2
3
£ \Ax + B \ -------H " Q — C.
2 2
M + m —i 1 3
E \Ax + b ] - —m
2
< — Ck.
2
1
S - — (m, + m2 + + + [/?] — 1) <
k + 3 1 /r ,
< s — ~— + “ M° +i)»
k + 3 t + 1
S -------(ft - Q ) < s ---------- + ----------
2
a 1
The length of the interval for which — - ----- ^ f ' ( x ) ^
m mt
a 1 2A
<C — + ------ does not exceed . Therefore there are
m TTLT TUT
2A
< ------- + 1 numbers mlf m2, . . . . m a a s s o c ia te d with the
m2r
u
fraction — . L et a , and a 2 be the s m allest and largest values
m
of a a s s o c ia te d with a given m.
167
We have
2 H R - Q)
m -----
m t ^ ------ A~A-------
H R - Q)m
a 2 - a, + 1 < ----------------- + 1.05.
2A \ I HR - Q)m
\< — + 1 — + 1.051
m1T
H R ~ 0) 2 m 2A
r + V — + 1H.05
m2r
HR ~ Q ) r* + r \ 10/4
S < ---------- — 2 In r + 2 + 1.05 <
2 rJ 3T
HR-Q) , A 7 / 4
< --------------- In A + --------- ,
r 2 r
H{R - Q) A
S~ - (R ~ Q ) < 2 ------------— In A + 8k —
T T
b. We have
£ ~ - (R - Q) < A,
Q<x<R 2
168
from which, se ttin g 5(x) =• ff(x) + 1 — a \ — \f (x)l, we find
—r
f'ix) - - f"(x)
( r 1 - x 2)%
1
1/
r
x 2 dx + 8 p —— - 8 p (0)r -
V2
r
- 4 + 0(r3 In r) -
V2
2
* n r 2 + 0 (rJ In r).
r ( l ) + r(2) + . . . + r(n) * 2 E — w z r .
0<x^/rT x
169
It is sufficient to consider the ca se n > 64. We divide the
interval X < x ^ Vn" , where X * 2 n J , into 0(ln n) intervals
of the form M < x ^ M ' t where M ' ^ 2 M. Setting f{x) -
n
=- — , we have
x
2n n 8n
rw - - 4X » / " ( * > ^ r w ^
4 M* 4
Therefore
» 2 En + n In n + 2 p{\fn )Vn" _ _ n +
implies in sequence:
etc.
9, a. In th is way we obtain m xm 2 . . . mk numbers which are
incongruent modulo m xm 2 . .. m k , since
171
would imply (every Mj, different from M g, is a multiple of m g)
Jt ^1^1 + • • • + Mk£k
+ +
mk m
b. The fractions
f S x i* w t) fk(x k f Wi
m. m.
172
coincide with the fractions
I axi
£ exp l2rri----
\ m i E 1-"-
If a is not a multiple of m, we have
/ am 1
exp I 2 n i----- 1 - 1
ax
2ri ■ 0.
m
exp I 2774— 1 - 1
exp(2nia(M + P ) ) - exp(2rria.M) 1 1
—---------- < -------- .
exp(27ria) — 1 sin n-(a) h ( a)
173
c. By the theorem of problem b, the left s id e does not ex
ceed T m, where
Tm - E
F o r odd m.
2a + 1
Tm < m ^ In —-------— * m In 77i,
2a - 1
K a<—
m 2a + 1 77i 2a+l
T < —
2
V I n ----------- + —
2a — 1 2
y I n ------------- < 77i In 77i.
2a — 1
(Ka^ 2 °<a< “T
1 1 1
F or 77i > 6, s in ce — — — the bound tti In tti can be
2 3 6
d ecreased to
77i ;> 6 0 .
IE, a. L et tti * pj*1 . . . p®* be the canonical decomposition
of the number m. Setting p ^ 1 =* tti, , . . . , p£* » 77ik, and using
the notation of problem 10, a, we have
F o r a 8 > 1, s e ttin g m a - p am ' , we find
£ exP
m -—I u
y 1 exp l 2 n i ----- I - £ e x P I 2tt»
U "0
n\.
m ~ l X
b. L e t m be an integer, m > 1. We have /"] exp 2ni—
x -o m
» 0. By the theorem of problem a, the sum of the terms on the
left side of th is equation such that (x, m) =» d, is equal to
c. We find
H e x p ll n i — \ =* £ p W S dr
£ \ m ) A n.
mo-l / u
S d ** XX exP | 2tt£----
u-o I mo
' nx
2jri----
£ —r L cxp d
d \a “ x-o
1
lim 2r Y '
e-*o
^■1 I 7 7
K ak
Setting $(K) * 2^
r ex P (2n-i---- , the part corresponding to
kmi
176
x, not d iv isib le by a, can be represented in the form
lim 2 f ( $>(1) 1 -
— ♦ *<2> 2 l + e 1+ €
(A, + h 2)p =*
etc.
b. Setting h x = h2 =* . . . * Aa = 1, the theorem of problem
a g iv e s F erm at’s theorem.
C. L e t (a, p) = 1. F o r certain integers /V,, /V2, . . . , N we
have
a P J (p - i ) = x + /V 3p \ . . . , a P ^ C P - O = l + /V a p a ,
177
L et m = p?1 . . . p £ k be the canonical decomposition of the
number m. We have
a0f[xt . . . , w)
£ £ exP 2ni rnn
9
in-1 m—l a a„ 6a \
£ 2 ] eXP 2?7l------ x 2774----- I
0^0 X*0 ' m /
178
d. S etting (a, m) = dlt (b, d t) ~ d29 . . ., (/, dM ) = rff
/7i ~ d ^ m ^ f ^ • • •> = d f f r i f f we find {/ *-
a M (/u> + g ) ’
E E exp 2771
dr- i a rg
= mr 2^ exp 2tt7~
ar-o
is a lso true for r + 1 v aria b les. But the theorem is true for
one variable, and hence is always true.
4 (p - 1) . . . (p - a + 1)
1 • 2 . . . (a - 1) ab (-1)
1 • 2 . . . (a - 1)
= b * 1 • 2 . . . (a - 1) (mod p),
b ± m
x ; ----- (mod m).
2*
If 8 < k, then
, s b ± m
2k~ i x = ----- r— (mod m).
2°
b ± m
x = ----- ;---- (mod m).
2k
If 8 < k, then
b ± m
3 k~ lx (mod m).
35
b + mt
a tx = ------ g---- (mod m).
P
a •0 s 0 (mod m),
a • 1 = y l (mod m).
a • t = y t (mod m),
a • 0 = m (mod m).
b d K d0 b0c + ad0 be + ad
— + —' = — + — = -------------- #
a c a c ac ac
8) We have
b d 8a dQ Mo bd
a c a c ac ac
p - l\ (p - 1) (p - 2) . . . (p - a)
a I 1*2 ... a
(-l)a 1 • 2 . . . a / x
1 •2 . . . a
j8) We have
2P - 2 p - 1 (p - 1) (p - 2)
= 1 + +
p 1*2 1*2*3
(p - 1) (p - 2) ... (p - (p - 2))
+ (mod p).
1*2 ... (p — 1)
b. T h is number is equal to
H p (< /)S d ; Sd -
d \a d ’
n ka n n
L n(d) 1 •«
d \a d Pi
m.
x £>i + m 2 (t0 + — t ' Xi,j + ; x 1>2 — bj + m2t0.
183
b. If the system
I a, b \
—x ' ) the sum I ------- 1 is not changed.
\ m J
ft) When x runs through a reduced residue system modulo m,
x ' also runs through a reduced resid u e system modulo m.
y) Setting x = hz (mod m), we find
(— ) - ( — )•
S) We have
/ °2» ^
TJX* m.
184
Setting rn2x ' + m,y ' : ' i we have
= 0 (mod p)
xp - X = f(x)Q(x) + R(x).
185
Let the congruence fix) = 0 (mod p) have n so lu tio n s. T h ese
solutions will also be solutions of the congruence Rix) =
= 0 (mod p); therefore all the coefficients of R(x) are multi
ples of p.
Conversely, let all the coefficients of R{x) be multiples of
p. Then f(x)Q{x) is a multiple of p for those v alu es of x for
which x p — x is also a multiple of p; therefore the sum of the
numbers of so lu tio n s of the congruences
a % n, ^ p - n, p ~ n, p ^ c x + /3
we deduce a = n, /3 = p — n.
p ~ 1
c. R aisin g the given congruence to the power ---------- term-
n
w ise, we find that the given condition is n e c e ss a ry . L et this
condition be s a tis f ie d ; it follows from x p — x =
p - i p - i
y n = 1 (mod m).
186
Solutions o f the Problems for Chapter V
1. T h is congruence is equivalent to the following one:
(2ax + b ) 1 = b 2 — 4ac (mod m). Corresponding to each solu
tion z = z 0 (mod m) of the congruence z 1 = b 1 — 4ac (mod m),
from 2ax + b = z 0 (mod m) we find a solution of the con
gruence under consideration.
2 \
(mod p), a 2 m + 2 +a (mod p). Since — > - 1 we also
P /
have 2 4m+J s —1 (mod p). Therefore, for a certain s , having
one of the v alu es 0, 1, we find
a
C. L et p 2kh + 1, where k ^ 3 and h is odd, 1.
P
We have
k -S k -2 , lc -« . k- » , ,^
aa h/VSjJ = 1 (mod p), a a h/V*jJ s=±l(modp),
187
e tc .; finally we find
h+l
a hN2sk = ^ (mod p), x - +a 2 N Sk (mod p).
d. We have
1, if p is of the form 6m + 1,
a “ Oa-iPa" 1 + . . . + a,p + a„
a a-i a4 a3 a2 ai “o
A = a (mod p).
A - a0
Setting p,, we determine x, by the condition
P
p, + 2x0x l - a,
Setting ------------------------ = p2, we determine x 2 by the
189
condition
0-1
.... °4 °3 a0
0 a 2 a i
....
* l* (2 r-J *1*2 A
* 2 * 0 -4 A
solutions.
8, a. Defi n i n g x ' by the congruence x x ' = 1 (mod p), we
have
p-‘ f l + k x ' y
Z — —
1 P -J / / x\ (x + 1 \ ( x ( x + 1))
= (1 +f (t) +71f----- ) +°7
c. We have
S i x t E Z y- + -
*-o yi. y \ P
192
xy + h = z (mod p), we reduce this part to the form
z — Z + kl 1 - —
p-i
y \ y t
p-1 Q-1 o -l (x + z x) (x + z )
s- L E E
X-0 Zj-o Zm0
193
9, a. If m is representable in the form (1), then the solution
(5) z = z 0 (mod m)
z P Q
— = — + — — ; (P, Q) = 1, 0 < Q ^ V^T , | e\ < 1.
m Q Q\ m
(6) m * | r | 2 + Q 2.
Here ( | r | , Q) = 1, since
(7) z = z 0 (mod p)
£o P d
— + — — ; (P, Q) - 1, 0 < Q $ y f r , M < 1.
P Q Q\/7
p -1 j x t ( x 2t 2 + k t 2) \ I t \
W ) ■ S (— ;— ) ■ (7 ) m
y) Setting p — 1 = 2p lf we have
10, a. We have
- DY2 =
x + yVZT
A' + Y V D = (x + y V l T ) ( x — y yJ~D)T
(x0 + y0VD" )r
197
and satisfy in g the equation
(4) X 2 - D Y 2 = 1.
p~i t
^ a , p |2 = P ~ 1 “ £ f— ) * P, I U,a ,p '/P »
or
i u — p - 1 pPT~1
PZf 11 / x + t\ Ix\ I at
I U.,pr - u.,pu.,p - E L i ------ — exp I 2ni----
f-0 X -0 \ P \P \ P
/ at
t > 0 it gives - e x p \2 ni ---- Therefore
\ P
p - i
' at
P ~ 1 - £ gxp 2ni — P, I ^a,p I » Vp" •
i P,
198
/3) The theorem is evident for (a, p) « p. For (a, p) « 1 it
follows from
a p ~1 ax \ / ax \ / a \
V,a , p
7 £ T exp r v = 7
Subtracting
at*
For given t, summation with resp ect to x gives m exp I2n-t------
m
l, I a •0 \
Sa ,m I “ m eXP I2™- — I = m'
199
For even m = 2m, we have
a •02 a ‘m,
= m exp 2ti‘- + exp 277i-
m m
Here the right side is equal to zero for odd m, and equal to
2m for even m,.
y) For any integer b we have
A x 1 + 2Abx
E
X -0
cxp 2ni -
m
, m—
af+ 1
g-i a(x - z)
m E Y ' $ (z) exp 2ct-i
- L L m
Z S■M
M +e-i /
<A E
Sm1 S - M
exP (277t
\
< A m(ln m — 5).
22 $ ( z ) = 2R, 22 $ ( z ) = p,
and we obtain
Q H-
2R * — p + (?VfT In p.
P
11 * ( z ) = T, 2 ] $ ( z ) = Qo,
m +Q- i ( ax A f+ Q -i / —a<xy
£ exp ( 2771 — exp 2iri-------- <
L L
a-1 y-M \ P
If 2j . . . y n 1^ n^ /if n — 1^ . . . f 2, If 2f . . .
...fn ~ If n f nf n ~ If . .. f 2f If 2f ...
1 s 1, 1 + 2k = 0, 1 + 2 • 2 k = - 1 , . . .
202
or
1 = 1, 1 + 2k = 2, 1 + 2 • 2k = 3, . . .
g
5, a. Here (3; example c, 45) we must have
2" + 1
= - 1 . T h is condition is s a tis fie d for g = 3,
I S
b. Here we cannot have 9 " l > S 2 = 1 (mod
\ 2P + 1 /
2p + 1). T h is condition is s a tis f ie d for our values of g.
203
ft) We have
x j x 1 + 1) P_1 P -1 P -1
L = £ ] * 1 Ge1 + 1) 1 (mod p)
. p x -l
a - 3 , a -J . . a - i,
an *g n tri+n == 1 (mod p).
t n f r i + n J frj+ . . . + n a 1tr
a g a 1 = 1 (mod p).
204
Determining u and v by the condition tu — nv = —1, we obtain
n solutions:
r — Oj 1 ^ f n 1.
C|r-1
E E R7
r-°
E R7k ‘
y k.o
y(o) - E RJ ” ’ E R 7 k ‘
R Rk
y (a ja ) y ( ° i)
y '
e 0 (a) 0 ( a ta) 0(at) 4- 0(«) ’
2 05
therefore, either Y"1 ------- * 0, or ijj{ax) = y ( a j) for all a,.
a V'(a)
But the first cannot hold for all y ; if it did, then we would
have H = 0, while II = cp{m) s in c e , summing over all char
acters for given a, we have
X * (z) X
I ind (x + k) — I ind x
exp 27rr
L
p - i l ind (1 + k x ' )
- £ ex P 2n i----------------------- -1.
n
206
ft) We have
S = ( p - 1 ) Q - Q ( Q - 1) = (p - Q ) Q .
P -1
u„ + s - £
We have
1 n“ ‘ / Zs
— £ eXP ( - 2 ^ — ] 5 J , n , x ,
^ n ,x < 4 (n “ 1} £ , S - — - I (p - <?)<?.
n /-I
207
for x *= M, M 4- 1, . . . , M + Q + 1, and hence
Q- i n ~ 1
Q n
(p - Q)Q,
which is im possible.
b. L et p0 be the product of the different prime divisors of
the number p — 1, let Q x be the number of integers of the
sequence x + z; z = 0, 1, — 1 which are not divisible
by p, and le t Gx be the number of integers of the same
sequence which are primitive roots modulo p. F in ally , let
p(d) p - 1 1
P = w„ = — + GX 9
d \p 0 d cp(p - 1) P
P -1
«- z> X -0
2
x *
208
S etting Q * [P 2k Vp" ] and assum ing that there are no primi-
x = Mr M + 1, . . . , M + Q ~ 1 and hence
Q — — < 2 - ( p - <?><?,
which is im possible.
11, a, a ) . We have
p -1 I k ind t \
p - 1 - exp 12/7-1----------- I - p.
Ua,p =
—k ind a
exp I 2rri - " i,P -
1
S=
e'J’p e Vp
p—1 ind zx + ind z zxx + z(x + 1)
■2ni- ) « P ( 2tri-
L L L * * * [ -
Z ^ 1 z-1 x -0
<"Vp, i s r . P.
s - ‘t 7 “ p K
p ~} | k ind z \ I az
S« )P = 1 + I ! E e x p — g— J ex P \ 2^ ~
we have
ax
exp 27ti------ ] = exp(2nia(unp~s + nun~l p~i v ) .
we have
ax
exp 2771 = exp(277ia(u"p- s + nu"~1p~r~l v ) ) .
P®-‘-1
„ n —1 c
S«, p ° exp P ^a.p® • Sa,P 0.
l
Xo“ 0
= m 1+VSa , m; v = — , m = pJM/j = Pk k
Tei ’PJ4 • T
i<
F or 5 = 1 we have
| r . lP. | - p - + * v ' « i .
| r . „ k c . ,
lem 17, a, ch. II) S ' = p(d)Sd. Here S ' is the number of
d \p —1
x such that (x, p — 1) = 1; therefore S ' =* T. Moreover, S d is
the number of valu es of x which are m ultiples of d, i.e . the
number of re sid u e s of power d in the seq u en ce M, M + 1, ,
M + Q - 1. Then
Q
// = £ p(d)
d
+ Qd'fp In \ed\ < ! , < ? ! = o.
d \p —1
212
d. It foil ow s from the theorem of problem a th at the condi
tions of problem 12, a, ch. V are s a tis f ie d , if we s e t m = p — 1,
^ (z ) = 1, w hile we le t z run through the v alu es z = ind x;
x = M , M + 1, . . . , M + Q — 1. We then find (with Qx in
place of ())
Q = Vp~ (In pY
i Y ‘" p + 2 l " l n p I i \
1 ---------< I n - -------------------------- + 0 ,
n 1 \ln p /
— In p + 2 In In p '
c
In In
1 + 4-
In p / I
0 < In p + o' In
ln In
1 + 2c-
In n
The im possibility of the la tte r ineq u ality for all su fficie n tly
large p proves the theorem.
14, a. We have
m—l m—1 a x ( y l - y)
sl < x 22 Z] Z] p W p W exP [2ni
m
x-0 yj-0 y- 0
213
F or given y, and y summation with re s p e c t to x gives
Xm | p(y) | or zero according as y, = y or not. Therefore
| s | J < XY m , |s U v ^ r .
b, a ) We have
1 „ _ / aunv n\
s= —cp(m)
— E„ ET x W y M exP I2\ ™- - - -m- - j
vU ) - 2! * ( “ )* p(y) - 2] * (« )•
u n i x ( m o d m ) v n = y (m o d m)
T herefore (problem a)
liLT Inn
K ^ 2n k+1 « 2 (2 k+1) n %2(r(m))rKT; K - 0 (m e ).
15, a. We have
/ bz \ a(tn - I) (t - l ) - nz n
/ ; exp I2t7i exp 2ni
* -1 \ P
and hence
p-1 p ~1 / auv
7^ r . p'(u) p(t>) exp 12/71----- >
u - l v-l \ P
_ 1
p / —(b1 — 4 ac)z — 2hy1 — y x2z 1 \
= T"* exp \ 2 n i ----------------------------------------------
z-l \ P /
3 1
The la tte r sum (problem a) is num erically < — p* .
2
ft) T h is follow s from the theorem of problem a ) and the
theorem of problem 12, a , ch. V.
216
ANSWERS FOR THE NUMERICAL
EXERCISES
Answers for chapter I.
1 , a. 17.
b. 23.
2, a, a ) 84
15 19 e
5 ft) a
11 14 + 14 • 20 '
b, a ) S6
80 1002 e
739 + 739 • 1000 ‘
3. We obtain 22 fractio n s.
5, a. 2s *35 • l l 3.
b. 22 • 33 • 54 • 73 • l l 2 • 17 *23 *37.
1. a. 1312.
b. 2ll# * 3s* • 531 • 71* • l l 12 • 13* • 17t • 19s • 23s • 29" x
x 314 • 373 • 413 • 432 * 472 • 532 • 59s • 612 • 67 • 71 x
x 73 • 79 • 83 • 89 • 97 • 101 • 103 • 107 • 109 • 113.
2. a. r (2800) = 30; S(2800) = 7688.
b. r (232 848) = 120; S(232 848) = 848 160.
3. The sum of all the v alu es is equal to 1.
4. a ) 1152; ft) 466 400.
5. T he sum of all the v alu es is equal to 774.
217
Answers for chapter III.
1, a. 70.
b. It is d iv isib le.
2, a. 33 • 52 • l l 2 • 2999.
b. 7 • 13 • 37 • 73 • 101 • 137 • 17 • 19 • 257.
1, a. x = 81 (mod 337).
b. x s 200; 751; 1302; 1853; 2404 (mod 2755).
2, b. x = 1630 (mod 2413).
3, x = 94 + 111/; y - 39 + 471, w here t is any integer.
4, a. x = 1706, + 526, (mod 221); x = 131 (mod 221);
x = 110 (mod 221); x = 89 (mod 221).
b. x = 11 1516, + 11 8006, + 16 8756, (mod 39 825).
5, a. x = 91 (mod 120).
b. x = 8479 (mod 15 015).
6, x = 100 (mod 143); y = 111 (mod 143).
7, a. 3x4 + 2x3 + 3x* + 2x = 0 (mod 5).
b. x5 + 5x4 + 3xJ + 3x + 2 = 0 (mod 7).
8, x6 + 4x5 + 22x4 + 76x" + 70X2 + 52x + 39 = 0 (mod
101) .
9, a. x = 16 (mod 27).
b. x = 22; 53 (mod 64).
10, a. x = 113 (mod 125).
b. x = 43, 123, 168 , 248, 293 , 373 , 418, 498, 543 , 623
(mod 625).
11, a. x = 2, 5, 11, 17, 20, 26 (mod 30).
b. x = 76, 22, 176, 122 (mod 225).
1, a. 6.
b. 18.
2, a. 3 , 3, 3.
b. 6, 6, 1687.
c . a ) 3; /3) 7.
5, a. a ) 0; ft) 1; y) 3.
b. a ) 0; ft) 1; y) 10.
6, a. a.) x = 40; 27 (mod 67), ft) x = 33 (mod 67),
y) x = 8, 36, 28, 59, 31, 39 (mod 67).
b. a ) x s 17 (mod 73); ft) x s 50, 12, 35, 23, 61, 38
(mod 73), y) x = 3 , 24 , 46 (mod 73).
7, a. a ) 0; /3) 4.
b. a ) 0; ft) 7.
8, a. a ) x e 54 (mod 101). ft) x = 53, 86, 90, 66, 8
(mod 101).
b, x = 59, 11, 39 (mod 109).
9, a. a ) 1, 4, 5, 6, 7, 9, 11, 16, 17; ft) 1, 7, 8, 11, 12, 18.
b. a ) 1, 6, 8, 10, 11, 14 , 23 , 26, 27 , 29, 31, 36; ft) 1, 7,
9, 10, 12, 16, 26, 33, 34.
10, a. a ) 7, 37; ft) 3 , 5, 12, 18, 19, 20, 26, 28, 29, 30,
33, 34.
b. a ) 3, 27, 41, 52; ft) 2, 6 , 7, ]0 , 17, 18, 23, 26, 30,
31, 35, 43, 44, 51, 54, 55, 59.
219
TABLES OF INDICES
The Prime 3
N 0 1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
0 0 1 0 1 2
The Prime 5
A' 0 1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
0 0 1 3 2 0 1 2 4 3
The Prime 7
/V 0 1 2 3 4 5 6 7 8 9 / 0 1 2 3 4 5 6 7 8 9
0 0 2 1 4 5 3 0 1 3 2 6 4 5
The Prime 11
A 0 1 2 3 4 5 6 7 8 9 1 0 1 2 3 4 5 6 7 8 9
0 0 1 8 2 4 9 7 3 6 D 1 2 4 8 5 10 9 7 3 6
1 5 1
The Prime 13
A’ 0 1 2 3 4 5 6 7 8 9 / 0 1 2 3 4 5 6 7 8 9
0 0 1 4 2 9 5 11 3 8 0 1 2 4 8 3 6 12 11 9 5
1 10 7 6 1 10 7
220
The Prime 17
A' 0 1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
0 0 14 1 12 5 15 11 10 2 0 1 3 9 10 13 5 15 11 16 14
1 3 7 13 4 9 6 8 1 8 7 4 12 2 6
The Prime 19
A’ 0 1 2 3 4 5 6 7 8 9 / 0 1 2 3 4 5 6 7 8 9
0 0 1 13 2 16 14 6 3 8 0 1 2 4 8 16 13 7 14 9 18
1 17 12 15 5 7 11 4 10 9 1 17 15 11 3 6 12 5 10
The Prim e 23
A' 0 1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
0 0 2 16 4 1 18 19 6 10 0 1 5 2 10 4 20 8 17 16 11
1 3 9 20 14 21 17 8 7 12 15 1 9 22 18 21 13 19 3 15 6 7
2 5 13 11 2 12 14
T he Prim e 29
A’ 0 1 2 3 4 5 6 7 8 9 / 0 1 o4* 3 4 5 6 7 8 9
0 0 1 5 2 22 6 12 3 10 0 1 2 4 8 16 3 6 12 24 19
1 23 25 7 18 13 27 4 21 11 9 1 9 18 7 14 28 27 25 21 13 26
2 24 17 26 20 8 16 19 15 14 2 23 17 5 10 20 11 22 15
31
A 0 1 2 3 4 5 6 7 8 9 1 0 1 2 3 4 5 6 7 8 9
0 0 24 1 18 20 25 28 12 2 0 1 3 9 27 19 26 16 17 20 29
1 14 23 19 11 22 21 6 "(T 26 4 1 25 13 8 24 10 30 28 22 4 12
2 8 29 17 27 13 10 5 3 16 9 2 5 15 14 11 2 6 18 23 7 21
3 15
221
The Prim e 37
N 0 1 2 3 4 5 6 7 8 9 / 0 1 2 3 4 5 6 7 8 9
0 0 26 15 12 22 1 39 38 30 0 1 6 36 11 25 27 39 29 10 19
1 8 3 27 31 25 37 24 33 16 9 1 32 28 4 24 21 3 18 26 33 34
2 34 14 29 36 13 4 17 5 11 7 2 40 35 5 30 16 14 2 12 31 22
3 23 28 10 18 19 21 2 32 35 6 3 9 13 37 17 20 38 23 15 8 7
4 20
The 43
N 0 1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
0 0 27 1 12 25 28 35 39 2 0 1 3 9 27 38 28 41 37 25 32
1 10 30 13 32 20 26 24 38 29 19 1 10 30 4 12 36 22 23 26 35 19
2 37 36 15 16 40 8 17 3 5 41 2 14 42 40 34 16 5 15 2 6 18
3 11 34 9 31 23 18 14 7 4 33 3 11 33 13 39 31 7 21 20 17 8
4 22 6 21 4 24 29
The Prim e 47
N 0 1 2 3 4 5 6 7 8 9 / 0 1 2 3 4 5 6 7 8 9
0 0 18 20 36 1 38 32 8 40 0 1 5 25 31 14 23 21 11 8 40
1 19 7 10 11 4 21 26 16 12 45 1 12 13 18 43 27 41 17 38 2 10
2 37 6 25 5 28 2 29 14 22 35 2 3 15 28 46 42 22 16 33 24 26
3 39 3 44 27 34 33 30 42 17 31 3 36 39 7 35 34 29 4 20 6 30
4 9 15 24 13 43 41 23 4 9 45 37 44 32 19
222
The Prim e 53
A' 0 1 2 3 4 5 6 7 8 9 1 0 1 2 3 4 5 6 7 8 9
0 0 1 17 2 47 18 14 3 34 0 1 2 4 8 16 32 11 22 44 35
1 48 6 19 24 15 12 4 10 35 37 1 17 34 15 30 7 14 28 3 6 12
2 49 31 7 39 20 42 25 51 16 46 2 24 48 43 33 13 26 52 51 49 45
3 13 33 5 23 11 9 36 30 38 41 3 37 21 42 31 9 18 36 19 38 23
4 50 45 32 22 8 29 40 44 21 28 4 46 39 25 50 47 41 29 5 10 20
5 43 27 26 5 40 27
T he Prime 59
N 0 1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
0 0 1 50 2 6 51 18 3 42 0 1 2 4 8 16 32 5 10 20 40
1 7 25 52 45 19 56 4 40 43 38 1 21 42 25 50 41 23 46 33 7 14
2 8 10 26 15 53 12 46 34 20 28 2 28 56 53 47 35 11 22 44 29 58
3 57 49 5 17 41 24 44 55 39 37 3 57 55 51 43 27 54 49 39 19 38
4 9 14 11 33 27 48 16 23 54 36 4 17 34 9 18 36 13 26 52 45 31
5 13 32 47 22 35 31 21 30 29 5 3 6 12 24 48 37 15 30
The Prime 61
1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
N \ °
0 0 1 6 2 22 7 49 3 12 0 1 2 4 8 16 32 3 6 12 24
1 23 15 8 40 50 28 4 47 13 26 1 48 35 9 18 36 11 22 44 27 54
2 24 55 16 57 9 44 41 18 51 35 2 47 33 5 10 20 40 19 38 15 30
3 29 59 5 21 48 11 14 39 27 46 3 60 59 57 53 45 29 58 55 49 37
4 25 54 56 43 17 34 58 20 10 38 4 13 26 52 43 25 50 39 17 34 7
5 45 53 42 33 19 37 52 32 36 31 5 14 28 56 51 41 21 42 23 46 31
6 30
The Prime 67
N 0 1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
0 0 1 39 2 15 40 23 3 12 0 1 2 4 8 16 32 64 61 55 43
1 16 59 41 19 24 54 4 64 13 10 1 19 38 9 18 36 5 10 20 40 13
2 17 62 60 28 42 30 20 51 25 44 2 26 52 37 7 14 28 56 45 23 46
3 55 47 5 32 65 38 14 22 11 58 3 25 50 33 66 65 63 59 51 35 3
4 18 53 63 9 61 27 29 50 43 46 4 6 12 24 48 29 58 49 31 62 57
5 31 37 21 57 52 8 26 49 45 36 5 47 27 54 41 15 30 60 53 39 11
6 56 7 48 35 6 34 33 6 22 44 21 42 17 34
223
T he Prim e 71
N 0 1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
0 0 6 26 12 28 32 1 18 52 0 1 7 49 59 58 51 2 14 27 47
1 34 31 38 39 7 54 24 49 58 16 1 45 31 4 28 54 23 19 62 8 56
2 40 27 37 15 44 56 45 8 13 68 2 37 46 38 53 16 41 3 21 5 35
3 60 11 30 57 55 29 64 20 22 65 3 32 11 6 42 10 70 64 22 12 13
4 46 25 33 48 43 10 21 9 50 2 4 20 69 57 44 24 26 40 67 43 17
5 62 5 51 23 14 59 19 43 4 3 5 48 52 9 63 15 34 25 33 18 55
6 66 69 17 53 36 67 63 47 61 41 6 30 68 50 66 36 39 60 65 29 61
7 35
T he Prim e 73
N 0 1 2 3 4 5 6 7 8 9 1 0 1 2 3 4 5 6 7 8 9
0 0 8 6 16 1 14 33 24 12 0 1 5 25 52 41 59 3 15 2 10
1 9 55 22 59 41 7 32 21 20 62 1 50 31 9 45 6 30 4 20 27 62
2 17 39 63 46 30 2 67 18 49 35 2 18 17 12 60 8 40 54 51 36 34
3 15 11 40 61 29 34 28 64 70 65 3 24 47 16 7 35 29 72 68 48 21
4 25 4 47 51 71 13 54 31 38 66 4 32 14 70 58 71 63 23 42 64 28
5 10 27 3 53 26 56 57 68 43 5 5 67 43 69 53 46 11 55 56 61 13
6 23 58 19 45 48 60 69 50 37 52 6 65 33 19 22 37 39 49 26 57 66
7 42 44 36 7 38 44
The Prim e 79
N 0 1 2 3 4 5 6 7 8 9 / 0 1 2 3 4 5 6 7 8 9
0 0 4 1 8 62 5 53 12 2 0 1 3 9 27 2 6 18 54 4 12
1 66 68 9 34 57 63 16 21 6 32 1 36 29 8 24 72 58 16 48 65 37
2 70 54 72 26 13 46 38 3 61 11 2 32 17 51 74 64 34 23 69 49 68
3 67 56 20 69 25 37 10 19 36 35 3 46 59 19 57 13 39 38 35 26 78
4 74 75 58 49 76 64 30 59 17 28 4 76 70 52 77 73 61 25 75 67 43
5 50 22 42 77 7 52 65 33 15 31 5 50 71 55 7 21 63 31 14 42 47
6 71 45 60 55 24 18 73 48 29 27 6 62 28 5 15 45 56 10 30 11 33
7 41 51 14 44 23 47 40 43 39 7 20 60 22 66 40 41 44 53
224
The Prime 83
N 0 1 2 3 4 5 6 7 8 9 I 0 1 2 3 4 5 6 7 8 9
0 0 1 72 2 27 73 8 3 62 0 1 2 4 8 16 32 64 45 7 14
1 28 24 74 77 9 17 4 56 63 47 1 28 56 29 58 33 66 49 15 30 60
2 29 80 25 60 75 54 78 52 10 12 2 37 74 65 47 11 22 44 5 10 20
3 18 38 5 14 57 35 64 20 48 67 3 40 80 77 71 59 35 70 57 31 62
4 30 40 81 71 26 7 61 23 76 16 4 41 82 81 79 75 67 51 19 38 76
5 55 46 79 59 53 51 11 37 13 34 5 69 55 27 54 25 50 17 34 68 53
6 19 66 39 70 6 22 15 45 58 50 6 23 46 9 18 36 72 61 39 78 73
7 36 33 65 69 21 44 49 32 68 43 7 63 43 3 6 12 24 48 13 26 52
8 31 42 41 8 21 42
The Prime 89
N 0 1 2 3 4 5 6 7 8 9 / 0 1 2 3 4 5 6 7 8 9
0 0 16 1 32 70 17 81 48 2 0 1 3 9 27 81 65 17 51 64 14
1 86 84 33 23 9 71 64 6 18 35 1 42 37 22 66 20 60 2 6 18 54
2 14 82 12 57 49. 52 39 3 25 59 2 73 41 34 13 39 28 84 74 44 43
3 87 31 80 85 22 63 34 11 51 24 3 40 31 4 12 36 19 57 82 68 26
4 30 21 10 29 28 72 73 54 65 74 4 78 56 79 59 88 86 80 62 8 24
5 68 7 55 78 19 66 41 36 75 43 5 72 38 25 75 47 52 67 23 69 29
6 15 69 47 83 8 5 13 56 38 58 6 87 83 71 35 16 48 55 76 50 61
7 79 62 50 20 27 53 67 77 40 42 7 5 15 45 46 49 58 85 77 53 70
8 46 4 37 61 26 76 45 60 44 8 32 7 21 63 llJ 33 10 30
The Prime 97
<V 0 1 2 3 4 5 6 7 8 9 / 0 1 2 3 4 5 6 7 8 9
0 0 34 70 68 1 8 31 6 44 0 1 5 25 28 43 21 8 40 6 30
1 35 6 42 25 65 71 40 89 78 81 1 53 71 64 29 48 46 36 83 27 38
2 69 5 24 77 76 2 59 18 3 13 2 93 77 94 82 22 13 65 34 73 74
3 9 46 74 60 27 32 16 91 19 95 3 79 7 35 78 2 10 50 56 86 42
4 7 85 39 4 58 45 15 84 14 62 4 16 80 12 60 9 45 31 58 96 92
5 36 63 93 10 52 87 37 55 47 67 5 72 69 54 76 89 57 91 67 44 26
6 43 64 80 75 12 26 94 57 61 51 6 33 68 49 51 61 14 70 59 4 20
7 66 11 50 28 29 72 53 21 33 30 7 3 15 75 84 32 63 24 23 18 90
8 41 88 23 17 73 90 38 83 92 54 8 62 19 95 87 47 41 11 55 81 17
9 79 56 49 20 22 82 48 9 85 37 88 52 66 39
225
Table of primes < 4000 and their smelliest primitive roots
p g P g g g P g P g P g
12*
226
(c o n t i n u e d )
p g P g P g p g *> g P g P g
227