MathDB
Sets, differences and counting

Source: Greece National Olympiad 2024, Problem 3

February 24, 2024
combinatorics

Problem Statement

Let n2n \geq 2 be a positive integer and let A,BA, B be two finite sets of integers such that An|A| \leq n. Let CC be a subset of the set {(a,b)aA,bB}\{(a, b) | a \in A, b \in B\}. Achilles writes on a board all possible distinct differences aba-b for (a,b)C(a, b) \in C and suppose that their count is dd. He writes on another board all triplets (k,l,m)(k, l, m), where (k,l),(k,m)C(k, l), (k, m) \in C and suppose that their count is pp. Show that npd2.np \geq d^2.