Solve Logic Problem Using Pigeonhole Principle

  • Thread starter Thread starter chem3
  • Start date Start date
AI Thread Summary
The discussion revolves around a logic problem that utilizes the pigeonhole principle to demonstrate that among n integer numbers, at least two must have a difference that is a multiple of n-1. The participant expresses difficulty in solving the problem and seeks assistance, particularly regarding the application of counting principles and modulo arithmetic. They mention the formula for choosing pairs from n elements and explore the concept of remainders when dividing by n-1. The conversation highlights the importance of understanding remainder arithmetic to find the solution. Ultimately, the problem emphasizes the relationship between differences and remainders in modular arithmetic.
chem3
Messages
6
Reaction score
0
Hello,

I have this logic problem which I know should be solved by the pigeonhole principle but I was not successful in solving it after many tries and I hope someone here would help me out.

The problem says:
n integer numbers are given. Show that there are at least two numbers among them whose difference is multiple of n-1.
 
Physics news on Phys.org
How many pairs are there? How many remainders mod n-1 are there?
 
matt grime said:
How many pairs are there? How many remainders mod n-1 are there?

That's all what the question said!
I think it may need some other logic principles used along with the pigeonhole principle to solve it?
 
Ok from counting principles: The numbers of pairs you can choose from a group of n elements (order does not matter here) is:

(n // 2) i.e. n choose 2
and that's = n!/((n-2)!2!) = ... = n(n-1)/2

I got stuck right there!
 
Last edited:
Have you met modulo, or clock, arithemetic? It is an important piece of mathematics, and one you were introduced to at the very start of your mathematics education: remainder arithmetic. Take one of those pairs. What is the remainder on division by n-1? It is one of 0,1,2,3,4,..,n-2 (e.g. after dividing by 8, you have remainder 0,1,2,3,4,5, or 7). Being divisible by n-1 means having remainder 0.

Suppose I tell you that x-y has remainder r on division by n-1, and that x-z has remainder s, what is the remainder of z-y? Hint z-y = (x-y)-(x-z).
 
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...

Similar threads

Back
Top