Find the largest integer n for which there exist n different integers such that none of them are divisible by either of 7,11 or 13, but the sum of any two of them is divisible by at least one of 7,11 and 13.
Problem
Source: Baltic Way 2009
Tags: analytic geometry, pigeonhole principle, number theory unsolved, number theory
01.12.2009 05:08
the answer is actually 8. we may represent each integer by a triple (a,b,c), where a,b,c are the remainders upon division by 7, 11, 13, respectively. for each remainder a, let a′ denote the complementary remainder; e.g., the complementary remainder modulo 7 of 3 is 4. for two n-tuples (a1,...,an), (b1,...,bn) of remainders, we say that they "match" in the i-th position if ai=b′i. a set of n-tuples will be called "matching" if any two of them match in at least one position; otherwise, we call them "mismatched." so the statement we want to prove is, that a set of matching triples must have size at most 8. first we prove the following lemma. Lemma: a set of matching pairs can have size at most 4. Proof: assume, for a contradiction, that we have a set of 5 matching pairs, and let a,b,c,d,e denote these pairs. assume for the moment that a matches 3 of the other pairs - WLOG we may assume they are b,c,d - in the first position. then b,c,d coincide in the first position, so any two of them must match each other in the second position - but this is impossible. so a can match at most 2 of the other pairs in the first position, and similarly it can match at most 2 of the other pairs in the second position. since there are four other pairs, a must match *exactly* 2 in the first position and 2 in the second position. now let a=(x,y). by what we've just proved, the other pairs must be of the form (x,a),(x,a′),(b,y),(b′,y). now, for (x,a′) to match (b,y), we must have either x=b′ or y=a. in both cases, we have 3 pairs which coincide in one position, which as before, is impossible. this completes the proof of the lemma. now to the result we want to prove. assume, for a contradiction, that we have a set of 9 matching triples. take the 9 numbers in the first coordinates of these triples and partition them into two sets so that no two numbers in the same set are complementary. (this is possible because every number has a unique complement and no number is its own complement because the moduli are odd.) by the pigeonhole principle, one of these sets contains 5 numbers, and these numbers are pairwise non-complementary. thus there are 5 triples which are mutually mismatched in their first coordinates. their second and third coordinates then give us 5 matching pairs, contrary to the lemma. to see that 8 is indeed possible, take 8 triples of the form (a,b,c),(a′,b,d),(a,b′,e),(a′,b′,f),(a′,b′,f′),(a,b,c′),(a′,b,d′),(a,b′,e′).
02.12.2009 01:23
thank you. I realized 120 was too high, as I thought that every pair added up to a multiple of 7, 11, 13 in my set of 120, but I was wrong. Nice solution.