Coloring Equilateral Triangles in $\mathbb R^n$

594 Views Asked by At

We start with this

Example: No matter in which way you color the points of $\mathbb R^4$ with two colors, you can always find an equilateral triangle with vertices of the same color. In fact in $\mathbb R^4$ the regular hyper-tetrahedron (the regular 4-simplex) has $5$ vertices, and every $3$ of them form an equilateral triangle as a face. If you are using only two colors, in every coloring of $\mathbb R^4$ there must be $3$ points of the regular hyper-tetrahedron of the same color, and thus there is a monochromatic equilateral triangle in $\mathbb R^4$. Of course this holds for every $\mathbb R^n$ with $n \geq 4$.

Curiosity: Using $k$ colors, every $2k$-dimensional coloring contains a monochromatic equilateral triangle because the regular hyper-tetrahedron has $2k+1$ vertices.

Problem: Find the best dimension $n \geq 2$ such that every coloring with $2$ colors of the points of $\mathbb R^n$ contains a monochromatic equilateral triangle with side length 1.

Since we already solved the case $n\geq 4$, which is the best dimension? 2, 3 or 4?

enter image description here

1

There are 1 best solutions below

1
On BEST ANSWER

I can show it's true in dimension $3$.

Suppose we had a $2$-colouring of $\mathbb R^3$ with no monochromatic triangle of side $1$.
Given any two points of opposite colour, there is a path joining them consisting of an even number of segments of length $1$, and therefore there are two points $a$, $b$ of the same colour (let's say white) with $\|a-b\|=1$. Now the circle $C(a,b)$ consisting of points $c$ with $\|a-c\| = \|b-c\| = 1$ is all of the opposite colour (black). That circle has radius $\sqrt{3}/2 > 1/2$, so for any point $c$ on $C(a,b)$ there is are others $c'$ with $\|c - c'\| = 1$. The circles $C(c,c')$ for $c \in C(a,b)$ form a monochromatic surface looking like this:

enter image description here

This surface does contain points forming an equilateral triangle of side $1$ (shown in blue in the picture). If $a = [0,0,1/2]$ and $b = [0,0,-1/2]$, the vertices of the triangle can be taken to be $[\sqrt{2}/2, 0, \sqrt{3}/2]$, $[(\sqrt{33}+3\sqrt{2})/10, 1/2, (-\sqrt{22} + 3 \sqrt{3})/10]$, $[(\sqrt{33}+3\sqrt{2})/10, -1/2, (-\sqrt{22} + 3 \sqrt{3})/10]$.