MathLabs

Problem 4

Let ABCABC be an equilateral triangle and let E\mathcal E be the union of its three sides. Determine whether every partition of E\mathcal E into two disjoint subsets has one subset containing the vertices of a right-angled triangle. Justify your answer.
Step 3 of 5: Choose a cyclic triple of projections
BC=3BU,U∈BC,U↦V∈CA↦T∈ABBC=3BU,\qquad U\in BC,\quad U\mapsto V\in CA\mapsto T\in AB
Detailed analysis

We may therefore assume that every side contains at least two points of each color. Choose U∈BCU\in BC with BC=3BUBC=3BU. Let V∈CAV\in CA be the orthogonal projection of UU onto CACA, and let T∈ABT\in AB be the orthogonal projection of VV onto ABAB. In an equilateral triangle, the projection of TT onto BCBC is again UU; hence UV⊥CAUV\perp CA, VT⊥ABVT\perp AB, and the three points form the standard cyclic configuration of the proof.