This is a listing of properties of bionomial coefficients, few identities, it's uses

© All Rights Reserved

22 vues

This is a listing of properties of bionomial coefficients, few identities, it's uses

© All Rights Reserved

- Wiley s Mathematics for IIT JEE Main and AdvancedTrigonometry Vector Algebra Probability Vol 2 Maestro Series Dr. G S N Murti Dr. U M Swamy ( PDFDrive.com ).pdf
- Fibonacci Cardinality
- Complex Integration and Cauchy's Theorem
- cambridge maths syllabus 2013
- scavenger hunt
- 9709_y14_sy
- IGCSE2009_FurtherPureMathematics_TSM
- Mathematics
- Std09 II Maths EM
- Coaster Challenge Intro & Guidelines
- MTE1064 PRE-CALCULUS_student Edition
- 9709_y14_sy
- Ecucaciones Creo.txt
- 201220_22736
- 9709_y14_sy
- MATLAB Week1 Lecture3 Web
- Combinatorics+Answers
- Test 3 Math
- MM1MS1 Exam Formula Sheet
- MATH1014_TT1_2012W_Version_2

Vous êtes sur la page 1sur 23

Several research topics will be set to you at the conference. Your aim is the maximal advance in one of these topics. You can

co-operate in the solving of problems, arbitrary teams are allowed (i.e. the team may consist of participants from different

cities). If you solve problems in different topics you may take part in different teams. The only thing you should avoid is to

sign up the solutions of those problems that you really were not solving (this may happen if the team is too big and not all

of its members solve the problems of some topic actively).

The following is the introductory set of problems about binomial coefficients. You may hand in the (written) solutions to

Kokahs K. (coach 15, seat 17) In Teberda the set of problems will be enlarged a lot and you may hand in your solutions of

this set of problems, except 1.2, in Teberda, too. You can hand in the solutions of the problem 1.2 in train only.

p1

n 2

1.1. Prove that a) p1

(1)k (mod p);

b) 2n

(mod p) n 6 p1

k

n (4)

n

2 .

1.2. Prove that the number of odd binomial coefficients in n-th row of Pascal triangle is equal to 2r , where

r is the number of 1s in the binary expansion of n.

1.3. Fix a positive integer m. By a m-arithmetical Pascal triangle we mean a triangle in which binomial

coefficients are replaced by their residues modulo m. We will also consider similar triangles with the

arbitrary residues a instead of 1s along the lateral sides of the triangle. The operation of the multiplying

by a number and addition of triangles of equal size are correctly defined. We will consider these operations

modulo m.

a

a

b

a

a 2a a

a 3a 3a a

a+b

a+b a+b

a+b 2(a+b) a+b

a+b 3(a+b) 3(a+b) a+b

b 2b b

b 3b 3b b

a

a

x a

a 2a a

a 3a 3a a

ax

ax ax

ax 2ax ax

ax 3ax 3ax ax

Let all the elements of s-th row of m-arithmetical Pascal triangle except the first and the last one be equal

to 0. Prove that the triangle has a form depicted on fig. 1. Shaded triangles consist of zeroes, triangles kn

consist of s rows and satisfy the following relations

1) nk1 + kn = kn+1 ;

2) kn = Cnk 00 (mod m).

The well known puzzle Tower of Hanoi consists of three rods, and a number of disks of different sizes which can slide onto

any rod. The puzzle starts with the disks in a neat stack in ascending order of size on one rod, the smallest at the top, thus

making a conical shape. The objective of the puzzle is to move the entire stack to another rod, obeying the following rules:

1) nly one disk may be moved at a time; 2) each move consists of taking the upper disk from one of the rods and sliding it

onto another rod, on top of the other disks that may already be present on that rod; 3) no disk may be placed on top of a

smaller disk.

Let n be the number of disks. Let T Hn be a graph, whose vertices are all possible correct placements of disks onto 3 rods

and edges connect placements that can be obtained one from another by 1 move. Consider also graph Pn , whose vertices are

1s located in the first 2n rows of the 2-arithmetical Pascal triangle and edges connect neighboring 1s (i.e. two adjacent 1s

in the same row or neighboring 1s by a diagonal in two adjacent rows )

1.5. Prove that that first 106 rows of 2-arithmetical Pascal triangle contain less than 1 % of 1s.

n

n

n

n

1.6. Prove that if n is divisible by p 1, then

p1 + 2(p1) + 3(p1) + . . . + n 1 (mod p). Or,

even better prove the general statement: if 1 6 j, k 6 p 1 n k (mod p 1), then

n

n

n

n

k

+

+

+

+ ...

(mod p).

j

(p 1) + j

2(p 1) + j

3(p 1) + j

j

00

01

02

03

04

11

12

13

14

22

23

24

. 1:

33

34

44

. 2:

The official theoretical source for this set of problems is Vinbergs article [1]. Particularly the following theorems are

considered to be known.

1. Wilsons theorem. For any prime p (and for primes only) the equivalence holds (p 1)! 1 (mod p).

2. Lukas theorem. Write the numbers n and k in base p:

n = nd pd + nd1 pd1 + . . . + n1 p + n0 ,

Then

n

k

nd nd1

kd kd1

...

n1

n0

k1 k0

k = kd pd + kd1 pd1 + . . . + k1 p + k0 .

(1)

(mod p) .

base p.

4. Wolstenholmes theorem. If p > 5 then

n

k

2p

p

2p1

p1

1 (mod p3 ).

We denote by p a prime number. For any natural n denote by (n!)p the product of all integers from 1 to n not divisible

by p. If a number p is given the symbols ni , mi etc. denote the digits of numbers n, m etc. in base p.

* * *

2.1. a) Prove that the first 3k rows of 3-arithmetical Pascal triangle contain 12 (6k + 4k ) residues 1 and

1 k

k

2 (6 4 ) residues 2.

b) Find the number of zero elements in the first 5k rows of 5-arithmetical Pascal triangle.

c) Find the number of non-zero elements in the first pk rows of p-arithmetical Pascal triangle.

2.2. Prove that the number of 1s in the first m rows of 2-arithmetical Pascal triangle equals

n1

X

i=0

n1

mi 2 k=i+1 mk 3i .

If m = 21 + 22 + . . . + 2r , where 1 > 2 > . . . > r , then we can rewrite the last expression in the form

31 + 2 32 + 22 33 + . . . + 2r1 3r .

2.3. Consider n-th row of Pascal triangle modulo 2 as binary expansion of some integer Pn . Prove that

Pn = Fi1 . . . Fis ,

i

where i1 , . . . , is are numbers of positions where 1s occur in the binary expansion of n, and Fi = 22 + 1 is

i-th Fermat number.

2.4. Prove that the number of non-zero elements in n-th row of p-arithmetical Pascal triangle equals

d

Q

(ni + 1).

i=0

2.5. a) All the binomial coefficients nk , where 0 < k < n, are divisible by p if and only if n is a power of p.

b) All the binomial coefficients nk , where 0 6 k 6 n, are not divisible by p if and only if n + 1 is

divisible by pd , in other words, all the digits of n, except the leftmost, in base p are equal to p 1.

.

.

n ..

2.6. Let 0 < k < n + 1. Prove that if k1

6 . p and nk 6 .. p, then n+1

6 .. p, except the case, when n + 1 is

k

divisible by p.

n (nd + . . . + n1 + n0 )

.

p1

3.2. Prove the following generalizations of Wilsons theorem.

a) (1)[n/p] (n!)p n0 ! (mod p);

b) Prove that for p > 3

(pq !)p 1 (mod pq ) ,

3.1. Prove that ordp (n!) =

n!

c) (1) n0 !n1 ! . . . nd ! (mod p), where = ordp (n!)

p

3.3. Generalized Lukas theorem. Let r = n k, ` = ordp ( nk ). Then

n ! n ! n !

1 n

0

1

d

`

(1)

...

p` k

k0 !r0 ! k1 !r1 !

kd !rd !

d

(mod p)

b) Prove Laukas theorem algebraically.

k 0 (mod n).

3.5. a) Let m, n, k be nonnegative integers,

and (n, k) = 1. Prove that Cmn

.. k

..

n .. k

b) Prove that if n . p , m 6 . p, then m . p .

n

d

P

Q

3.6. Let fn,a =

( nk )a . Prove that fn,a

fni ,a (mod p).

i=0

k=0

1 1

1

+ + ... +

0 (mod p2 ).

1 2

p1

1

1

1

4.2. Let p = 4k + 3 be a prime number. Find

+ 2

+ ... +

(mod p).

2

0 +1 1 +1

(p 1)2 + 1

4.3. a) Let k be a nonnegative integer such that for any prime divisor p of the number m k is not

1

1

1

divisible by (p 1). Prove that k + k + . . . +

0 (mod m) (summation over all fractions whose

1

2

(p 1)k

denominators are coprime to m).

1

1

1

.

b) Let k be odd and (k + 1) 6 .. (p 1). Prove that k + k + . . . +

0 (mod p2 ).

1

2

(p 1)k

4.4. Prove that the equivalence (12) from Vinbergs article holds in fact modulo p4 .

4

4.5. Prove that the following properties are equivalent 1) 2p1

p1 1 (mod p );

1 1

1

1

1

1

2) + + . . . +

0 (mod p3 );

3) 2 + 2 + . . . +

0 (mod p2 ).

1 2

p1

1

2

(p 1)2

. 2

pk

k

4.6. a) Prove algebraically that for any prime p and arbitrary k and n ( pm

m

) .. p . (In Vinbergs

article this fact is proven combinatorially.

pk

k .. 3

b) Prove the statement (9) form Vinbergs article: for any prime p > 5 and arbitrary k and n ( pm

m

).p .

4.1. Prove that

2

4.7. Let p > 5. Prove that a) pp

3

2

4.8. Prove that pp2 pp (mod p8 ).

p

1

(mod p5 );

b)

ps+1

p

ps (mod p2s+3 ).

Additional problems to previous topics

pn 1

k

2.8. Prove that if the binomial coefficient nk is odd i.e. ki 6 ni for all i = 0, 1, . . . , d in the notations of

(1), then

Y

d

n

k

2.7. Prove that

i=1

2.9. Prove that if there are no two consecutive 1s in the binary expansion of n then all the odd entries in

n-th row 1 (mod 4), otherwise the number of entries 1 (mod 4) equals the number of entries 1

(mod 4).

2.10. Prove that the number of 5s in each row of 8-arithmetical Pascal triangle is a power of 2. Prove the

same for 1s, 3s and 7s.

2.11. Prove that if we consider all the elements of the two sets

n

n

n

n

2 1

2 1

2 1

2 1

,

,

,..., n

1

3

5

2 1

and {1, 3, 5, . . . , 2n 1}

2.12. Prove that elements of a row of Pascal triangle are not coprime in the following sence. For any > 0

there exists N , such that for all integer n > N and k1 , k2 , . . . , k100 < n the numbers

2n

2n

2n

,

, ...,

n + k1

n + k2

n + k100

have a common divisor.

2.13. a) The non negative numbers m > 1, n, k are given. Prove that at least one of the numbers nk ,

n+1

n+k

is not divisible by m.

k , ...,

k

b) Prove that for each k there exist infinite set of numbers n, such that all the numbers nk , n+1

, ...,

k

n+k1

are divisible by m.

k

n+1

2n

4.9. Prove that for n > 1 2 2n 2n1

is divisible by 22n+2 .

p1 p1

4.10. Prove that for p > 5 (1) 2 p1 4p1 (mod p3 ).

2

Additional problems to previous topics

4.11. Let m be a non negative integer, p > 5 be a prime. Prove that

1

1

1

+

+ +

0 (mod p2 ).

mp + 1 mp + 2

mp + (p 1)

4.12. Let p and q be primes. Prove that

2q1

q1 1 (mod p).

2pq1

pq1

2p1

p1

1 (mod q) and

a 1

3P

k=0

5.2. Let Ck =

1 2k

k+1 k

2k

k

b) is divisible by 3a .

is divisible by 3;

n

P

k=1

5.3. Let p > 3, k = [2p/3]. Prove that the sum p1 + p2 + . . . +

.

5.4. Let n .. (p 1), where p is an odd prime. Prove that

p

k

is divisible by p2 .

n

n

n

+

+

+ . . . 1 + p(n + 1) (mod p2 ).

p1

2(p 1)

3(p 1)

n1

p1 ]

X

m:mj

then

n

(1)

0 (mod pq ).

m

m

(mod p)

.

5.6. Let p be an odd roime. Prove that n .. (p + 1) if and only if

n

n

n

n

+ . . . 0 (mod p)

j

j + (p 1)

j + 2(p 1)

j + 3(p 1)

for all j = 1, 3, . . . , p 2.

Solutions

1

(p 1)(p 2) . . . (p k)

(1)(2) . . . (k)

1 2k

1 2k

S o l u t i o n 2. It is evident by the formula for binomial coefficients that pi is divisible by p when

p1 .

p1

1 6 i 6 p 1. Since k1

+ p1

= kp and p1

= 1 1 (mod p), then ( p1

+ 1 ) .. p, and therefore

k

0

0

p1

p1

p1

p1

1 (mod p). But 1 + 2 is divisible by p also, hence 2 1 (mod p) etc.

1

p1

2n

p1

2

2

) This problem is taken from [3, problem 162]. Since the fractions 2n+2

are

n+1 / n and n+1 / n

highly reducible, the statement can be easily proven by induction. But we suggest a direct calculation

from [3].

It easy to see that

1 3 (2n 1)

2n

= 2n

n

n!

and

1.1. a) S o l u t i o n 1.

p1

k

p 1 p 3 p 2n + 1

p 1 p 1

p 1

= (1)n 2n

= (1)n 2n

1

n+1 =

2

2

2

2

2

2

p1

(

)!

= (1)n 2n p1 2

(mod p).

( 2 n)!

p1

( p1

2n

n

2 )!

2

(mod p).

Therefore

(1)n 4n

=

(4)

n

n

n!( p1

n)!

2

1.2. It follows directly from self-similar structure of an arithmetical Pascal triangle, that is described in

the next problems. It follows from Lucas theorem also, you can read the proof in [1].

1.3. We restrict ourselves with small contemplation, the full solution can be found in [3, problem 133].

Since the s-th row contains a long sequence of zeroes, then below these zeroes in (s + 1)-th row we have

the sequence of zeroes, too, (it is one element shorter than the upper sequence); in (s + 2)-th row there are

the sequence of zeroes also (it is one element shorter again) and so on. This explains the presence of the

grey triangle below 00 (fig. 1).

Further, the non-zero elements of the s-th row are equal to 1, hence the numbers situated along the

sloped sides of the grey triangle all are 1s (due to the recurrence for binomial coefficients). So all the

numbers along the sloped sides of the triangles 01 and 11 are 1s, and therefore both triangles are identical

to 00 .

Now it is clear, what is the (2s)-th row of the triangle. The left- and the rightmost elements are 1s, all

other elements equal 0, except the central element that is equal to 2, because it is a sum of the two upper

1s. Thus we obtain that two grey triangles are situated below 2s-th row, the triangles 02 and 22 to the

left and to the right of them are identical to 00 , and the triangle 12 with 2s along its sloped sides is equal

to 2 00 .

And so on.

1.4. This statement we found in [21], several facts about binomial coefficients are proven there via Tower

of Hanoi and the graph T Hn .

Let a be the diameter of the upper disc on the first rod, b be the diameter of the upper disc on the

second rod and c be the diameter of the upper disc on the third rod. W.l.o.g. a < b < c, then we have 3

possible moves in this configuration: from a to b or c and from b to c, we analogously have 3 moves if one

rod is without discs. If all the discs are placed on one rod then we have 2 possible moves only; let A1 , A2 ,

A3 denote the configurations of this type.

Observe that by the problem 1.2 all the elements of 2s -th row of Pascal triangle

are

1s. Therefore

graph

n

n

n+1

Pn has the rotational symmetry of the third order, because the recurrence k1 + k = k , that allows

us to construct

the triangle from top to bottom,

is equivalent in arithmetic modulo 2 to the recurrences

n

n

n+1

n

n

n+1

=

+

and

=

+

,

that

allows us to construct the triangle from the low left

k1

k

k

k

k1

k

A1

1

A3

A2

A3

A2

2

A2

3

A1 A1

A3

. 3:

corner in the upper right direction and from the low right corner in the upper left direction. It follows also

that the triangle of the double size contains 3 copies of the initial triangle.

Now let us prove by induction that there exists a bijection between T Hn and Pn , such that the vertices

of the triangle Pn correspond to the configurations A1 , A2 , A3 . The base n = 1 is evident.

Proof of the step of induction. Assume that the bijection between T Hn and Pn has been constructed.

The 2-arithmetical Pascal triangle with the side length 2n+1 contains 3 copies of the triangle with the side

length 2n . Number the copies and mark its vertices as shown on fig.3. Consider all the configurations of

the Tower of Hanoi for which the (n + 1)-th (biggest) disc is placed on rod i. If we fix the placement of this

disc then displacements of other discs correspond to the graph that is isomorphic to T Pn . By induction

hypothesis we can choose a bijection between this graph and the graph Pn in the i-th copy of the triangle,

such that the configurations Aj correspond to the vertices of the triangles with the same marks. When we

move the biggest disc, say, from the first rod to the second, all other discs must be on the 3rd rod. This

move correspond to the edge connecting two neighboring vertices A3 on the left sloped side of big triangle.

The same reasons concern other moves of the biggest disc. Therefore we obtain an isomorphism between

T Pn+1 and Pn .

1.5. The bijection with Tower of Hanoi gives us a formula (when the number of rows is a power of 2): the

first 2k rows of 2-arithmetical Pascal triangle contain 3k 1s. The formula can be also proved by induction

via recurrence from the problem 1.3. Using this formula we can obtain an estimation. Since 106 < 220 , the

total number of elements in these rows equals 12 106 (106 + 1), and the number of 1s is at most 320 . The

20

proportion does not exceed 10623

(106 +1) 0.01.

S o l u t i o n 1 ([CSTTVZ]). For p = 2 the statement can be easily checked. So we can assume that p is

odd prime. Let n = x(p 1) + k.

We use induction on x.

The base x = 0 is trivial: kj kj (mod p).

To prove the step of induction we need the following property of binomial coefficients:

X

a+b

a

b

=

(summation in natural bounds),

s

si

i

i

both sides of which calculate in how many ways we can choose s balls in the box that contains a black and

b white balls. Let n = m + (p 1). Observe that

n

`(p1) + j

m + (p1)

`(p1) + j

p1

X

i=0

X

p1

m

p1

m

(1)i

(mod p)

`(p1) + j i

i

`(p1) + j i

i=0

(the last equivalence is due to problem 1.1 a). Remark that the sign of the first and last terms in the last

sum is plus . Now transform the sum from the problem statement:

X

n

`(p 1) + j

`

m

m

m

m

m

+ ... +

+. . .+

+

j

j1

p1+j

p1+j 1

j

m

m

m

+

+. . .+

+ ...

2(p1) + j

2(p1) + j 1

2(p1) + j

X

m

X

m

i m

=

(1)

+

(mod p).

i

`(p1) + j

i=0

`

the first sum is equal to 0, the second sum is equivalent kj (mod p) by the induction hypothesis.

S o l u t i o n 2 ([J], [T]). Induction by n. The base n 6 p 1 is trivial: both sides contain the same

term. Prove the step of induction.

n

n

n1

n1

n1

n1

+

+ ... =

+

+

+

+ ... =

j

(p 1) + j

j

j1

(p 1) + j

(p 1) + j 1

n1

n1

n1

n1

=

+

+ ... +

+

+ ...

j

(p 1) + j

j 1

(p 1) + j 1

k1

k1

k

+

=

(mod p).

j

j1

j

But it should be accurate in cases when p 1 divides j or k, because the induction hypothesis does not

hold for j = 0 or k = 0 (it uses the value p 1 instead of 0). Therefore we must consider more carefully

the cases when j = 1 or k = 1. We restrict ourselves by consideration of one partial case only. Let p = 5,

j = 1 and we fulfill step to n = 13. Then we have

1 ? 13

13

13

12

12

12

12

12

12

+

+

=

+

+

+

+

+

.

1

1

6

11

1

6

11

0

5

10

By induction hypothesis the sum in the first parentheses has a residue 41 (and not 01 as the previous

calculation shows). In the second

the induction hypothesis covers all the terms except the first

parentheses

12

4

one, so the sum has residue 0 + 0 . Writing p 1 instead of 4 for clarity, we obtain that the whole sum

is equivalent to n1

+ p1

+ p1

11 (mod p), as required.

0

1

0

trivial. Now let n > p, write all parameters in base p, let p (m) denotes the sum of digits of m. It is clear

that if m j (mod p), then p (m) j (mod p). The sum under consideration is equal by Lukas theorem

to

X n0 n1 nd

...

(mod p) ,

m0

m1

md

where the summation is over all m = md . . . m1 m0 6 n, for which p (m) j (mod p). This sum is equal

to the sum of coefficients of xj , xj+p1 , xj+2(p1) , . . . in the expression

(1 + x)n0 (1 + x)n1 . . . (1 + x)nd = (1 + x)p (n) .

But it is evident that this sum of coefficients equals

X

16r6p (n)

rj (mod p1)

p (n)

,

r

which satisfy the induction hypothesis because 1 6 p (n) 6 n 1, and supply the desired equivalence since

p (n) n j (mod p).

S o l u t i o n 4 (linear algebra, [D]). The polynomials x, x2 , . . . , xp1 are linearly independent over Zp

and form a basis in the space of functions f : Zp Zp , f (0) = 0. By Fermats little theorem (1 + x)n

(1 + x)k (mod p). Applying the relations xi+a(p1) xi to the left hand side,we obtain that our sum as

an element of Zp is equal to the coefficient of xj in the right hand side, i. e. kj .

2.1. a) This result is due to Roberts [27]. By ak denote the number of 1s in the first 3k rows, and by bk

denote the number of 2s. Due to the recurrence from problem 1.3 we obtain

ak+1 = 5ak + bk ,

bk+1 = 5bk + ak .

b) A n s w e r: 12 5k (5k + 1) 15k . By ak denote the number of nonzero elements in the first 5k rows.

As in previous problem we have a recurrence

ak+1 = 15ak + 10

k

5k (5k 1)

.

2

Since the whole triangle consists of 5 (52 +1) elements, it is natural to change variables ak = 5 (52 +1) bk .

Then we can rewrite the previous relation in terms of bk as bk+1 = 15bk .

k

c) A n s w e r: p(p+1)

. This is Fines result [13]. It can be obtained by induction by means of recurrence

2

of the problem 1.3.

2.2. S o l u t i o n 1. Induction by 1 . The base 1 = 0, 1 can be easily checked. Let the statement has

been proven for all 1 < a. Prove it for 1 = a. Evedently m

21 < 21 . Let s = 21 (in notations of

0

problem 1.3). Consider the m-th

= 22 + 23 + . . . + 2r . By the induction

hypothesis the number of 1s in this row and above it equals

32 + 2 33 + . . . + 2r2 3r .

(2)

+ 21 we have a row that intersects the triangles 10 and 11 (due to

2-arithmetics they are both identical to triangle 00 ). The part of Pascal triangle from top to this row

contains triangle 00 (containing 31 1s by induction hypothesis) and partially triangles 10 and 11 (the

number of 1s in them is given by (2)). So the total number of 1s is

31 + 2(32 + 2 33 + . . . + 2r2 3r ).

S o l u t i o n 2 (combinatorial sense of coefficients, [T]).

L e m m a 1. Let the k-th row contains 2r 1s (or, equivalently, k contains r 1s in base 2) and let

1 > 2 > > m , 2m > k. Then the row with number 21 + 22 + . . . + 2m + k contains 2m+r 1s.

P r o o f. It is clear that the number 21 + 22 + . . . + 2m + k in base 2 contains m + r 1s and hence

the corresponding row contains 2m+r 1s.

L e m m a 2. The rows with the following numbers

21 + 22 + . . . + 2m1 ,

21 + 22 + . . . + 2m1 + 1,

...,

21 + 22 + . . . + 2m1 + 2m 1,

contain 2k 3m 1s.

P r o o f. By lemma 1 the row with number 21 + 22 + . . . + 2m1 + i containsP2k xi 1s, where

xi is

P

the number of 1s in i-th row. Then the total number of 1s in these rows equals 2k xi . But

xi is the

number of 1s in the first 2m 1 rows of Pascal triangle, this number is equal to 3m (it is known, for

example, by problem 1.4).

The statement of problem follows from lemma 2.

2.3. The problem is from [1], the solution is from [18]. The problem statement follows from

Lukas theorem

n

due to the following observation (it is also mentioned in [1]): a binomial coefficient k is odd if and only

if the set of 1s in

binary expansion of k is the subset of the set of 1s in the binary expansion of n.

P the

Therefore Pn =

2k , where the summation is over all k described in the previous phrase. For p = 2 let

Sn = {i : ni = 1} in notations of formula (1). Then

X Y i

Y

Pn =

22 =

Fi .

ISn iI

iSn

10

2.4. This result of Fine [13] (1947) is an easy corollary of Kummers theorem. If p does not divide nk ,

then there are no carries when we add k and n k in base p. For a fixed n it means that we can choose

i-th digit of k in base p by ni + 1 ways.

2.5. a) It follows from the formula proven in the previous problem because here we have a row with 2

elements only not divisible by p.

b) [13]. If pd | (n + 1), then n = a(p 1)(p 1) . . . (p 1) in base p. Then for any k, 0 6 k 6 n,

each digit of k does not exceed the corresponding digit of n. Therefore all the binomial coefficients nkii are

not equal to 0 and 6 0 (mod p). By Lukas theorem nk is not divisible by p.

The reverse statement. Assume that all the coefficients nk are not divisible by p, but n is not the

number of the form a(p 1)(p 1) . . . (p 1). Therefore one ofits digits, say, ni is less than p 1. Choose

k = (p 1) pi . Then ki = p 1 and hence nkii = 0, and p | nk by Lukas theorem. A contradicition.

2.6. This problem we found in [12].

.

n

n ..

n ..

n

n

S o l u t i o n 1. Assume that k1

6 . p and nk 6 .. p, but n+1

=

+

. p. Then k k1

k

k1

k

(mod p). Since both binomial coefficients are not divisible by p, we can reduce the equivalence and obtain

nk+1

1 (mod p). Therefore n + 1 0 (mod p).

k

S o l u ti o n 2 ([K]). Though the statement remind us the main recurrence for binomial

coefficients, the

.

.

.

n

part k1

6 .. p is unnecessary. Indeed, if (n + 1) 6 .. p, then 0 6 n0 6 p 2. Since nk 6 .. p, then by Kummers

theorem ki 6 ni for all i But analogous inequalities hold also for the pairk and n + 1, because n and n + 1

.

6 .. p.

have the same digits except the lower ones that differs by 1. Hence n+1

k

2.7. [2]. It follows from Lukas theorem and problem 1.1.a).

2.8. The problem is from [1]. Induction by number of digits. The base is trivial. For the proof of induction

step add one more digit to the rightmost position. Since

the binomial

coefficient is odd we have the

n1

+

and consider distinct variants

inequalities ni > ki . Now we will use the recurrence nk = n1

k1

k

of parity n k. Applying Kummers theorem and the problem 4.6a) we will reduce the question to the

induction hypothesis.

For example, let n = 2` + 1 be odd and k = 2m be even. Consider a subcase k1 = 1. Then we have

binary representations k = . . . 10, n = . . . 11, k 1 = . . . 01 and n k = . . . 01 (the latter because by

Kummers theorem there

are no carries when we add k and n k). Now when we add k 1 and n k we

have 1 carry, i.e. n1

k1 2 (mod 4), and hence

n

n1

n1

n1

2`

`

=

+

(mod 4) ,

k

k1

k

k

2m

m

the latter equivalence is by problem 4.6a). The minus sign in it corresponds to the multiplier (1)k0 n1 +k1 n0 .

2.9. The problem is from [1]. The statement follows from the previous problem. If the binary representation

of n does not contains two consecutive 1s, then for all k all the exponents ki1 ni +ki ni1 are equal to 0 and

all the binomial coefficients in n-th row have are equivalent 1 modulo 4. But if the binary representation

of n contains several consecutive 1s starting from nj = 1 then the one half of all coefficients have kj = 0,

and one half of them have kj = 1. By the formula of previous problem these two halves differ by a sign.

2.10. Two articles in Monthly [19, 20] discuss this dark problem.

2.11. This is a problem of D. Dzhukich was presented at the olympiad of 239 school of St.-Petersburg,

2002, and after that appeared at short-list of IMO-2008.

All the binomial coefficients in the problem

are odd by Lukas theorem, therefore, it is

nstatement

n

n 1

sufficient to check that all the numbers 2 11 , 2 31 , . . . , 22n 1

have distinct reminders modulo 2n .

n

n

S o l u t i o n 1 ([D]). Assume by the contrary that 2 k1 2 m1 (mod 2n ) for odd k and m, k > m.

Observe that

n

n n

n n n

2 1

2

2

2 1

2

2 1

=

+

= =

k

k

k1

k

k1

k2

n n n

n n

2

2

2

2

2 1

=

+

...

+

.

k

k1

k2

m+1

m

In particular

n

n

2n

2

2

+

...

0 (mod 2n ) .

k1

k2

m+1

n

Calculate the exponent ord2 2r by Kummers theorem. If ord2 r = a then we have na carries in addition

n

r and 2n r (it is clear by the standard algorithm of addition), hence ord2 2r = n a. In particular

n

2n | 2r for odd r, that allows us to consider only one half of summands:

n n

n

2

2

2

+

+ ... +

0 (mod 2n ) .

k1

k3

m+1

n

n

Now all the 2i in the left hand side have even parameter i, therefore ord2 2x < n.

We will

prove that this

congruence is impossible and obtain a contradiction. Choose x with minimal

n

2n

2n

ord2 x . Since ord2 x < n and the whole sum is divisible by 2n , there exists y, for which ord2 2x =

n

ord2 2y . Then the binary representations of x and y end with equal number of 0s, and hence there exists

n

n

z between x and y which binary representation ends with bigger number of 0s. Then ord2 2z < ord2 2x ,

a contradiction.

2n

k

11

S o l u t i o n 2 ([CSTTVZ]). Induction by n. We prove the step of induction. Let the statement be proven

for all numbers

less than n. Assume by the contrary that there exist k and `, k 6= `, 0 6 k, ` 6 2n 1, such

2n 1

2n 1

that 2k+1 2`+1 mod 2n . Observe that

n

n

n

2

2

2

2n 1

=

1

1 ...

1 =

2k + 1

1

2

2k + 1

n

n

n1

n1

n1

n

2

2

2

2

2

2

=

1

1 ...

1

1

1 ...

1 =

1

3

2k + 1

1

2

k

n

n

n

n1

2

2

2

2

1

=

1

1 ...

1

1

3

2k + 1

k

n1

1

k+1 2

(mod 2n )

(1)

k

(3)

n 1

n1

and analogously 22`+1

(1)`+1 2 ` 1 (mod 2n ). It follows by induction hypothesis that both k and

n

n 1

` can not be odd. Besides, due to the symmetry 2 r1 = 2n21r

the problem statement means that all

2n 1

the even binomial coefficients 2r are pairwise distinct modulo 2n and form the same set of residues

n 1

as odd binomial coefficients 22r+1

. Therefore k and ` can not be even simultaneously.

It remains to consider a case when k and ` have distinct parity, say k = 2a + 1, ` = 2b. Then

n1

n1

1

2

1

2

+

0 (mod 2n ) .

2a + 1

2b

If a = b the congruence is impossible because

2n1 1

2a

is odd and

n1

n1

n1

n1

2n1 1

2

1

2

1

2n1 1 2a

2

1

2

+

=

1+

=

2n1

2a + 1

2a

2a

2a + 1

2a

2a + 1

If b 6= a, then

2n1 ,

the sum

2n1 1

2a

2n1 1

2b

6=

2n1 1

2b

2n1 1

2a+1

can not be divisible by

2n1 .

2n1 1

2a

2n1 1

2a+1

(mod 2n ) .

is divisible by

2n

2n

n(n 1) . . . (n k + 1)

=

,

n+k

n

(n + 1)(n + 2) . . . (n + k)

2n

and therefore n+k

have many common divisors with 2n

n , because the denominator is not very big,

2n

more precisely, it does not exceed (2n)k . Write the analogous equalities for all binomial coefficients n+k

,

1

12

2n

n+k2 ,

2n

. . . , n+k

. Then GCD of all denominators in the right hand sides of the equalities does not

100

exceed (n + 1)(n + 2) . . . n + [ n ] < (2n) n . But for big n the binomial coefficient 2n

n is much greater,

so after reducing by GCD the quotient is very big, and it divides all 100 binomial coefficients.

Explain more accurate the last reasoning. Observe that

2n

2n 2n 1

n+1

...

> 2n

and

(2n)100 n = 2 n log2 n+ n .

=

n

n n1

1

For each there exists N such that for all n > N we have the equality n2 > n log2 n + n. If we reduce

2n

n/2 .

n by GCD for these n, the quotient is at least 2

2.13. a) The problem was presented at Leningrad olympiad, 1977.

S o l u t i o n 1 (without Kummers theorem). This is solution from the excellent book [4]. Assume that

all these numbers are divisible by m. Then the numbers

n+k1

n+k

n+k1

=

,

k1

k

k

n+k2

n+k1

n+k2

=

,

k1

k

k

...

n+1

n

n

=

k1

k

k

are also divisible by m. Then analogously m divides all the numbers n+i

j , where i 6 j are arbitrary

nonnegative integers. But n0 (i = j = 0) is not divisible by m. A contradiction.

S o l u t io n 2 (Kummers

theorem). Let p be a prime divisor of m. Prove that at least one of the

n

n+1

n+k

numbers k , k , . . . , k is not divisible by p. By Kummers theorem if we choose ` (n k 6 ` 6 n)

is not

such that the addition k + ` fulfills in base p without carries then the binomial coefficient k+`

k

divisible by p.

We will explain how to choose ` by giving a concrete example. Let p = 7, k = 133. We will write all

the numbers in base 7. Since we try to choose ` in the set of k + 1 numbers, we can always choose ` such

that k + ` to be one of the following numbers

. . . 133,

. . . 233,

,...,

. . . 633.

(Remind that 6 is the greatest digit in our example.) It is clear that the addition k + ` fulfills without

carries.

b) We found this problem in [2]. It is not difficult to construct n by Kummers theorem. Let ordp m = s,

.

and k have d + 1 digits in base p. Let n .. pd+s+1 . Then the representations of numbers n k, n k + 1, . . . ,

n 1 contain digits (p 1) in positions from (d + 2) to (d + s + 2). When we add k to these numbers we

have carries in these positions. Therefore by Kummers theorem all the corresponding binomial coefficients

are divisible by ps .

Since it is not difficult to combine our reasoning for distinct p, the statemetn is proven.

P

3.1. It is well known that ordp (n!) = k pnk . If n = nd pd + nd1 pd1 + . . . + n1 p + n0 (representation in

base p), then pnk = nd pdk + nd1 pdk1 + . . . + nk+1 p + nk and we can rewrite the formula for ordp (n!)

in the form

d

d

P

P

i

!

n

p

ni

d

d

d

d

i

i

X X

X

X p 1

i=0

ordp (n!) =

ni pik =

ni (pi1 + pi2 + . . . + p + 1) =

ni

= i=0

.

p1

p1

k=1

i=k

i=1

i=1

13

[n

]1

p

(n!)p =

k=0

n

(kp + 1) (kp + 2) (kp + p 1) [ np ]p + 1 [ np ]p + 2 . . . [ np ]p + n0 (1)[ p ] n0 !

(mod p) .

) This statement can be found in Gauss works [15]. The product (pq !)p contains factors in pairs: a

factor and its inverse modulo pq , the product of each pair is 1 modulo pq . So we need to watch on those

factors m which equals to its inverse, this factors satisfy the congruence

m2 1 (mod pq ).

For odd prime p the congruence has 2 solutions: 1. For p = 2, q > 3 the congruence has two more

solutions: 2q1 1.

n

c) Since n! = (n!)p p[ p ] [ np ] !, the statement can be proven by induction by means of the congruence

of statement a) of this problem.

3.3. We found this problem on the web-page of A.Granville [17]. It well known Legendres formula for the

number ` is that

h i h i h i h i h i h i

k

r

n

n

k

r

n

` = ordp

2 2

+ ...

(4)

=

+

2

k

p

p

p

p

p

p

Denote n

= [n/p] for brevity and so forth, and collect all terms divisible by p in the the formula for

a binomial coefficient:

(n!)p

n

p[n/p]

n

!

=

[k/p] [r/p]

.

k

(k!)p (r!)p p

p

k! r!

By generalized Wilsons theorem (problem 3.2, b) the first fraction equals k0n!r0 !0 ! (mod p), the third fraction

allows us to apply induction, and the middle fraction (together with the sign of the first fraction) supply

all the expressions containing ` by the formula (4).

d

d

3.4. a) Expand brackets in (1 + x)p use the fact that p | pk for 1 6 k 6 pd 1 by Kummers theorem.

0

0

(mod p).

we transform the coefficients of the polynomial modulo p. The coefficient of

xk at the l.h.s. equals nk . All the exponents in the first brackets at the r.h.s. are divisible by p, hence the

0

0

only way to obtain the term xpk +k0 is multiplying

the xpk from the first bracket and xk0 from the second.

0

0

Thus we obtain nk0 nk00 and so nk = nk0 nk00 . Now Lukas theorem follows by induction.

3.5. a, b) It follows from Kummers theorem.

and truncate a lot of summands:

fn,a =

n a

X

n

k=0

nd1

nd

X

X

kd =0 kd1 =0

ni

ki

n0 Y

d a

X

ni

k0 =0 i=0

ki

n i a

d X

Y

ni

i=0 ki =0

ki

d

Y

fni ,a

(mod p).

i=0

4.1. This is an exercise on reading an article. The statement is proven in article [1]. Observe that

2

p1

X

1

i=1

p1

X

1

i=1

p1

X

1

1

+

=p

.

i

pi

i(p i)

i=1

14

1

Hence the sum under consideration is divisible by p. Since 1i pi

(mod p), it remains to check that

p1

X

1

0 (mod p).

i2

prove that

i=1

1

(p1)2

p1

X

i=1

Let

p1

P

i=1

i2 0 (mod p).

(5)

i2 s (mod p). It p > 5 we can always choose a, such that a2 6 1 (mod p). Then the sets

{1, 2, . . . , p 1} and {a, 2a, . . . , (p 1)a} coincide (the proof is the same as in the footnote) and

s

p1

X

i =

i=1

p1

X

(ai) = a

i=1

p1

X

i=1

i2 a2 s (mod p) .

that for p = 4k + 3 the equation x2 + 1 = 0 has no solutions in the set of residues modulo p, and hence the

denominators of all fractions are non zero.

S o l u t i o n 1. Let ai = i2 + 1, i = 0, . . . , p 1. Then the expression equals

p1 (a0 , a1 , . . . , ap1 )

,

p (a0 , a1 , . . . , ap1 )

where i is an elementary symmetrical polynomial of degree i. Find the polynomial for which the numbers

ai are its roots:

p1

Y

(x 1 i2 ).

i=0

p1

Y

i=0

t2

and obtain

(t i ) =

p1

Y

i=0

(t i)

p1

Y

i=0

p1

Y

i=0

(x 1 i2 ) (x 1)p 2(x 1)

p+1

2

+ (x 1) = xp + . . . + (p + 2

p1

p

1

2

p+1

2

+ 1)x 4.

2k + 2 (mod p).

pairs and in each pair (i, j)

ij 1

Therefore,

1

i2 j 2 1

(ij)2 + i2 + j 2 + 1

i2 + j 2 + 2

1

1

= 2

+ 2

2

2

2

2

(i + 1)(j + 1)

(i + 1)(j + 1)

i +1 j +1

1

02 +1

1

12 +1

1

(1)2 +1

(mod p).

+ 2k 2k + 2.

1

These sets coincide because they contain p 1 element each, and it is clear that all the reminders in each set are non

zero and pairwise distinct.

15

So it is sufficient to calculate the sum

p1

p1 X

p2

p2

X

X

p 2 2m X p 2

2

p2

(x + 1)

=

(6)

x =

S2m ,

m

m

x=0

where S2m =

p1

P

x=0

x=0 m=0

m=0

p1

2 .

other m 6 p 1. Indeed, for each m we can choose a non zero residue a such that a2m 6 1 (mod p) and

after that we can reason as in (5). For the sum (6) we have

p2

X

p2

p2

4k + 1

(4k + 1) 4k . . . (2k + 1)

S2m p1 =

=

m

2k + 1

1 2 . . . (2k + 1)

2

m=0

2k + 2 (mod p).

1 2 . . . (2k + 1)

a) For each prime divisor p | m choose ap such that p - (akp 1). By the Chinese reminder theorem

choose a such that a ap (mod p) for all p. Then the result can be proven by reasoning as in (5).

b) Observe that for odd k by the binomial formula we have ik + (p ik ) kik1 p (mod p2 ). Then

X

p1

p1

p1 k

p1

p1

X

X

X

X

1

1

1

i + (p i)k

kik1 p

1

=

+

=

kp

(mod p2 ).

2

ik

ik

(p i)k

ik (p i)k

ik (i)k

ik+1

i=1

i=1

i=1

i=1

i=1

4.4. The congruence holds even modulo p7 (see [24]), but it goes a bit strong. We can reason as in [1],

tracing all powers till p4 , and obtain

p1

(2p 1)(2p 2) . . . (p + 1)

2p

2p

2p

=

=

1

1 ...

1

2p 1

p!

1

2

p1

1 2p

The last sum can be expressed via power sums:

p1

X

i,j,k=1

i<j<k

p1

X

1

i=1

S3 S1 S2 S13

1

=

+

,

ijk

3

2

6

+4p2

p1

p1

X

X

1

1

8p3

ij

ijk

i,j=1

i<j

where Sk =

(mod p4 ). (7)

i,j,k=1

i<j<k

p1

X

1

.

ik

i=1

We now that S1 and S3 are divisible by p2 (the latter due to problem 4.3b). Therefore the last term in the

formula (7) can be omitted.

4.5. The problem is from [1], variations can be found in [14]. Since

p1

p1

p1 2

p1

X

X

X

X

1

1

1

k + (p k)2

1

2

=

+

=

2

2

2

2

2

2

k

k

(p k)

k (p k)

k(p k)

k=1

k=1

k=1

(mod p2 ) ,

k=1

p1

X

1

0 (mod p2 ). The statement 2) is equivalent

k(p k)

k=1

p1

p1

p1

X

X

X

1

1

1

1

to the same congruence, because 2

=2

+

= 2p

. Finally we know from the

k

k pk

k(p k)

k=1

k=1

k=1

previous problem that

p1

p1

X

X

2p 1

1

1

2

2

1p

+ 4p

(mod p4 ).

p1

i(p i)

ij

the statement 3) is equivalent to the congruence

i=1

i,j=1

i<j

16

p1

X

i=1

p1

X

1

1

4

i(p i)

ij

(mod p2 ).

(8)

i,j=1

i<j

X

X

p1

p1 2

p1

p1 2

p1

X

X

X

1

1

1

1

1

=2

2

2

+2

.

4

2

ij

i

k

i

k(p k)

i,j=1

i<j

k=1

k=1

k=1

k=1

The sum in brackets is divisible by p, its square is divisible by p2 , and we can omit this term. Then from

p1

X

1

0 (mod p2 ).

(8) we see that the statement 1) is equivalent to the congruence

k(p k)

k=1

(a + b)pn = (a + b)p(n1) (a + b)p

pn

p(n 1) p

p(n 1) p

p(n 1)

p

p(n 1) p

=

+

+ ... +

+

.

pm

pm

0

pm 1

1

pm p + 1 p 1

pm p

p

All summands except first and last are divisible by p2 , because by Lucas theorem each binomial coefficient

is divisible by p. Hence

pn

p(n 1)

p(n 1)

+

(mod p2 ).

pm

pm

p(m 1)

By the induction hypothesis

p(n 1)

p(n 1)

n1

n1

n

+

(mod p2 ).

pm

p(m 1)

m

m1

m

kp

mp

k

m

(mod p2 ) by induction on m.

k

2

To prove the base m = 1 we have to check that pk

p 1 0 (mod p ). We have

S o l u t i o n 2 ([D]). Prove that

pk

k

pk(pk 1) . . . (pk p + 1)

(pk 1)(pk 1) . . . (pk p + 1)

=

k =

1 .

p

1

p!

(p 1)!

(9)

(pk i)(pk p + i) pi2 i2

(mod p2 ).

We see that the product modulo p2 of each pair does not depend on k. Therefore the difference (9) modulo p2

does not depend on k, too. Since it is equal to 0 for k = 1, it is equal to 0 for all k.

kp

k

The step of induction. Let (m1)p

m1

(mod p2 ). We have

kp

mp

kp

(p(k m) + 1)(p(k m) + 1) . . . (p(k m) + p)

=

(m 1)p

pm(pm 1) . . . (pm p + 1)

kp

(p(k m) + 1)(p(k m) + 1) . . . (p(k m) + p 1) k m + 1

=

. (10)

(m 1)p

(pm 1) . . . (pm p + 1)

m

Remark that both fractions are correctly defined modulo p2 . As in the proof of base, the expression in the

numerator of big fraction does not depend (modulo p2 ) on k. Then we can put k = 0 for the calculating

17

the fraction modulo p2 and obtain that it is congruent to 0. For the remaining part of the expression we

can apply the induction hypothesis and obtain

k

km+1

k

=

(mod p2 ).

m1

m

m

b) S o l u t i o n 1 (combinatorial). As it has been suggested in [1], consider samples of kp objects from

the set of pn objects. Let the initial set be split on blocks of p objects. The number of block samples equals

n

3

k . Hence it remains to check that non block samples is divisible by p . But the number of non block

3

samples with 3 or more blocks is divisible by p (see [1]). For k > 1 every non block sample consists of at

least 3 blocks, so in this case the statement is true. It remains to consider a case when k = 1 and we count

the number of non block samples of p objects from the set of 2p objects. This number equals 2p

p 2, by

3

Wolstenholmes theorem it is divisible by p .

split the numerator and the denominator onto blocks

S o l u t i o n 2. In the formula ab = a(a1)...(ab+1)

b(b1)...1

of p terms, reduce the first terms in each block, and collect the quotients in a separate expression:

m 6 p (mp 1) . . . mp (p1) (m1) 6 p (m1)p 1 . . . (m1)p (p1)

mp

...

=

kp

k 6 p (kp 1) . . . kp (p1)

(k1) 6 p (k1)p 1 . . . (k1)p (p1)

(mk+1) 6 p (mk+1)p 1 . . . (mk+1)p (p1)

=

6 p (p 1) . . . 1

(mp 1) . . . mp (p1)

(mk+1)p 1 . . . (mk+1)p (p1)

m

...

=

.

k

(p 1) . . . 1

(kp 1) . . . kp (p1)

It remains to check that the product of fractions is congruent to 1 (mod p3 ). For this prove the congruence

(np 1) . . . np (p1)

1 (mod p3 )

(rp 1) . . . rp (p1)

or, even, it would be better to prove the following congruence

(rp 1) . . . rp (p1)

(np 1) . . . np (p1)

(p 1)!

(p 1)!

(mod p3 ) .

This is true because both parts are congruent to 1 (mod p3 ), that can be shown analogously to the proof

of Wolstenholmes theorem.

4.7. a) [5, theorem 2.14]. Transform the difference

2

p

p

p2 (p2 1) . . . (p2 (p 1))

p

=

p =

(1p2 )(2p2 ) . . . ((p1)p2 )12. . .(p1) .

p

1

1 2 . . . (p 1)p

(p 1)!

It remains to check that

Expand brackets in the l.h.s.:

1

1

(1 p2 )(2 p2 ) . . . ((p 1) p2 ) = 12. . . (p 1)+ p2 1 + + . . . +

(p 1)!+ terms divisible by p4 .

2

p1

s+1

s+1

b) Observe that p p = ps p p11 , hence it is sufficient to prove that

ps+1 1

p1

=

=

1 2 (p 1)

1

2

+ ... +

1

p1

ps+1 1

p1

1 (mod ps+3 ).

s+1

s+1

ps+1

p

p

1

1 ...

1

1

2

p1

1

1

(1)p1 + ps+1 1 + + . . . +

(mod ps+3 ).

2

p1

18

3 2

3

2

p

p

p 1

p 1

=p

=

p2

p

p2 1

p1

3

3

3

2

2

2

p

p

p

p

p

p

=p

1

1 ...

1

1

1 ...

1

=

1

2

p2 1

1

2

p1

2

2

2

2

pY

1 p3

p

p

p

1

1 ...

1

1 1

=p

.

1

2

p1

k

k=1

p-k

It is sufficient to prove that the last bracket is divisible by p7 . Transform the product:

2

k=1

p-k

1

1

p 1

pY

3

pY

2 3

2

2

X

p

p

p6 p5

1

5

(p1)

1 =

1

1

=

+1

1+p

2

2

2

k

k

p k

k(p k)

k(p k)

2 1

pY

p3

k=1

p-k

k=1

p-k

(mod p7 ).

k=1

p-k

Now we have to check that the last sum is divisible by p2 . This is true because by problem 4.3a)

p2 1

2

X

k=1

p-k

p2 1

2

X 1

1

0

k(p2 k)

k2

(mod p2 ).

k=1

p-k

4.9. The statement is taken from [6, theorem 5], its generalization can be found in [7].

k+1

2k

S o l u t i o n 1 ([5, proposition 2.19]). Use the fact that the difference 2 2k 2k1

is equal to the

k

2

coefficient of x in the polynomial

k+1

(1 + x)2

k

k

k

k

(1 x2 )2 = (1 + x)2 (1 + x)2 (1 x)2 =

!

!

k

k

k

k

k

2

k

2

2

k

2

2

x+

x2 + . . . + x2 2

x+

x3 + . . . + k

x2 1 .

= 1+

1

2

1

3

2 1

k

Since the second polynomial contains odd exponents only, the coefficient of x2 in the product equals

k k k k

k k !

2

2

2

2

2

2

2

+

+ ... + k

.

1

2k 1

3

2k 3

2 1

1

By problem 3.5 b) 2k divides each binomial coefficient in this expression, moreover each term occurs twice

in the sum, and the sum itself is multiplied by 2. Thus all the expression is divisible by 22k+2 .

n+1

n+1 1

S o l u t i o n 2 ([CSTTVZ]). Since 2 2n = 2 2 2n 1

, it is sufficient to prove that

2n+1 1

2n 1

2n 1

2n1 1

(mod 22n+1 ).

n+1

n+1

n+1

n

n+1

2

1

2

2

2

2 1

=

1

1 ...

1 n1

.

2n 1

1

3

2n 1

2

1

It is sufficient to prove that

n+1

n+1

n+1

2

2

2

L=

1

1 ...

1 1 (mod 22n+1 ) .

1

3

2n 1

19

n1

L (1)2

1 1 1

1

+ + + ... + n

1 3 5

2 1

2n

2n

2n

n+1

12

+

+ . . . + n1

1 (mod 22n+1 ) .

1 (2n 1) 3 (2n 3)

(2

1)(2n1 + 1)

2n+1

S o l u t i o n 1 (authors proof, 1895). It goes a bit beyond the school curriculum.

Take the formula which expresses cos2n+1 x via cosines of multiple angles,1 or, as they were saying in

that times, write cos2n+1 x in the form handy for integrating:

22n cos2n+1 x = cos(2n+1)x+(2n+1) cos(2n1)x+

(2n+1) 2n

(2n+1) 2n . . . (n+2)

cos(2n3)x+. . .+

cos x.

12

n!

Z

sin(2n + 1)x 2n + 1

22n cos2n+1 x dx =

+

sin(2n 1)x + . . . ,

2n + 1

2n 1

Z/2

1

2n + 1

2n

2n+1

n

+ ... .

2

cos

x dx = ()

2n + 1 2n 1

0

Every first grade student of university knows that it is convenient to use integration by parts for calculating

this integral:

I2n+1

/2

Z/2

Z/2

Z/2

2n+1

2n

2n

=

cos

x dx =

cos x cos x dx = cos x sin x

+2n

cos2n1 x sin2 x dx =

0

Z/2

cos2n1 x(1 cos2 x) dx = 2n I2n1 2n I2n+1 ,

= 0 + 2n

0

therefore I2n+1 =

2n

2n+1

Z/2

cos2n+1 x dx =

0

2n (2n 2) . . . 2

.

(2n + 1)(2n 1) . . . 3

1

2n + 1

(2n+1) 2n . . . (n+2)

2n 2n (2n 2) . . . 2

n

2

= ()

+ ... +

.

(2n + 1)(2n 1) . . . 3

2n + 1 2n 1

n!

Let p = 2n + 1 be a prime number. We obtain the desired congruence by multiplying the last formula by p:

22n

2n (2n 2) . . . 2

()n

(2n 1)(2n 3) . . . 3

(mod p2 ) .

p1

A=

2

X

1

i=1

B=

16i<j6 p1

2

1

,

ij

C=

16i6p1

i is odd

1

.

i

The reader who is interested in question from where do we take it and not satisfied by the answer from some text-book

may wish to use the Eulers formula cos = 21 (ei + ei ) and raise its r.h.s in power 2n + 1 by the binomial formula.

2

When we were learning the rules of multiplication, we just memorized that minus by minus equals plus. In this formula

we multiply signs. If we need to multiply n minuses, the record ()n seems to be appropriate. So we leave the old-fashioned

notation ()n , used by the author, instead of the modern one (1)n .

Then A2 =

p1

2

i=1

1

i2

20

p1

2C + A =

16i6p1

i

p1

2

X2

2 X

2

+

=

0

i

2i

i

i=1

(mod p2 ).

i=1

So C 12 A (mod p2 ).

Now transform modulo p3 the parts of the given congruence. The l.h.s. is

p1

p1

p

1

p

p

(1) 2

.

.

.

1

1 pA + p2 B 1 pA + p2 A2

p1

p1

1

2

2

2

2

(mod p3 ).

2p1 =

2 4 (p 1) (p + 1) (2p 2)

(p + 1) (2p 2)

p+1

=

=

p1

1 3 5 (p 2)

1 2 2

2 (p 1)

p

p

p

1

1

1

+1

+ 1 ...

+ 1 1 + pC + p2 C 2 1 pA + p2 A2

=

1

3

p1

2

2

8

(mod p3 ) .

Then we have

2

1

1

1

1

1

4p1 1 pA + p2 A2 1 pA + p2 A2 + 2 P 2 A2 = 1 pA + p2 A2

2

8

4

8

2

(mod p3 ).

p1

X

k=1

p1

1

1 X 1

1

=

+

=

mp + k

2

mp + k mp + p k

k=1

p1

p1

2m + 1 X 1

2m + 1 X

1

=p

0 (mod p2 ).

2

(mp + k)(mp + p k)

2

k2

k=1

k=1

4.12. We found this statement in [8]. Since 2pq 1 = (2q 1)p + p 1, the last digit of the number

2pq 1 in base p is p 1, and the remaining digits form the number 2q 1. Similarly the last digit of

the number

pq 1 in base p is p 1, and the remaining part forms the number

q 1. By Lukas theorem

2pq1

2q1 p1

2q1

2pq1

q1 (mod p). On the other hand since pq1 1 (mod pq), then 2pq1

1

pq1 q1

p1

pq1

2q1

2p1

(mod p). So q1 1 (mod p). Analogously p1 1 (mod q).

The inverse statement is trivial.

5.1. a) It follows from problem 1.3. If 00 is a triangle consisting of the first 3 rows of the 3-arithmetical

Pascal triangle, then the sum of its central binomial coefficients is divisible by 3. For arbitrary a the sum

under consideration contains elements of several central triangles, which are multiples of 00 . So the total

sum is divisible by 3, too.

a 1

k

3P

P

k 2

k =

Another solution ([CSTTVZ]) we can derive from the identity 2k

=

.

Then

C2k

k

i

a 1 k

3P

P

k=0 i=0

i=0

k 2

i .

k=0

Since 12 = 22 = 1, 02 = 0 (mod 3), the last sum modulo 3 equals the number of nonzero

elements in the first 3a rows of the Pascal triangle. This number is calculated in the problem 2.1a), it is

divisible by 3.

a 1

3a 1

a 1)

(x + 1)2 (x + 1)4

(x + 1)2(3

+

1+

+

.

.

.

+

x

x2

x3a 1

23a

in the polynomial

a

23a

1

21

=

x

(x+1)23

x3a

(x+1)2

x

23a 1

1

1

a 1

x3

a

23a

x23 2

2

x3 1

(x + 1)23 x3

=

x2 + x + 1

+ . . . + 1 x3

(x 1) .

In order to find this coefficient we will perform the long division of the numerator by the denominator

and then multiply the result by (x 1). We do not need to find the quotient at whole, it is sufficient to

a

that we are trying

perform the division till the moment when the coefficient of x3 2 will be found, remind

.

23a

a

.

to find this coefficient modulo 3 only. Since for b 6 . 3 all the binomial coefficient b are divisible by 3a

(by Kummers theorem), we can collect all these coefficient in a separate sum. When we divide this sum

by x3 1 all the coefficients of the quotient are divisible by 3a therefore we can discard this sum. The

remaining expression is

a

a

a

a

a

a

x23 + 233 x23 3 + 236 x23 6 + . . . + 1 x3

(x 1).

x3 1

All the exponents in the numerator are divisible by 3, hence after division by x3 1 all the exponents of

the quotient are divisible by 3, too, and after the multiplying it by x 1, there will be no exponents of the

form 3k + 2. So the coefficient that we seek equals 0 (mod 3a ).

5.2. This problem was published in Monthly [25]. Since

2n + 2

2n

2n + 1 2n

2n

4

=2

4

= 2Cn ,

n+1

n

n+1 n

n

2n

then Cn 2n+2

n+1 n (mod 3). Therefore this sum is telescopic modulo 3:

n

X

k=1

Ck

2n + 2

2n

2n

2n 2

2n + 2

+ ... =

+1

n+1

n

n

n1

n+1

(mod 3).

So by Kummers theorem we have to clarify when we have at least one carry in the addition of the number

(n + 1) with itself in base 3. It it clear that it happens only if n + 1 contains at least one 2 in base 2.

n1

5.3. This is problem A5 of Putnam Math. Competition, 1998. Since p1 np (1)n

(mod p), we have

k

X

1 p

n=1

p n

k

X

(1)n1

n=1

[k/2]

k

k

X

X 1

X

1

1

=

2

+

n

2n

n

n=1

n=1

n=1

p1

X

n=p[ k2 ]

p1

1 X1

=

0

n

n

(mod p).

n=1

The summation in the sum to the left of asterisk really starts from n = k + 1 (it is easy to check: for

p = 6r + 1 we have k = 4r and p [ k2 ] = 4r + 1 = k + 1, similarly for p = 6r + 5).

5.4. This statement is from [11]. Solution [CSTTVZ]. Induction on n. The base is trivial. Prove the

n

induction step from n0 = n (p 1) to n. Let q = p1

. Since

n0 + p 1

x(p 1)

p1

X

p1

i=0

n0

,

x(p 1) i

q X

p1

X

n

n

n

p1

n0

+

+

+ ... =

=

p1

2(p1)

3(p1)

i

x(p1) i

x=1 i=0

q

!

p1

X

p1 X

n0

=

. (11)

i

x(p1) i

x=1

i=0

22

By the problem 1.1 a) we have p1

(1)i (mod p); let p1

= ap + (1)i . By the problem 1.6 we have

i

i

q

q

P

P

n0

p1

n0

i (mod p) for i = 0, 1, . . . , p2; let

i

(1)

x(p1)i

i

x(p1)i = bp + (1) . Then

x=1

x=1

q

p1 X

n0

= ap + (1)i bp + (1)i 1 + (1)i (ap + bp) =

i

x(p1) i

x=1

!

X

X

!

q

q

p1

n0

p1

n0

i

i

i

= 1+(1)

+

2 (1) = (1)

+

1 (mod p2 ).

i

i

x(p1)i

x(p1)i

x=1

x=1

Remind that these transformations hold for 0 6 i 6 p 2. We can continue equality (11), by separating

the summand for i = p 1:

! q1

q

! X

X

!

p1

p2

q

X

X

n0

n0

n0

p1 X

p1

i

(1)

+

1 +

=

i

x(p1)i

i

x(p1)i

x(p1)

x=1

x=1

x=0

i=0

i=0

X

!

0 X

p2

p2

q

q1

0

X

X

n

n

n0

i p1

i

(1)

(1)

+

.

=

+

(p 1) +

i

x(p1) i

0

x(p1)

i=0

x=1

i=0

x=1

p1

The first sum here equals 1, because p1

+ p1

+ . . . = 0. By the same reasons the second

0

1

2

n0

(double) sum together with the summand 0 equals 0. The last sum equals 1 + p(n0 + 1) by the induction

hypothesis. Therefore the whole expression equals 1 + 0 p + 1 + 1 + p(n0 + 1) = 1 + pn0 . This is exactly

what we need because 1 + p(n + 1) = 1 + p(n0 + p 1 + 1) 1 + pn0 (mod p2 ).

5.5. This is result of Fleck, 1913, it is cited in [18]. Solution [CSTTVZ].

For p = 2 the sum is not alternating and the result is trivial. Let p be odd. We use the induction

0

on q. The base

P follows from the statement 2.5 a). Prove the induction step from n = n (p1) to n. The

expression x below denotes the summation over x in natural bounds (i.e. in bounds for which all the

binomial coefficients are correctly defined). We have

(1)m

m:mj (mod p)

X

X

0

p1

X

n

n +p1

p1

n0

(1)x

=

(1)x

=

=

xp

+

j

m

i

xp

+

j

i

x

x

i=0

p1

X

p1 X

n0

x

=

(1)

.

i

xp + j i

x

i=0

P

(1)x

x

n0

xp+ji ; by the problem 1.1 a)

p1

i

X

p1

p1

X

X

p1 X

n0

n0

(1)x

(1)i

(1)x

i

xp + j i

xp + j i

x

x

i=0

(mod pq ) .

i=0

n0

0

The last (double sum equals 0 1 + 2 n3 + . . . = 0.

5.6. The result of Bhaskaran (1965), it is cited in [18], solution [CSTTVZ].

Induction on n. Let

n

n

n

n

f (n, j) =

+ ...

j

j + (p 1)

j + 2(p 1)

j + 3(p 1)

The base n = p + 1 is trivial, but observe that p+1

1 (mod p) for i = 0, 1, p, p + 1, otherwise this

i

binomial coefficient is divisible by p. Prove the step of induction from n0 = n (p + 1) to n. By the

observation above we have

n0

n0

X

p+1

X

n0 + (p + 1)

n0

p+1

n0

=

=

j + (p 1)k

j + (p 1)k i

i

j + (p 1)k i

i=0

i{0,1,p,p+1}

n0

n0

n0

n0

=

+

+

+

(mod p) .

j + (p 1)k

j 1 + (p 1)k

j 1 + (p 1)(k 1)

j 2 + (p 1)(k 1)

23

P

n

Since f (n, j) = k (1)k j+k(p1)

is an alternating sum, the underlined summands cancel (except the

first and the last, but these summands are equal to 0 due to incorrect binomial coefficietns). So we obtain

the equalities

f (n, j) f (n0 , j) f (n0 , j 2)

j > 1 ,

Now the part only if of the problem statement follows from the induction hypothesis, and the part if,

too: if f (n, j) 0 (mod p) for j = 1, 3, . . . , p 2, then

f (n0 , p 2) f (n0 , p 4) . . . f (n0 , 1) f (n0 , p 2) ,

.

.

from where f (n0 , j) 0 (mod p) for all required j, and then n0 .. (p + 1), hence n .. (p + 1).

References

The authors of many solutions are participants of the conference:

[D] Didin Maxim;

[] Krekov Dmitri;

[J] Jastin Lim Kai Ze;

[T] Teh Zhao Yang Anzo;

[CSTTVZ] Cevid

Domagoj, Stokic Maksim, Tanasijeviic Ivan, Trifunovic Petar, Vukorepa Borna, Zikeli

c ore

[1] . . . // . . . . 12.

2008

[2] .., .. . . . .: . ., 2000.

[3] .., .. . 2- . .: , 2004.

[4] , 19611993. : , 2007.

[5] .., .. . 30 . .: ,

2011.

[6] .., .. // . 1970. 6. . 1725.

[7] .. // . 1971. 10. . 1620.

[8] Cai T.X., Granville A. On the residues of binomial coefficients and their products modulo prime powers /!/ Acta

[9] Calkin N. J. Factors of sums of powers of binomial coefficients // Acta Arith. 1998. Vol. 86. P. 1726.

[10] Carlitz L. A note of Wolstenholmes theorem // Amer. Math. Monthly. 1954. Vol. 61. 3. P. 174176.

[11] Dimitrov V., Chapman R. Binomial coefficient identity: 11118 // Amer. Math. Monthly. 2006. Vol. 113. 7. P. 657658.

[12] Everett W. Subprime factorization and the numbers of binomial coefficients exactly divided by powers of a prime //

Integers. 2011. Vol. 11. # A63. http://www.integers-ejcnt.org/vol11.html

[13] Fine N. Binomial coefficient modulo a prime // Amer. Math. Monthly. 1947. Vol. 54. 10. Part 1. P. 589592.

[14] Gardiner A. Four problems on prime power divisibility // Amer. Math. Monthly. 1988. Vol. 95. 10. P. 926931.

[15] Gauss K. Disquisitiones arithmeticae. 1801. Art. 78.

[16] Gessel I. Wolstenholme revisited // Amer. Math. Monthly. 1998. Vol. 105. 7. P. 657658.

[17] Granville A. Arithmetic properties of binomial coefficients. http://www.dms.umontreal.ca/~andrew/Binomial/

[18] Granville A. Binomial coefficients modulo prime powers.

[19] Granville A. Zaphod Beeblebroxs Brian and the Fifty-ninth Row of Pascals Triangle // Amer. Math. Monthly. 1992.

Vol. 99. 4. P. 318331.

[20] Granville A. Correction to: Zaphod Beeblebroxs Brian and the Fifty-ninth Row of Pascals Triangle // Amer. Math.

Monthly. 1997. Vol. 104. 9. P. 848851.

[21] Hinz A. Pascals triangle and tower of Hanoi // Amer. Math. Monthly. 1992. Vol. 99. 6. P. 538544.

[22] Loveless A. A congruence for products of binomial coefficients modulo a composite // Integers: electronic journal of comb.

number theory 7 (2007) # A44

[23] McIntosh R. On the converse of Wolstenhomes theorem // Acta Arithmetica. 1995. Vol. 61. 4. P. 381388.

[24] Mestrovic R. On the mod p7 determination of 2p1

// http://arxiv.org/pdf/1108.1174v1.pdf

p1

[25] More Y., Chapman R. The sum of Catalan numbers, modulo 3: 11165 // Amer. Math. Monthly. 2007. Vol. 114. 5.

P. 454455.

[26] Morley F. Note on the congruences 24n ()n (2n)!/(n!2 ), where 2n + 1 is a prime // Annals of Math. 1894-1895. Vol.

9. 1. P. 168170.

[27] Roberts J. On binomial coefficient residues // Canad J. Math. 1957. Vol. 9. P. 363370.

[28] Sun Z.-W., Wan D. On Fleck quotients // arXxiv:math.0603462v3

- Wiley s Mathematics for IIT JEE Main and AdvancedTrigonometry Vector Algebra Probability Vol 2 Maestro Series Dr. G S N Murti Dr. U M Swamy ( PDFDrive.com ).pdfTransféré parDavid Tallat Ibrahim Wasef
- Fibonacci CardinalityTransféré parmurat
- Complex Integration and Cauchy's TheoremTransféré parKevin G. Rhoads
- cambridge maths syllabus 2013Transféré parRamzali Akhiar
- scavenger huntTransféré parapi-334160100
- 9709_y14_syTransféré parrachna357
- IGCSE2009_FurtherPureMathematics_TSMTransféré parleobuddy
- MathematicsTransféré parshunmugathason
- Std09 II Maths EMTransféré parPavan Kumar
- Coaster Challenge Intro & GuidelinesTransféré parenakins
- MTE1064 PRE-CALCULUS_student EditionTransféré parMuhammad Aslam Abdul Hashim
- 9709_y14_syTransféré parMustafa Ali
- Ecucaciones Creo.txtTransféré parlolazo
- 201220_22736Transféré parZakariyyah Odewale
- 9709_y14_syTransféré parGeorgiana Crivat
- MATLAB Week1 Lecture3 WebTransféré parRoberto Sanchez
- Test 3 MathTransféré parBagus Ali Fikri
- Combinatorics+AnswersTransféré parAnonymous Mr7AWAnTr
- MM1MS1 Exam Formula SheetTransféré parJames Joe . Woon
- MATH1014_TT1_2012W_Version_2Transféré parexamkiller
- Solomon H MSTransféré parLeen Jabban
- RecursionTransféré parKris Bra
- v16_n1Transféré parlovemath213
- EN(1378)Transféré parreacharunk
- 11848030 Electrical ElectronicTransféré parNover Alphos
- SLN_2.pdfTransféré parAnkur Singh
- F4 Mid year 09Transféré parkhooyapron
- 9709_y13_syTransféré parWilson Christian
- deriv1.pdfTransféré parAsim Zeeshan
- Placement QnsTransféré parManjunath Mohite

- Economics and Optimization TechniquesTransféré parKiran Kuppa
- Evolutionary Game TheoryTransféré parKiran Kumar Kuppa
- The Asymmetric Dialog of CivilizationsTransféré parKiran Kumar Kuppa
- Political Islam - An Evolutionary HistoryTransféré parKiran Kumar Kuppa
- Trading Justice for MoneyTransféré parKiran Kumar Kuppa
- Healing Our Sectarian DivideTransféré parKiran Kumar Kuppa
- Anti Americanism in Pakistan - A brief HistoryTransféré parKiran Kumar Kuppa
- The Lambda CalculusTransféré parKiran Kumar Kuppa
- JavaScript Security PresentationTransféré parKiran Kumar Kuppa
- The Rhetoric of TypographyTransféré parKiran Kumar Kuppa
- An Open Letter to Moderate MuslimsTransféré parKiran Kumar Kuppa
- The Root of India-Pakistan ConflictsTransféré parKiran Kumar Kuppa
- Principles of Actuarial ScienceTransféré parKiran Kumar Kuppa
- Future Adaptable Password Scheme (Bcrypt)Transféré parKiran Kumar Kuppa
- The untold story of Pakistan’s blasphemy lawTransféré parKiran Kumar Kuppa
- Finite State AutomataTransféré parKiran Kumar Kuppa
- Python Scientific TutorialTransféré parpietoes
- Classification and Regression Trees (CART) Theory and ApplicationsTransféré parKiran Kumar Kuppa
- _The Lack of_ Design Patterns in Python PresentationTransféré parossjunkie
- station islandTransféré parpiej1209
- Regression Trees with Classification (CART)Transféré parKiran Kumar Kuppa
- Modeling Categories and Sub Categories using SQLTransféré parKiran Kumar Kuppa
- Innovations in Payment Technologies and the Emergence of Digital CurrenciesTransféré parKiran Kumar Kuppa
- Mathematics UPIL CatalogueTransféré parKiran Kumar Kuppa
- Dos and Dont's for Portable Android User InterfacesTransféré parKiran Kumar Kuppa
- Combinatorial EnumerationTransféré parKiran Kumar Kuppa
- Combninatorial Mathematics 2Transféré parKiran Kumar Kuppa
- Electronic Payment SystemsTransféré parUtkarsh Sethi
- The Idea of Pakistan.pdfTransféré parKhawar Khan Jadoon

- prasolovTransféré parhellhawk123
- Analytical Method for the Traffic Flow ModelTransféré parhkabir_ju
- PureMaths1980_Pastpaper_P1Transféré parTommy Leung
- quad form proof danica mckellarTransféré parapi-366848645
- Geometrically Exact Beam Theory-Presentation by Palash JainTransféré parpalashj2009
- MECH 374 Numerical Methods in EngineeringTransféré parrodi10
- Textbook Answers OddTransféré parOyla
- Roots of Quadratic EquationsTransféré parbdobee4436
- FORTRAN PROGRAMSTransféré parHorlarthunjiAzeez
- Differnce Between Ctft and DtftTransféré parRicha Kaundal
- Sample TestTransféré parSarah Guimary Pelaris
- Ch06_TortorelliTransféré parchangwoua
- Aspects of Multivariate Statistical Theory - Robb Muirhead (Appendix)Transféré parFadil Habibi Danufane
- 2U MathsTransféré parRicky
- Trigonometric RatiosTransféré parChing Hing Tan
- number systemsTransféré parapi-250124002
- 2007 H2 MathsTransféré parNicholas Teh
- The Finite Element Method a ReviewTransféré parOzlem Ozgun
- Mathematics-Objective-Questions-Part-11.pdfTransféré parMarjan Nurjanah
- Priyar MSc MathsTransféré parJothi Kumar
- Theory of Robust Control (Carsten Scherer)Transféré parErsin Erol
- SL Topic 3.1 & 3.2 Revision NotesTransféré parButchers_BL
- 73760102Transféré parDelgerdalai Batjargal
- 06_Jacobi_Gauss_Seidel (1).pptxTransféré parfredy pico
- 4024_s05_qp_2Transféré parmstudy123456
- 9780387955872-c6Transféré parAngelRaulGarciaRamirez
- saaty1993Transféré parCarito Standen
- simaxTransféré parKrishnan Guruvayur
- Extracted Pages From 250 Problems in Elementary Number Theory - Sierpinski (1970)Transféré parPham Thi Thanh Thuy
- w7-234-hTransféré parStelios Kondos