Found problems: 175
2020 Iran MO (3rd Round), 3
find all $k$ distinct integers $a_1,a_2,...,a_k$ such that there exists an injective function $f$ from reals to themselves such that for each positive integer $n$ we have
$$\{f^n(x)-x| x \in \mathbb{R} \}=\{a_1+n,a_2+n,...,a_k+n\}$$.
2023 Korea - Final Round, 3
Let $p$ be an odd prime. Let $A(n)$ be the number of subsets of $\{1,2,...,n\}$ such that the sum of elements of the subset is a multiple of $p$. Prove that if $2^{p-1}-1$ is not a multiple of $p^2$, there exists infinitely many positive integer $m$ for any integer $k$ that satisfies the following. (The sum of elements of the empty set is 0.)
$$\frac{A(m)-k}{p}\in\mathbb{Z}$$
2008 Thailand Mathematical Olympiad, 9
Find the number of pairs of sets $(A, B)$ satisfying $A \subseteq B \subseteq \{1, 2, ...,10\}$
2007 Indonesia TST, 4
Given a collection of sets $X = \{A_1, A_2, ..., A_n\}$. A set $\{a_1, a_2, ..., a_n\}$ is called a single representation of $X$ if $a_i \in A_i$ for all i. Let $|S| = mn$, $S = A_1\cup A_2 \cup ... \cup A_n = B_1 \cup B_2 \cup ... \cup B_n$ with $|A_i| = |B_i| = m$ for all $i$. Prove that $S = C_1 \cup C_2 \cup ... \cup C_n$ where for every $i, C_i $ is a single represenation for $\{A_j\}_{j=1}^n $and $\{B_j\}_{j=1}^n$.
1974 Poland - Second Round, 1
Let $ Z $ be a set of $ n $ elements. Find the number of such pairs of sets $ (A, B) $ such that $ A $ is contained in $ B $ and $ B $ is contained in $ Z $. We assume that every set also contains itself and the empty set.
I Soros Olympiad 1994-95 (Rus + Ukr), 9.1
Divide the set of twelve numbers $A = \{3, 4, 5, ...,13, 14\}$ into two sets $ B$ and $C$ 'of six numbers each according to this condition: for any two different numbers with $ B$ their sum does not belong to $ B$ and for any two different numbers from $C$, the sum does not belong to $C$.
1999 Tournament Of Towns, 3
(a) The numbers $1, 2,... , 100$ are divided into two groups so that the sum of all numbers in one group is equal to that in the other. Prove that one can remove two numbers from each group so that the sums of all numbers in each group are still the same.
(b) The numbers $1, 2 , ... , n$ are divided into two groups so that the sum of all numbers in one group is equal to that in the other . Is it true that for every such$ n > 4$ one can remove two numbers from each group so that the sums of all numbers in each group are still the same?
(A Shapovalov) [(a) for Juniors, (a)+(b) for Seniors]
2004 Junior Tuymaada Olympiad, 4
Given the disjoint finite sets of natural numbers $ A $ and $ B $, consisting of $ n $ and $ m $ elements, respectively. It is known that every natural number belonging to $ A $ or $ B $ satisfies at least one of the conditions $ k + 17 \in A $, $ k-31 \in B $. Prove that $ 17n = 31m $
1986 Czech And Slovak Olympiad IIIA, 6
Assume that $M \subset N$ has the property that every two numbers $m,n$ of $M$ satisfy $|m-n| \ge mn/25$.
Prove that the set $M$ contains no more than $9$ elements.
Decide whether there exists such set M.
2015 Ukraine Team Selection Test, 12
For a given natural $n$, we consider the set $A\subset \{1,2, ..., n\}$, which consists of at least $\left[\frac{n+1}{2}\right]$ items. Prove that for $n \ge 2015$ the set $A$ contains a three-element arithmetic sequence.
2015 Irish Math Olympiad, 7
Let $n > 1$ be an integer and $\Omega=\{1,2,...,2n-1,2n\}$ the set of all positive integers that are not larger than $2n$.
A nonempty subset $S$ of $\Omega$ is called [i]sum-free[/i] if, for all elements $x, y$ belonging to $S, x + y$ does not belong to $S$. We allow $x = y$ in this condition.
Prove that $\Omega$ has more than $2^n$ distinct [i]sum-free[/i] subsets.
1994 IMO Shortlist, 1
$ M$ is a subset of $ \{1, 2, 3, \ldots, 15\}$ such that the product of any three distinct elements of $ M$ is not a square. Determine the maximum number of elements in $ M.$
2001 Dutch Mathematical Olympiad, 5
If you take a subset of $4002$ numbers from the whole numbers $1$ to $6003$, then there is always a subset of $2001$ numbers within that subset with the following property:
If you order the $2001$ numbers from small to large, the numbers are alternately even and odd (or odd and even).
Prove this.
1998 Czech And Slovak Olympiad IIIA, 2
Given any set of $14$ (different) natural numbers, prove that for some $k$ ($1 \le k \le 7$) there exist two disjoint $k$-element subsets $\{a_1,...,a_k\}$ and $\{b_1,...,b_k\}$ such that $A =\frac{1}{a_1}+\frac{1}{a_2}+...+\frac{1}{a_k}$ and $B =\frac{1}{b_1}+\frac{1}{b_2}+...+\frac{1}{b_k}$ differ by less than $0.001$, i.e. $|A-B| < 0.001$
2017 Federal Competition For Advanced Students, P2, 6
Let $S = \{1,2,..., 2017\}$.
Find the maximal $n$ with the property that there exist $n$ distinct subsets of $S$ such that for no two subsets their union equals $S$.
Proposed by Gerhard Woeginger
1994 Korea National Olympiad, Problem 2
Given a set $S \subset N$ and a positive integer n, let $S\oplus \{n\} = \{s+n / s \in S\}$. The sequence $S_k$ of sets is defined inductively as follows: $S_1 = {1}$, $S_k=(S_{k-1} \oplus \{k\}) \cup \{2k-1\}$ for $k = 2,3,4, ...$
(a) Determine $N - \cup _{k=1}^{\infty} S_k$.
(b) Find all $n$ for which $1994 \in S_n$.
1987 Bundeswettbewerb Mathematik, 2
Let $n$ be a positive integer and $M=\{1,2,\ldots, n\}.$ A subset $T\subset M$ is called [i]heavy[/i] if each of its elements is greater or equal than $|T|.$ Let $f(n)$ denote the number of heavy subsets of $M.$ Describe a method for finding $f(n)$ and use it to calculate $f(32).$
2024 European Mathematical Cup, 4
Let $\mathcal{F}$ be a family of (distinct) subsets of the set $\{1,2,\dots,n\}$ such that for all $A$, $B\in \mathcal{F}$,we have that $A^C\cup B\in \mathcal{F}$, where $A^C$ is the set of all members of ${1,2,\dots,n}$ that are not in $A$.
Prove that every $k\in {1,2,\dots,n}$ appears in at least half of the sets in $\mathcal{F}$.
[i]Stijn Cambie, Mohammad Javad Moghaddas Mehr[/i]
2012 Ukraine Team Selection Test, 11
Let $P$ be a polynomial with integer coefficients of degree $d$. For the set $A = \{ a_1, a_2, ..., a_k\}$ of positive integers we denote $S (A) = P (a_1) + P (a_2) + ... + P (a_k )$. The natural numbers $m, n$ are such that $m ^{d+ 1} | n$. Prove that the set $\{1, 2, ..., n\}$ can be subdivided into $m$ disjoint subsets $A_1, A_2, ..., A_m$ with the same number of elements such that $S (A_1) = S(A_2) = ... = S (A_m )$.
2017 China Team Selection Test, 3
Suppose $S=\{1,2,3,...,2017\}$,for every subset $A$ of $S$,define a real number $f(A)\geq 0$ such that:
$(1)$ For any $A,B\subset S$,$f(A\cup B)+f(A\cap B)\leq f(A)+f(B)$;
$(2)$ For any $A\subset B\subset S$, $f(A)\leq f(B)$;
$(3)$ For any $k,j\in S$,$$f(\{1,2,\ldots,k+1\})\geq f(\{1,2,\ldots,k\}\cup \{j\});$$
$(4)$ For the empty set $\varnothing$, $f(\varnothing)=0$.
Confirm that for any three-element subset $T$ of $S$,the inequality $$f(T)\leq \frac{27}{19}f(\{1,2,3\})$$ holds.
2016 Saudi Arabia GMO TST, 2
Let $n \ge 1$ be a fixed positive integer. We consider all the sets $S$ which consist of sub-sequences of the sequence $0, 1,2, ..., n$ satisfying the following conditions:
i) If $(a_i)_{i=0}^k$ belongs to $S$, then $a_0 = 0$, $a_k = n$ and $a_{i+1} - a_i \le 2$ for all $0 \le i \le k - 1$.
ii) If $(a_i)_{i=0}^k$ and $(b_j)^h_{j=0}$ both belong to $S$, then there exist $0 \le i_0 \le k - 1$ and $0 \le j_0 \le h - 1$ such that $a_{i_0} = b_{j_0}$ and $a_{i_0+1} = b_{j_0+1}$.
Find the maximum value of $|S|$ (among all the above-mentioned sets $S$).
1994 Italy TST, 4
Let $X$ be a set of $n$ elements and $k$ be a positive integer.
Consider the family $S_k$ of all $k$-tuples $(E_1,...,E_k)$ with $E_i \subseteq X$ for each $i$.
Evaluate the sums $\sum_{(E_1,...,E_k) \in S_k }|E_1 \cap ... \cap E_k|$ and $\sum_{(E_1,...,E_k) \in S_k }|E_1 \cup ... \cup E_k|$
2022 Bulgarian Spring Math Competition, Problem 11.4
Let $n \geq 2$ be a positive integer. The set $M$ consists of $2n^2-3n+2$ positive rational numbers. Prove that there exists a subset $A$ of $M$ with $n$ elements with the following property: $\forall$ $2 \leq k \leq n$ the sum of any $k$ (not necessarily distinct) numbers from $A$ is not in $A$.
2002 Brazil National Olympiad, 1
Show that there is a set of $2002$ distinct positive integers such that the sum of one or more elements of the set is never a square, cube, or higher power.
2007 Indonesia TST, 4
Given a collection of sets $X = \{A_1, A_2, ..., A_n\}$. A set $\{a_1, a_2, ..., a_n\}$ is called a single representation of $X$ if $a_i \in A_i$ for all i. Let $|S| = mn$, $S = A_1\cup A_2 \cup ... \cup A_n = B_1 \cup B_2 \cup ... \cup B_n$ with $|A_i| = |B_i| = m$ for all $i$. Prove that $S = C_1 \cup C_2 \cup ... \cup C_n$ where for every $i, C_i $ is a single represenation for $\{A_j\}_{j=1}^n $and $\{B_j\}_{j=1}^n$.