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 2 of 4: Check triangles through XX
In plain words

Check triangles through XX

RiBj=R⟺i≡j(mod2)R_iB_j=R\Longleftrightarrow i\equiv j\pmod2
Detailed analysis

If XYXY and XZXZ have the same color, then Y,ZY,Z lie in the same square. Their joining edge is either one of the uncolored diagonals or has the opposite color, so XYZXYZ is not monochromatic.