Found problems: 175
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).$
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.
2005 Czech And Slovak Olympiad III A, 2
Determine for which $m$ there exist exactly $2^{15}$ subsets $X$ of $\{1,2,...,47\}$ with the following property: $m$ is the smallest element of $X$, and for every $x \in X$, either $x+m \in X$ or $x+m > 47$.
1974 Putnam, B6
For a set with $n$ elements, how many subsets are there whose cardinality is respectively $\equiv 0$ (mod $3$), $\equiv 1$ (mod $3$), $ \equiv 2$ (mod $3$)? In other words, calculate
$$s_{i,n}= \sum_{k\equiv i \;(\text{mod} \;3)} \binom{n}{k}$$
for $i=0,1,2$. Your result should be strong enough to permit direct evaluation of the numbers $s_{i,n}$ and to show clearly the relationship of $s_{0,n}, s_{1,n}$ and $s_{2,n}$ to each other for all positive integers $n$. In particular, show the relationships among these three sums for $n = 1000$.
2017 Saudi Arabia JBMO TST, 4
Let $S = \{-17, -16, ..., 16, 17\}$. We call a subset $T$ of $S$ a good set if $-x \in T$ for all $x \in T$ and if $x, y, z \in T (x, y, z$ may be equal) then $x + y + z \ne 0$. Find the largest number of elements in a good set.
2008 Indonesia TST, 1
Let $A$ be the subset of $\{1, 2, ..., 16\}$ that has $6$ elements. Prove that there exist $2$ subsets of $A$ that are disjoint, and the sum of their elements are the same.
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$.
2020 Iran MO (3rd Round), 4
What is the maximum number of subsets of size $5$, taken from the set $A=\{1,2,3,...,20\}$ such that any $2$ of them share exactly $1$ element.
2019 Canadian Mathematical Olympiad Qualification, 4
Let $n$ be a positive integer. For a positive integer $m$, we partition the set $\{1, 2, 3,...,m\}$ into $n$ subsets, so that the product of two different elements in the same subset is never a perfect square. In terms of $n$, fi nd the largest positive integer $m$ for which such a partition exists.
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.
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
1986 Czech And Slovak Olympiad IIIA, 4
Let $C_1,C_2$, and $C_3$ be points inside a bounded convex planar set $M$. Rays $l_1,l_2,l_3$ emanating from $C_1,C_2,C_3$ respectively partition the complement of the set $M \cup l_1 \cup l_2 \cup l_3$ into three regions $D_1,D_2,D_3$. Prove that if the convex sets $A$ and $B$ satisfy $A\cap l_j =\emptyset = B\cap l_j$ and $A\cap D_j \ne \emptyset \ne B\cap D_j$ for $j = 1,2,3$, then $A\cap B \ne \emptyset$
1986 Czech And Slovak Olympiad IIIA, 1
Given $n \in N$, let $A$ be a family of subsets of $\{1,2,...,n\}$. If for every two sets $B,C \in A$ the set $(B \cup C) -(B \cap C)$ has an even number of elements, find the largest possible number of elements of $A$ .
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.
2001 Croatia Team Selection Test, 1
Consider $A = \{1, 2, ..., 16\}$. A partition of $A$ into nonempty sets $A_1, A_2,..., A_n$ is said to be good if none of the Ai contains elements $a, b, c$ (not necessarily distinct) such that $a = b + c$.
(a) Find a good partition $\{A_1, A_2, A_3, A_4\}$ of $A$.
(b) Prove that no partition $\{A_1, A_2, A_3\}$ of $A$ is good
1999 Tournament Of Towns, 4
Is it possible to divide the integers from $1$ to $100$ inclusive into $50$ pairs such that for $1\le k\le 50$, the difference between the two numbers in the $k$-th pair is $k$?
(V Proizvolov)
2008 Indonesia TST, 1
Let $A$ be the subset of $\{1, 2, ..., 16\}$ that has $6$ elements. Prove that there exist $2$ subsets of $A$ that are disjoint, and the sum of their elements are the same.
1953 Kurschak Competition, 1
$A$ and $B$ are any two subsets of $\{1, 2,...,n - 1\}$ such that $|A| +|B|> n - 1$. Prove that one can find $a$ in $A$ and $b$ in $B$ such that $a + b = n$.
2000 Iran MO (2nd round), 1
Find all positive integers $n$ such that we can divide the set $\{1,2,3,\ldots,n\}$ into three sets with the same sum of members.
2021 China Girls Math Olympiad, 6
Given a finite set $S$, $P(S)$ denotes the set of all the subsets of $S$. For any $f:P(S)\rightarrow \mathbb{R}$ ,prove the following inequality:$$\sum_{A\in P(S)}\sum_{B\in P(S)}f(A)f(B)2^{\left| A\cap B \right|}\geq 0.$$
1993 Romania Team Selection Test, 3
Show that the set $\{1,2,....,2^n\}$ can be partitioned in two classes, none of which contains an arithmetic progression of length $2n$.
2012 India Regional Mathematical Olympiad, 4
Let $X=\{1,2,3,...,12\}$. Find the number of pairs of $\{A,B\}$ such that $A\subseteq X, B\subseteq X, A\ne B$ and $A\cap B=\{2,3,5,7,8\}$.
1993 IMO Shortlist, 4
Show that for any finite set $S$ of distinct positive integers, we can find a set $T \supseteq S$ such that every member of $T$ divides the sum of all the members of $T$.
[b]Original Statement:[/b]
A finite set of (distinct) positive integers is called a [b]DS-set[/b] if each of the integers divides the sum of them all. Prove that every finite set of positive integers is a subset of some [b]DS-set[/b].
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]
1998 Singapore Team Selection Test, 2
Let $n \ge 2$ be an integer. Let $S$ be a set of $n$ elements and let $A_i, 1 \le i \le m$, be distinct subsets of $S$ of size at least $2$ such that $A_i \cap A_j \ne \emptyset$, $A_i \cap A_k \ne \emptyset$, $A_j \cap A_k \ne \emptyset$ imply $A_i \cap A_j \cap A_k \ne \emptyset$. Show that $m \le 2^{n-1}$ -