Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Statement

Notation (p. 281). For a finite set X⊂ENX\subset\mathbb{E}^N, the relation EN→rX\mathbb{E}^N\xrightarrow{r}X means that for every partition EN=C1∪⋯∪Cr\mathbb{E}^N=C_1\cup\cdots\cup C_r some class CiC_i contains a set congruent to XX; XX is then called rr-Ramsey. A triangle stands for the set of its three vertices.

Conjecture 11.1.1 (p. 282). For every nonequilateral triangle TT, E2→2T\mathbb{E}^2\xrightarrow{2}T: in every partition of the plane into two classes, one class contains three points forming a triangle congruent to TT.

The chapter states it as the first of three conjectures opening Section 11.1 and attaches no name to it. The equilateral triangle is excluded because the coloring of the plane by alternating half-open horizontal strips of width 1 has no monochromatic equilateral triangle of side 3\sqrt3 (p. 282).

Scope

This is a conjecture, not a result proved in the chapter. The chapter does not say whether degenerate (collinear) triples count as triangles here; its Theorem 11.1.4 does list degenerate triangles among its cases. The stronger Conjecture 11.1.2 follows it on the same page. The same assertion is Conjecture 3 of Euclidean Ramsey Theorems III, which the chapter does not cite at this point.

Source. R. L. Graham, Euclidean Ramsey theory, Chapter 11 of J. E. Goodman, J. O'Rourke and C. D. Tóth (eds.), Handbook of Discrete and Computational Geometry, 3rd edition, CRC Press, Boca Raton, FL, 2017; the notation on p. 281, the conjecture and the strip coloring on p. 282. Pages are those printed on the edition named on the source card.

Read depth. Claims checked: the conjecture and the notation it uses were read clause by clause on the printed pages.

Bears on

  • Problem 173: the conjecture asserts, for each nonequilateral triangle separately, that no two-coloring of the plane misses it. Problem 173 asks instead that each coloring miss at most one triangle, which Conjecture 11.1.2 implies. Neither statement is a restatement of the other: the conjecture does not bound how many equilateral triangles one coloring can miss, and the problem does not require the missed triangle to be equilateral. The chapter proves neither.