Dr. Neale simply beautifully nudges, gently encourages mathematics olympiad students to learn to think further on their own…

Mathematics demystified

April 25, 2018 – 12:51 pm

Dr. Neale simply beautifully nudges, gently encourages mathematics olympiad students to learn to think further on their own…

April 10, 2015 – 9:39 am

One powerful tool in the theory of enumeration as well as in prime number theory is the inclusion-exclusion principle (sieve of Erathosthenes). This relates the cardinality of the union of certain sets to the cardinalities of the intersections of some of them, these latter cardinalities often being easier to handle. However, the formula does have some handicaps, it contains terms alternating in sign, and in general it has too many of them!

A natural setting for the sieve is in the language of probability theory. Of course, this only means a division by the cardinality of the underlying set, but it has the advantage that independence of occurring events can be defined. Situations in which events are almost independent are extremely important in number theory and also arise in certain combinatorial applications. Number theorists have developed ingenious methods to estimate the formula when the events (usually divisibility by certain primes) are almost independent. We give here the combinatorial background of some of these methods. Their actual use, however, rests upon complicated number theoretic considerations which are here illustrated only by two problems.

It should be emphasized that the sieve formula has many applications in quite different situations.

A beautiful general theory of inclusion-exclusion, usually referred to as the theory of the Mobius function is due to L. Weisner, P. Hall and G. C. Rota.

**Question 1: In a high school class of 30 pupils, 12 pupils like mathematics, 14 like physics and 18 chemistry, 5 pupils like both mathematics and physics, 7 both physics and chemistry, 4 pupils like mathematics and chemistry. There are 3 who like all three subjects. How many pupils do not like any of them?**

**Question 2: (a) The Sieve Formula: **

Let be arbitrary events of a probability space . For each

, let

,

and let ,

Then,

**Question 2: (b) (Inclusion-Exclusion Formula) **

Let , where S is a finite set, and let

, . Then,

**Hints:**

1) The number of pupils who like mathematics or physics is not . By how much is 26 too large?

2) Determine the contribution of any atom of the Boolean Algebra generated by on each side.

**Solutions.**

1) Let us subtract from 30 the number of pupils who like mathematics, physics, chemistry, respectively:

.

This way, however, a student who likes both mathematics and physics is subtracted twice; so we have to add them back, and also for the other pairs of subjects:

.

There is still trouble with those who like all three subjects. They were subtracted 3 times, but back 3 times, so we have to subtract them once more to get the result:

/

2) (a) Let

be any atom of the Boolean algebra generated by (with an appropriate choice of indices, every atom has such a form.) Every event in the formula is the union of certain (disjoint) atoms; let us express each and as the sum of the probabilities of the corresponding atoms. We show that the probability of any given atom cancels out.

The coefficient of on the left hand side is

and

B occurs in if . so its coefficient on the right hand side is

latex 0 if k =0$.

Thus, has the same coefficient on both sides, which proves part a.

Solution (b):

Choose an element x of S by a uniform distribution. Then, can be identified with the event that

, and we have

So, we have, by the above,

, where

, or equivalently

, which in turn equals,

The assertion (b) follows on multiplying by .

More later,

Nalin Pithwa

March 18, 2015 – 3:39 am

**Theorem (1): The product of any n consecutive integers is divisible by **.

**Proof (1): **

For , and to show that the last expression is an integer it is sufficient to show that any prime p which occurs in to at least as high as a power in

. Thus, we have to show that

is greater than or equal to

.

**Note: The Symbol **: If a is a fraction or an irrational number, the symbol will be used to denote the integral part of a.

Now, , and the same is true if we replace p by , in succession, hence the result in question.

**Theorem (2): **If n is a prime, then is divisible by n.

For by the preceding is divisible by and since n is a prime and r is supposed to be less than n, is prime to n. Hence,

is a divisor of

and is divisible by n.

Thus, if a is a prime, all the coefficients in the expansion of except the first and last are divisible by n.

**Homework:**

1) Find the highest power of 5 contained in

2) If n is an odd prime, the integral part of is divisible by .

More later,

Nalin Pithwa