Lecture 3
Binomial Coefficients, Congruences
n(n 1)(n 2) . . . 1 = n! = number of ways to order n objects.
n(n 1)(n 2) . . . (n k + 1) = number of ways to order k of n objects.
n(n1)(n2)...(nk+1)
k!
= number of ways to pick k of n objects. This is called a
(Definition) Binomial Coefficient:
n
n!
=
k
(n k)!k!
Proposition 10. The product of any k consecutive integers is always divisible by k!.
Proof. wlog, suppose that the k consecutive integers are nk +1, nk +2 . . . n
1, n. If 0 < k n, then
n!
(n k + 1) . . . (n 1)(n)
=
=
k!
(n k)!k !
n
k
which is an integer. If 0 n < k, then the sequence contains 0 and so the
product is 0, which is divisible by k!. If n < 0, then we have
k
Y
(n k + i) = (1)k
i=1
k1
Y
(n + k i)
i=0
which is comprised of integers covered by above cases.
We can define a more general version of binomial coefficient
(Definition) Binomial Coefficient: If C and k is a non-negative integer,
()( 1) . . . ( k + 1)
=
C
k
k!
Theorem 11 (Binomial Theorem). For n 1 and x, y C:
(x + y)n =
n
X
n
k=0
xk y nk
Proof.
(x + y)n = (x + y)(x + y) . . . (x + y )
|
{z
}
n times
To get coefficient of xk y nk we choose k factors out of n to pick x, which is the
number of ways to choose k out of n
Theorem 12 (Generalized Binomial Theorem). For , z C, |z| < 1,
(1 + z) =
X
k=0
zk
Proof. We didnt go through the proof, but use the fact that this is a convergent
series and Taylor expand around 0
f (k) (z)
2
f (z) = a0 + a1 z + a2 z . . . an =
k! z=0
Pascals Triangle: write down coefficients
n = 0:
n = 2:
n = 4:
1
1
2
n = 3:
3
4
for k = 0 . . . n
n = 1:
n = 5:
n
k
1
3
6
10
1
4
10
1
5
..
..
.
.
* each number is the sum of the two above it
Note:
m+1
n+1
=
m
m
+
n
n+1
Proof. We want to choose n + 1 elements from the set {1, 2, . . . m + 1}. Either
m + 1 is one of the n + 1 chosen elements or it is not. If it is, task is to choose n
from m, which is the first term. If it isnt, task is to choose n + 1 from m, which
is the second term.
Number Theoretic Properties
Factorials - let p be a prime and n be a natural number. Question is what
power of p exactly divides n! ?
Notation: For real number x, then bxc is the highest integer x
Claim
pe ||n!,
e=
n
n
n
+ 2 + 3 ...
p
p
p
|| means exactly divides pe |n!, pe+1 - n!
Pr
j oof.
k n! = n(n 1) . . . 1
n
= number of multiples of p in {1, 2, . . . n}
jp k
n
2
p2 = number of multiples of p in {1, 2, . . . n}, etc.
Note: There is an easy bound on e:
n
n
n
e=
+ 2 + 3 ...
p
p
p
n
n
n
+ 2 + 3 ...
p
p
p
n
p
1 p1
n
p1
Proposition 13. Write n in base p, so that n = a0 + a1 p + a2 p2 . . . ak pk , with
ai {0, 1 . . . p 1}. Then
e(a, p) =
n (a0 + a1 + ak )
p1
Proof. With the above notation, we have
n
= a1 + a2 p . . . ak pk1
p
n
= a2 + a3 p . . . ak pk1 , etc.
p2
..
.
n
a0 = n p
p
n
n
a1 =
p 2 , etc.
p
p
..
.
k
X
n
n
n
a = n (p 1)
+ 2 + 3 ...
p
p
p
i=0
k
X
a = n (p 1)(e)
i=0
e=
Pk
n i=0 a
p1
Corollary 14. The power of prime p dividing nk is the number of carries when you
add k to n k in base p (and also the number of carries when you subtract k from n in
base p)
Some nice consequences:
Entire (2k 1)th row of Pascals Triangle consists of odd numbers
2n th row of triangle is even, except for 1s at the end
kp is divisible by prime p for 0 < k < p (p divides numerator and not
denominator)
e
pk is divisible by prime p for 0 < k < pe
(Definition) Congruence: Let a, b, m be integers, with m 6= 0. We say a is
congruent to b modulo m (a b mod m) if m|(a b) (ie., a and b have the same
remainder when divided by m
Congruence compatible with usual arithmetic operations of addition and multiplication.
ie., if a b mod m and c d mod m
a + c b + d (mod m)
ac bd (mod m)
Proof.
a = b + mk
c = d + ml
a + c = b + d + m(k + l)
ac = bd + bml + dmk + m2 kl
= bd + m(bl + dk + mkl)
* This means that if a b mod m, then ak bk mod m, which means that
if f (x) is some polynomial with integer coefficients, then f (a) f (b)
mod m
NOT TRUE: if a b mod m and c d mod m, then ac bd mod m
NOT TRUE: if ax bx mod m, then a b mod m (essentially because
(x, m) > 1). But if (x, m) = 1, then true.
Proof. m|(ax bx) = (a b)x, m coprime to x means that m|(a b)
MIT OpenCourseWare
http://ocw.mit.edu
18.781 Theory of Numbers
Spring 2012
For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
