Math 2.0

statement theorem

Theorem on friends and strangers

Statement

Colour each edge of the complete graph K6K_6 red or blue. Then there are three vertices such that the three edges between them have the same colour.

Remarks

Proof: a vertex vv has 55 edges, so at least 33 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 vv. Otherwise these three ends form a red triangle. The number 66 is the least possible: K5K_5 has a colouring with no triangle of one colour. Thus the Ramsey number R(3,3)R(3, 3) is 66.

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.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complete graph example
  2. Theorem on friends and strangers statement

Sources

  1. Web https://en.wikipedia.org/wiki/Theorem_on_friends_and_strangers, Statement