The set $M = \{1, 2, . . . , 2n\}$ is partitioned into $k$ nonintersecting subsets $M_1,M_2, \dots, M_k,$ where $n \ge k^3 + k.$ Prove that there exist even numbers $2j_1, 2j_2, \dots, 2j_{k+1}$ in $M$ that are in one and the same subset $M_i$ $(1 \le i \le k)$ such that the numbers $2j_1 - 1, 2j_2 - 1, \dots, 2j_{k+1} - 1$ are also in one and the same subset $M_j (1 \le j \le k).$

In a regular 100-gon, 41 vertices are colored black and the remaining 59 vertices are colored white. Prove that there exist 24 convex quadrilaterals $Q_{1}, \ldots, Q_{24}$ whose corners are vertices of the 100-gon, so that [list] [*] the quadrilaterals $Q_{1}, \ldots, Q_{24}$ are pairwise disjoint, and [*] every quadrilateral $Q_{i}$ has three corners of one color and one corner of the other color. [/list]

a) Show that the set $ \mathbb{Q}^{ + }$ of all positive rationals can be partitioned into three disjoint subsets. $ A,B,C$ satisfying the following conditions: \[ BA = B; \& B^2 = C; \& BC = A; \] where $ HK$ stands for the set $ \{hk: h \in H, k \in K\}$ for any two subsets $ H, K$ of $ \mathbb{Q}^{ + }$ and $ H^2$ stands for $ HH.$ b) Show that all positive rational cubes are in $ A$ for such a partition of $ \mathbb{Q}^{ + }.$ c) Find such a partition $ \mathbb{Q}^{ + } = A \cup B \cup C$ with the property that for no positive integer $ n \leq 34,$ both $ n$ and $ n + 1$ are in $ A,$ that is, \[ \text{min} \{n \in \mathbb{N}: n \in A, n + 1 \in A \} > 34. \]

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.

Let $0<f(1)<f(2)<f(3)<\ldots$ a sequence with all its terms positive$.$ The $n-th$ positive integer which doesn't belong to the sequence is $f(f(n))+1.$ Find $f(240).$

Assume that the set of all positive integers is decomposed into $ r$ (disjoint) subsets $ A_1 \cup A_2 \cup \ldots \cup A_r \equal{} \mathbb{N}.$ Prove that one of them, say $ A_i,$ has the following property: There exists a positive $ m$ such that for any $ k$ one can find numbers $ a_1, a_2, \ldots, a_k$ in $ A_i$ with $ 0 < a_{j \plus{} 1} \minus{} a_j \leq m,$ $ (1 \leq j \leq k \minus{} 1)$.

The set $M = \{1, 2, . . . , 2n\}$ is partitioned into $k$ nonintersecting subsets $M_1,M_2, \dots, M_k,$ where $n \ge k^3 + k.$ Prove that there exist even numbers $2j_1, 2j_2, \dots, 2j_{k+1}$ in $M$ that are in one and the same subset $M_i$ $(1 \le i \le k)$ such that the numbers $2j_1 - 1, 2j_2 - 1, \dots, 2j_{k+1} - 1$ are also in one and the same subset $M_j (1 \le j \le k).$

Let $n$ be a fixed positive integer. How many ways are there to write $n$ as a sum of positive integers, \[n = a_1 + a_2 + \cdots a_k\] with $k$ an arbitrary positive integer and $a_1 \le a_2 \le \cdots \le a_k \le a_1 + 1$? For example, with $n = 4$, there are four ways: $4$, $2 + 2$, $1 + 1 + 2$, $1 + 1 + 1 + 1$.

$(HUN 3)$ In the plane $4000$ points are given such that each line passes through at most $2$ of these points. Prove that there exist $1000$ disjoint quadrilaterals in the plane with vertices at these points.

We call an even positive integer $n$ [i]nice[/i] if the set $\{1, 2, \dots, n\}$ can be partitioned into $\frac{n}{2}$ two-element subsets, such that the sum of the elements in each subset is a power of $3$. For example, $6$ is nice, because the set $\{1, 2, 3, 4, 5, 6\}$ can be partitioned into subsets $\{1, 2\}$, $\{3, 6\}$, $\{4, 5\}$. Find the number of nice positive integers which are smaller than $3^{2022}$.

Find the smallest natural number $n$ for which it is possible to partition the set $M = \{1,2, ... ,40\}$ into n subsets $M_1, . . . ,M_n$ so that none of the $M_i$ contains elements $a,b,c$ (not necessarily distinct) with $a+b = c$.

In a regular 100-gon, 41 vertices are colored black and the remaining 59 vertices are colored white. Prove that there exist 24 convex quadrilaterals $Q_{1}, \ldots, Q_{24}$ whose corners are vertices of the 100-gon, so that [list] [*] the quadrilaterals $Q_{1}, \ldots, Q_{24}$ are pairwise disjoint, and [*] every quadrilateral $Q_{i}$ has three corners of one color and one corner of the other color. [/list]

$(HUN 3)$ In the plane $4000$ points are given such that each line passes through at most $2$ of these points. Prove that there exist $1000$ disjoint quadrilaterals in the plane with vertices at these points.

(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]

Find all positive integers $n$ such that the set $\{n,n+1,n+2,n+3,n+4,n+5\}$ can be partitioned into two subsets so that the product of the numbers in each subset is equal.

Consider the set $A=\{1,2,3,4,5,6,7,8,9\}$.A partition $\Pi $ of $A$ is collection of disjoint sets whose union is $A$. For example, $\Pi_1=\{\{1,2\},\{3,4,5\},\{6,7,8,9\}\}$ and $\Pi _2 =\{\{1\},\{2,5\},\{3,7\},\{4,5,6,7,8,9\}\}$ can be considered as partitions of $A$. For, each $\Pi$ partition ,we consider the function $\pi$ defined on the elements of$A$. $\pi (x)$ denotes the cardinality of the subset in $\Pi$ which contains $x$. For, example in case of $\Pi_1$ , $\pi_1(1)=\pi_1(2)=2$, $\pi_1(3)=\pi_1(4)=\pi_1 (5)=3$, and $\pi_1(6)=\pi_1(7)=\pi_1(8)=\pi_1(9)=4$. For $\Pi_2$ we have $\pi_2(1)=1$, $\pi_2(2)=\pi_2(5)=2$, $\pi_2(3)=\pi_2(7)=2$ and $\pi_2(4)=\pi_2(6)=\pi_2(8)=\pi_2(9)=4$ Given any two partitions $\Pi$ and $\Pi '$, show that there are two numbers $x$ and $y$ in $A$, such that $\pi (x)= \pi '(x)$ and $ \pi (y)= \pi'(y)$.[[b]Hint:[/b] Consider the case where there is a block of size greater than or equal to 4 in a partition and the alternative case]

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 $

In a regular 100-gon, 41 vertices are colored black and the remaining 59 vertices are colored white. Prove that there exist 24 convex quadrilaterals $Q_{1}, \ldots, Q_{24}$ whose corners are vertices of the 100-gon, so that [list] [*] the quadrilaterals $Q_{1}, \ldots, Q_{24}$ are pairwise disjoint, and [*] every quadrilateral $Q_{i}$ has three corners of one color and one corner of the other color. [/list]

let $ V$ be a finitive set and $ g$ and $ f$ be two injective surjective functions from $ V$to$ V$.let $ T$ and $ S$ be two sets such that they are defined as following" $ S \equal{} \{w \in V: f(f(w)) \equal{} g(g(w))\}$ $ T \equal{} \{w \in V: f(g(w)) \equal{} g(f(w))\}$ we know that $ S \cup T \equal{} V$, prove: for each $ w \in V : f(w) \in S$ if and only if $ g(w) \in S$

Let be a bipartition of the set formed by the first $ 13 $ nonnegative numbers. Prove that at least one of these two subsets that form this partition contains an arithmetic progression.

A set of three nonnegative integers $\{x,y,z\}$ with $x < y < z$ is called [i]historic[/i] if $\{z-y,y-x\} = \{1776,2001\}$. Show that the set of all nonnegative integers can be written as the union of pairwise disjoint historic sets.

In a regular 100-gon, 41 vertices are colored black and the remaining 59 vertices are colored white. Prove that there exist 24 convex quadrilaterals $Q_{1}, \ldots, Q_{24}$ whose corners are vertices of the 100-gon, so that [list] [*] the quadrilaterals $Q_{1}, \ldots, Q_{24}$ are pairwise disjoint, and [*] every quadrilateral $Q_{i}$ has three corners of one color and one corner of the other color. [/list]

Let $n$ be a positive integer, and let $A$ be a subset of $\{ 1,\cdots ,n\}$. An $A$-partition of $n$ into $k$ parts is a representation of n as a sum $n = a_1 + \cdots + a_k$, where the parts $a_1 , \cdots , a_k $ belong to $A$ and are not necessarily distinct. The number of different parts in such a partition is the number of (distinct) elements in the set $\{ a_1 , a_2 , \cdots , a_k \} $. We say that an $A$-partition of $n$ into $k$ parts is optimal if there is no $A$-partition of $n$ into $r$ parts with $r<k$. Prove that any optimal $A$-partition of $n$ contains at most $\sqrt[3]{6n}$ different parts.

There are $15$ people, including Petruk, Gareng, and Bagong, which will be partitioned into $6$ groups, randomly, that consists of $3, 3, 3, 2, 2$, and $2$ people (orders are ignored). Determine the probability that Petruk, Gareng, and Bagong are in a group.

The positive integers are partitioned into two infinite sets so that the sum of any $2023$ distinct integers in one set is also in that set. Prove that one set contains all the odd positive integers, and one set contains all the even positive integers. [i]Proposed by Evan Chang (squareman), USA[/i]