Olympiad problems

2008 Germany Team Selection Test, 3

Tags: modular arithmetic , number theory , Divisibility , Extremal combinatorics , Additive combinatorics , IMO Shortlist

Let $ X$ be a set of 10,000 integers, none of them is divisible by 47. Prove that there exists a 2007-element subset $ Y$ of $ X$ such that $ a \minus{} b \plus{} c \minus{} d \plus{} e$ is not divisible by 47 for any $ a,b,c,d,e \in Y.$ [i]Author: Gerhard Wöginger, Netherlands[/i]

2015 India IMO Training Camp, 1

Tags: IMO Shortlist , number theory , Frobenius , Additive combinatorics , Additive Number Theory , additive representation , induction

Let $n \ge 2$ be an integer, and let $A_n$ be the set \[A_n = \{2^n - 2^k\mid k \in \mathbb{Z},\, 0 \le k < n\}.\] Determine the largest positive integer that cannot be written as the sum of one or more (not necessarily distinct) elements of $A_n$ . [i]Proposed by Serbia[/i]

2014 India IMO Training Camp, 2

Tags: algorithm , combinatorics , Additive combinatorics , IMO Shortlist

Let $n$ be an positive integer. Find the smallest integer $k$ with the following property; Given any real numbers $a_1 , \cdots , a_d $ such that $a_1 + a_2 + \cdots + a_d = n$ and $0 \le a_i \le 1$ for $i=1,2,\cdots ,d$, it is possible to partition these numbers into $k$ groups (some of which may be empty) such that the sum of the numbers in each group is at most $1$.

2012 India IMO Training Camp, 3

Tags: arithmetic sequence , combinatorics , IMO Shortlist , Additive combinatorics

Determine the greatest positive integer $k$ that satisfies the following property: The set of positive integers can be partitioned into $k$ subsets $A_1, A_2, \ldots, A_k$ such that for all integers $n \geq 15$ and all $i \in \{1, 2, \ldots, k\}$ there exist two distinct elements of $A_i$ whose sum is $n.$ [i]Proposed by Igor Voronovich, Belarus[/i]

2009 China Team Selection Test, 6

Tags: algebra proposed , algebra , number theory , combinatorics , Additive combinatorics

Determine whether there exists an arithimethical progression consisting of 40 terms and each of whose terms can be written in the form $ 2^m \plus{} 3^n$ or not. where $ m,n$ are nonnegative integers.

2014 Contests, 1

Tags: algorithm , combinatorics , Additive combinatorics , IMO Shortlist

Let $n$ be an positive integer. Find the smallest integer $k$ with the following property; Given any real numbers $a_1 , \cdots , a_d $ such that $a_1 + a_2 + \cdots + a_d = n$ and $0 \le a_i \le 1$ for $i=1,2,\cdots ,d$, it is possible to partition these numbers into $k$ groups (some of which may be empty) such that the sum of the numbers in each group is at most $1$.

2009 China Team Selection Test, 6

Tags: algebra proposed , algebra , number theory , combinatorics , Additive combinatorics

Determine whether there exists an arithimethical progression consisting of 40 terms and each of whose terms can be written in the form $ 2^m \plus{} 3^n$ or not. where $ m,n$ are nonnegative integers.

1976 IMO Shortlist, 12

Tags: algebra , polynomial , Additive combinatorics , counting , combinatorics , IMO Shortlist

The polynomial $1976(x+x^2+ \cdots +x^n)$ is decomposed into a sum of polynomials of the form $a_1x + a_2x^2 + \cdots + a_nx^n$, where $a_1, a_2, \ldots , a_n$ are distinct positive integers not greater than $n$. Find all values of $n$ for which such a decomposition is possible.

1992 IMO Longlists, 29

Tags: algebra , convex polygon , incircle , polygon , Additive combinatorics , IMO Shortlist

Show that in the plane there exists a convex polygon of 1992 sides satisfying the following conditions: [i](i)[/i] its side lengths are $ 1, 2, 3, \ldots, 1992$ in some order; [i](ii)[/i] the polygon is circumscribable about a circle. [i]Alternative formulation:[/i] Does there exist a 1992-gon with side lengths $ 1, 2, 3, \ldots, 1992$ circumscribed about a circle? Answer the same question for a 1990-gon.

1992 IMO Longlists, 64

Tags: algorithm , algebra , Additive Number Theory , Additive combinatorics , IMO Shortlist , IMO Longlist

For any positive integer $n$ consider all representations $n = a_1 + \cdots+ a_k$, where $a_1 > a_2 > \cdots > a_k > 0$ are integers such that for all $i \in \{1, 2, \cdots , k - 1\}$, the number $a_i$ is divisible by $a_{i+1}$. Find the longest such representation of the number $1992.$

2015 Belarus Team Selection Test, 1

Tags: IMO Shortlist , number theory , Frobenius , Additive combinatorics , Additive Number Theory , additive representation , induction

Let $n \ge 2$ be an integer, and let $A_n$ be the set \[A_n = \{2^n - 2^k\mid k \in \mathbb{Z},\, 0 \le k < n\}.\] Determine the largest positive integer that cannot be written as the sum of one or more (not necessarily distinct) elements of $A_n$ . [i]Proposed by Serbia[/i]

2001 Romania Team Selection Test, 3

Tags: modular arithmetic , number theory , combinatorics , Additive Number Theory , Additive combinatorics , IMO Shortlist , Frobenius

Let $ p$ and $ q$ be relatively prime positive integers. A subset $ S$ of $ \{0, 1, 2, \ldots \}$ is called [b]ideal[/b] if $ 0 \in S$ and for each element $ n \in S,$ the integers $ n \plus{} p$ and $ n \plus{} q$ belong to $ S.$ Determine the number of ideal subsets of $ \{0, 1, 2, \ldots \}.$

1995 Miklós Schweitzer, 5

Tags: combinatorics , Additive combinatorics , Miklos Schweitzer , fourier analysis

Let A be a subset of the set $\{1,2, ...,n\}$ with at least $100\sqrt n$ elements. Prove that there is a four-element arithmetic sequence in which each element is the sum of two different elements of the set A.

1997 Pre-Preparation Course Examination, 1

Tags: combinatorics , Additive combinatorics , Additive Number Theory , Extremal combinatorics , Subsets , IMO Shortlist

Let $ k,m,n$ be integers such that $ 1 < n \leq m \minus{} 1 \leq k.$ Determine the maximum size of a subset $ S$ of the set $ \{1,2,3, \ldots, k\minus{}1,k\}$ such that no $ n$ distinct elements of $ S$ add up to $ m.$

2012 Belarus Team Selection Test, 3

Tags: arithmetic sequence , combinatorics , IMO Shortlist , Additive combinatorics

Determine the greatest positive integer $k$ that satisfies the following property: The set of positive integers can be partitioned into $k$ subsets $A_1, A_2, \ldots, A_k$ such that for all integers $n \geq 15$ and all $i \in \{1, 2, \ldots, k\}$ there exist two distinct elements of $A_i$ whose sum is $n.$ [i]Proposed by Igor Voronovich, Belarus[/i]

2014 France Team Selection Test, 1

Tags: algorithm , combinatorics , Additive combinatorics , IMO Shortlist

Let $n$ be an positive integer. Find the smallest integer $k$ with the following property; Given any real numbers $a_1 , \cdots , a_d $ such that $a_1 + a_2 + \cdots + a_d = n$ and $0 \le a_i \le 1$ for $i=1,2,\cdots ,d$, it is possible to partition these numbers into $k$ groups (some of which may be empty) such that the sum of the numbers in each group is at most $1$.

2014 Taiwan TST Round 2, 2

Tags: function , combinatorics , Additive combinatorics , Sequence , IMO Shortlist

Let $r$ be a positive integer, and let $a_0 , a_1 , \cdots $ be an infinite sequence of real numbers. Assume that for all nonnegative integers $m$ and $s$ there exists a positive integer $n \in [m+1, m+r]$ such that \[ a_m + a_{m+1} +\cdots +a_{m+s} = a_n + a_{n+1} +\cdots +a_{n+s} \] Prove that the sequence is periodic, i.e. there exists some $p \ge 1 $ such that $a_{n+p} =a_n $ for all $n \ge 0$.

1992 IMO Shortlist, 8

Tags: algebra , convex polygon , incircle , polygon , Additive combinatorics , IMO Shortlist

Show that in the plane there exists a convex polygon of 1992 sides satisfying the following conditions: [i](i)[/i] its side lengths are $ 1, 2, 3, \ldots, 1992$ in some order; [i](ii)[/i] the polygon is circumscribable about a circle. [i]Alternative formulation:[/i] Does there exist a 1992-gon with side lengths $ 1, 2, 3, \ldots, 1992$ circumscribed about a circle? Answer the same question for a 1990-gon.

1999 IMO Shortlist, 4

Tags: modular arithmetic , combinatorics , counting , Additive combinatorics , Additive Number Theory , IMO Shortlist , Hi

Let $A$ be a set of $N$ residues $\pmod{N^{2}}$. Prove that there exists a set $B$ of of $N$ residues $\pmod{N^{2}}$ such that $A + B = \{a+b|a \in A, b \in B\}$ contains at least half of all the residues $\pmod{N^{2}}$.

2014 Taiwan TST Round 1, 2

Tags: algorithm , combinatorics , Additive combinatorics , IMO Shortlist

Let $n$ be an positive integer. Find the smallest integer $k$ with the following property; Given any real numbers $a_1 , \cdots , a_d $ such that $a_1 + a_2 + \cdots + a_d = n$ and $0 \le a_i \le 1$ for $i=1,2,\cdots ,d$, it is possible to partition these numbers into $k$ groups (some of which may be empty) such that the sum of the numbers in each group is at most $1$.

2000 IMO Shortlist, 6

Tags: modular arithmetic , number theory , combinatorics , Additive Number Theory , Additive combinatorics , IMO Shortlist , Frobenius

Let $ p$ and $ q$ be relatively prime positive integers. A subset $ S$ of $ \{0, 1, 2, \ldots \}$ is called [b]ideal[/b] if $ 0 \in S$ and for each element $ n \in S,$ the integers $ n \plus{} p$ and $ n \plus{} q$ belong to $ S.$ Determine the number of ideal subsets of $ \{0, 1, 2, \ldots \}.$

2014 India IMO Training Camp, 3

Tags: function , combinatorics , Additive combinatorics , Sequence , IMO Shortlist

Let $r$ be a positive integer, and let $a_0 , a_1 , \cdots $ be an infinite sequence of real numbers. Assume that for all nonnegative integers $m$ and $s$ there exists a positive integer $n \in [m+1, m+r]$ such that \[ a_m + a_{m+1} +\cdots +a_{m+s} = a_n + a_{n+1} +\cdots +a_{n+s} \] Prove that the sequence is periodic, i.e. there exists some $p \ge 1 $ such that $a_{n+p} =a_n $ for all $n \ge 0$.

1989 IMO Longlists, 68

Tags: combinatorics , partition , Additive combinatorics , Set systems , IMO , IMO 1989

Prove that in the set $ \{1,2, \ldots, 1989\}$ can be expressed as the disjoint union of subsets $ A_i, \{i \equal{} 1,2, \ldots, 117\}$ such that [b]i.)[/b] each $ A_i$ contains 17 elements [b]ii.)[/b] the sum of all the elements in each $ A_i$ is the same.

1992 IMO Longlists, 45

Tags: function , number theory , Additive Number Theory , Additive combinatorics , counting , IMO Shortlist , IMO Longlist

Let $n$ be a positive integer. Prove that the number of ways to express $n$ as a sum of distinct positive integers (up to order) and the number of ways to express $n$ as a sum of odd positive integers (up to order) are the same.

1976 IMO Longlists, 48

Tags: algebra , polynomial , Additive combinatorics , counting , combinatorics , IMO Shortlist

The polynomial $1976(x+x^2+ \cdots +x^n)$ is decomposed into a sum of polynomials of the form $a_1x + a_2x^2 + \cdots + a_nx^n$, where $a_1, a_2, \ldots , a_n$ are distinct positive integers not greater than $n$. Find all values of $n$ for which such a decomposition is possible.