The chromatic number of the plane is at least 5 -- a human-verifiable proof

Abstract

We present a new proof of the known fact that the chromatic number of the plane is at least 5. The main difference of this proof is that it can be verified manually without the help of the computer.

References in corpus (1)

• Graph minimization, focusing on the example of 5-chromatic unit-distance graphs in the plane

Cited by in corpus (2)

• Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres
• The chromatic number of the Minkowski plane -- the regular polygon case