Theorem on friends and strangers
From Wikipedia, the free encyclopedia
The friendship theorem is a mathematical theorem in an area of mathematics called Ramsey theory.
Contents |
[edit] Statement
Suppose a party has six people. Consider any two of them. They might be meeting for the first time—in which case we will call them mutual strangers; or they might have met before—in which case we will call them mutual acquaintances. Now the friendship theorem says:
- In any party of six people either at least three of them are (pairwise) mutual strangers or at least three of them are (pairwise) mutual acquaintances.
[edit] Conversion to a graph-theoretic setting
A proof of the friendship theorem requires nothing but a three-step logic. It is convenient to phrase the problem in graph-theoretic language.
Suppose a graph has 6 vertices and every pair of vertices is joined by an edge. Such a graph is called a complete graph (because there cannot be any more edges). A complete graph on n vertices is denoted by the symbol Kn.
Now take a K6. It has 15 edges in all. Let the 6 vertices stand for the 6 people in our party. Let the edges be coloured red or blue depending on whether the two people represented by the vertices connected by the edge are mutual strangers or mutual acquaintances, respectively. The Friendship Theorem now asserts:
- No matter how you colour the 15 edges of a K6 with red and blue, you cannot avoid both a red triangle—that is, a triangle all of whose three sides are red, representing three pairs of mutual strangers—and a blue triangle, representing three pairs of mutual acquaintances.
[edit] Proof
Choose any one vertex; call it P. There are five edges leaving P. They are each coloured red or blue. The pigeonhole principle says that at least three of them must be of the same colour; for if there are less than three of one colour, say red, then there are at least three that are blue.
Let A, B, C be the other ends of these three edges, all of the same colour, say blue. If any one of AB, BC, CA is blue, then that edge together with the two edges from P to the edge's endpoints forms a blue triangle. If none of AB, BC, CA is blue, then all three edges are red and we have a red triangle, namely, ABC.
[edit] Ramsey's paper
The utter simplicity of this argument, which so powerfully produces a very interesting conclusion, is what makes the friendship theorem appealing. In 1930, in a paper entitled 'On a Problem in Formal Logic,' Frank P. Ramsey proved a very general theorem (now known as Ramsey's theorem) of which the friendship theorem is a simple case. This theorem of Ramsey forms the foundation of the area known as Ramsey theory in combinatorics.
[edit] Boundaries to the friendship theorem
The conclusion to the friendship theorem does not hold if we replace the party of six people by a party of less than six. To show this, we give a coloring of K5 with red and blue that does not contain a triangle with all edges the same color. We draw K5 as a pentagon surrounding a star. We color the edges of the pentagon blue and the edges of the star red. Thus, 6 is the smallest number for which we can claim the conclusion of the friendship theorem. In Ramsey Theory, we write this fact as:
R(3,3:2) = 6.
[edit] References
- V. Krishnamurthy. Culture, Excitement and Relevance of Mathematics, Wiley Eastern, 1990. ISBN 81-224-0272-0.
[edit] External links
- Party Acquaintances at cut-the-knot (requires Java)
