IMC 2007 · Problem 4

Day 114th IMC · Blagoevgrad, Bulgaria

Statement

Let GG be a finite group. For arbitrary sets U,V,WGU, V, W \subset G, denote by NUVWN_{UVW} the number of triples (x,y,z)U×V×W(x,y,z) \in U \times V \times W for which xyzxyz is the unity.

Suppose that GG is partitioned into three sets AA, BB and CC (i.e. sets AA, BB, CC are pairwise disjoint and G=ABCG = A \cup B \cup C). Prove that NABC=NCBAN_{ABC} = N_{CBA}.

Official solution

Hidden so you can work on the problem first.