This website contains problems from math contests. Problems and corresponding tags were obtained from the Art of Problem Solving website.

Tags were heavily modified to better represent problems.

AND
OR
NO

Found problems: 133

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.
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]
The set $N$ is partitioned into three subsets $A_1,A_2,A_3$. Prove that at least one of them has the following property: There exists a positive number $m$ such that for any $k$ one can find numbers $a_1 < a_2 < ... < a_k$ in that subset satisfying $a_{j+1} -a_j \le m$ for $j = 1,...,k -1$.
For every positive integer $n$, let $p(n)$ denote the number of sets $\{x_1, x_2, \dots, x_k\}$ of integers with $x_1 > x_2 > \dots > x_k > 0$ and $n = x_1 + x_3 + x_5 + \dots$ (the right hand side here means the sum of all odd-indexed elements). As an example, $p(6) = 11$ because all satisfying sets are as follows: $$\{6\}, \{6, 5\}, \{6, 4\}, \{6, 3\}, \{6, 2\}, \{6, 1\}, \{5, 4, 1\}, \{5, 3, 1\}, \{5, 2, 1\}, \{4, 3, 2\}, \{4, 3, 2, 1\}.$$ Show that $p(n)$ equals to the number of partitions of $n$ for every positive integer $n$.
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).$
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.
Let $ p $ be a natural number and let two partitions $ \mathcal{A} =\left\{ A_1,A_2,...,A_p\right\} ,\mathcal{B}=\left\{ B_1,B_2,...B_p\right\} $ of a finite set $ \mathcal{M} . $ Knowing that, whenever an element of $ \mathcal{A} $ doesn´t have any elements in common with another of $ \mathcal{B} , $ it holds that the number of elements of these two is greater than $ p, $ prove that $ \big| \mathcal{M}\big|\ge\frac{1}{2}\left( 1+p^2\right) . $ Can equality hold?
Let $N$ be a positive integer, and consider an $N \times N$ grid. A [i]right-down path[/i] is a sequence of grid cells such that each cell is either one cell to the right of or one cell below the previous cell in the sequence. A [i]right-up path[/i] is a sequence of grid cells such that each cell is either one cell to the right of or one cell above the previous cell in the sequence. Prove that the cells of the $N \times N$ grid cannot be partitioned into less than $N$ right-down or right-up paths. For example, the following partition of the $5 \times 5$ grid uses $5$ paths. [asy] size(4cm); draw((5,-1)--(0,-1)--(0,-2)--(5,-2)--(5,-3)--(0,-3)--(0,-4)--(5,-4),gray+linewidth(0.5)+miterjoin); draw((1,-5)--(1,0)--(2,0)--(2,-5)--(3,-5)--(3,0)--(4,0)--(4,-5),gray+linewidth(0.5)+miterjoin); draw((0,0)--(5,0)--(5,-5)--(0,-5)--cycle,black+linewidth(2.5)+miterjoin); draw((0,-1)--(3,-1)--(3,-2)--(1,-2)--(1,-4)--(4,-4)--(4,-3)--(2,-3)--(2,-2),black+linewidth(2.5)+miterjoin); draw((3,0)--(3,-1),black+linewidth(2.5)+miterjoin); draw((1,-4)--(1,-5),black+linewidth(2.5)+miterjoin); draw((4,-3)--(4,-1)--(5,-1),black+linewidth(2.5)+miterjoin); [/asy] [i]Proposed by Zixiang Zhou, Canada[/i]
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]
Find the least natural number $ n$ such that, if the set $ \{1,2, \ldots, n\}$ is arbitrarily divided into two non-intersecting subsets, then one of the subsets contains 3 distinct numbers such that the product of two of them equals the third.
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 $ \mathbb{Z}$ denote the set of all integers. Prove that for any integers $ A$ and $ B,$ one can find an integer $ C$ for which $ M_1 \equal{} \{x^2 \plus{} Ax \plus{} B : x \in \mathbb{Z}\}$ and $ M_2 \equal{} {2x^2 \plus{} 2x \plus{} C : x \in \mathbb{Z}}$ do not intersect.
Prove that$$p (n)= 2+ \left (p (1) + \cdots + p\left ( \left [\frac {n}{2} \right ] + \chi_1 (n)\right ) + \left (p'_2(n) + \cdots + p' _{ \left [\frac {n}{2} \right ] - 1}(n)\right )\right )$$for every $n \in \mathbb {N}$ with $n>2$ where $\chi $ denotes the principal character Dirichlet modulo 2, i.e.$$ \chi _1 (n) = \begin{cases} 1 & \text{if } (n,2)=1 \\ 0 &\text{if } (n,2)>1 \end{cases} $$with $p (n) $ we denote number of possible partitions of $n $ and $p' _m(n) $ we denote the number of partitions of $n$ in exactly $m$ sumands.
Show that there exists an integer $N$ such that for all $n \ge N$ a square can be partitioned into $n$ smaller squares.
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]
Consider the set $A = \{1, 2, ..., n\}$, where $n \in N, n \ge 6$. Show that $A$ is the union of three pairwise disjoint sets, with the same cardinality and the same sum of their elements, if and only if $n$ is a multiple of $3$.
Can the set $\{1,2,...,33\}$ be partitioned into $11$ three-element sets, in each of which one element equals the sum of the other two?
Prove that there are infinitely many n’s for which there exists a partition of $\{1,2,...,3n\}$ into subsets $\{a_1,...,a_n\}, \{b_1,...,b_n\}, \{c_1,...,c_n\}$ such that $a_i +b_i = c_i$ for all $i$, and prove that there are infinitely many $n$’s for which there is no such partition.
Determine for which positive integers $ k$ the set \[ X \equal{} \{1990, 1990 \plus{} 1, 1990 \plus{} 2, \ldots, 1990 \plus{} k\}\] can be partitioned into two disjoint subsets $ A$ and $ B$ such that the sum of the elements of $ A$ is equal to the sum of the elements of $ B.$
A positive integer $k$ is said to be [i]good [/i] if there exists a partition of $ \{1, 2, 3,..., 20\}$ into disjoint proper subsets such that the sum of the numbers in each subset of the partition is $k$. How many [i]good [/i] numbers are there?
Let $N$ be the set of positive integers. If $A,B,C \ne \emptyset$, $A \cap B = B \cap C = C \cap A = \emptyset$ and $A \cup B \cup C = N$, we say that $A,B,C$ are partitions of $N$. Prove that there are no partitions of $N, A,B,C$, that satis fy the following: (i) $\forall a \in A, b \in B$, we have $a + b + 1 \in C$ (ii) $\forall b \in B, c \in C$, we have $b + c + 1 \in A$ (iii) $\forall c \in C, a \in A$, we have $c + a + 1 \in B$
Given a natural number $n$, if the tuple $(x_1,x_2,\ldots,x_k)$ satisfies $$2\mid x_1,x_2,\ldots,x_k$$ $$x_1+x_2+\ldots+x_k=n$$ then we say that it's an [i]even partition[/i]. We define [i]odd partition[/i] in a similar way. Determine all $n$ such that the number of even partitions is equal to the number of odd partitions.
Prove that every partition of $3$-dimensional space into three disjoint subsets has the following property: One of these subsets contains all possible distances; i.e., for every $a \in \mathbb R^+$, there are points $M$ and $N$ inside that subset such that distance between $M$ and $N$ is exactly $a.$
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.
Is it possible to partition the set $A = \{1, 2, 3, ... , 32, 33\}$ into eleven subsets that contain three integers each, such that for every one of these eleven subsets, one of the integers is equal to the sum of the other two? If so, give such a partition, if not, prove that such a partition cannot exist.