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 4 of 4: Show 33 colored edges force a monochromatic triangle
In plain words

Show 33 colored edges force a monochromatic triangle

n≥33n\ge33
Detailed analysis

If exactly 3333 edges are colored, exactly 33 are uncolored. Choose one point on each uncolored edge; the remaining six points have all mutual edges colored. At one of them, say XX, at least three of the five incident edges have one color, say red, to points A,B,CA,B,C. If any of AB,BC,CAAB,BC,CA is red, there is a red triangle with XX. If none is red, all three are blue, so ABCABC is a blue triangle. Therefore the least nn is 3333.