Functions - 5
Theorem of Friends and Strangers
Show that in any group of six people there are either three who all know each other or three complete strangers.
On this graph blue is people who know each other and red is people who don’t. From the graph you can see that only two people will know each other.
What the question is saying is that no matter how you colour this you will always have a triangle of three people with red lines (don’t know) or blue lines (do know).
Proof
Let
Construct
This means that we are taking out the person
Case 1
Suppose that
Dotted means don’t know.
Case 1.1
There is a pair who know each other.
Case 1.2
There is no pair who know each other.
So
Case 2
Dotted means don’t know.
Case 2.1
Case 2.2
Three is a pair who don’t know each other.
As you can see in any case there is a triangle of three people with links stating that they know or don’t know each other in any case. This proves the statement. This is as we can see that three know or don’t know each other in any situation.