In any of order , there must be two distinct sharing the same . This is the core claim of the proposition.
The proposition leverages the , which in this context says you cannot assign vertices to different degrees in without a repeat.
Interpreting the degrees as “pigeonholes” and vertices as “pigeons” immediately suggests that at least two pigeons land in the same hole, i.e., two vertices have equal degree.
This result highlights a fundamental constraint on how degrees can be distributed in a finite .
In a path on vertices, the degrees are , so the two end vertices both have degree .
It’s like placing socks into boxes labeled where box ends up empty, forcing two socks into the same remaining box.
Proof by Contradiction
Assume, towards a , that all vertices of have pairwise different .
Then the function
is injective, since no two vertices share the same degree.
But equals the size of , so an injective map between two finite sets of equal size must also be surjective.
This sets up the contradiction, because the map cannot cover all degree values.
If has vertices, an injective map to would require using each degree exactly once.
It’s like trying to seat guests at chairs but insisting nobody sits in a particular chair; eventually someone must.
Injection Implies Surjection
Since is injective and both domain and codomain have size , it follows that
Every degree value is achieved by some vertex.
In particular, there must be a vertex of degree and a vertex of degree under this assumption.
This would mean one vertex connects to all others while another connects to none, coexisting in the same graph.
Such a scenario leads to an impossibility in any simple .
In a hypothetical -vertex graph, one vertex would have degree and another degree if all degrees – occur.
It’s like having a superstar who knows everyone at a party and a recluse who knows no one—yet they’re in the same tightly knit gathering.
The Impossibility of Surjection
If a vertex has degree , it is adjacent to every other vertex in , so no vertex can have degree .
Hence , contradicting surjectivity which demands some vertex of degree .
This contradiction nullifies the assumption that all degrees are distinct.
Therefore two vertices must share the same , proving the proposition.
In any simple -vertex graph, you cannot simultaneously have someone who shakes hands with everyone and someone who shakes hands with nobody.
You can’t have a universal celebrity and a complete hermit at the same small party without overlapping acquaintances.
Conclusion
By assuming all vertices have distinct degrees, we invoked the to force injectivity and hence surjectivity of the degree map .
Surjectivity implies both a vertex of degree and one of degree , which is impossible in a single simple .
This guarantees that at least two vertices must share the same , completing the proof.