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 such that whenever exactly 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
Detailed analysis
If exactly edges are colored, exactly are uncolored. Choose one point on each uncolored edge; the remaining six points have all mutual edges colored. At one of them, say , at least three of the five incident edges have one color, say red, to points . If any of is red, there is a red triangle with . If none is red, all three are blue, so is a blue triangle. Therefore the least is .