Search the courses, subjects, tracks, games and features, or jump straight to a page.
Learn it your way
A short class with Sarah and her students. The other ways are under More.
Sign up free to listen. Transcripts are free to read.
Welcome! Today, we’ll be discussing the Pigeonhole Principle. Can anyone tell me what it is?
Isn't it about putting items into boxes? If you have more items than boxes, some boxes must contain more than one item?
Exactly! This principle is critical in proofs and combinatorial arguments. Let’s see how it applies in different scenarios.
Can we see an example?
Yes, let's consider five distinct points in a plane...
...Given five points with integer coordinates, we'll classify them into four categories based on whether their x and y coordinates are odd or even.
So, what will happen with the midpoints?
Using the Pigeonhole Principle, since we have five points, at least two must share the same category, ensuring their midpoint has integer coordinates.
That’s clever! Can you show us the midpoint formula again?
Of course! The midpoint formula is…
I think I understand that now!
Let’s move on to selecting five integers from the set of 1 to 8. Who can tell me how we might find pairs that sum to 9?
We can list them? Like, 1, 8 or 2, 7?
Right! Let's categorize our integers into pairs that sum to 9. Now, if we have five integers...
There’s bound to be a match due to the Pigeonhole Principle?
Exactly! If we consider our pairs, we’ll always find at least one pair among any five choices.
Finally, let’s tackle universally quantified statements. Can someone explain what that means?
I think it means it’s true for all cases, right?
Correct! Now we can prove that for every integer, there exists a multiple made up of the digits 0 and 1.
How do we even start?
Let’s define sequences of numbers using 1s, consider their remainders when divided by our integer, and apply the Pigeonhole Principle!
A principle used in combinatorics that asserts if n items are placed into m containers, with n > m, then at least one container must hold more than one item.
The average of the x-coordinates and y-coordinates of two points, resulting in a point also consisting of integer coordinates.
Relates to the concept of summation, specifically identifying pairs that equal a given total.
If you have more than seats, a few must rest their feet. In pigeonholes so tight, some box must hold more than slight.
Imagine a flock of pigeons trying to fit into their holes, but with so many birds and not enough holes, a few pigeons end up sharing!
PPP: Pigeonhole Principle Proof - Pigeons, Holes, and Pairs.
PIGEON: Pigeonholes Integrated Guarantee Every One Needs (to connect to the proof).
Term
Pigeonhole Principle
Click to flip
Term
Midpoint
Click to flip
Term
Pairs of Integers
Click to flip
A combinatorial principle stating that if more items are put into containers than there are containers, at least one container must hold more than one item.
The point that is halfway between two coordinates; mathematically represented as ((x1 + x2)/2, (y1 + y2)/2).
Coordinates in a plane whose values are integers, hence can be represented as (x,y) where x and y are integers.
A pair of numbers from a Cartesian product consisting of an 'x' value and a 'y' value, written as (x,y).
This section introduces the Pigeonhole Principle and its application in proving the existence of certain pairs within sets.
In this section, we explore various applications of the Pigeonhole Principle through examples such as distinct points in a plane and pairs of integers whose sum equals a specific value. The principle is used effectively to demonstrate that certain combinations or pairs must exist based on counting arguments.
In this section, we delve into the Pigeonhole Principle, a fundamental concept in combinatorics that states that if more items are placed into fewer containers than there are items, at least one container must contain more than one item.
We start by examining distinct points in a two-dimensional plane with integer coordinates. Given any five such points, we use the Pigeonhole Principle to show that there always exists at least one pair of those points whose midpoint will have integer coordinates. By classifying each point based on the parity (odd/even) of their x and y coordinates, we establish a mapping to four potential categories; thus, with five points (pigeons) allocated to four categories (holes), at least two points must share the same category.
Next, we extend this reasoning to selecting five integers from the set {1, 2, 3, 4, 5, 6, 7, 8}. We demonstrate that irrespective of the selection, at least one pair will sum to nine, identifying the pairs and applying the mapping approach to elucidate our findings.
The section concludes with a discussion on proving universally quantified statements using the Pigeonhole Principle, exemplified by illustrating how every integer has a multiple composed of only the digits 0 and 1. The method involves constructing numbers of 1s, identifying remainders upon division, and concluding the existence of a suitable multiple.