We've been over a lot of terrain in this course. Some themes have, however, been appearing over and over. Well-ordering, the division algorithm, prime factorizations, Diophantine equations, various proof techniques (including contradiction and induction), and certainly math history have had important roles in this course.
I hope that you have a better sense of where mathematics has come from (and maybe even where it's going!). One thing we've seen is that, in spite of number theory's purity, it is also absolutely essential to some modern applications of mathematics (e.g. information security). Pythagorean triples arose from an application, and then formed the basis of Fermat's last theorem.
Some useful preliminaries:
  
 
with   . q is called the quotient, and r is called the
remainder.
 . q is called the quotient, and r is called the
remainder.
Corollary: Given integers a and b, with   , there exist
unique integers q and r satisfying
 , there exist
unique integers q and r satisfying
  
 
with   .
 .
 
  
  , then
 , then   .
 .  
 
Corollary: If a and b are given integers, not both zero, then the set
  
 
is precisely the set of all multiples of   .
 .
Corollary 1: If gcd(a,b)=d, then gcd(a/d,b/d)=1.
Corollary 2: If a|c and b|c, with gcd(a,b)=1, then ab|c.
 if and only if
  if and only if
 
   
 
(i.e.   , so the final remainder is 0). Then
 , so the final remainder is 0). Then 
  .
 .
 .
 .
Corollary: if   , then
 , then
  .
 .
  
 
Corollary: For positive integers a and b
  
 
 . If
 . If   is any particular
solution of this equation, then all other solutions are given by
  is any particular
solution of this equation, then all other solutions are given by 
  
 
for integral values of t.
Corollary: If   , and
 , and   is any particular
solution of the equation ax+by=c, then all other solutions are given by
  is any particular
solution of the equation ax+by=c, then all other solutions are given by 
  
 
for integral values of t.
Corollary 1: If p is prime and   , then
 , then   for some k,
 
for some k,   .
 .
Corollary 2: If   are all prime and
  are all prime and   , then
 , then   for some k,
  for some k,   .
 .
Corollary: Any positive integer n>1 can be written uniquely in a canonical form
  
 
where, for i=1,2,...,r each   is a positive integer and each
  is a positive integer and each   is a
prime, with
  is a
prime, with   .
 .
 is irrational.
  is irrational.
 is the
  is the   prime, then
  prime, then   .
 .
Corollary: For   , there are at least n+1 primes less than
 , there are at least n+1 primes less than
  .
 .
  
 
contains infinitely many primes.
  
 
are prime numbers, then the common difference d is divisible by every prime q<n.
 if and only if a and b leave the same
nonnegative remainder when divided by n.
  if and only if a and b leave the same
nonnegative remainder when divided by n. 
  , then
 , then    .
 . and
  and    ,
then
 ,
then   .
 . and
  and    ,
then
 ,
then   , and
 , and
  .
 . ,
then
 ,
then   , and
 , and
  .
 . , then
 , then
  for any positive integer k.
  for any positive integer k.
 , then
 , then   ,
where
 ,
where   .
 .
Corollary 1: If   and
  and
  , then
 , then   .
 .
Corollary 2: If   (p prime), and p
does not divide c, then
  (p prime), and p
does not divide c, then   .
 .
 and
   and   , then
 , then
  , where
 , where   .  Hence, whenever
 .  Hence, whenever   and
 
and   are relatively prime,
  are relatively prime,   .
 .
 be a polynomial function of
x with integral coefficients
  be a polynomial function of
x with integral coefficients   . 
If
 . 
If   , then
 , then   .
 .
Corollary: If a is a solution of the congruence 
	  , and
 , and   , then b is also a
	solution.
 , then b is also a
	solution.
  
 
be the decimal expansion of positive integer N,   , and let
 , and let
  . Then
 . Then 
 .
 . . Then
 . Then
  .
 .
 has a solution if
and only if d | b, where
  has a solution if
and only if d | b, where   . If d|b, then the linear
congruence has d mutually incongruent solutions modulo n.
 . If d|b, then the linear
congruence has d mutually incongruent solutions modulo n.
Corollary: If gcd(a,n)=1, then the inear congruence
  has a unique solution modulo n.
  has a unique solution modulo n.
 be
positive integers such that
  be
positive integers such that   for
  for   . Then the
system of linear congruences
 . Then the
system of linear congruences
  
 
has a simultaneous solution which is unique modulo   .
The unique solution is of the form
 .
The unique solution is of the form
  
 
where   and
  and   is the unique solution to the linear
congruence
  is the unique solution to the linear
congruence 
  .
 .
  
 
has a unique solution whenever   .
 .
 .
 .
Corollary: If p is a prime, then   for any integer
a.
  for any integer
a.
 and
  and
  , then
 , then   .
 .
  
 
Converse to Wilson's Theorem): If
  
 
then p is prime.
 , where p
is an odd prime, has a solution if and only if
 , where p
is an odd prime, has a solution if and only if   .
 .
  
 
and
  
 
  
 
whenever   .
 .
 is the prime factorization of n>1,
then the positive divisors of n are precisely those integers of the form
  is the prime factorization of n>1,
then the positive divisors of n are precisely those integers of the form
  , where
 , where   for i in
  for i in
  .
 . is the prime factorization of n>1,
then
  is the prime factorization of n>1,
then
  
 
and
  
 
  
 
and
  
 
 and
  and   are multiplicative
functions.
  are multiplicative
functions. , then the set of positive divisors of mn
consists of all products
 , then the set of positive divisors of mn
consists of all products   , where
 , where   ,
 ,   , and
 , and
  ; furthermore these products are all distinct.
 ; furthermore these products are all distinct.
Theorem 6.4 If f is a multiplicative function and F is defined by
  
 
then F is also multiplicative.
 : For
 : For   , let
 , let   denote the number of
positive integers not exceeding n that are relatively prime to n.
  denote the number of
positive integers not exceeding n that are relatively prime to n.  
 
 if and only if
  
if and only if 
  and
  
and
  .
 .
Theorem 7.2: The function   is a multiplicative function.
  is a multiplicative function.
 , then
 , then
  
 
 is an even integer.
  is an even integer.
 and
  and 
  , then
 , then   .
 .
Corollary: Fermat's Little theorem
 , with
 , with   . If
 . If   is prime, then
it's called a Mersenne prime
  is prime, then
it's called a Mersenne prime is prime (k>1), then
  is prime (k>1), then   is
perfect, and every even perfect number is of this form.
  is
perfect, and every even perfect number is of this form.  
 
Lemma 2: If   , where gcd(a,b)=1, then a and b are
 , where gcd(a,b)=1, then a and b are   powers. That is, there exist positive integers
 
powers. That is, there exist positive integers   and
  and   for which
  for which
   and
  
and
   .
 .
Theorem 11.1: All solutions of the Pythagorean equation
  
 
satisfying the conditions
  
 
are given by the formulas
  
 
For integers s>t>0 such that gcd(s,t)=1 and   .
 . 
 has no solution in
the positive integers x, y, and z.
  has no solution in
the positive integers x, y, and z.
Corollary: The equation   has no solution in
the positive integers x, y, and z.
  has no solution in
the positive integers x, y, and z.
Corollary: The equation   has no solution in
the positive integers x, y, and z.
  has no solution in
the positive integers x, y, and z.
 has no solution in
the positive integers x, y, and z.
  has no solution in
the positive integers x, y, and z. 
  
 
for   , where
 , where   .
 .
 for every
  for every   .
 . and
  and   ,
 ,   .
 . 
 
Theorem 13.3: The greatest common divisor of two Fibonacci numbers is
again a Fibonacci number; specifically
  where
 
where
  .
 .
Corollary: In the Fibonacci sequence,   if and only if m | n
for
  if and only if m | n
for   .
 .
  
 
where   and
  and   for
  for   (the Zeckendorf representation).
 
(the Zeckendorf representation).
 