Problem 1
Let . Prove that there exists infinitely many such that
Solution
Since we can choose independently of , the above is true when .
Let be an integer. Divide the interval into equal parts . Consider the numbers , , …, . If for any , we are done, since . Else, due to the pigeon hole principle, there must exist such that for . Then,
Problem 2
Consider a complete graph on vertices, where for some . Color the edges red or blue. Show that there exists either a red clique or a blue clique of size .
Solution
This is an algorithmic proof. Initialize and . Pick . Let have red edges and blue edges. If , append to and delete all the vertices it was connected to through blue edges. Else, append to and delete all the vertices it was connected to through red edges. Note that after the first step, the number of vertices in the graph is bounded below by .
Pick another , and repeat. After the th step, the number of vertices in the graph will be at least . This guarantees that we will be able to perform steps before we run out of vertices. After steps, or . Take a subset of size from the larger one.
Problem 3: Thue’s Lemma
Let be a prime, . Then, there exist such that and .
Problem 4: Fermat’s Christmas Theorem
If , there exist such that .
Problem 5
There are boys and girls. Each boy likes girls, and each girl likes boys. For what values of and is a mutual liking guaranteed?