statement theorem
Theorem on friends and strangers
Statement
Colour each edge of the complete graph red or blue. Then there are three vertices such that the three edges between them have the same colour.
Remarks
Proof: a vertex has edges, so at least of them have one colour, say blue, by the pigeonhole principle. If an edge between their ends is blue, it closes a blue triangle with . Otherwise these three ends form a red triangle. The number is the least possible: has a colouring with no triangle of one colour. Thus the Ramsey number is .
Explanations
L1 human
At any party of six people, there are three people who all know each other, or three who are all strangers to each other. With five people this can fail.
What this node needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (0 of 1)
The writing levels say how complete the text of a node is. They do not measure its truth.
What this needs
To read this node, read these 2 nodes in this order. The foundations come first, and the list ends with this node.
- no evidence level
- Complete graph example
- Theorem on friends and strangers statement
Sources
What links here
No node links to this node yet.