Subset Y, |Y| = 2007 and mod(a - b + c - d + e, 47) <> 0
Source: IMO Shortlist 2007, N3, AIMO 2008, TST 2, P3
July 13, 2008
modular arithmeticnumber theoryDivisibilityExtremal combinatoricsAdditive combinatoricsIMO Shortlist
Problem Statement
Let be a set of 10,000 integers, none of them is divisible by 47. Prove that there exists a 2007-element subset of such that a \minus{} b \plus{} c \minus{} d \plus{} e is not divisible by 47 for any
Author: Gerhard Wöginger, Netherlands