Solution:
We have to prove that if the edges of a complete graph with 9 vertices are colored in blue and red in such a way that there is no blue quadrilateral then its vertices can be partitioned into 4 groups without any blue edges inside any group.
Lemma 1. The edges of a complete graph with 6 vertices are colored in blue and red in such a way that there is no blue quadrilateral and its vertices can not be partitioned into 3 groups without blue edges inside any group. Then the graph does not contain a red triangle.
Proof. It is well known that the complete graph with 6 vertices and edges colored in two colors (red and blue) has an one-colored triangle. Denote the vertices of the graph by v1,v2,…,v6 and assume the existence of a red triangle v1v2v3. If some edge vivj,i,j∈{4,5,6}, is red, then {v1,v2,v3},{vi,vj} and {vk},k=1,2,3,i,j, is a partition which is supposed not to exist.
Therefore v4v5v6 is a blue triangle. Now the condition implies that for every i=1,2,3 at least one of the edges vivj,j=4,5,6, is red. If the edges v1v4 and v2v4 are red then v1v2v4 is a red triangle and, as above, v3v5v6 is a blue triangle. Now, if the edge v3v4 is blue, then v3v4v5v6 is a blue quadrilateral and, if the edge v3v4 is red, then we have the partition {v1,v2,v3,v4},{v5} and {v6}, a contradiction, which completes the proof of the lemma.
Lemma 2. Under the conditions of Lemma 1 all red edges of G form a cycle of length 5.
Proof. We know from Lemma 1 that G does not contain a red triangle.
Without loss of generality we can assume that the edges v1v2 and v3v4 are red. If all edges vivj for i=1,2,j=3,4 are red, then the partition {v1,v2,v3,v4},{v5} and {v6} ensures a contradiction. So, let v2v4 be blue. Since the quadrilateral v2v4v5v6 can not be blue, we may assume without loss of generality that the edge v4v6 is red. Now v3v6 is blue (otherwise v3v4v6 is a red triangle) and v3v5 is blue (otherwise we have the partition {v1,v2},{v3,v5} and {v4,v6} for a contradiction).
If the edge v1v3 is red then using the conditions of the problem we see that the edge v2v5 is blue, the edge v2v6 is red and the edges v1v6,v1v5,v4v5 and v1v4 are blue. We finally conclude that the red edges in G are v1v2,v2v6,v6v4, v4v3 and v3v1 and they form a cycle of length 5 as desired.
If the edge v1v3 is blue, then similar arguments lead to a contradiction. This completes the proof of the lemma.
Let us now consider a graph with 9 vertices v1,v2,…,v9, satisfying the given conditions. It is known that such a graph contains a red triangle or a blue quadrilateral. Since the latter is impossible we have a red triangle v7v8v9, say. If the induced graph v1…v6 can be divided into three groups without blue edges inside any group then we obtain the required division of G.
Otherwise Lemma 2 implies that we may assume without loss of generality that the edges v1v2,v2v3,v3v4,v4v5 and v5v1 are red.
If the edges viv6,i=7,8,9, are red then {v6,v7,v8,v9},{v1,v3},{v2,v4} and {v5} is the desired division. If the edge v7v6 is blue while the edges v8v6 and v9v6 are red then at least three of the edges v7vi,i=1,2,…,5, are red and we easily have the desired division (otherwise we get a red quadrilateral).
Similar arguments solve the two remaining cases: when two of the edges v6v7,v6v8 and v6v9 are blue and one is red, and when all of them are blue.