SlideShare a Scribd company logo
1 of 38
A textbook of 
NUMBERS 
BINTU GEORGE JACOB 
MOUNT TABOR TRAINING COLLEGE 
PATHANAPURAM. 
MOC PUBLICATIONS, KOLLAM 
2014
ii 
Preface 
The 1990s saw a wave of calculus reform whose aim was to teach students 
to think for themselves and to solve substantial problems, rather than merely 
memorizing 
formulas and performing rote algebraic manipulations. This book has a similar, 
albeit somewhat more ambitious, goal: to lead you to think mathematically and 
to experience the thrill of independent intellectual discovery. Our chosen subject, 
Number Theory, is particularly well suited for this purpose. The natural numbers 
1, 2, 3, ... satisfy a multitude of beautiful patterns and relationships, many of 
which can be discerned at a glance; others are so subtle that one marvels they were 
noticed at all. Experimentation requires nothing more than paper and pencil, but 
many false alleys beckon to those who make conjectures on too scanty evidence. It 
is only by rigorous demonstration that one is finally convinced that the numerical 
evidence reflects a universal truth. This book will lead you through the groves 
wherein lurk some of the brightest flowers of Number Theory, as it simultaneously 
encourages you to investigate, analyze, conjecture, and ultimately prove your own 
beautiful number theoretic results. 
This book was originally written to serve as a text for Math 42, a course created 
by Jeff Hoffstein at Brown University in the early 1990s. Math 42 was designed to 
attract nonscience majors, those with little interest in pursuing the standard 
calculus 
sequence, and to convince them to study some college mathematics. The intent was 
to create a course similar to one on, say, β€œThe Music of Mozart” or β€œElizabethan 
Drama,” wherein an audience is introduced to the overall themes and methodology 
of an entire discipline through the detailed study of a particular facet of the subject. 
Math 42 has been extremely successful, attracting both its intended audience and 
also scientifically oriented undergraduates interested in a change of pace from their 
large-lecture, cookbook-style courses. 
The prerequisites for reading this book are few. Some facility with high school 
algebra is required, and those who know how to program a computer will have fun 
generating reams of data and implementing assorted algorithms, but in truth the 
reader needs nothing more than a simple calculator. Concepts from calculus are 
mentioned in passing, but are not used in an essential way. However, and the 
reader 
is hereby forewarned, it is not possible to truly appreciate Number Theory without 
an eager and questioning mind and a spirit that is not afraid to experiment, to make 
mistakes and profit from them, to accept frustration and persevere to the ultimate 
triumph. Readers who are able to cultivate these qualities will find themselves 
richly rewarded, both in their study of Number Theory and their appreciation of all 
that life has to offer.
CONTENTS 
CHAPTER 1 : PRELIMINARIES 1 
CHAPTER 2 : MULTIPLICATIVE 
FUNCTIONS 5 
CHAPTER 3 : PERFECT NUMBERS 25 
BIBLIOGRAPHY 35 
iii
Chapter 1 
PRELIMINARIES 
In this chapter we give some definitions and theorems which we will use in 
the subsequent chapters. We start with Peano axioms for Natural numbers. 
1 
Peano Axioms. 
ν‘΅ is a set with the following properties. 
(1) ν‘΅ has a distinguished element which we call β€²1β€². 
(2) There exists a set map 푃: ν‘΅ β†’ ν‘΅. 
(3) 푃 is one-to-one (injective). 
(4) There does not exist an element ν‘› ∈ ν‘΅ such that 푃(ν‘›) = 1. 
(5) (Principle of Induction) Let 푆 βŠ‚ ν‘΅ such that a) 1 ∈ 푆 and b) 
if ν‘› ∈ 푆, then 푃(ν‘›) ∈ 푆. Then 푆 = ν‘΅. 
We call such a set ν‘΅ to be the set of natural numbers and elements of this 
said to be natural numbers. 
The principle of mathematical induction is a tool which can be used to prove 
a wide variety of mathematical statements. 
The set of integers is denoted by 풁: 
풁 = {… , βˆ’3, βˆ’2, βˆ’1, 0, 1, 2, 3, … }.
2 
Theorem 1.1 
(The Principle of Mathematical Induction) Let 푝(ν‘›) be a statement 
satisfying the following conditions, where ν‘› ∈ 풁: 
1. 푝(ν‘›0 ) is true for some integer ν‘›0. 
2. If 푝(ν‘˜) is truefor an arbitrary integer ν‘˜ β‰₯ ν‘›0, then 푝(ν‘˜ + 1) is true. 
Then 푝(ν‘›) is true for every integer ν‘› β‰₯ ν‘›0 . 
The following is a strong version of the principle of induction. 
Theorem 1.2 
(The Second Principle of Mathematical Induction) Let 푝(ν‘›) be a 
statement satisfying the following conditions, where ν‘› ∈ 풁: 
(1') 푝(ν‘›0 ) is true for some integer ν‘›0. 
(2') If ν‘˜ is an arbitrary integer greater than or equal to ν‘›0 such that 
푝(ν‘›0), 푝(ν‘›0 + 1), …, and 푝(ν‘˜) are true, then 푝(ν‘˜ + 1) is also true. 
Then 푝(ν‘›) is true for every integer ν‘› β‰₯ ν‘›0. 
Definition 1.3 (Prime Numbers)
Any integer greater than one which has no factors other than one and itself is 
3 
called a prime number. 
Prime numbers are the building blocks of integers. Euclid proved the 
fundamental theorem of arithmetic and presented the Euclid algorithm for finding 
the greatest common divisor of two numbers. 
Theorem 1.4 (Unique Factorisation) 
Any natural number greater than 1, factors into a product of primes. 
Definition 1.5 (Common Divisor) 
Let ν‘Ž, 푏 be the integers, let ν‘Ž0, we say that ν‘Ž divides 푏 or ν‘Ž is a divisor of 푏 
if 푏 = ν‘Žν‘ž for some integer ν‘ž. When ν‘Ž divides 푏 we write ν‘Ž|푏. 
Definition 1.6 (Greatest Common Divisor) 
A number ν‘‘ is the greatest common divisor (gcd) of two non zero numbers ν‘Ž 
and 푏, if ν‘‘ is the common divisor of ν‘Ž and 푏 and no common divisor of ν‘Ž and 푏 is 
larger than ν‘‘. gcd of ν‘Ž and 푏 is denoted by (ν‘Ž, 푏). 
Definition 1.7 
Two positive integers ν‘Ž and 푏 are relatively prime if their gcd is . 
Theorem 1.8 (Euclidean Algorithm)
Let ν‘Ž and 푏 are any positive integers, and ν‘Ÿ be the reminder, when ν‘Ž is 
4 
divided by 푏. Then (ν‘Ž, 푏) = (푏, ν‘Ÿ). 
Theorem 1.9 (Fundamental Theorem of Arithmetic) 
Any natural number ν‘› β‰₯ 2 is either a prime or can be expressed as a product 
of primes. The factorization into primes is unique except for the order of factors . 
Definition 1.10 (Congruence Modulo ν’Ž) 
Let ν‘š be a positive integer. Then an integer ν‘Ž is congruent to an integer 푏 
modulo ν‘š if ν‘š|(ν‘Ž βˆ’ 푏). We write ν‘Ž ≑ 푏(mod ν‘š) and ν‘š is called the modulus of 
the congruence relation. 
Definition 1.11 (Euler’s Phi Function) 
Let ν‘š be a positive integer. Then Euler’s phi function νœ‘(ν‘š) denotes the 
number of positive integers ν‘š and relatively prime to ν‘š.
Chapter 2 
MULTIPLICATIVE FUNCTIONS 
Euler’s phi function is one of the most important number–theoretic functions 
(also known as arithmetic functions). Arithmetic functions are defined for all 
positive integers. Euler’s phi function belongs to a large class of arithmetic 
5 
functions called multiplicative functions. 
Definition 2.1 
A number-theoretic function ν‘“ is multiplicative if ν‘“(ν‘šν‘›) = ν‘“(ν‘š)ν‘“(ν‘›), 
whenever ν‘š and ν‘› are relatively prime. 
Example 2.2 
The constant function ν‘“(ν‘›) = 1 is multiplicative, since ν‘“(ν‘šν‘›) = 1 = 1 βˆ™ 
1 = ν‘“(ν‘š) βˆ™ ν‘“(ν‘›). 
The functions ν‘”(ν‘›) = ν‘›ν‘˜ , ν‘˜ being a fixed integer is multiplicative, since 
ν‘”(ν‘šν‘›) = (ν‘šν‘›)ν‘˜ = ν‘šν‘˜ ν‘›ν‘˜ = ν‘”(ν‘š)ν‘”(ν‘›).  
Theorem 2.3 
Let ν‘“ be a multiplicative function and ν‘› be a positive integer with canonical 
ν‘’1 푝2 
decomposition ν‘› = 푝1 
ν‘’2 … ν‘ν‘˜ 
ν‘’ν‘˜ . Then
ν‘’1 , then ν‘“(ν‘›) = ν‘“(푝1 
ν‘’1 )ν‘“(푝2 
6 
ν‘’1 )ν‘“(푝2 
ν‘“(ν‘›) = ν‘“(푝1 
ν‘’2 )… ν‘“(ν‘ν‘˜ 
ν‘’ν‘˜ ). 
Proof. If ν‘˜ = 1, that is, if ν‘› = 푝1 
ν‘’1 ), so the theorem is trivially 
true. 
Assume it is true for any integer with canonical decomposition consisting of 
ν‘˜ distinct primes. That is ν‘“(ν‘›) = ν‘“(푝1 
ν‘’2 )… ν‘“(ν‘ν‘˜ 
ν‘’ν‘˜ ). 
Let ν‘› be any integer with ν‘˜ + 1 distinct primes in its canonical 
ν‘’1 푝2 
decomposition, say, ν‘› = 푝1 
ν‘’2 … ν‘ν‘˜ 
ν‘’ν‘˜ . 
ν‘’1 푝2 
Since (푝1 
ν‘’2 … ν‘ν‘˜ 
ν‘’ν‘˜ , ν‘ν‘˜+1 
ν‘’ν‘˜+1 ) = 1 and ν‘“ is multiplicative, 
ν‘’1 푝2 
ν‘“(푝1 
ν‘’2 … ν‘ν‘˜ 
ν‘’ν‘˜ ν‘ν‘˜+1 
ν‘’ν‘˜+1 ) = ν‘“(푝1 
ν‘’1 푝2 
ν‘’2 … ν‘ν‘˜ 
ν‘’ν‘˜ )ν‘“(ν‘ν‘˜+1 
ν‘’ν‘˜+1 ) 
ν‘’1 )ν‘“(푝2 
= ν‘“(푝1 
ν‘’2 ) … ν‘“(ν‘ν‘˜ 
ν‘’ν‘˜ )ν‘“(ν‘ν‘˜+1 
ν‘’ν‘˜+1 ), 
by induction. Therefore by induction the result is true for any positive integer ν‘›. 
 
Theorem 2.4 
Let 푝 be a prime and ν‘’ any positive integer. Then νœ‘(푝푒) = 푝푒 βˆ’ ν‘ν‘’βˆ’1. 
Proof. νœ‘(푝푒) = number of positive integers less than or equal to 푝푒and relatively 
prime to it.
= (number of positive integers less than or equal to 푝푒)-(number 
of positive integers less than or equal to 푝푒 and not relatively prime 
7 
to it) 
The positive integers less than or equal to 푝푒 and not relatively prime to it 
are the various multiples of 푝, namely, 푝, 2푝, 3푝, … … … … (ν‘ν‘’βˆ’1 )푝 , and they are 
ν‘ν‘’βˆ’1 in number. Thus Ο†(pe) = pe-pe-1 .  Lemma 
2.5 
Let ν‘š and ν‘› be relatively prime positive integers. 
Then the integers ν‘Ÿ, ν‘š + ν‘Ÿ, 2ν‘š + ν‘Ÿ, … , (ν‘› βˆ’ 1)ν‘š + ν‘Ÿ are congruent modulo ν‘› to 
0, 1 , 2, … , (ν‘› βˆ’ 1) in some order. 
Example 2.6 
νœ‘(8) = νœ‘(23 ) = 23 βˆ’ 22 = 8 βˆ’ 4 = 4. 
Thus there are four positive integers less than or equal to 8 and relatively prime to 
it; 1, 3, 5 and 7. 
νœ‘(81) = νœ‘(34) = 34 βˆ’ 33 = 54. 
νœ‘(15625) = νœ‘(56) = 56 βˆ’ 55 = 12500.  
Theorem 2.7 
The function Ο† is multiplicative.
Proof. Let ν‘š and ν‘› be positive integers such that (ν‘š, ν‘›) = 1. 
We have to prove that νœ‘(ν‘šν‘›) = νœ‘(ν‘š)νœ‘(ν‘›). 
Arrange the integers 1 through ν‘šν‘› in ν‘š rows of ν‘› each: 
1. ν‘š + 1 2ν‘š + 1 … . (ν‘› βˆ’ 1)ν‘š + 1 
2. ν‘š + 2 2ν‘š + 2 … . (ν‘› βˆ’ 1)ν‘š + 2 
3. ν‘š + 3 2ν‘š + 3 … . (ν‘› βˆ’ 1)ν‘š + 3 
8 
. 
ν‘Ÿ. ν‘š + ν‘Ÿ 2ν‘š + ν‘Ÿ … (ν‘› βˆ’ 1)ν‘š + ν‘Ÿ 
. 
. 
. 
ν‘š. 2ν‘š 3ν‘š . . . ν‘›ν‘š 
Let ν‘Ÿ be a positive integer less than or equal to ν‘š such that (ν‘Ÿ, ν‘š) > 1. 
We will show that no element of the ν‘Ÿth row is relatively prime to ν‘šν‘›.
Let ν‘‘ = (ν‘Ÿ, ν‘š). Then ν‘‘|ν‘Ÿ and ν‘‘|ν‘š, so ν‘‘|ν‘˜ν‘š + ν‘Ÿ for any integer ν‘˜; that is, ν‘‘ 
is a factor of every element in the ν‘Ÿth row. Thus no element in the ν‘Ÿth row is 
relatively prime to ν‘š, and hence to ν‘šν‘› if (ν‘Ÿ, ν‘š) > 1. That is the elements in the 
array are relatively prime to ν‘šν‘› from the ν‘Ÿth row only if (ν‘Ÿ, ν‘š) = 1. By definition, 
there are νœ‘(ν‘š) such integers ν‘Ÿ and hence νœ‘(ν‘š) such rows. 
9 
Now, in ν‘Ÿth row, where (ν‘Ÿ, ν‘š) = 1: 
ν‘Ÿ , ν‘š + ν‘Ÿ , 2ν‘š + ν‘Ÿ , … , (ν‘› βˆ’ 1)ν‘š + ν‘Ÿ 
By Lemma 2.5, their least residues modulo ν‘› are a permutation of 
0 ,1 ,2 , … , (ν‘› βˆ’ 1) of which νœ‘(ν‘›) are relatively prime to ν‘›. Therefore exactly 
νœ‘(ν‘›) elements in ν‘Ÿth row are relatively prime to ν‘› and hence to ν‘šν‘›. 
Thus there are Ο†(m) rows containing positive integers relatively prime to 
ν‘šν‘›, and each row contains νœ‘(ν‘›) elements relatively prime to it. So the array 
contains νœ‘(ν‘š)νœ‘(ν‘›) positive integers less than or equal to ν‘šν‘› and relatively prime 
to ν‘šν‘›. Therefore νœ‘(ν‘šν‘›) = νœ‘(ν‘š)νœ‘(ν‘›).  
Example 2.8 
1. νœ‘(221) = νœ‘(13 βˆ™ 17) = νœ‘(13) βˆ™ νœ‘(17) 
= 12 βˆ™ 16 = 192. 
2. νœ‘(625) = νœ‘(53 βˆ™ 72 ) = νœ‘(53 ) βˆ™ νœ‘(72)
= (53 βˆ’ 52)(72 βˆ’ 7) = 4200.  
ν‘’1 )νœ‘(푝2 
ν‘’1 (1 βˆ’ 1 
10 
Theorem 2.9 
ν‘’1 푝2 
Let ν‘› = 푝1 
ν‘’2 … ν‘ν‘˜ 
ν‘’ν‘˜ be the canonical decomposition of a positive integer 
ν‘›. Then νœ‘(ν‘›) = ν‘› (1 βˆ’ 1 
푝1 
) (1 βˆ’ 1 
푝2 
)… (1 βˆ’ 1 
ν‘ν‘˜ 
). 
Proof. Since νœ‘ is multiplicative, by theorem 2.1 
νœ‘(ν‘›) = νœ‘(푝1 
ν‘’2 ) … νœ‘(ν‘ν‘˜ 
ν‘’ν‘˜ ) 
= 푝1 
푝1 
ν‘’2 (1 βˆ’ 1 
) 푝2 
푝2 
ν‘’ν‘˜ (1 βˆ’ 1 
)… ν‘ν‘˜ 
ν‘ν‘˜ 
) 
ν‘’1 푝2 
= 푝1 
ν‘’ν‘˜ (1 βˆ’ 1 
ν‘’2 … ν‘ν‘˜ 
푝1 
) (1 βˆ’ 1 
푝2 
)… (1 βˆ’ 1 
ν‘ν‘˜ 
) 
= ν‘› (1 βˆ’ 1 
푝1 
) (1 βˆ’ 1 
푝2 
) … (1 βˆ’ 1 
ν‘ν‘˜ 
).  
Example 2.10 
1. 666 = 2 βˆ™ 32 βˆ™ 37 
Thus νœ‘(666) = 666 (1 βˆ’ 1 
2 
) (1 βˆ’ 1 
3 
) (1 βˆ’ 1 
37 
) 
= 216. 
2. 1976 = 23 βˆ™ 13 βˆ™ 19 
Thus νœ‘(1976) = 1976(1 βˆ’ 1 
2 
) (1 βˆ’ 1 
13 
) (1 βˆ’ 1 
) 
19
= 864.  
11 
Theorem 2.11 
If ν‘› β‰₯ 3, then νœ‘(ν‘›) is even. 
Proof. If ν‘› is even obviously νœ‘(ν‘›) is even. If ν‘› is odd then for each prime factor 푝 
of ν‘›, the numerator of (1 βˆ’ 1 
푝 
) is even. Thus νœ‘(ν‘›) is even for ν‘› β‰₯ 3.  
Theorem 2.12 
Let ν‘› be a positive integer, then Ξ£ν‘‘|ν‘› νœ‘(ν‘‘) = ν‘›. 
Here we turn to illustrate its proof. 
Example 2.13 
The positive divisors of 18 are 1, 2, 3, 6, 9 and 18. 
So Ξ£ν‘‘|18 νœ‘(18) = νœ‘(1)+ νœ‘(2)+ νœ‘(3)+ νœ‘(6)+ νœ‘(9)+ νœ‘(18) 
= 1 + 1 + 2 + 2 + 6 + 6 = 18.  
The Tau and Sigma Functions 
Definition 2.14 (The Tau Function) 
Let ν‘› be a positive integer. Then 휏(ν‘›) denotes the number of positive 
divisors of ν‘›; that is 휏(ν‘›) = Ξ£ν‘‘|ν‘› 1.
12 
Example 2.15 
ο‚· The positive divisors of 18 are 1, 2, 3, 6, 9 and 18, 
So 휏(18) = 6. 
ο‚· 23, being a prime, has exactly two positive divisors, 
So 휏(23) = 2.  
Remark. If ν‘› is prime, then 휏(ν‘›) = 2; if 휏(ν‘›) = 2, then ν‘› is prime. 
Definition 2.16 (The Sigma Function) 
Let ν‘› be positive integer. Then 휎(ν‘›) denotes the sum of the positive divisors 
of ν‘›; that is 휎(ν‘›) = Ξ£ν‘‘|ν‘› ν‘‘. 
Example 2.17 
ο‚· The positive divisors of 12 are 1, 2, 3, 4, 5, 6 and 12; 
So 휎(12) = 1 + 2 + 3 + 4 + 6 + 12 = 28. 
ο‚· The positive divisors of 28 are 1, 2, 4, 7, 14 and 28; 
So 휎(28) = 1 + 2 + 4 + 7 + 14 + 28 = 56. 
Let ν‘“ be a multiplicative function. Define a new function 퐹 by 퐹(ν‘›) = 
Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). The following example shows that the new function 퐹 can be a 
13 
multiplicative function. 
Example 2.18 
We have (4,7) = 1. 
Then 퐹(4 βˆ™ 7) = Ξ£ν‘‘|28ν‘“(28) 
= ν‘“(1) + ν‘“(2) + ν‘“(4) + ν‘“(7) + ν‘“(14) + ν‘“(28) 
= ν‘“(1 βˆ™ 1) + ν‘“(1 βˆ™ 2) + ν‘“(1 βˆ™ 4) + ν‘“(1 βˆ™ 7) + ν‘“(2 βˆ™ 7) + ν‘“(4 βˆ™ 7) 
= [ν‘“(1) + ν‘“(2) + ν‘“(4)]ν‘“(1) + [ν‘“(1) + ν‘“(2) + ν‘“(4)]ν‘“(7) 
= [ν‘“(1) + ν‘“(2) + ν‘“(4)][ν‘“(1) + ν‘“(7)] 
= Ξ£ν‘“(ν‘‘) 
ν‘‘|4 
βˆ™ Ξ£ν‘“(ν‘‘) 
ν‘‘|7 
= 퐹(4)퐹(7).  
Theorem 2.19 
If ν‘“ is a multiplicative function, then 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘) is also 
multiplicative.
Proof. Let ν‘š and ν‘› be relatively prime positive integers. We want to show that 
14 
퐹(ν‘šν‘›) = 퐹(ν‘š)퐹(ν‘›). 
By definition, 퐹(ν‘šν‘›) = Ξ£ν‘‘|ν‘šν‘› ν‘“(ν‘‘). Since (ν‘š, ν‘›) = 1, every positive 
divisor of ν‘šν‘›, is the product of a unique pair of positive divisors ν‘‘1 of ν‘š and ν‘‘2 
of ν‘›, where, (ν‘š, ν‘›) = 1. 
Therefore 퐹(ν‘šν‘›) = Ξ£ν‘‘1|ν‘š,ν‘‘2|ν‘š ν‘“(ν‘‘1ν‘‘2). 
Since ν‘“ is multiplicative, ν‘“(ν‘‘1ν‘‘2) = ν‘“(ν‘‘1 )ν‘“(ν‘‘2 ). 
Therefore 퐹(ν‘šν‘›) = Ξ£ν‘‘1|ν‘š,ν‘‘2|ν‘šν‘“(ν‘‘1ν‘‘2) 
= Ξ£ 퐹(ν‘š)ν‘“(ν‘‘2 ) 
ν‘‘2 |ν‘› 
= 퐹(ν‘š)Ξ£ ν‘“(ν‘‘2 ) 
ν‘‘2 |ν‘› 
= 퐹(ν‘š)퐹(ν‘›). 
Thus 퐹 is multiplicative.  
Corollary 2.20 
The Tau and Sigma functions are multiplicative. 
Proof. By theorem 2.6, the functions Ξ£ν‘‘|ν‘› ν‘“(ν‘‘) = Ξ£ν‘‘|ν‘› 1 = 휏(ν‘›) and Ξ£ν‘‘|ν‘› ν‘”(ν‘‘) = 
Ξ£ν‘‘|ν‘› ν‘‘ = 휎(ν‘›) are multiplicative.
(Since we have constant function ν‘“(ν‘›) = 1 and the identity function ν‘”(ν‘›) = 
15 
ν‘› are multiplicative.) 
That is, if ν‘“(ν‘š, ν‘›) = 1, then 휏(ν‘šν‘›) = 휏(ν‘š)휏(ν‘›) and 휎(ν‘šν‘›) = 휎(ν‘š)휎(ν‘›). 
Example 2.21 
36 = (4)(9). Also (4, 9) = 1. 
Thus 휏(36) = 휏(4)휏(9) = 3 βˆ™ 3 = 9. 
And 휎(36) = 휎(4)휎(9) = (1 + 2 + 4)(1 + 3 + 9) = 91.  
Theorem 2.22 
Let 푝 be any prime and ν‘’ any positive integer. Then 휏(푝푒) = ν‘’ + 1 and 
휎(푝푒) = 푝푒+1 βˆ’1 
ν‘βˆ’1 
. 
Proof. The positive factors of 푝푒 are of the form 푝푖 , where 0 ≀ ν‘– ≀ ν‘’. There are 
ν‘’ + 1 such factors. So 휏(푝푒) = ν‘’ + 1. 
ν‘’ 
휎(푝푒) = Σ푝푖 = 
0 
푝푒+1 βˆ’ 1 
푝 βˆ’ 1 
. 
The following theorem gives two formulas. They are a consequence of 
Corollary 2.20 and Theorem 2.2.  
Theorem 2.23
Let ν‘› be a positive integer with canonical decomposition ν‘› = 푝1 
16 
ν‘’1 푝2 
ν‘’2 … ν‘ν‘˜ 
ν‘’ν‘˜. 
ν‘’1 βˆ’1 
푝1 βˆ’1 
Then 휏(ν‘›) = (ν‘’1 + 1)(ν‘’2 + 2) … (ν‘’ν‘˜ + ν‘˜) and 휎(ν‘›) = 푝1 
ν‘’2 βˆ’1 
푝2 βˆ’1 
βˆ™ 푝2 
βˆ™ … βˆ™ 
ν‘’ν‘˜ βˆ’1 
ν‘ν‘˜βˆ’1 
푝 
ν‘˜ 
. 
Proof. Since 휏 is multiplicative, 
ν‘’1 ) βˆ™ 휏(푝2 
휏(ν‘›) = 휏(푝1 
ν‘’2 ) … 휏(ν‘ν‘˜ 
ν‘’ν‘˜ ) = (ν‘’1 + 1)(ν‘’2 + 1) … (ν‘’ν‘˜ + 1). 
Since 휎 is multiplicative, 
ν‘’1 ) βˆ™ 휎(푝2 
휎(ν‘›) = 휎(푝1 
ν‘’ν‘˜ ) = 푝1 
ν‘’2 )… 휎(ν‘ν‘˜ 
ν‘’1 βˆ’1 
푝1 βˆ’1 
ν‘’2 βˆ’1 
푝2 βˆ’1 
βˆ™ 푝2 
βˆ™ … βˆ™ 
ν‘’ν‘˜ βˆ’1 
ν‘ν‘˜βˆ’1 
푝 
ν‘˜ 
.  
Example 2.24 
The canonical decomposition of 6120 = 23 βˆ™ 32 βˆ™ 5 βˆ™ 17 
Therefore 휏(6120) = (3 + 1)(2 + 1)(1 + 1)(1 + 1) = 48 
and 휎(6120) = 23+1βˆ’1 
2βˆ’1 
βˆ™ 32+1βˆ’1 
3 βˆ’1 
βˆ™ 51+1βˆ’1 
5βˆ’1 
βˆ™ 171+1βˆ’1 
17βˆ’1 
= 15 βˆ™ 14 βˆ™ 6 βˆ™ 18 = 22680.  
The Mӧbius Function 
The MΣ§bius function νœ‡ is an important number-theoretic function which was 
discovered by the German mathematician August Ferdinand Mӧbius. It plays an 
important role in the study of the distribution of primes. 
Definition 2.25 (The Mӧbius function 흁)
1 if ν‘› = 1 
0 if 푝2 |ν‘› for some prime 푝 
(βˆ’1)ν‘˜ if ν‘› = 푝1 푝2 … ν‘ν‘˜ 
17 
Let ν‘› be a positive integer. Then 
νœ‡(ν‘›) = { 
For example νœ‡(2) = βˆ’1, νœ‡(3) = βˆ’1, νœ‡(4) = 0, νœ‡(12) = 0, νœ‡(35) = 
νœ‡(5.7) = (βˆ’1)2 and νœ‡(672) = νœ‡(25 βˆ™ 3 βˆ™ 7) = 0. 
Thus νœ‡ assigns βˆ’1,0 or to each positive integer; νœ‡(ν‘›) = 0 if the canonical 
decomposition of ν‘› contains a perfect square, that is, if ν‘› is not square-free; it is 
(βˆ’1)ν‘˜ if it consists of ν‘˜ distinct prime factors. 
Theorem 2.26 
The function νœ‡ is multiplicative. 
Proof. Let ν‘š and ν‘› be relatively prime positive integers. If ν‘š = 1 or ν‘› = 1, then 
clearly νœ‡(ν‘šν‘›) = νœ‡(ν‘š)νœ‡(ν‘›). 
Suppose ν‘š or ν‘› is divisible by 푝2 for some prime 푝. Then νœ‡(ν‘š)νœ‡(ν‘›) = 0. If 
푝2 |ν‘š or 푝2 |ν‘›, then 푝2 |ν‘šν‘›, so νœ‡(ν‘šν‘›) = 0. Thus νœ‡(ν‘šν‘›) = νœ‡(ν‘š)νœ‡(ν‘›). 
Finally, suppose both ν‘š and ν‘› are square-free, let ν‘š = 푝1푝2 … ν‘ν‘Ÿ and ν‘› = 
ν‘ž1 ν‘ž2 … ν‘žν‘ , where the 푝푖 ’s and ν‘žν‘—β€™s are distinct primes, since (ν‘š, ν‘›) = 1. νœ‡(ν‘š) = 
(βˆ’1)ν‘Ÿ and νœ‡(ν‘›) = (βˆ’1)5. 
Then ν‘šν‘› = 푝1 푝2 … ν‘ν‘Ÿν‘ž1ν‘ž2 … ν‘žν‘ , a product of distinct primes.
Therefore νœ‡(ν‘šν‘›) = (βˆ’1)ν‘Ÿ+ν‘  = (βˆ’1)ν‘Ÿ βˆ™ (βˆ’1)ν‘  = νœ‡(ν‘š)νœ‡(ν‘›). Thus, in every case, 
νœ‡(ν‘šν‘›) = νœ‡(ν‘š)νœ‡(ν‘›), so νœ‡ is multiplicative.  
18 
Example 2.27 
Let us determine νœ‡(420). 
Since νœ‡ is multiplicative, νœ‡(420) = νœ‡(15)νœ‡(28) 
Now 15 = 3 βˆ™ 5. So by definition, νœ‡(15) = 1. 
28 = 22 βˆ™ 7. So by definition, νœ‡(28) = 0. 
420 = 22 βˆ™ 3 βˆ™ 5 βˆ™ 7. Since 420 is not square–free, νœ‡(420) = 0. Thus νœ‡(420) = 
0 = 1 βˆ™ 0 = νœ‡(15)νœ‡(28).  
Next we develop a formula for Ξ£ν‘‘|ν‘› νœ‡(ν‘‘). When n = 1, Ξ£ν‘‘|1 νœ‡(ν‘‘) = νœ‡(1) = 
1. If ν‘› > 1, we can compute the sum using the canonical decomposition of ν‘› and 
Theorem 8.7 provided we know the sum when ν‘› is a prime-power 푝푒. For this we 
need to introduce a new function, as the following lemma shows. 
Lemma 2.28 
Let 퐹(ν‘›) = Ξ£ν‘‘|ν‘› νœ‡(ν‘‘). Then 퐹(푝푒) = 0, where ν‘’ > 1. 
Proof. 퐹(푝푒) = Ξ£ν‘‘|푝푒 νœ‡(ν‘‘) 
= Ξ£ νœ‡(푝푖) ν‘›ν‘– 
=0
= νœ‡(1) + νœ‡(푝) + νœ‡(푝2 ) + β‹― + νœ‡(푝푒) 
= 1 + (βˆ’1) = 0 + β‹― + 0 = 0.  
(ν‘‘|6) . 
19 
Theorem 2.29 
1 if ν‘› = 1 
0 othewise 
Let ν‘› be a positive integer. Then Ξ£ν‘‘|ν‘› νœ‡(ν‘‘) = { 
. 
ν‘’1 푝2 
Proof. If ν‘› = 1, Ξ£ν‘‘|1 νœ‡(ν‘‘) = νœ‡(1) = 1. So let ν‘› > 1 and let ν‘› = 푝1 
ν‘’2 … ν‘ν‘˜ 
ν‘’ν‘˜ be 
the canonical decomposition of ν‘›. Let, 퐹(ν‘›) = Ξ£ν‘‘|ν‘› νœ‡(ν‘‘). Since νœ‡ is 
multiplicative, 퐹 is also multiplicative, by Theorem 8.7. 
Therefore 퐹(ν‘›) = Ξ  퐹(푝푒푖) ν‘˜ν‘– 
=1 
퐹(ν‘›) = Ξ  0 ν‘˜ν‘– 
=1 = 0.  
Example 2.30 
Ξ£ νœ‡(ν‘‘) = νœ‡(1) + νœ‡(2) + νœ‡(3) + νœ‡(6) + νœ‡(9) + νœ‡(18) ν‘‘|18 
= 1 + (βˆ’1) + (βˆ’1) + (βˆ’1)2 + 0 + 0 = 0. 
Problem. 
Let ν‘“ be a number-theoretic function. Show that 
Ξ£ Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€² ) = Ξ£ Ξ£ ν‘“(ν‘‘β€²)νœ‡(ν‘‘) 
(ν‘‘|(6 
ν‘‘ 
)) 
(ν‘‘β€² |6) 
(ν‘‘β€²|(6 
ν‘‘ 
))
(ν‘‘β€² |6) .  
20 
Solution. Ξ£ Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€²) 
(ν‘‘β€²|(6 
ν‘‘ 
)) 
ν‘‘|6 
= Ξ£ νœ‡(1)ν‘“(ν‘‘β€² ) ν‘‘β€² |6 + Ξ£ νœ‡(2)ν‘“(ν‘‘β€²) ν‘‘β€² |3 + Ξ£ νœ‡(3)ν‘“(ν‘‘β€² ) ν‘‘β€² |2 +Ξ£ νœ‡(6)ν‘“(ν‘‘β€²) ν‘‘β€² |1 
= νœ‡(1)Ξ£ ν‘“(ν‘‘β€²) 
ν‘‘β€² |6 
+ νœ‡(2)Ξ£ ν‘“(ν‘‘β€² ) + νœ‡(3)Ξ£ ν‘“(ν‘‘β€² ) + νœ‡(6)Ξ£ ν‘“(ν‘‘β€²) 
ν‘‘β€² |3 ν‘‘β€² |2 ν‘‘β€² |1 
= νœ‡(1)[ν‘“(1) + ν‘“(2) + ν‘“(3) + ν‘“(6)] + νœ‡(2)[ν‘“(1) + ν‘“(3)] + νœ‡(3)[ν‘“(1) + 
ν‘“(2)] + νœ‡(6)ν‘“(1) 
= ν‘“(1)[νœ‡(1) + νœ‡(2) + νœ‡(3) + νœ‡(6)] + ν‘“(2)[νœ‡(1) + νœ‡(3)] + ν‘“(3)[νœ‡(1) + 
νœ‡(2)] + ν‘“(6)νœ‡(1) 
= ν‘“(1) Ξ£ νœ‡(ν‘‘) ν‘‘|6 + ν‘“(2) Ξ£ νœ‡(ν‘‘) ν‘‘ |3 + ν‘“(3) Ξ£ νœ‡(ν‘‘) ν‘‘|2 + ν‘“(6)Ξ£ν‘‘|1 νœ‡(ν‘‘) 
= Ξ£ν‘‘β€² |6 ν‘“(ν‘‘β€²)Ξ£ νœ‡(ν‘‘) ν‘‘ |( 
6 
ν‘‘β€²) 
= Ξ£ Ξ£ ν‘“(ν‘‘β€²)νœ‡(ν‘‘) 
(ν‘‘|(6 
ν‘‘ 
)) 
Theorem 2.31 (Mӧbius Inversion Formula) 
Let ν‘“ be a number-theoretic function and let 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). Then 
ν‘“(ν‘›) = Ξ£ νœ‡(ν‘‘)퐹 (ν‘› 
ν‘‘|ν‘› ). 
ν‘‘ 
Proof. 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). Then 퐹 (ν‘› 
ν‘‘ 
) = Ξ£ ν‘“(ν‘‘β€²) 
ν‘‘β€² |(ν‘› 
ν‘‘ 
) .
ν‘‘|ν‘› ν‘‘|ν‘› ) . 
ν‘‘β€²ν‘‘|ν‘› ν‘‘β€² |ν‘› ) 
ν‘‘β€²) ν‘‘|ν‘› ] 
ν‘‘β€²) equals if 
ν‘‘|ν‘› ) = ν‘“(ν‘‘β€²) βˆ™ 1, where ν‘‘β€² = ν‘›. 
ν‘‘|ν‘› ) can also be written asν‘“(ν‘›) = 
21 
So νœ‡(ν‘‘)퐹 (ν‘› 
ν‘‘ 
) = νœ‡(ν‘‘) Ξ£ ν‘“(ν‘‘β€² ) 
ν‘‘β€² |(ν‘› 
ν‘‘ 
) = Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€² ) 
ν‘‘β€² |(ν‘› 
ν‘‘ 
) 
Therefore Ξ£ νœ‡(ν‘‘)퐹 (ν‘› 
ν‘‘ 
) = Ξ£ Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€² ) 
ν‘‘β€² |(ν‘› 
ν‘‘ 
As ν‘‘ runs over the positive divisors of ν‘›, so does ν‘‘β€²; also ν‘‘ν‘‘β€² runs over the 
positive factors of ν‘›; that is, the sum of all its values of νœ‡(ν‘‘)ν‘“(ν‘‘β€²) as ν‘‘ν‘‘β€² runs 
over the positive factors of ν‘›; that is, the sum of all its values for all pairs ν‘‘ and 
ν‘‘β€² such that 
ν‘‘β€² 
ν‘› 
and ν‘‘| ( ν‘› 
ν‘‘β€² ). 
That is, Ξ£ Ξ£ νœ‡(ν‘‘) 
ν‘‘β€² |(ν‘› 
ν‘‘ 
) ν‘“(ν‘‘β€² ) = Ξ£ Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€² ) 
ν‘‘|( ν‘› 
Thus Ξ£ νœ‡(ν‘‘)퐹 (ν‘› 
ν‘‘ 
) = Ξ£ν‘‘β€² |ν‘› ν‘“(ν‘‘β€²) [Ξ£ νœ‡(ν‘‘) 
ν‘‘|( ν‘› 
But by Theorem 8.17, Ξ£ νœ‡(ν‘‘) 
ν‘‘|( ν‘› 
ν‘› 
ν‘‘β€² = 1; that is, if ν‘› = ν‘‘β€², and 
otherwise. Thus Ξ£ νœ‡(ν‘‘)퐹 (ν‘› 
ν‘‘ 
In other words, ν‘“(ν‘›) = Ξ£ νœ‡(ν‘‘)퐹 ( ν‘› 
ν‘‘β€² ν‘‘|ν‘› ).  
Remark. As ν‘‘ runs over the positive factors of ν‘›, so does 
ν‘› 
ν‘‘ 
. Therefore, the 
inversion formula ν‘“(ν‘›) = Ξ£ νœ‡(ν‘‘)퐹 (ν‘› 
ν‘‘ 
Ξ£ νœ‡ (ν‘› 
) 퐹(ν‘‘) ν‘‘|ν‘› . 
ν‘‘
Notice that the definition ν‘“(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘) expresses 퐹 in terms of ν‘“, 
whereas the inversion formula ν‘“(ν‘›) = Ξ£ νœ‡(ν‘‘)퐹 (ν‘› 
ν‘‘|ν‘› ) expresses ν‘“ in terms of 퐹. 
22 
ν‘‘ 
To illustrate the inversion formula, recall that 휏(ν‘›) = Ξ£ν‘‘|ν‘› 1 and 휎(ν‘›) = 
Ξ£ν‘‘|ν‘› ν‘‘ because both the constant function ν‘“(ν‘›) = 1 and the identity function 
ν‘”(ν‘›) = ν‘› are multiplicative, it follows by Theorem 2.32 that 
ν‘› 
ν‘‘ 
1 = Ξ£νœ‡(ν‘‘)휏 ( 
ν‘› 
ν‘‘ 
) = Ξ£νœ‡ ( 
) 휏(ν‘‘) 
ν‘‘|ν‘› ν‘‘|ν‘› 
and 
ν‘› 
ν‘‘ 
ν‘› = Ξ£νœ‡(ν‘‘)휎 ( 
ν‘› 
ν‘‘ 
) = Ξ£νœ‡ ( 
) 휎(ν‘‘) 
ν‘‘|ν‘› ν‘‘|ν‘› 
We can illustrate these results by the following example. 
Example 2.32 
6 
ν‘‘ 
Ξ£νœ‡(ν‘‘)휏 ( 
) = νœ‡(1)휏(6) + νœ‡(2)휏(3) + νœ‡(3)휏(2) + νœ‡(6)휏(1) 
ν‘‘|6 
= 1 βˆ™ 4 + (βˆ’1) βˆ™ 2 + (βˆ’1) βˆ™ 2 + (βˆ’1)2 βˆ™ 1 
= 1 
6 
ν‘‘ 
Ξ£νœ‡(ν‘‘)휎 ( 
) = νœ‡(1)휎(6) + νœ‡(3)휎(2) + νœ‡(6)휎(1) 
ν‘‘|6
= 1 βˆ™ 12 + (βˆ’1) βˆ™ 4 + (βˆ’1) βˆ™ 3 + (βˆ’1)2 βˆ™ 1 
= 6.  
ν‘‘|ν‘› ) =Ξ£ νœ‡(ν‘‘) 
ν‘‘|ν‘› ν‘‘ .  
23 
Theorem 2.33 
νœ‘(ν‘›) = ν‘› Ξ£ νœ‡(ν‘‘) 
ν‘‘|ν‘› ν‘‘ . 
Proof. By Theorem 2.12, ν‘› = Ξ£ν‘‘|ν‘› νœ‘(ν‘‘). Let ν‘” denote the identity function given 
by ν‘”(ν‘›) = ν‘› for all ν‘›. Therefore ν‘”(ν‘›) = ν‘› = Ξ£ν‘‘|ν‘› νœ‘(ν‘‘). Then by MΣ§bius 
inversion formula, νœ‘(ν‘›) = Ξ£ νœ‡(ν‘‘)ν‘” (ν‘› 
ν‘‘ 
Problem. 
Verify the formula in Theorem 2.35 for n=12. 
Solution. 
By Theorem 2.9, νœ‘(12) = νœ‘(22 βˆ™ 3) = 4. 
Now, 
12 Ξ£ 
νœ‡(ν‘‘) 
ν‘‘ 
12 
ν‘‘ 
= Ξ£ ( 
) νœ‡(ν‘‘) 
ν‘‘|12 ν‘‘|12 
= 12νœ‡(1) + 6νœ‡(2) + 4νœ‡(3) + 3νœ‡(4) + 2νœ‡(6) + 1νœ‡(12)
= 12 βˆ™ 1 + 6 βˆ™ (βˆ’1) + 4 βˆ™ (βˆ’1) + 3 βˆ™ 0 + 2 βˆ™ (βˆ’1)2 + 1 βˆ™ 0 
ν‘‘|ν‘› ). Then 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). 
) ν‘˜|ν‘› ]. 
24 
= 4 = νœ‘(12). 
Theorem 2.34 
Let 퐹 and ν‘“ be number-theoretic functions such that ν‘“(ν‘›) = 
Ξ£ νœ‡(ν‘‘)퐹 (ν‘› 
ν‘‘ 
Proof. By the definition of ν‘“, ν‘“(ν‘‘) = Ξ£ νœ‡(ν‘‘β€² )퐹 ( ν‘‘ 
ν‘‘β€² ν‘‘β€² |ν‘‘ ). 
Therefore Ξ£ ν‘“(ν‘‘) = Ξ£ Ξ£ νœ‡(ν‘‘β€² )퐹 ( ν‘‘ 
ν‘‘β€² ν‘‘|ν‘› ν‘‘|ν‘› ν‘‘β€² |ν‘‘ ). 
Let 
ν‘‘ 
ν‘‘β€² = ν‘˜ and 
ν‘› 
ν‘‘ 
= ν‘™,then ν‘‘ = ν‘˜ν‘‘β€² and ν‘› = ν‘™ν‘‘ = ν‘˜ν‘™ν‘‘β€².So this equation 
yields Ξ£ν‘‘|ν‘› ν‘“(ν‘‘) = Ξ£ν‘‘|ν‘› Ξ£ν‘˜ν‘‘β€²=ν‘‘ νœ‡(ν‘‘β€²)퐹(ν‘˜) 
= Ξ£ν‘˜ν‘‘β€² |ν‘› νœ‡(ν‘‘β€²)퐹(ν‘˜) 
= Ξ£ 퐹(ν‘˜) [Ξ£ νœ‡(ν‘‘β€²) 
ν‘‘β€² |(ν‘› 
ν‘˜ 
By Theorem 8.17, Ξ£ νœ‡(ν‘‘β€² ) 
ν‘‘β€² |(ν‘› 
ν‘˜ 
) equals if ν‘› = ν‘˜ and otherwise. So the 
equation becomes Ξ£ ν‘“(ν‘‘) = 퐹(ν‘˜) βˆ™ (1) (ν‘‘|ν‘›) , where ν‘› = ν‘˜. 
That is, 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). 
Chapter 3 
PERFECT NUMBERS 
We can use the sigma function to study a marvelous class of numbers called 
perfect numbers. The term perfect numbers was coined by the Pythagoreans. The 
ancient Greeks thought these numbers had mystical power and held them to be 
β€œgood” numbers. They were also studied by the early Hebrews; Rabbi Josef ben 
Jehuda in the 12th century recommended their study in his book, β€œHealing of 
25 
souls”. 
Historically, some biblical scholars considered 6 a perfect number, because 
they believed god created the world in six days and god’s work is perfect. St. 
Augustine, on the other hand, believed God’s work to be perfect because 6 is a 
perfect number. He writes, β€œSix is a number perfect in itself, and not because God 
created all things in six days; rather the inverse is true; God created all things in six 
days because this number is perfect. And it would remain perfect even if the work 
of the six days did not exist.”
The Pythagoreans regarded 6 as the symbol of β€œmarriage and health and 
beauty on account of the integrity of its parts and the agreement existing in it.” 
What is mystical about ? The Pythagoreans observed that 6 equals the sum of its 
proper divisors: 6 = 1 + 2 + 3. The next two perfect numbers are 28 and 496: 
26 
28 = 1 + 2 + 4 + 7 + 14 
496 = 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248 
Their discovery is sometimes attributed to the Greek mathematician 
Nichomachus (ca. A.D. 100). 
We can now formalise the definition of a perfect number. 
Definition 3.1 (Perfect number) 
A positive integer ν‘› is a perfect number if the sum of its proper divisiors 
equals ν‘›. Thus ν‘› is perfect if 휎(ν‘›) βˆ’ ν‘› = ν‘›, that is, if 휎(ν‘›) = 2ν‘›. 
The first eight perfect numbers are: 
6 = 2(22 βˆ’ 1) 
28 = 22 (23 βˆ’ 1) 
496 = 24 (25 βˆ’ 1) 
8,128 = 26 (27 βˆ’ 1) 
33,550,336 = 212(213 βˆ’ 1)
8,589,869,056 = 216 (217 βˆ’ 1) 
137,438,691,328 = 218(219 βˆ’ 1) 
2,305,843,008,139,952,128 = 230 (231 βˆ’ 1). 
Of which only the first four were known to the ancient Greeks; they are 
listed in Nichomachus’s Introductio Arithmeticae. The next perfect numbers was 
discovered by the Greek mathematician Hudalrichus Regius around 1536. The 
Italian mathematician Pietro Antonic Cataldi (1548-1626) discovered the next two 
in 1588. Euler discovered the eighth perfect numbers in 1750. 
Interestingly, a medieval German nun, Hrotsvit, a Benedictine in the Abbey 
of Gandersheim in Saxony and the first woman German poet, listed the first four 
perfect numbers in her 10th century play, Sapientia. Mathematicians of the middle 
ages, basing their assumptions on the first four perfect numbers, conjectured that: 
ο‚· There is a perfect numbers between any two consecutive of 10; that is 
there is a perfect numbers of n digits for every positive integer n; and 
ο‚· Perfect numbers end alternatively in 6 and 8. 
Unfortunately, both conjectures are false. There are no perfect numbers that 
are five digits long. Even perfect numbers do end in 6 or 8, but not alternately; for 
instance, the fifth and sixth even perfect number end in 6 or 8, but not alternately 
27
for instance, the fifth and sixth even perfect numbers end in 6; the next four end in 
28 
8. 
Unfortunately, both conjectures are false. There are no perfect numbers that 
are five digits long. Even perfect numbers do end in 6 or 8, but not alternatively; 
for instance, the fifth and sixth even perfect numbers end in 6; the next four end in 
8. 
Unfortunately, both conjectures are false. There are no perfect numbers do 
end in 6 or 8, but not alternately; for instance, the fifth and sixth even perfect 
numbers end in 6; the next four end in 8. 
Notice that every perfect number in the preceding list is even and is of the 
form 2ν‘βˆ’1 (2푝 βˆ’ 1), where 푝 and 2ν‘βˆ’1 are primes. We should be doubly impressed 
that Euclid proved that every such number is a perfect number, as the following 
theorem confirms. 
Theorem 3.2 (Euclid) 
If ν‘› is an intiger greater than or equal to such that 2ν‘› βˆ’ 1 is a prime, then 
푁 = 2ν‘›βˆ’1 (2ν‘› βˆ’ 1) is a perfect number. 
Proof. Since 2ν‘› βˆ’ 1 is a prime 휎(2ν‘› βˆ’ 1) = 1 + (2ν‘› βˆ’ 1) = 2ν‘› . Because 휎 is 
multiplicative, 휎(푁) = 휎(2ν‘›βˆ’1 )휎(2ν‘› βˆ’ 1) 
= (2ν‘› βˆ’ 1)(2ν‘›) = 2ν‘›(2ν‘› βˆ’ 1) = 2푁.
Thus 푁 is a perfect number.  
About 2000 years after Euclid’s discovery, Euler proved that the converse of 
this theorem is also true; that is, every even perfect number is of the form 2ν‘› βˆ’ 1 is 
a prime. Theorem 3.2 and 3.3 categorically characterize even perfect numbers. 
29 
Theorem 3.3 (Euler) 
Every even perfect numbers 푁 is of the form 푁 = 2ν‘›βˆ’1 (2ν‘› βˆ’ 1), where 
2ν‘› βˆ’ 1 is a prime. 
Proof. Let 푁 be of the form 2ν‘’ν‘ , where ν‘  is odd and ν‘’ β‰₯ 1. Since 푁 is perfect, 
휎(푁) = 2푁 = 2ν‘’+1 ν‘ . Clearly, (2ν‘’, ν‘ ) = 1. So 휎(푁) = 휎(2ν‘’ν‘ ) = 휎(2ν‘’)휎(ν‘ ). 
That is 2ν‘’+1 ν‘  = (2ν‘’+1 βˆ’ 1)휎(ν‘ ). (1) 
Since (2ν‘’+1 , 2ν‘’+1 βˆ’ 1) = 1, it follows by corollary……. that 2ν‘’+1 |휎(ν‘ ). 
Therefore 휎(ν‘ ) = 2ν‘’+1 ν‘‘ for some positive integer ν‘‘. Substituting for 휎(ν‘ ) in 
equation (1), 2ν‘’+1 ν‘  = (2ν‘’+1 βˆ’ 1)2ν‘’+1 ν‘‘. (2) 
Therefore ν‘  = (2ν‘’+1 βˆ’ 1)ν‘‘. (3) 
This implies ν‘‘|ν‘  and ν‘‘ < ν‘ , since ν‘‘ = ν‘  implies ν‘’ = 0, a contradiction.
We will now show that ν‘‘ = 1. For that equation (2) can be rewritten as ν‘  + 
30 
ν‘‘ = 2ν‘’+1 ν‘‘. 
That is, ν‘  + ν‘‘ = 휎(ν‘ ). (4) 
This shows that ν‘‘ is the sum of the proper divisors of ν‘ ; but, by equation (3), 
ν‘‘ itself is a proper divisor of ν‘ . So, for the relationship (4) to hold, ν‘‘ must be . 
Thus ν‘  + 1 = 휎(ν‘ ), so ν‘  has exactly two positive factors and ν‘ . Consequently, 
ν‘  = 2ν‘’+1 βˆ’ 1 must be a prime. 
Thus 푁 = 2ν‘’(2ν‘’+1 βˆ’ 1), where 2ν‘’+1 βˆ’ 1 is a prime.  
Problem. 
Let us find all perfect numbers of the form ν‘›ν‘› + 1. 
Solution. Take 푁 = ν‘›ν‘› + 1 
Case 1 Let ν‘› be odd. Then 푁 is an even perfect number, so 푁 must be of the form 
푁 = 2ν‘šβˆ’1 (2ν‘š βˆ’ 1), where 2ν‘š βˆ’ 1 is a prime. 
Clearly 푁 can be factored as 푁 = ν‘›ν‘› + 1 = (ν‘› + 1)ν‘Ÿ, where ν‘Ÿ = ν‘›ν‘›βˆ’1 βˆ’ 
ν‘›ν‘›βˆ’2 + β‹― βˆ’ ν‘› + 1. We claim that (ν‘› + 1, ν‘Ÿ) = 1. 
To show this, notice that since ν‘› is odd, ν‘Ÿ is odd and ν‘› + 1 is even. Let ν‘› + 
1 = 2ν‘ , where ν‘‘ is an odd integer greater than or equal to .Then 푁 = 2ν‘  ν‘‘ν‘Ÿ, where 
both ν‘‘ and ν‘Ÿ are odd. Since 푁 is an even perfect number this is possible only if ν‘‘ =
1; so ν‘› + 1 = 2ν‘  and hence (ν‘› + 1, ν‘Ÿ) = 1. If ν‘Ÿ = 1, then 푁 = ν‘›ν‘› + 1; so ν‘› = 1. 
Then 푁 = 2, which is not a perfect number. 
Since 푁 = 2ν‘šβˆ’1 (2ν‘š βˆ’ 1) = (ν‘› + 1)ν‘Ÿ = 2ν‘ ν‘Ÿ, where 2ν‘š βˆ’ 1 is an odd 
prime and ν‘Ÿ is odd, 2ν‘  = 2ν‘šβˆ’1 = ν‘› + 1 and ν‘Ÿ = 2ν‘š βˆ’ 1 = 2(ν‘› + 1) βˆ’ 1 = 2ν‘› + 
31 
1. 
Therefore 푁 = ν‘›ν‘› + 1 = (ν‘› + 1)(2ν‘› + 1) = 2ν‘›2 + 3ν‘› + 1. 
This gives ν‘›ν‘› = 2ν‘›2 + 3ν‘›. Thus ν‘›ν‘›βˆ’1 = 2ν‘› + 3. 
Since ν‘› is an integer, this equation has a unique solution . (See the graph in 
figure…..) Then 푁 = 33 + 1 = 28. Thus 28 is the only even perfect number of the 
desired form.
Case 2 Let ν‘› be even, say, ν‘› = 2ν‘˜. Then 푁 is odd, ν‘›ν‘› is a square, and ν‘›ν‘› ≑ 
βˆ’1(mod 푁). We claim that 3 <∀ 푁. Suppose on the contrary that 3|푁. Then ν‘›ν‘› ≑ 
32 
βˆ’1(mod 푁); that is, 
(2ν‘˜)2ν‘˜ ≑ βˆ’1(mod 3) 
4ν‘˜ βˆ™ ν‘˜2ν‘˜ ≑ 2(mod 3) 
1 βˆ™ ν‘˜2ν‘˜ ≑ 2(mod 3) 
ν‘˜2ν‘˜ ≑ 2(mod 3) 
Cleraly, ν‘˜ β‰’ 0 or modulo . If ν‘˜ ≑ 2(mod 3), then the above congruence gives 
2ν‘˜ ≑ 2(mod 3)
4ν‘˜ ≑ 2(mod 3) 
1 ≑ 2(mod 3), a contradiction 
So ν‘˜ cannot be congruent to 0,1 or , which is absurd. Thus 3 ∀ 푁. 
By Touchard’s theorem, 푁 = 12ν‘š + 1 or 36ν‘š + 9 for some integer ν‘š. If 
푁 = 36ν‘š + 9, then 3|푁, a contradiction. So 푁 = 12ν‘š + 1; that is, ν‘›ν‘› = 12ν‘š. 
Since 3|12ν‘š, 3|ν‘›ν‘›, so 3|ν‘›. Thus 2|ν‘› and 3|ν‘›, so 6|ν‘›. 
33 
Let 푁 = ν‘Ž6 + 1,where ν‘Ž = ν‘› 
ν‘› 
6 > 1. Then 푁 can be factored as 푁 = 
(ν‘Ž2 + 1)(ν‘Ž4 βˆ’ ν‘Ž2 + 1). (5) 
We will now see that these factors of 푁 are relatively prime. To this end, let 
푝 be a common prime factor of the two factors ν‘Ž2 + 1 and ν‘Ž4 βˆ’ ν‘Ž2 + 1. Since 
ν‘Ž4 βˆ’ ν‘Ž2 + 1 = (ν‘Ž4 + 2ν‘Ž2 + 1) βˆ’ 3ν‘Ž2 
= (ν‘Ž2 + 1)2 βˆ’ 3ν‘Ž2 
= (ν‘Ž2 + 1)2 βˆ’ 3(ν‘Ž2 + 1) + 3, 푝|3. 
That is, 푝 = 3. This implies 3|푁, a contradiction; so the factors ν‘Ž2 + 1 and ν‘Ž4 βˆ’ 
ν‘Ž2 + 1 are relatively prime. Besides, since 푁 is odd, both factors are also odd. 
Since 푁 is perfect and 휎 is multiplicative, equation (5) yields 휎(푁) = 휎(ν‘Ž2 + 1) βˆ™ 
휎(ν‘Ž4 βˆ’ ν‘Ž2 + 1). 
That is, 2푁 = 휎(ν‘Ž2 + 1) βˆ™ 휎(ν‘Ž4 βˆ’ ν‘Ž2 + 1).
Since 푁 is odd, one of the factors on the right-hand side must be odd. But, if 
ν‘š and 휎(ν‘š) are both odd, then ν‘š is a square. This implies that either ν‘Ž2 + 1 or 
ν‘Ž4 βˆ’ ν‘Ž2 + 1 is a square. But ν‘Ž2 < ν‘Ž2 + 1 < (ν‘Ž + 1)2 and (ν‘Ž2 βˆ’ 1)2 < ν‘Ž4 βˆ’ ν‘Ž2 + 
1 < (ν‘Ž2 )2. Thus neither can be a square, a contradiction. 
Consequently, there are no odd perfect numbers of the form ν‘›ν‘› + 1. Thus 
28 is the only perfect number of the desired form.  
34 
Odd Perfect Numbers 
The question remains unanswered as to whether or not there are any odd 
perfect numbers. Although a host of conditions such a number 푁 must satisfy have 
been established, no one has been successful in finding one, in spite of large 
computer searches with modern supercomputers. For example, 푁 must be 
congruent to modulo 12 or to modulo 36; it must have at least eight different 
prime factors; and in 1991 R. P. Brent, G. L. Cohen, and H. J. J. te Riele showed 
that it must be greater than 10300. In 1998, G. L Cohen of the University of 
Technology, Sydney, and P. Hagis, Jr. of Temple University proved that the 
largest prime factor of an odd perfect number exceed 106; and three years earlier, 
D. E. Iannucci showed that the second prime factor exceed 104 and the third prime 
factor exceed 100. In 2000, Paul A. Weiner of St. Mary’s University of Minnesota 
established that if 3휎(ν‘›) = 5ν‘› for some integer ν‘›, then 5ν‘› is an odd perfect
number. There is however, a strong belief in the mathematical community that 
there may not be any odd perfect numbers. 
35 
BIBLIOGRAPHY 
[1] W. Edwin Clark, Elementary Number Theory, Department of Mathematics, 
University of Florida (2002). 
[2] G. H. Hardy and E. M. Wright, An introduction to the Theory of Numbers, 
Fifth Edition, Oxford University Press (1979). 
[3] S. B. Malik, S. K. Maheshwari, S. P. Misra, Basic Number Theory, Second 
Edition, Vikas Publishing House (1998). 
[4] Thomas Koshy, Elementary Number Theory with Applications, Academic 
Press (2002). 
[5] Tom M. Apostol, Introduction to Analytic Number Theory, Narosa (2000).

More Related Content

What's hot

Fuzzy Logic and Neural Network
Fuzzy Logic and Neural NetworkFuzzy Logic and Neural Network
Fuzzy Logic and Neural NetworkSHIMI S L
Β 
Fuzzy mathematics:An application oriented introduction
Fuzzy mathematics:An application oriented introductionFuzzy mathematics:An application oriented introduction
Fuzzy mathematics:An application oriented introductionNagasuri Bala Venkateswarlu
Β 
Lec 5 uncertainty
Lec 5 uncertaintyLec 5 uncertainty
Lec 5 uncertaintyEyob Sisay
Β 
Fuzzy logic and fuzzy time series edited
Fuzzy logic and fuzzy time series   editedFuzzy logic and fuzzy time series   edited
Fuzzy logic and fuzzy time series editedProf Dr S.M.Aqil Burney
Β 
Stochastic Processes Homework Help
Stochastic Processes Homework HelpStochastic Processes Homework Help
Stochastic Processes Homework HelpExcel Homework Help
Β 
Fuzzy logic Notes AI CSE 8th Sem
Fuzzy logic Notes AI CSE 8th SemFuzzy logic Notes AI CSE 8th Sem
Fuzzy logic Notes AI CSE 8th SemDigiGurukul
Β 
Fuzzy logic
Fuzzy logicFuzzy logic
Fuzzy logicmanojsonkar
Β 
Introduction to Artificial Intelligence
Introduction to Artificial IntelligenceIntroduction to Artificial Intelligence
Introduction to Artificial IntelligenceManoj Harsule
Β 
fuzzy logic
fuzzy logicfuzzy logic
fuzzy logicAnmol Bagga
Β 
Linguistic variable
Linguistic variable Linguistic variable
Linguistic variable Math-Circle
Β 
P-Pseudo Symmetric Ideals in Ternary Semiring
P-Pseudo Symmetric Ideals in Ternary SemiringP-Pseudo Symmetric Ideals in Ternary Semiring
P-Pseudo Symmetric Ideals in Ternary Semiringiosrjce
Β 
Fuzzy logic-introduction
Fuzzy logic-introductionFuzzy logic-introduction
Fuzzy logic-introductionWBUTTUTORIALS
Β 
Fuzzy Logic Seminar with Implementation
Fuzzy Logic Seminar with ImplementationFuzzy Logic Seminar with Implementation
Fuzzy Logic Seminar with ImplementationBhaumik Parmar
Β 
Business mathematics presentation
Business mathematics presentationBusiness mathematics presentation
Business mathematics presentationSourov Shaha Suvo
Β 

What's hot (20)

FUZZY LOGIC
FUZZY LOGICFUZZY LOGIC
FUZZY LOGIC
Β 
Fuzzy logic
Fuzzy logicFuzzy logic
Fuzzy logic
Β 
Fuzzy Logic and Neural Network
Fuzzy Logic and Neural NetworkFuzzy Logic and Neural Network
Fuzzy Logic and Neural Network
Β 
Fuzzy mathematics:An application oriented introduction
Fuzzy mathematics:An application oriented introductionFuzzy mathematics:An application oriented introduction
Fuzzy mathematics:An application oriented introduction
Β 
Lec 5 uncertainty
Lec 5 uncertaintyLec 5 uncertainty
Lec 5 uncertainty
Β 
Fuzzy logic and fuzzy time series edited
Fuzzy logic and fuzzy time series   editedFuzzy logic and fuzzy time series   edited
Fuzzy logic and fuzzy time series edited
Β 
Stochastic Processes Homework Help
Stochastic Processes Homework HelpStochastic Processes Homework Help
Stochastic Processes Homework Help
Β 
Soft computing Chapter 1
Soft computing Chapter 1Soft computing Chapter 1
Soft computing Chapter 1
Β 
8709508
87095088709508
8709508
Β 
Fuzzy logic Notes AI CSE 8th Sem
Fuzzy logic Notes AI CSE 8th SemFuzzy logic Notes AI CSE 8th Sem
Fuzzy logic Notes AI CSE 8th Sem
Β 
Fuzzy Set
Fuzzy SetFuzzy Set
Fuzzy Set
Β 
Fuzzy logic
Fuzzy logicFuzzy logic
Fuzzy logic
Β 
Lecture 29 fuzzy systems
Lecture 29   fuzzy systemsLecture 29   fuzzy systems
Lecture 29 fuzzy systems
Β 
Introduction to Artificial Intelligence
Introduction to Artificial IntelligenceIntroduction to Artificial Intelligence
Introduction to Artificial Intelligence
Β 
fuzzy logic
fuzzy logicfuzzy logic
fuzzy logic
Β 
Linguistic variable
Linguistic variable Linguistic variable
Linguistic variable
Β 
P-Pseudo Symmetric Ideals in Ternary Semiring
P-Pseudo Symmetric Ideals in Ternary SemiringP-Pseudo Symmetric Ideals in Ternary Semiring
P-Pseudo Symmetric Ideals in Ternary Semiring
Β 
Fuzzy logic-introduction
Fuzzy logic-introductionFuzzy logic-introduction
Fuzzy logic-introduction
Β 
Fuzzy Logic Seminar with Implementation
Fuzzy Logic Seminar with ImplementationFuzzy Logic Seminar with Implementation
Fuzzy Logic Seminar with Implementation
Β 
Business mathematics presentation
Business mathematics presentationBusiness mathematics presentation
Business mathematics presentation
Β 

Similar to DIGITAL TEXT BOOK

Chapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdfChapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdfRaRaRamirez
Β 
Cantor Infinity theorems
Cantor Infinity theoremsCantor Infinity theorems
Cantor Infinity theoremsOren Ish-Am
Β 
Module 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfModule 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfGaleJean
Β 
Sequences 01
Sequences 01Sequences 01
Sequences 01kmfob
Β 
MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMarjorie Malveda
Β 
Section 11: Normal Subgroups
Section 11: Normal SubgroupsSection 11: Normal Subgroups
Section 11: Normal SubgroupsKevin Johnson
Β 
Number Theory.pptx
Number Theory.pptxNumber Theory.pptx
Number Theory.pptxFlorenceCaceres
Β 
4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptxBongisipho Hlophe
Β 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and FunctionsKevin Johnson
Β 
On Series of Fuzzy Numbers
On Series of Fuzzy NumbersOn Series of Fuzzy Numbers
On Series of Fuzzy NumbersIOSR Journals
Β 
Lecture 1.pdf
Lecture 1.pdfLecture 1.pdf
Lecture 1.pdftest168734
Β 
The axiomatic power of Kolmogorov complexity
The axiomatic power of Kolmogorov complexity The axiomatic power of Kolmogorov complexity
The axiomatic power of Kolmogorov complexity lbienven
Β 
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...mathsjournal
Β 
Optimal Estimating Sequence for a Hilbert Space Valued Parameter
Optimal Estimating Sequence for a Hilbert Space Valued ParameterOptimal Estimating Sequence for a Hilbert Space Valued Parameter
Optimal Estimating Sequence for a Hilbert Space Valued ParameterIOSR Journals
Β 
P2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptxP2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptxArafathAliMathsTeach
Β 
Math lecture 7 (Arithmetic Sequence)
Math lecture 7 (Arithmetic Sequence)Math lecture 7 (Arithmetic Sequence)
Math lecture 7 (Arithmetic Sequence)Osama Zahid
Β 

Similar to DIGITAL TEXT BOOK (20)

Chapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdfChapter 2 Mathematical Language and Symbols.pdf
Chapter 2 Mathematical Language and Symbols.pdf
Β 
Cantor Infinity theorems
Cantor Infinity theoremsCantor Infinity theorems
Cantor Infinity theorems
Β 
Analysis.pptx
Analysis.pptxAnalysis.pptx
Analysis.pptx
Β 
Module 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdfModule 1 (Part 1)-Sets and Number Systems.pdf
Module 1 (Part 1)-Sets and Number Systems.pdf
Β 
Sequences 01
Sequences 01Sequences 01
Sequences 01
Β 
MATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.pptMATHEMATICAL INDUCTION.ppt
MATHEMATICAL INDUCTION.ppt
Β 
Section 11: Normal Subgroups
Section 11: Normal SubgroupsSection 11: Normal Subgroups
Section 11: Normal Subgroups
Β 
G0733945
G0733945G0733945
G0733945
Β 
Number Theory.pptx
Number Theory.pptxNumber Theory.pptx
Number Theory.pptx
Β 
4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx4AMT122-PART 1-SLIDES.pptx
4AMT122-PART 1-SLIDES.pptx
Β 
MAT-314 Relations and Functions
MAT-314 Relations and FunctionsMAT-314 Relations and Functions
MAT-314 Relations and Functions
Β 
On Series of Fuzzy Numbers
On Series of Fuzzy NumbersOn Series of Fuzzy Numbers
On Series of Fuzzy Numbers
Β 
Lecture 1.pdf
Lecture 1.pdfLecture 1.pdf
Lecture 1.pdf
Β 
The axiomatic power of Kolmogorov complexity
The axiomatic power of Kolmogorov complexity The axiomatic power of Kolmogorov complexity
The axiomatic power of Kolmogorov complexity
Β 
Number theory
Number theoryNumber theory
Number theory
Β 
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
A Probabilistic Algorithm for Computation of Polynomial Greatest Common with ...
Β 
Optimal Estimating Sequence for a Hilbert Space Valued Parameter
Optimal Estimating Sequence for a Hilbert Space Valued ParameterOptimal Estimating Sequence for a Hilbert Space Valued Parameter
Optimal Estimating Sequence for a Hilbert Space Valued Parameter
Β 
P2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptxP2-Chp3-SequencesAndSeries from pure maths 2.pptx
P2-Chp3-SequencesAndSeries from pure maths 2.pptx
Β 
Math lecture 7 (Arithmetic Sequence)
Math lecture 7 (Arithmetic Sequence)Math lecture 7 (Arithmetic Sequence)
Math lecture 7 (Arithmetic Sequence)
Β 
Task4 present
Task4 presentTask4 present
Task4 present
Β 

Recently uploaded

Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Celine George
Β 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTiammrhaywood
Β 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxiammrhaywood
Β 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)eniolaolutunde
Β 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactdawncurless
Β 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxmanuelaromero2013
Β 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdfSoniaTolstoy
Β 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentInMediaRes1
Β 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxheathfieldcps1
Β 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptxVS Mahajan Coaching Centre
Β 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionSafetyChain Software
Β 
Class 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdfClass 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdfakmcokerachita
Β 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting DataJhengPantaleon
Β 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxSayali Powar
Β 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxGaneshChakor2
Β 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Krashi Coaching
Β 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Sapana Sha
Β 
Enzyme, Pharmaceutical Aids, Miscellaneous Last Part of Chapter no 5th.pdf
Enzyme, Pharmaceutical Aids, Miscellaneous Last Part of Chapter no 5th.pdfEnzyme, Pharmaceutical Aids, Miscellaneous Last Part of Chapter no 5th.pdf
Enzyme, Pharmaceutical Aids, Miscellaneous Last Part of Chapter no 5th.pdfSumit Tiwari
Β 
call girls in Kamla Market (DELHI) πŸ” >ΰΌ’9953330565πŸ” genuine Escort Service πŸ”βœ”οΈβœ”οΈ
call girls in Kamla Market (DELHI) πŸ” >ΰΌ’9953330565πŸ” genuine Escort Service πŸ”βœ”οΈβœ”οΈcall girls in Kamla Market (DELHI) πŸ” >ΰΌ’9953330565πŸ” genuine Escort Service πŸ”βœ”οΈβœ”οΈ
call girls in Kamla Market (DELHI) πŸ” >ΰΌ’9953330565πŸ” genuine Escort Service πŸ”βœ”οΈβœ”οΈ9953056974 Low Rate Call Girls In Saket, Delhi NCR
Β 

Recently uploaded (20)

Model Call Girl in Bikash Puri Delhi reach out to us at πŸ”9953056974πŸ”
Model Call Girl in Bikash Puri  Delhi reach out to us at πŸ”9953056974πŸ”Model Call Girl in Bikash Puri  Delhi reach out to us at πŸ”9953056974πŸ”
Model Call Girl in Bikash Puri Delhi reach out to us at πŸ”9953056974πŸ”
Β 
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Incoming and Outgoing Shipments in 1 STEP Using Odoo 17
Β 
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPTECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
ECONOMIC CONTEXT - LONG FORM TV DRAMA - PPT
Β 
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptxSOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
SOCIAL AND HISTORICAL CONTEXT - LFTVD.pptx
Β 
Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)Software Engineering Methodologies (overview)
Software Engineering Methodologies (overview)
Β 
Accessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impactAccessible design: Minimum effort, maximum impact
Accessible design: Minimum effort, maximum impact
Β 
How to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptxHow to Make a Pirate ship Primary Education.pptx
How to Make a Pirate ship Primary Education.pptx
Β 
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdfBASLIQ CURRENT LOOKBOOK  LOOKBOOK(1) (1).pdf
BASLIQ CURRENT LOOKBOOK LOOKBOOK(1) (1).pdf
Β 
Alper Gobel In Media Res Media Component
Alper Gobel In Media Res Media ComponentAlper Gobel In Media Res Media Component
Alper Gobel In Media Res Media Component
Β 
The basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptxThe basics of sentences session 2pptx copy.pptx
The basics of sentences session 2pptx copy.pptx
Β 
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions  for the students and aspirants of Chemistry12th.pptxOrganic Name Reactions  for the students and aspirants of Chemistry12th.pptx
Organic Name Reactions for the students and aspirants of Chemistry12th.pptx
Β 
Mastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory InspectionMastering the Unannounced Regulatory Inspection
Mastering the Unannounced Regulatory Inspection
Β 
Class 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdfClass 11 Legal Studies Ch-1 Concept of State .pdf
Class 11 Legal Studies Ch-1 Concept of State .pdf
Β 
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data_Math 4-Q4 Week 5.pptx Steps in Collecting Data
_Math 4-Q4 Week 5.pptx Steps in Collecting Data
Β 
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptxPOINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
POINT- BIOCHEMISTRY SEM 2 ENZYMES UNIT 5.pptx
Β 
CARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptxCARE OF CHILD IN INCUBATOR..........pptx
CARE OF CHILD IN INCUBATOR..........pptx
Β 
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Kisan Call Centre - To harness potential of ICT in Agriculture by answer farm...
Β 
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Call Girls in Dwarka Mor Delhi Contact Us 9654467111
Β 
Enzyme, Pharmaceutical Aids, Miscellaneous Last Part of Chapter no 5th.pdf
Enzyme, Pharmaceutical Aids, Miscellaneous Last Part of Chapter no 5th.pdfEnzyme, Pharmaceutical Aids, Miscellaneous Last Part of Chapter no 5th.pdf
Enzyme, Pharmaceutical Aids, Miscellaneous Last Part of Chapter no 5th.pdf
Β 
call girls in Kamla Market (DELHI) πŸ” >ΰΌ’9953330565πŸ” genuine Escort Service πŸ”βœ”οΈβœ”οΈ
call girls in Kamla Market (DELHI) πŸ” >ΰΌ’9953330565πŸ” genuine Escort Service πŸ”βœ”οΈβœ”οΈcall girls in Kamla Market (DELHI) πŸ” >ΰΌ’9953330565πŸ” genuine Escort Service πŸ”βœ”οΈβœ”οΈ
call girls in Kamla Market (DELHI) πŸ” >ΰΌ’9953330565πŸ” genuine Escort Service πŸ”βœ”οΈβœ”οΈ
Β 

DIGITAL TEXT BOOK

  • 1. A textbook of NUMBERS BINTU GEORGE JACOB MOUNT TABOR TRAINING COLLEGE PATHANAPURAM. MOC PUBLICATIONS, KOLLAM 2014
  • 2. ii Preface The 1990s saw a wave of calculus reform whose aim was to teach students to think for themselves and to solve substantial problems, rather than merely memorizing formulas and performing rote algebraic manipulations. This book has a similar, albeit somewhat more ambitious, goal: to lead you to think mathematically and to experience the thrill of independent intellectual discovery. Our chosen subject, Number Theory, is particularly well suited for this purpose. The natural numbers 1, 2, 3, ... satisfy a multitude of beautiful patterns and relationships, many of which can be discerned at a glance; others are so subtle that one marvels they were noticed at all. Experimentation requires nothing more than paper and pencil, but many false alleys beckon to those who make conjectures on too scanty evidence. It is only by rigorous demonstration that one is finally convinced that the numerical evidence reflects a universal truth. This book will lead you through the groves wherein lurk some of the brightest flowers of Number Theory, as it simultaneously encourages you to investigate, analyze, conjecture, and ultimately prove your own beautiful number theoretic results. This book was originally written to serve as a text for Math 42, a course created by Jeff Hoffstein at Brown University in the early 1990s. Math 42 was designed to attract nonscience majors, those with little interest in pursuing the standard calculus sequence, and to convince them to study some college mathematics. The intent was to create a course similar to one on, say, β€œThe Music of Mozart” or β€œElizabethan Drama,” wherein an audience is introduced to the overall themes and methodology of an entire discipline through the detailed study of a particular facet of the subject. Math 42 has been extremely successful, attracting both its intended audience and also scientifically oriented undergraduates interested in a change of pace from their large-lecture, cookbook-style courses. The prerequisites for reading this book are few. Some facility with high school algebra is required, and those who know how to program a computer will have fun generating reams of data and implementing assorted algorithms, but in truth the reader needs nothing more than a simple calculator. Concepts from calculus are mentioned in passing, but are not used in an essential way. However, and the reader is hereby forewarned, it is not possible to truly appreciate Number Theory without an eager and questioning mind and a spirit that is not afraid to experiment, to make mistakes and profit from them, to accept frustration and persevere to the ultimate triumph. Readers who are able to cultivate these qualities will find themselves richly rewarded, both in their study of Number Theory and their appreciation of all that life has to offer.
  • 3. CONTENTS CHAPTER 1 : PRELIMINARIES 1 CHAPTER 2 : MULTIPLICATIVE FUNCTIONS 5 CHAPTER 3 : PERFECT NUMBERS 25 BIBLIOGRAPHY 35 iii
  • 4. Chapter 1 PRELIMINARIES In this chapter we give some definitions and theorems which we will use in the subsequent chapters. We start with Peano axioms for Natural numbers. 1 Peano Axioms. ν‘΅ is a set with the following properties. (1) ν‘΅ has a distinguished element which we call β€²1β€². (2) There exists a set map 푃: ν‘΅ β†’ ν‘΅. (3) 푃 is one-to-one (injective). (4) There does not exist an element ν‘› ∈ ν‘΅ such that 푃(ν‘›) = 1. (5) (Principle of Induction) Let 푆 βŠ‚ ν‘΅ such that a) 1 ∈ 푆 and b) if ν‘› ∈ 푆, then 푃(ν‘›) ∈ 푆. Then 푆 = ν‘΅. We call such a set ν‘΅ to be the set of natural numbers and elements of this said to be natural numbers. The principle of mathematical induction is a tool which can be used to prove a wide variety of mathematical statements. The set of integers is denoted by 풁: 풁 = {… , βˆ’3, βˆ’2, βˆ’1, 0, 1, 2, 3, … }.
  • 5. 2 Theorem 1.1 (The Principle of Mathematical Induction) Let 푝(ν‘›) be a statement satisfying the following conditions, where ν‘› ∈ 풁: 1. 푝(ν‘›0 ) is true for some integer ν‘›0. 2. If 푝(ν‘˜) is truefor an arbitrary integer ν‘˜ β‰₯ ν‘›0, then 푝(ν‘˜ + 1) is true. Then 푝(ν‘›) is true for every integer ν‘› β‰₯ ν‘›0 . The following is a strong version of the principle of induction. Theorem 1.2 (The Second Principle of Mathematical Induction) Let 푝(ν‘›) be a statement satisfying the following conditions, where ν‘› ∈ 풁: (1') 푝(ν‘›0 ) is true for some integer ν‘›0. (2') If ν‘˜ is an arbitrary integer greater than or equal to ν‘›0 such that 푝(ν‘›0), 푝(ν‘›0 + 1), …, and 푝(ν‘˜) are true, then 푝(ν‘˜ + 1) is also true. Then 푝(ν‘›) is true for every integer ν‘› β‰₯ ν‘›0. Definition 1.3 (Prime Numbers)
  • 6. Any integer greater than one which has no factors other than one and itself is 3 called a prime number. Prime numbers are the building blocks of integers. Euclid proved the fundamental theorem of arithmetic and presented the Euclid algorithm for finding the greatest common divisor of two numbers. Theorem 1.4 (Unique Factorisation) Any natural number greater than 1, factors into a product of primes. Definition 1.5 (Common Divisor) Let ν‘Ž, 푏 be the integers, let ν‘Ž0, we say that ν‘Ž divides 푏 or ν‘Ž is a divisor of 푏 if 푏 = ν‘Žν‘ž for some integer ν‘ž. When ν‘Ž divides 푏 we write ν‘Ž|푏. Definition 1.6 (Greatest Common Divisor) A number ν‘‘ is the greatest common divisor (gcd) of two non zero numbers ν‘Ž and 푏, if ν‘‘ is the common divisor of ν‘Ž and 푏 and no common divisor of ν‘Ž and 푏 is larger than ν‘‘. gcd of ν‘Ž and 푏 is denoted by (ν‘Ž, 푏). Definition 1.7 Two positive integers ν‘Ž and 푏 are relatively prime if their gcd is . Theorem 1.8 (Euclidean Algorithm)
  • 7. Let ν‘Ž and 푏 are any positive integers, and ν‘Ÿ be the reminder, when ν‘Ž is 4 divided by 푏. Then (ν‘Ž, 푏) = (푏, ν‘Ÿ). Theorem 1.9 (Fundamental Theorem of Arithmetic) Any natural number ν‘› β‰₯ 2 is either a prime or can be expressed as a product of primes. The factorization into primes is unique except for the order of factors . Definition 1.10 (Congruence Modulo ν’Ž) Let ν‘š be a positive integer. Then an integer ν‘Ž is congruent to an integer 푏 modulo ν‘š if ν‘š|(ν‘Ž βˆ’ 푏). We write ν‘Ž ≑ 푏(mod ν‘š) and ν‘š is called the modulus of the congruence relation. Definition 1.11 (Euler’s Phi Function) Let ν‘š be a positive integer. Then Euler’s phi function νœ‘(ν‘š) denotes the number of positive integers ν‘š and relatively prime to ν‘š.
  • 8. Chapter 2 MULTIPLICATIVE FUNCTIONS Euler’s phi function is one of the most important number–theoretic functions (also known as arithmetic functions). Arithmetic functions are defined for all positive integers. Euler’s phi function belongs to a large class of arithmetic 5 functions called multiplicative functions. Definition 2.1 A number-theoretic function ν‘“ is multiplicative if ν‘“(ν‘šν‘›) = ν‘“(ν‘š)ν‘“(ν‘›), whenever ν‘š and ν‘› are relatively prime. Example 2.2 The constant function ν‘“(ν‘›) = 1 is multiplicative, since ν‘“(ν‘šν‘›) = 1 = 1 βˆ™ 1 = ν‘“(ν‘š) βˆ™ ν‘“(ν‘›). The functions ν‘”(ν‘›) = ν‘›ν‘˜ , ν‘˜ being a fixed integer is multiplicative, since ν‘”(ν‘šν‘›) = (ν‘šν‘›)ν‘˜ = ν‘šν‘˜ ν‘›ν‘˜ = ν‘”(ν‘š)ν‘”(ν‘›).  Theorem 2.3 Let ν‘“ be a multiplicative function and ν‘› be a positive integer with canonical ν‘’1 푝2 decomposition ν‘› = 푝1 ν‘’2 … ν‘ν‘˜ ν‘’ν‘˜ . Then
  • 9. ν‘’1 , then ν‘“(ν‘›) = ν‘“(푝1 ν‘’1 )ν‘“(푝2 6 ν‘’1 )ν‘“(푝2 ν‘“(ν‘›) = ν‘“(푝1 ν‘’2 )… ν‘“(ν‘ν‘˜ ν‘’ν‘˜ ). Proof. If ν‘˜ = 1, that is, if ν‘› = 푝1 ν‘’1 ), so the theorem is trivially true. Assume it is true for any integer with canonical decomposition consisting of ν‘˜ distinct primes. That is ν‘“(ν‘›) = ν‘“(푝1 ν‘’2 )… ν‘“(ν‘ν‘˜ ν‘’ν‘˜ ). Let ν‘› be any integer with ν‘˜ + 1 distinct primes in its canonical ν‘’1 푝2 decomposition, say, ν‘› = 푝1 ν‘’2 … ν‘ν‘˜ ν‘’ν‘˜ . ν‘’1 푝2 Since (푝1 ν‘’2 … ν‘ν‘˜ ν‘’ν‘˜ , ν‘ν‘˜+1 ν‘’ν‘˜+1 ) = 1 and ν‘“ is multiplicative, ν‘’1 푝2 ν‘“(푝1 ν‘’2 … ν‘ν‘˜ ν‘’ν‘˜ ν‘ν‘˜+1 ν‘’ν‘˜+1 ) = ν‘“(푝1 ν‘’1 푝2 ν‘’2 … ν‘ν‘˜ ν‘’ν‘˜ )ν‘“(ν‘ν‘˜+1 ν‘’ν‘˜+1 ) ν‘’1 )ν‘“(푝2 = ν‘“(푝1 ν‘’2 ) … ν‘“(ν‘ν‘˜ ν‘’ν‘˜ )ν‘“(ν‘ν‘˜+1 ν‘’ν‘˜+1 ), by induction. Therefore by induction the result is true for any positive integer ν‘›.  Theorem 2.4 Let 푝 be a prime and ν‘’ any positive integer. Then νœ‘(푝푒) = 푝푒 βˆ’ ν‘ν‘’βˆ’1. Proof. νœ‘(푝푒) = number of positive integers less than or equal to 푝푒and relatively prime to it.
  • 10. = (number of positive integers less than or equal to 푝푒)-(number of positive integers less than or equal to 푝푒 and not relatively prime 7 to it) The positive integers less than or equal to 푝푒 and not relatively prime to it are the various multiples of 푝, namely, 푝, 2푝, 3푝, … … … … (ν‘ν‘’βˆ’1 )푝 , and they are ν‘ν‘’βˆ’1 in number. Thus Ο†(pe) = pe-pe-1 .  Lemma 2.5 Let ν‘š and ν‘› be relatively prime positive integers. Then the integers ν‘Ÿ, ν‘š + ν‘Ÿ, 2ν‘š + ν‘Ÿ, … , (ν‘› βˆ’ 1)ν‘š + ν‘Ÿ are congruent modulo ν‘› to 0, 1 , 2, … , (ν‘› βˆ’ 1) in some order. Example 2.6 νœ‘(8) = νœ‘(23 ) = 23 βˆ’ 22 = 8 βˆ’ 4 = 4. Thus there are four positive integers less than or equal to 8 and relatively prime to it; 1, 3, 5 and 7. νœ‘(81) = νœ‘(34) = 34 βˆ’ 33 = 54. νœ‘(15625) = νœ‘(56) = 56 βˆ’ 55 = 12500.  Theorem 2.7 The function Ο† is multiplicative.
  • 11. Proof. Let ν‘š and ν‘› be positive integers such that (ν‘š, ν‘›) = 1. We have to prove that νœ‘(ν‘šν‘›) = νœ‘(ν‘š)νœ‘(ν‘›). Arrange the integers 1 through ν‘šν‘› in ν‘š rows of ν‘› each: 1. ν‘š + 1 2ν‘š + 1 … . (ν‘› βˆ’ 1)ν‘š + 1 2. ν‘š + 2 2ν‘š + 2 … . (ν‘› βˆ’ 1)ν‘š + 2 3. ν‘š + 3 2ν‘š + 3 … . (ν‘› βˆ’ 1)ν‘š + 3 8 . ν‘Ÿ. ν‘š + ν‘Ÿ 2ν‘š + ν‘Ÿ … (ν‘› βˆ’ 1)ν‘š + ν‘Ÿ . . . ν‘š. 2ν‘š 3ν‘š . . . ν‘›ν‘š Let ν‘Ÿ be a positive integer less than or equal to ν‘š such that (ν‘Ÿ, ν‘š) > 1. We will show that no element of the ν‘Ÿth row is relatively prime to ν‘šν‘›.
  • 12. Let ν‘‘ = (ν‘Ÿ, ν‘š). Then ν‘‘|ν‘Ÿ and ν‘‘|ν‘š, so ν‘‘|ν‘˜ν‘š + ν‘Ÿ for any integer ν‘˜; that is, ν‘‘ is a factor of every element in the ν‘Ÿth row. Thus no element in the ν‘Ÿth row is relatively prime to ν‘š, and hence to ν‘šν‘› if (ν‘Ÿ, ν‘š) > 1. That is the elements in the array are relatively prime to ν‘šν‘› from the ν‘Ÿth row only if (ν‘Ÿ, ν‘š) = 1. By definition, there are νœ‘(ν‘š) such integers ν‘Ÿ and hence νœ‘(ν‘š) such rows. 9 Now, in ν‘Ÿth row, where (ν‘Ÿ, ν‘š) = 1: ν‘Ÿ , ν‘š + ν‘Ÿ , 2ν‘š + ν‘Ÿ , … , (ν‘› βˆ’ 1)ν‘š + ν‘Ÿ By Lemma 2.5, their least residues modulo ν‘› are a permutation of 0 ,1 ,2 , … , (ν‘› βˆ’ 1) of which νœ‘(ν‘›) are relatively prime to ν‘›. Therefore exactly νœ‘(ν‘›) elements in ν‘Ÿth row are relatively prime to ν‘› and hence to ν‘šν‘›. Thus there are Ο†(m) rows containing positive integers relatively prime to ν‘šν‘›, and each row contains νœ‘(ν‘›) elements relatively prime to it. So the array contains νœ‘(ν‘š)νœ‘(ν‘›) positive integers less than or equal to ν‘šν‘› and relatively prime to ν‘šν‘›. Therefore νœ‘(ν‘šν‘›) = νœ‘(ν‘š)νœ‘(ν‘›).  Example 2.8 1. νœ‘(221) = νœ‘(13 βˆ™ 17) = νœ‘(13) βˆ™ νœ‘(17) = 12 βˆ™ 16 = 192. 2. νœ‘(625) = νœ‘(53 βˆ™ 72 ) = νœ‘(53 ) βˆ™ νœ‘(72)
  • 13. = (53 βˆ’ 52)(72 βˆ’ 7) = 4200.  ν‘’1 )νœ‘(푝2 ν‘’1 (1 βˆ’ 1 10 Theorem 2.9 ν‘’1 푝2 Let ν‘› = 푝1 ν‘’2 … ν‘ν‘˜ ν‘’ν‘˜ be the canonical decomposition of a positive integer ν‘›. Then νœ‘(ν‘›) = ν‘› (1 βˆ’ 1 푝1 ) (1 βˆ’ 1 푝2 )… (1 βˆ’ 1 ν‘ν‘˜ ). Proof. Since νœ‘ is multiplicative, by theorem 2.1 νœ‘(ν‘›) = νœ‘(푝1 ν‘’2 ) … νœ‘(ν‘ν‘˜ ν‘’ν‘˜ ) = 푝1 푝1 ν‘’2 (1 βˆ’ 1 ) 푝2 푝2 ν‘’ν‘˜ (1 βˆ’ 1 )… ν‘ν‘˜ ν‘ν‘˜ ) ν‘’1 푝2 = 푝1 ν‘’ν‘˜ (1 βˆ’ 1 ν‘’2 … ν‘ν‘˜ 푝1 ) (1 βˆ’ 1 푝2 )… (1 βˆ’ 1 ν‘ν‘˜ ) = ν‘› (1 βˆ’ 1 푝1 ) (1 βˆ’ 1 푝2 ) … (1 βˆ’ 1 ν‘ν‘˜ ).  Example 2.10 1. 666 = 2 βˆ™ 32 βˆ™ 37 Thus νœ‘(666) = 666 (1 βˆ’ 1 2 ) (1 βˆ’ 1 3 ) (1 βˆ’ 1 37 ) = 216. 2. 1976 = 23 βˆ™ 13 βˆ™ 19 Thus νœ‘(1976) = 1976(1 βˆ’ 1 2 ) (1 βˆ’ 1 13 ) (1 βˆ’ 1 ) 19
  • 14. = 864.  11 Theorem 2.11 If ν‘› β‰₯ 3, then νœ‘(ν‘›) is even. Proof. If ν‘› is even obviously νœ‘(ν‘›) is even. If ν‘› is odd then for each prime factor 푝 of ν‘›, the numerator of (1 βˆ’ 1 푝 ) is even. Thus νœ‘(ν‘›) is even for ν‘› β‰₯ 3.  Theorem 2.12 Let ν‘› be a positive integer, then Ξ£ν‘‘|ν‘› νœ‘(ν‘‘) = ν‘›. Here we turn to illustrate its proof. Example 2.13 The positive divisors of 18 are 1, 2, 3, 6, 9 and 18. So Ξ£ν‘‘|18 νœ‘(18) = νœ‘(1)+ νœ‘(2)+ νœ‘(3)+ νœ‘(6)+ νœ‘(9)+ νœ‘(18) = 1 + 1 + 2 + 2 + 6 + 6 = 18.  The Tau and Sigma Functions Definition 2.14 (The Tau Function) Let ν‘› be a positive integer. Then 휏(ν‘›) denotes the number of positive divisors of ν‘›; that is 휏(ν‘›) = Ξ£ν‘‘|ν‘› 1.
  • 15. 12 Example 2.15 ο‚· The positive divisors of 18 are 1, 2, 3, 6, 9 and 18, So 휏(18) = 6. ο‚· 23, being a prime, has exactly two positive divisors, So 휏(23) = 2.  Remark. If ν‘› is prime, then 휏(ν‘›) = 2; if 휏(ν‘›) = 2, then ν‘› is prime. Definition 2.16 (The Sigma Function) Let ν‘› be positive integer. Then 휎(ν‘›) denotes the sum of the positive divisors of ν‘›; that is 휎(ν‘›) = Ξ£ν‘‘|ν‘› ν‘‘. Example 2.17 ο‚· The positive divisors of 12 are 1, 2, 3, 4, 5, 6 and 12; So 휎(12) = 1 + 2 + 3 + 4 + 6 + 12 = 28. ο‚· The positive divisors of 28 are 1, 2, 4, 7, 14 and 28; So 휎(28) = 1 + 2 + 4 + 7 + 14 + 28 = 56. 
  • 16. Let ν‘“ be a multiplicative function. Define a new function 퐹 by 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). The following example shows that the new function 퐹 can be a 13 multiplicative function. Example 2.18 We have (4,7) = 1. Then 퐹(4 βˆ™ 7) = Ξ£ν‘‘|28ν‘“(28) = ν‘“(1) + ν‘“(2) + ν‘“(4) + ν‘“(7) + ν‘“(14) + ν‘“(28) = ν‘“(1 βˆ™ 1) + ν‘“(1 βˆ™ 2) + ν‘“(1 βˆ™ 4) + ν‘“(1 βˆ™ 7) + ν‘“(2 βˆ™ 7) + ν‘“(4 βˆ™ 7) = [ν‘“(1) + ν‘“(2) + ν‘“(4)]ν‘“(1) + [ν‘“(1) + ν‘“(2) + ν‘“(4)]ν‘“(7) = [ν‘“(1) + ν‘“(2) + ν‘“(4)][ν‘“(1) + ν‘“(7)] = Ξ£ν‘“(ν‘‘) ν‘‘|4 βˆ™ Ξ£ν‘“(ν‘‘) ν‘‘|7 = 퐹(4)퐹(7).  Theorem 2.19 If ν‘“ is a multiplicative function, then 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘) is also multiplicative.
  • 17. Proof. Let ν‘š and ν‘› be relatively prime positive integers. We want to show that 14 퐹(ν‘šν‘›) = 퐹(ν‘š)퐹(ν‘›). By definition, 퐹(ν‘šν‘›) = Ξ£ν‘‘|ν‘šν‘› ν‘“(ν‘‘). Since (ν‘š, ν‘›) = 1, every positive divisor of ν‘šν‘›, is the product of a unique pair of positive divisors ν‘‘1 of ν‘š and ν‘‘2 of ν‘›, where, (ν‘š, ν‘›) = 1. Therefore 퐹(ν‘šν‘›) = Ξ£ν‘‘1|ν‘š,ν‘‘2|ν‘š ν‘“(ν‘‘1ν‘‘2). Since ν‘“ is multiplicative, ν‘“(ν‘‘1ν‘‘2) = ν‘“(ν‘‘1 )ν‘“(ν‘‘2 ). Therefore 퐹(ν‘šν‘›) = Ξ£ν‘‘1|ν‘š,ν‘‘2|ν‘šν‘“(ν‘‘1ν‘‘2) = Ξ£ 퐹(ν‘š)ν‘“(ν‘‘2 ) ν‘‘2 |ν‘› = 퐹(ν‘š)Ξ£ ν‘“(ν‘‘2 ) ν‘‘2 |ν‘› = 퐹(ν‘š)퐹(ν‘›). Thus 퐹 is multiplicative.  Corollary 2.20 The Tau and Sigma functions are multiplicative. Proof. By theorem 2.6, the functions Ξ£ν‘‘|ν‘› ν‘“(ν‘‘) = Ξ£ν‘‘|ν‘› 1 = 휏(ν‘›) and Ξ£ν‘‘|ν‘› ν‘”(ν‘‘) = Ξ£ν‘‘|ν‘› ν‘‘ = 휎(ν‘›) are multiplicative.
  • 18. (Since we have constant function ν‘“(ν‘›) = 1 and the identity function ν‘”(ν‘›) = 15 ν‘› are multiplicative.) That is, if ν‘“(ν‘š, ν‘›) = 1, then 휏(ν‘šν‘›) = 휏(ν‘š)휏(ν‘›) and 휎(ν‘šν‘›) = 휎(ν‘š)휎(ν‘›). Example 2.21 36 = (4)(9). Also (4, 9) = 1. Thus 휏(36) = 휏(4)휏(9) = 3 βˆ™ 3 = 9. And 휎(36) = 휎(4)휎(9) = (1 + 2 + 4)(1 + 3 + 9) = 91.  Theorem 2.22 Let 푝 be any prime and ν‘’ any positive integer. Then 휏(푝푒) = ν‘’ + 1 and 휎(푝푒) = 푝푒+1 βˆ’1 ν‘βˆ’1 . Proof. The positive factors of 푝푒 are of the form 푝푖 , where 0 ≀ ν‘– ≀ ν‘’. There are ν‘’ + 1 such factors. So 휏(푝푒) = ν‘’ + 1. ν‘’ 휎(푝푒) = Σ푝푖 = 0 푝푒+1 βˆ’ 1 푝 βˆ’ 1 . The following theorem gives two formulas. They are a consequence of Corollary 2.20 and Theorem 2.2.  Theorem 2.23
  • 19. Let ν‘› be a positive integer with canonical decomposition ν‘› = 푝1 16 ν‘’1 푝2 ν‘’2 … ν‘ν‘˜ ν‘’ν‘˜. ν‘’1 βˆ’1 푝1 βˆ’1 Then 휏(ν‘›) = (ν‘’1 + 1)(ν‘’2 + 2) … (ν‘’ν‘˜ + ν‘˜) and 휎(ν‘›) = 푝1 ν‘’2 βˆ’1 푝2 βˆ’1 βˆ™ 푝2 βˆ™ … βˆ™ ν‘’ν‘˜ βˆ’1 ν‘ν‘˜βˆ’1 푝 ν‘˜ . Proof. Since 휏 is multiplicative, ν‘’1 ) βˆ™ 휏(푝2 휏(ν‘›) = 휏(푝1 ν‘’2 ) … 휏(ν‘ν‘˜ ν‘’ν‘˜ ) = (ν‘’1 + 1)(ν‘’2 + 1) … (ν‘’ν‘˜ + 1). Since 휎 is multiplicative, ν‘’1 ) βˆ™ 휎(푝2 휎(ν‘›) = 휎(푝1 ν‘’ν‘˜ ) = 푝1 ν‘’2 )… 휎(ν‘ν‘˜ ν‘’1 βˆ’1 푝1 βˆ’1 ν‘’2 βˆ’1 푝2 βˆ’1 βˆ™ 푝2 βˆ™ … βˆ™ ν‘’ν‘˜ βˆ’1 ν‘ν‘˜βˆ’1 푝 ν‘˜ .  Example 2.24 The canonical decomposition of 6120 = 23 βˆ™ 32 βˆ™ 5 βˆ™ 17 Therefore 휏(6120) = (3 + 1)(2 + 1)(1 + 1)(1 + 1) = 48 and 휎(6120) = 23+1βˆ’1 2βˆ’1 βˆ™ 32+1βˆ’1 3 βˆ’1 βˆ™ 51+1βˆ’1 5βˆ’1 βˆ™ 171+1βˆ’1 17βˆ’1 = 15 βˆ™ 14 βˆ™ 6 βˆ™ 18 = 22680.  The MΣ§bius Function The MΣ§bius function νœ‡ is an important number-theoretic function which was discovered by the German mathematician August Ferdinand MΣ§bius. It plays an important role in the study of the distribution of primes. Definition 2.25 (The MΣ§bius function 흁)
  • 20. 1 if ν‘› = 1 0 if 푝2 |ν‘› for some prime 푝 (βˆ’1)ν‘˜ if ν‘› = 푝1 푝2 … ν‘ν‘˜ 17 Let ν‘› be a positive integer. Then νœ‡(ν‘›) = { For example νœ‡(2) = βˆ’1, νœ‡(3) = βˆ’1, νœ‡(4) = 0, νœ‡(12) = 0, νœ‡(35) = νœ‡(5.7) = (βˆ’1)2 and νœ‡(672) = νœ‡(25 βˆ™ 3 βˆ™ 7) = 0. Thus νœ‡ assigns βˆ’1,0 or to each positive integer; νœ‡(ν‘›) = 0 if the canonical decomposition of ν‘› contains a perfect square, that is, if ν‘› is not square-free; it is (βˆ’1)ν‘˜ if it consists of ν‘˜ distinct prime factors. Theorem 2.26 The function νœ‡ is multiplicative. Proof. Let ν‘š and ν‘› be relatively prime positive integers. If ν‘š = 1 or ν‘› = 1, then clearly νœ‡(ν‘šν‘›) = νœ‡(ν‘š)νœ‡(ν‘›). Suppose ν‘š or ν‘› is divisible by 푝2 for some prime 푝. Then νœ‡(ν‘š)νœ‡(ν‘›) = 0. If 푝2 |ν‘š or 푝2 |ν‘›, then 푝2 |ν‘šν‘›, so νœ‡(ν‘šν‘›) = 0. Thus νœ‡(ν‘šν‘›) = νœ‡(ν‘š)νœ‡(ν‘›). Finally, suppose both ν‘š and ν‘› are square-free, let ν‘š = 푝1푝2 … ν‘ν‘Ÿ and ν‘› = ν‘ž1 ν‘ž2 … ν‘žν‘ , where the 푝푖 ’s and ν‘žν‘—β€™s are distinct primes, since (ν‘š, ν‘›) = 1. νœ‡(ν‘š) = (βˆ’1)ν‘Ÿ and νœ‡(ν‘›) = (βˆ’1)5. Then ν‘šν‘› = 푝1 푝2 … ν‘ν‘Ÿν‘ž1ν‘ž2 … ν‘žν‘ , a product of distinct primes.
  • 21. Therefore νœ‡(ν‘šν‘›) = (βˆ’1)ν‘Ÿ+ν‘  = (βˆ’1)ν‘Ÿ βˆ™ (βˆ’1)ν‘  = νœ‡(ν‘š)νœ‡(ν‘›). Thus, in every case, νœ‡(ν‘šν‘›) = νœ‡(ν‘š)νœ‡(ν‘›), so νœ‡ is multiplicative.  18 Example 2.27 Let us determine νœ‡(420). Since νœ‡ is multiplicative, νœ‡(420) = νœ‡(15)νœ‡(28) Now 15 = 3 βˆ™ 5. So by definition, νœ‡(15) = 1. 28 = 22 βˆ™ 7. So by definition, νœ‡(28) = 0. 420 = 22 βˆ™ 3 βˆ™ 5 βˆ™ 7. Since 420 is not square–free, νœ‡(420) = 0. Thus νœ‡(420) = 0 = 1 βˆ™ 0 = νœ‡(15)νœ‡(28).  Next we develop a formula for Ξ£ν‘‘|ν‘› νœ‡(ν‘‘). When n = 1, Ξ£ν‘‘|1 νœ‡(ν‘‘) = νœ‡(1) = 1. If ν‘› > 1, we can compute the sum using the canonical decomposition of ν‘› and Theorem 8.7 provided we know the sum when ν‘› is a prime-power 푝푒. For this we need to introduce a new function, as the following lemma shows. Lemma 2.28 Let 퐹(ν‘›) = Ξ£ν‘‘|ν‘› νœ‡(ν‘‘). Then 퐹(푝푒) = 0, where ν‘’ > 1. Proof. 퐹(푝푒) = Ξ£ν‘‘|푝푒 νœ‡(ν‘‘) = Ξ£ νœ‡(푝푖) ν‘›ν‘– =0
  • 22. = νœ‡(1) + νœ‡(푝) + νœ‡(푝2 ) + β‹― + νœ‡(푝푒) = 1 + (βˆ’1) = 0 + β‹― + 0 = 0.  (ν‘‘|6) . 19 Theorem 2.29 1 if ν‘› = 1 0 othewise Let ν‘› be a positive integer. Then Ξ£ν‘‘|ν‘› νœ‡(ν‘‘) = { . ν‘’1 푝2 Proof. If ν‘› = 1, Ξ£ν‘‘|1 νœ‡(ν‘‘) = νœ‡(1) = 1. So let ν‘› > 1 and let ν‘› = 푝1 ν‘’2 … ν‘ν‘˜ ν‘’ν‘˜ be the canonical decomposition of ν‘›. Let, 퐹(ν‘›) = Ξ£ν‘‘|ν‘› νœ‡(ν‘‘). Since νœ‡ is multiplicative, 퐹 is also multiplicative, by Theorem 8.7. Therefore 퐹(ν‘›) = Ξ  퐹(푝푒푖) ν‘˜ν‘– =1 퐹(ν‘›) = Ξ  0 ν‘˜ν‘– =1 = 0.  Example 2.30 Ξ£ νœ‡(ν‘‘) = νœ‡(1) + νœ‡(2) + νœ‡(3) + νœ‡(6) + νœ‡(9) + νœ‡(18) ν‘‘|18 = 1 + (βˆ’1) + (βˆ’1) + (βˆ’1)2 + 0 + 0 = 0. Problem. Let ν‘“ be a number-theoretic function. Show that Ξ£ Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€² ) = Ξ£ Ξ£ ν‘“(ν‘‘β€²)νœ‡(ν‘‘) (ν‘‘|(6 ν‘‘ )) (ν‘‘β€² |6) (ν‘‘β€²|(6 ν‘‘ ))
  • 23. (ν‘‘β€² |6) .  20 Solution. Ξ£ Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€²) (ν‘‘β€²|(6 ν‘‘ )) ν‘‘|6 = Ξ£ νœ‡(1)ν‘“(ν‘‘β€² ) ν‘‘β€² |6 + Ξ£ νœ‡(2)ν‘“(ν‘‘β€²) ν‘‘β€² |3 + Ξ£ νœ‡(3)ν‘“(ν‘‘β€² ) ν‘‘β€² |2 +Ξ£ νœ‡(6)ν‘“(ν‘‘β€²) ν‘‘β€² |1 = νœ‡(1)Ξ£ ν‘“(ν‘‘β€²) ν‘‘β€² |6 + νœ‡(2)Ξ£ ν‘“(ν‘‘β€² ) + νœ‡(3)Ξ£ ν‘“(ν‘‘β€² ) + νœ‡(6)Ξ£ ν‘“(ν‘‘β€²) ν‘‘β€² |3 ν‘‘β€² |2 ν‘‘β€² |1 = νœ‡(1)[ν‘“(1) + ν‘“(2) + ν‘“(3) + ν‘“(6)] + νœ‡(2)[ν‘“(1) + ν‘“(3)] + νœ‡(3)[ν‘“(1) + ν‘“(2)] + νœ‡(6)ν‘“(1) = ν‘“(1)[νœ‡(1) + νœ‡(2) + νœ‡(3) + νœ‡(6)] + ν‘“(2)[νœ‡(1) + νœ‡(3)] + ν‘“(3)[νœ‡(1) + νœ‡(2)] + ν‘“(6)νœ‡(1) = ν‘“(1) Ξ£ νœ‡(ν‘‘) ν‘‘|6 + ν‘“(2) Ξ£ νœ‡(ν‘‘) ν‘‘ |3 + ν‘“(3) Ξ£ νœ‡(ν‘‘) ν‘‘|2 + ν‘“(6)Ξ£ν‘‘|1 νœ‡(ν‘‘) = Ξ£ν‘‘β€² |6 ν‘“(ν‘‘β€²)Ξ£ νœ‡(ν‘‘) ν‘‘ |( 6 ν‘‘β€²) = Ξ£ Ξ£ ν‘“(ν‘‘β€²)νœ‡(ν‘‘) (ν‘‘|(6 ν‘‘ )) Theorem 2.31 (MΣ§bius Inversion Formula) Let ν‘“ be a number-theoretic function and let 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). Then ν‘“(ν‘›) = Ξ£ νœ‡(ν‘‘)퐹 (ν‘› ν‘‘|ν‘› ). ν‘‘ Proof. 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). Then 퐹 (ν‘› ν‘‘ ) = Ξ£ ν‘“(ν‘‘β€²) ν‘‘β€² |(ν‘› ν‘‘ ) .
  • 24. ν‘‘|ν‘› ν‘‘|ν‘› ) . ν‘‘β€²ν‘‘|ν‘› ν‘‘β€² |ν‘› ) ν‘‘β€²) ν‘‘|ν‘› ] ν‘‘β€²) equals if ν‘‘|ν‘› ) = ν‘“(ν‘‘β€²) βˆ™ 1, where ν‘‘β€² = ν‘›. ν‘‘|ν‘› ) can also be written asν‘“(ν‘›) = 21 So νœ‡(ν‘‘)퐹 (ν‘› ν‘‘ ) = νœ‡(ν‘‘) Ξ£ ν‘“(ν‘‘β€² ) ν‘‘β€² |(ν‘› ν‘‘ ) = Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€² ) ν‘‘β€² |(ν‘› ν‘‘ ) Therefore Ξ£ νœ‡(ν‘‘)퐹 (ν‘› ν‘‘ ) = Ξ£ Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€² ) ν‘‘β€² |(ν‘› ν‘‘ As ν‘‘ runs over the positive divisors of ν‘›, so does ν‘‘β€²; also ν‘‘ν‘‘β€² runs over the positive factors of ν‘›; that is, the sum of all its values of νœ‡(ν‘‘)ν‘“(ν‘‘β€²) as ν‘‘ν‘‘β€² runs over the positive factors of ν‘›; that is, the sum of all its values for all pairs ν‘‘ and ν‘‘β€² such that ν‘‘β€² ν‘› and ν‘‘| ( ν‘› ν‘‘β€² ). That is, Ξ£ Ξ£ νœ‡(ν‘‘) ν‘‘β€² |(ν‘› ν‘‘ ) ν‘“(ν‘‘β€² ) = Ξ£ Ξ£ νœ‡(ν‘‘)ν‘“(ν‘‘β€² ) ν‘‘|( ν‘› Thus Ξ£ νœ‡(ν‘‘)퐹 (ν‘› ν‘‘ ) = Ξ£ν‘‘β€² |ν‘› ν‘“(ν‘‘β€²) [Ξ£ νœ‡(ν‘‘) ν‘‘|( ν‘› But by Theorem 8.17, Ξ£ νœ‡(ν‘‘) ν‘‘|( ν‘› ν‘› ν‘‘β€² = 1; that is, if ν‘› = ν‘‘β€², and otherwise. Thus Ξ£ νœ‡(ν‘‘)퐹 (ν‘› ν‘‘ In other words, ν‘“(ν‘›) = Ξ£ νœ‡(ν‘‘)퐹 ( ν‘› ν‘‘β€² ν‘‘|ν‘› ).  Remark. As ν‘‘ runs over the positive factors of ν‘›, so does ν‘› ν‘‘ . Therefore, the inversion formula ν‘“(ν‘›) = Ξ£ νœ‡(ν‘‘)퐹 (ν‘› ν‘‘ Ξ£ νœ‡ (ν‘› ) 퐹(ν‘‘) ν‘‘|ν‘› . ν‘‘
  • 25. Notice that the definition ν‘“(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘) expresses 퐹 in terms of ν‘“, whereas the inversion formula ν‘“(ν‘›) = Ξ£ νœ‡(ν‘‘)퐹 (ν‘› ν‘‘|ν‘› ) expresses ν‘“ in terms of 퐹. 22 ν‘‘ To illustrate the inversion formula, recall that 휏(ν‘›) = Ξ£ν‘‘|ν‘› 1 and 휎(ν‘›) = Ξ£ν‘‘|ν‘› ν‘‘ because both the constant function ν‘“(ν‘›) = 1 and the identity function ν‘”(ν‘›) = ν‘› are multiplicative, it follows by Theorem 2.32 that ν‘› ν‘‘ 1 = Ξ£νœ‡(ν‘‘)휏 ( ν‘› ν‘‘ ) = Ξ£νœ‡ ( ) 휏(ν‘‘) ν‘‘|ν‘› ν‘‘|ν‘› and ν‘› ν‘‘ ν‘› = Ξ£νœ‡(ν‘‘)휎 ( ν‘› ν‘‘ ) = Ξ£νœ‡ ( ) 휎(ν‘‘) ν‘‘|ν‘› ν‘‘|ν‘› We can illustrate these results by the following example. Example 2.32 6 ν‘‘ Ξ£νœ‡(ν‘‘)휏 ( ) = νœ‡(1)휏(6) + νœ‡(2)휏(3) + νœ‡(3)휏(2) + νœ‡(6)휏(1) ν‘‘|6 = 1 βˆ™ 4 + (βˆ’1) βˆ™ 2 + (βˆ’1) βˆ™ 2 + (βˆ’1)2 βˆ™ 1 = 1 6 ν‘‘ Ξ£νœ‡(ν‘‘)휎 ( ) = νœ‡(1)휎(6) + νœ‡(3)휎(2) + νœ‡(6)휎(1) ν‘‘|6
  • 26. = 1 βˆ™ 12 + (βˆ’1) βˆ™ 4 + (βˆ’1) βˆ™ 3 + (βˆ’1)2 βˆ™ 1 = 6.  ν‘‘|ν‘› ) =Ξ£ νœ‡(ν‘‘) ν‘‘|ν‘› ν‘‘ .  23 Theorem 2.33 νœ‘(ν‘›) = ν‘› Ξ£ νœ‡(ν‘‘) ν‘‘|ν‘› ν‘‘ . Proof. By Theorem 2.12, ν‘› = Ξ£ν‘‘|ν‘› νœ‘(ν‘‘). Let ν‘” denote the identity function given by ν‘”(ν‘›) = ν‘› for all ν‘›. Therefore ν‘”(ν‘›) = ν‘› = Ξ£ν‘‘|ν‘› νœ‘(ν‘‘). Then by MΣ§bius inversion formula, νœ‘(ν‘›) = Ξ£ νœ‡(ν‘‘)ν‘” (ν‘› ν‘‘ Problem. Verify the formula in Theorem 2.35 for n=12. Solution. By Theorem 2.9, νœ‘(12) = νœ‘(22 βˆ™ 3) = 4. Now, 12 Ξ£ νœ‡(ν‘‘) ν‘‘ 12 ν‘‘ = Ξ£ ( ) νœ‡(ν‘‘) ν‘‘|12 ν‘‘|12 = 12νœ‡(1) + 6νœ‡(2) + 4νœ‡(3) + 3νœ‡(4) + 2νœ‡(6) + 1νœ‡(12)
  • 27. = 12 βˆ™ 1 + 6 βˆ™ (βˆ’1) + 4 βˆ™ (βˆ’1) + 3 βˆ™ 0 + 2 βˆ™ (βˆ’1)2 + 1 βˆ™ 0 ν‘‘|ν‘› ). Then 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). ) ν‘˜|ν‘› ]. 24 = 4 = νœ‘(12). Theorem 2.34 Let 퐹 and ν‘“ be number-theoretic functions such that ν‘“(ν‘›) = Ξ£ νœ‡(ν‘‘)퐹 (ν‘› ν‘‘ Proof. By the definition of ν‘“, ν‘“(ν‘‘) = Ξ£ νœ‡(ν‘‘β€² )퐹 ( ν‘‘ ν‘‘β€² ν‘‘β€² |ν‘‘ ). Therefore Ξ£ ν‘“(ν‘‘) = Ξ£ Ξ£ νœ‡(ν‘‘β€² )퐹 ( ν‘‘ ν‘‘β€² ν‘‘|ν‘› ν‘‘|ν‘› ν‘‘β€² |ν‘‘ ). Let ν‘‘ ν‘‘β€² = ν‘˜ and ν‘› ν‘‘ = ν‘™,then ν‘‘ = ν‘˜ν‘‘β€² and ν‘› = ν‘™ν‘‘ = ν‘˜ν‘™ν‘‘β€².So this equation yields Ξ£ν‘‘|ν‘› ν‘“(ν‘‘) = Ξ£ν‘‘|ν‘› Ξ£ν‘˜ν‘‘β€²=ν‘‘ νœ‡(ν‘‘β€²)퐹(ν‘˜) = Ξ£ν‘˜ν‘‘β€² |ν‘› νœ‡(ν‘‘β€²)퐹(ν‘˜) = Ξ£ 퐹(ν‘˜) [Ξ£ νœ‡(ν‘‘β€²) ν‘‘β€² |(ν‘› ν‘˜ By Theorem 8.17, Ξ£ νœ‡(ν‘‘β€² ) ν‘‘β€² |(ν‘› ν‘˜ ) equals if ν‘› = ν‘˜ and otherwise. So the equation becomes Ξ£ ν‘“(ν‘‘) = 퐹(ν‘˜) βˆ™ (1) (ν‘‘|ν‘›) , where ν‘› = ν‘˜. That is, 퐹(ν‘›) = Ξ£ν‘‘|ν‘› ν‘“(ν‘‘). 
  • 28. Chapter 3 PERFECT NUMBERS We can use the sigma function to study a marvelous class of numbers called perfect numbers. The term perfect numbers was coined by the Pythagoreans. The ancient Greeks thought these numbers had mystical power and held them to be β€œgood” numbers. They were also studied by the early Hebrews; Rabbi Josef ben Jehuda in the 12th century recommended their study in his book, β€œHealing of 25 souls”. Historically, some biblical scholars considered 6 a perfect number, because they believed god created the world in six days and god’s work is perfect. St. Augustine, on the other hand, believed God’s work to be perfect because 6 is a perfect number. He writes, β€œSix is a number perfect in itself, and not because God created all things in six days; rather the inverse is true; God created all things in six days because this number is perfect. And it would remain perfect even if the work of the six days did not exist.”
  • 29. The Pythagoreans regarded 6 as the symbol of β€œmarriage and health and beauty on account of the integrity of its parts and the agreement existing in it.” What is mystical about ? The Pythagoreans observed that 6 equals the sum of its proper divisors: 6 = 1 + 2 + 3. The next two perfect numbers are 28 and 496: 26 28 = 1 + 2 + 4 + 7 + 14 496 = 1 + 2 + 4 + 8 + 16 + 31 + 62 + 124 + 248 Their discovery is sometimes attributed to the Greek mathematician Nichomachus (ca. A.D. 100). We can now formalise the definition of a perfect number. Definition 3.1 (Perfect number) A positive integer ν‘› is a perfect number if the sum of its proper divisiors equals ν‘›. Thus ν‘› is perfect if 휎(ν‘›) βˆ’ ν‘› = ν‘›, that is, if 휎(ν‘›) = 2ν‘›. The first eight perfect numbers are: 6 = 2(22 βˆ’ 1) 28 = 22 (23 βˆ’ 1) 496 = 24 (25 βˆ’ 1) 8,128 = 26 (27 βˆ’ 1) 33,550,336 = 212(213 βˆ’ 1)
  • 30. 8,589,869,056 = 216 (217 βˆ’ 1) 137,438,691,328 = 218(219 βˆ’ 1) 2,305,843,008,139,952,128 = 230 (231 βˆ’ 1). Of which only the first four were known to the ancient Greeks; they are listed in Nichomachus’s Introductio Arithmeticae. The next perfect numbers was discovered by the Greek mathematician Hudalrichus Regius around 1536. The Italian mathematician Pietro Antonic Cataldi (1548-1626) discovered the next two in 1588. Euler discovered the eighth perfect numbers in 1750. Interestingly, a medieval German nun, Hrotsvit, a Benedictine in the Abbey of Gandersheim in Saxony and the first woman German poet, listed the first four perfect numbers in her 10th century play, Sapientia. Mathematicians of the middle ages, basing their assumptions on the first four perfect numbers, conjectured that: ο‚· There is a perfect numbers between any two consecutive of 10; that is there is a perfect numbers of n digits for every positive integer n; and ο‚· Perfect numbers end alternatively in 6 and 8. Unfortunately, both conjectures are false. There are no perfect numbers that are five digits long. Even perfect numbers do end in 6 or 8, but not alternately; for instance, the fifth and sixth even perfect number end in 6 or 8, but not alternately 27
  • 31. for instance, the fifth and sixth even perfect numbers end in 6; the next four end in 28 8. Unfortunately, both conjectures are false. There are no perfect numbers that are five digits long. Even perfect numbers do end in 6 or 8, but not alternatively; for instance, the fifth and sixth even perfect numbers end in 6; the next four end in 8. Unfortunately, both conjectures are false. There are no perfect numbers do end in 6 or 8, but not alternately; for instance, the fifth and sixth even perfect numbers end in 6; the next four end in 8. Notice that every perfect number in the preceding list is even and is of the form 2ν‘βˆ’1 (2푝 βˆ’ 1), where 푝 and 2ν‘βˆ’1 are primes. We should be doubly impressed that Euclid proved that every such number is a perfect number, as the following theorem confirms. Theorem 3.2 (Euclid) If ν‘› is an intiger greater than or equal to such that 2ν‘› βˆ’ 1 is a prime, then 푁 = 2ν‘›βˆ’1 (2ν‘› βˆ’ 1) is a perfect number. Proof. Since 2ν‘› βˆ’ 1 is a prime 휎(2ν‘› βˆ’ 1) = 1 + (2ν‘› βˆ’ 1) = 2ν‘› . Because 휎 is multiplicative, 휎(푁) = 휎(2ν‘›βˆ’1 )휎(2ν‘› βˆ’ 1) = (2ν‘› βˆ’ 1)(2ν‘›) = 2ν‘›(2ν‘› βˆ’ 1) = 2푁.
  • 32. Thus 푁 is a perfect number.  About 2000 years after Euclid’s discovery, Euler proved that the converse of this theorem is also true; that is, every even perfect number is of the form 2ν‘› βˆ’ 1 is a prime. Theorem 3.2 and 3.3 categorically characterize even perfect numbers. 29 Theorem 3.3 (Euler) Every even perfect numbers 푁 is of the form 푁 = 2ν‘›βˆ’1 (2ν‘› βˆ’ 1), where 2ν‘› βˆ’ 1 is a prime. Proof. Let 푁 be of the form 2ν‘’ν‘ , where ν‘  is odd and ν‘’ β‰₯ 1. Since 푁 is perfect, 휎(푁) = 2푁 = 2ν‘’+1 ν‘ . Clearly, (2ν‘’, ν‘ ) = 1. So 휎(푁) = 휎(2ν‘’ν‘ ) = 휎(2ν‘’)휎(ν‘ ). That is 2ν‘’+1 ν‘  = (2ν‘’+1 βˆ’ 1)휎(ν‘ ). (1) Since (2ν‘’+1 , 2ν‘’+1 βˆ’ 1) = 1, it follows by corollary……. that 2ν‘’+1 |휎(ν‘ ). Therefore 휎(ν‘ ) = 2ν‘’+1 ν‘‘ for some positive integer ν‘‘. Substituting for 휎(ν‘ ) in equation (1), 2ν‘’+1 ν‘  = (2ν‘’+1 βˆ’ 1)2ν‘’+1 ν‘‘. (2) Therefore ν‘  = (2ν‘’+1 βˆ’ 1)ν‘‘. (3) This implies ν‘‘|ν‘  and ν‘‘ < ν‘ , since ν‘‘ = ν‘  implies ν‘’ = 0, a contradiction.
  • 33. We will now show that ν‘‘ = 1. For that equation (2) can be rewritten as ν‘  + 30 ν‘‘ = 2ν‘’+1 ν‘‘. That is, ν‘  + ν‘‘ = 휎(ν‘ ). (4) This shows that ν‘‘ is the sum of the proper divisors of ν‘ ; but, by equation (3), ν‘‘ itself is a proper divisor of ν‘ . So, for the relationship (4) to hold, ν‘‘ must be . Thus ν‘  + 1 = 휎(ν‘ ), so ν‘  has exactly two positive factors and ν‘ . Consequently, ν‘  = 2ν‘’+1 βˆ’ 1 must be a prime. Thus 푁 = 2ν‘’(2ν‘’+1 βˆ’ 1), where 2ν‘’+1 βˆ’ 1 is a prime.  Problem. Let us find all perfect numbers of the form ν‘›ν‘› + 1. Solution. Take 푁 = ν‘›ν‘› + 1 Case 1 Let ν‘› be odd. Then 푁 is an even perfect number, so 푁 must be of the form 푁 = 2ν‘šβˆ’1 (2ν‘š βˆ’ 1), where 2ν‘š βˆ’ 1 is a prime. Clearly 푁 can be factored as 푁 = ν‘›ν‘› + 1 = (ν‘› + 1)ν‘Ÿ, where ν‘Ÿ = ν‘›ν‘›βˆ’1 βˆ’ ν‘›ν‘›βˆ’2 + β‹― βˆ’ ν‘› + 1. We claim that (ν‘› + 1, ν‘Ÿ) = 1. To show this, notice that since ν‘› is odd, ν‘Ÿ is odd and ν‘› + 1 is even. Let ν‘› + 1 = 2ν‘ , where ν‘‘ is an odd integer greater than or equal to .Then 푁 = 2ν‘  ν‘‘ν‘Ÿ, where both ν‘‘ and ν‘Ÿ are odd. Since 푁 is an even perfect number this is possible only if ν‘‘ =
  • 34. 1; so ν‘› + 1 = 2ν‘  and hence (ν‘› + 1, ν‘Ÿ) = 1. If ν‘Ÿ = 1, then 푁 = ν‘›ν‘› + 1; so ν‘› = 1. Then 푁 = 2, which is not a perfect number. Since 푁 = 2ν‘šβˆ’1 (2ν‘š βˆ’ 1) = (ν‘› + 1)ν‘Ÿ = 2ν‘ ν‘Ÿ, where 2ν‘š βˆ’ 1 is an odd prime and ν‘Ÿ is odd, 2ν‘  = 2ν‘šβˆ’1 = ν‘› + 1 and ν‘Ÿ = 2ν‘š βˆ’ 1 = 2(ν‘› + 1) βˆ’ 1 = 2ν‘› + 31 1. Therefore 푁 = ν‘›ν‘› + 1 = (ν‘› + 1)(2ν‘› + 1) = 2ν‘›2 + 3ν‘› + 1. This gives ν‘›ν‘› = 2ν‘›2 + 3ν‘›. Thus ν‘›ν‘›βˆ’1 = 2ν‘› + 3. Since ν‘› is an integer, this equation has a unique solution . (See the graph in figure…..) Then 푁 = 33 + 1 = 28. Thus 28 is the only even perfect number of the desired form.
  • 35. Case 2 Let ν‘› be even, say, ν‘› = 2ν‘˜. Then 푁 is odd, ν‘›ν‘› is a square, and ν‘›ν‘› ≑ βˆ’1(mod 푁). We claim that 3 <∀ 푁. Suppose on the contrary that 3|푁. Then ν‘›ν‘› ≑ 32 βˆ’1(mod 푁); that is, (2ν‘˜)2ν‘˜ ≑ βˆ’1(mod 3) 4ν‘˜ βˆ™ ν‘˜2ν‘˜ ≑ 2(mod 3) 1 βˆ™ ν‘˜2ν‘˜ ≑ 2(mod 3) ν‘˜2ν‘˜ ≑ 2(mod 3) Cleraly, ν‘˜ β‰’ 0 or modulo . If ν‘˜ ≑ 2(mod 3), then the above congruence gives 2ν‘˜ ≑ 2(mod 3)
  • 36. 4ν‘˜ ≑ 2(mod 3) 1 ≑ 2(mod 3), a contradiction So ν‘˜ cannot be congruent to 0,1 or , which is absurd. Thus 3 ∀ 푁. By Touchard’s theorem, 푁 = 12ν‘š + 1 or 36ν‘š + 9 for some integer ν‘š. If 푁 = 36ν‘š + 9, then 3|푁, a contradiction. So 푁 = 12ν‘š + 1; that is, ν‘›ν‘› = 12ν‘š. Since 3|12ν‘š, 3|ν‘›ν‘›, so 3|ν‘›. Thus 2|ν‘› and 3|ν‘›, so 6|ν‘›. 33 Let 푁 = ν‘Ž6 + 1,where ν‘Ž = ν‘› ν‘› 6 > 1. Then 푁 can be factored as 푁 = (ν‘Ž2 + 1)(ν‘Ž4 βˆ’ ν‘Ž2 + 1). (5) We will now see that these factors of 푁 are relatively prime. To this end, let 푝 be a common prime factor of the two factors ν‘Ž2 + 1 and ν‘Ž4 βˆ’ ν‘Ž2 + 1. Since ν‘Ž4 βˆ’ ν‘Ž2 + 1 = (ν‘Ž4 + 2ν‘Ž2 + 1) βˆ’ 3ν‘Ž2 = (ν‘Ž2 + 1)2 βˆ’ 3ν‘Ž2 = (ν‘Ž2 + 1)2 βˆ’ 3(ν‘Ž2 + 1) + 3, 푝|3. That is, 푝 = 3. This implies 3|푁, a contradiction; so the factors ν‘Ž2 + 1 and ν‘Ž4 βˆ’ ν‘Ž2 + 1 are relatively prime. Besides, since 푁 is odd, both factors are also odd. Since 푁 is perfect and 휎 is multiplicative, equation (5) yields 휎(푁) = 휎(ν‘Ž2 + 1) βˆ™ 휎(ν‘Ž4 βˆ’ ν‘Ž2 + 1). That is, 2푁 = 휎(ν‘Ž2 + 1) βˆ™ 휎(ν‘Ž4 βˆ’ ν‘Ž2 + 1).
  • 37. Since 푁 is odd, one of the factors on the right-hand side must be odd. But, if ν‘š and 휎(ν‘š) are both odd, then ν‘š is a square. This implies that either ν‘Ž2 + 1 or ν‘Ž4 βˆ’ ν‘Ž2 + 1 is a square. But ν‘Ž2 < ν‘Ž2 + 1 < (ν‘Ž + 1)2 and (ν‘Ž2 βˆ’ 1)2 < ν‘Ž4 βˆ’ ν‘Ž2 + 1 < (ν‘Ž2 )2. Thus neither can be a square, a contradiction. Consequently, there are no odd perfect numbers of the form ν‘›ν‘› + 1. Thus 28 is the only perfect number of the desired form.  34 Odd Perfect Numbers The question remains unanswered as to whether or not there are any odd perfect numbers. Although a host of conditions such a number 푁 must satisfy have been established, no one has been successful in finding one, in spite of large computer searches with modern supercomputers. For example, 푁 must be congruent to modulo 12 or to modulo 36; it must have at least eight different prime factors; and in 1991 R. P. Brent, G. L. Cohen, and H. J. J. te Riele showed that it must be greater than 10300. In 1998, G. L Cohen of the University of Technology, Sydney, and P. Hagis, Jr. of Temple University proved that the largest prime factor of an odd perfect number exceed 106; and three years earlier, D. E. Iannucci showed that the second prime factor exceed 104 and the third prime factor exceed 100. In 2000, Paul A. Weiner of St. Mary’s University of Minnesota established that if 3휎(ν‘›) = 5ν‘› for some integer ν‘›, then 5ν‘› is an odd perfect
  • 38. number. There is however, a strong belief in the mathematical community that there may not be any odd perfect numbers. 35 BIBLIOGRAPHY [1] W. Edwin Clark, Elementary Number Theory, Department of Mathematics, University of Florida (2002). [2] G. H. Hardy and E. M. Wright, An introduction to the Theory of Numbers, Fifth Edition, Oxford University Press (1979). [3] S. B. Malik, S. K. Maheshwari, S. P. Misra, Basic Number Theory, Second Edition, Vikas Publishing House (1998). [4] Thomas Koshy, Elementary Number Theory with Applications, Academic Press (2002). [5] Tom M. Apostol, Introduction to Analytic Number Theory, Narosa (2000).