MathLabs

Problem 3

Consider 9 points in space, no 4 coplanar. Each pair is joined by an edge colored red, blue, or left uncolored. Find the smallest nn such that whenever exactly nn edges are colored, there is a triangle whose three edges have the same color.
Step 3 of 4: Check triangles meeting one square twice
In plain words

Check triangles meeting one square twice

i≡j(mod2)⟹χ(RiRj)=0i\equiv j\pmod2\Longrightarrow \chi(R_iR_j)=0
Detailed analysis

Consider RiRjBkR_iR_jB_k. If i≡j(mod2)i\equiv j\pmod2, the edge RiRjR_iR_j is an uncolored diagonal; otherwise RiBkR_iB_k and RjBkR_jB_k have opposite colors. The same argument applies to BiBjRkB_iB_jR_k. Thus no such triangle is monochromatic.