MathDB
IMO ShortList 1999, combinatorics problem 7

Source: IMO ShortList 1999, combinatorics problem 7

November 14, 2004
countingSubsetsSet systemsDivisibilitycombinatoricsIMO Shortlistcombinatorial inequality

Problem Statement

Let p>3p >3 be a prime number. For each nonempty subset TT of {0,1,2,3,,p1}\{0,1,2,3, \ldots , p-1\}, let E(T)E(T) be the set of all (p1)(p-1)-tuples (x1,,xp1)(x_1, \ldots ,x_{p-1} ), where each xiTx_i \in T and x1+2x2++(p1)xp1x_1+2x_2+ \ldots + (p-1)x_{p-1} is divisible by pp and let E(T)|E(T)| denote the number of elements in E(T)E(T). Prove that E({0,1,3})E({0,1,2})|E(\{0,1,3\})| \geq |E(\{0,1,2\})| with equality if and only if p=5p = 5.