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: 295

A family of sets $F$ is called perfect if the following condition holds: For every triple of sets $X_1, X_2, X_3\in F$, at least one of the sets $$ (X_1\setminus X_2)\cap X_3,$$ $$(X_2\setminus X_1)\cap X_3$$ is empty. Show that if $F$ is a perfect family consisting of some subsets of a given finite set $U$, then $\left\lvert F\right\rvert\le\left\lvert U\right\rvert+1$. [i]Proposed by Michał Pilipczuk[/i]
Let $n\ge k$ be positive integers, and let $\mathcal{F}$ be a family of finite sets with the following properties: (i) $\mathcal{F}$ contains at least $\binom{n}{k}+1$ distinct sets containing exactly $k$ elements; (ii) for any two sets $A, B\in \mathcal{F}$, their union $A\cup B$ also belongs to $\mathcal{F}$. Prove that $\mathcal{F}$ contains at least three sets with at least $n$ elements. (Proposed by Fedor Petrov, St. Petersburg State University)
Given a positive integer $n>1$. Denote $T$ a set that contains all ordered sets $(x;y;z)$ such that $x,y,z$ are all distinct positive integers and $1\leq x,y,z\leq 2n$. Also, a set $A$ containing ordered sets $(u;v)$ is called [i]"connected"[/i] with $T$ if for every $(x;y;z)\in T$ then $\{(x;y),(x;z),(y;z)\} \cap A \neq \varnothing$. a) Find the number of elements of set $T$. b) Prove that there exists a set "connected" with $T$ that has exactly $2n(n-1)$ elements. c) Prove that every set "connected" with $T$ has at least $2n(n-1)$ elements.
Let $A$ be a set of positive integers. $A$ is called "balanced" if [and only if] the number of 3-element subsets of $A$ whose elements add up to a multiple of $3$ is equal to the number of 3-element subsets of $A$ whose elements add up to not a multiple of $3$. a. Find a 9-element balanced set. b. Prove that no set of $2013$ elements can be balanced.
For a pair of integers $a$ and $b$, with $0<a<b<1000$, a set $S\subset \begin{Bmatrix}1,2,3,...,2024\end{Bmatrix}$ $escapes$ the pair $(a,b)$ if for any elements $s_1,s_2\in S$ we have $\left|s_1-s_2\right| \notin \begin{Bmatrix}a,b\end{Bmatrix}$. Let $f(a,b)$ be the greatest possible number of elements of a set that escapes the pair $(a,b)$. Find the maximum and minimum values of $f$.
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 $
$(a)$ Is it possible to partition the segment $[0,1]$ into two sets $A$ and $B$ and to define a continuous function $f$ such that for every $x\in A \ f(x)$ is in $B$, and for every $x\in B \ f(x)$ is in $A$? $(b)$ The same question with $[0,1]$ replaced by $[0,1).$
A subset of $\{1, 2, 3, ... ... , 2015\}$ is called good if the following condition is fulfilled: for any element $x$ of the subset, the sum of all the other elements in the subset has the same last digit as $x$. For example, $\{10, 20, 30\}$ is a good subset since $10$ has the same last digit as $20 + 30 = 50$, $20$ has the same last digit as $10 + 30 = 40$, and $30$ has the same last digit as $10 + 20 = 30$. (a) Find an example of a good subset with 400 elements. (b) Prove that there is no good subset with 405 elements.
Let $A$ be a set of natural numbers, for which for $\forall n\in \mathbb{N}$ exactly one of the numbers $n$, $2n$, and $3n$ is an element of $A$. If $2\in A$, show whether $13824\in A$.
Let $\{E_1, E_2, \dots, E_m\}$ be a collection of sets such that $E_i \subseteq X = \{1, 2, \dots, 100\}$, $E_i \neq X$, $i = 1, 2, \dots, m$. It is known that every two elements of $X$ is contained together in exactly one $E_i$ for some $i$. Determine the minimum value of $m$.
Let $\Bbb{N}$ be the set of positive integers. For each subset $\mathcal{X}$ of $\Bbb{N}$ we define the set $\Delta(\mathcal{X})$ as the set of all numbers $| m - n |,$ where $m$ and $n$ are elements of $\mathcal{X}$, ie: $$\Delta (\mathcal{X}) = \{ |m-n| \ | \ m, n \in \mathcal{X} \}$$ Let $\mathcal A$ and $\mathcal B$ be two infinite, disjoint sets whose union is $\Bbb{N.}$ a) Prove that the set $\Delta (\mathcal A) \cap \Delta (\mathcal B)$ has infinitely many elements. b) Prove that there exists an infinite subset $\mathcal C$ of $\Bbb{N}$ such that $\Delta (\mathcal C)$ is a subset of $\Delta (\mathcal A) \cap \Delta (\mathcal B).$
Consider all possible sets of natural numbers $(x_1, x_2, ..., x_{100})$ such that $1\leq x_i \leq 2017$ for every $i = 1,2, ..., 100$. We say that the set $(y_1, y_2, ..., y_{100})$ is greater than the set $(z_1, z_2, ..., z_{100})$ if $y_i> z_i$ for every $i = 1,2, ..., 100$. What is the largest number of sets that can be written on the board, so that any set is not more than the other set?
Find the maximal possible $n$, where $A_1, \dots, A_n \subseteq \{1, 2, \dots, 2016\}$ satisfy the following properties. - For each $1 \le i \le n$, $\lvert A_i \rvert = 4$. - For each $1 \le i < j \le n$, $\lvert A_i \cap A_j \rvert$ is even.
Let $n$ be a positive integer. We denote by $S$ the sum of elements of the set $M=\{x\in\mathbb N|(n-1)^2\le x<(n+1)^2\}$. (a) Show that $S$ is divisible by $6$. (b) Find all $n\in\mathbb N$ for which $S+(1-n)(1+n)=2001$.
Let $A$ be a set of $65$ integers with pairwise different remainders modulo $2016$. Prove that exists a subset $B=\{a,b,c,d\}$ of set $A$ such that $a+b-c-d$ is divisible with $2016$
Consider the set $A = \left\{\frac{j}{4}+\frac{100}{j}|j=1,2,3,..\right\} $ What is the smallest number that belongs to the $ A $ set?
Suppose an ordered set of $ ({{a} _{1}}, \ {{a} _{2}},\ \ldots,\ {{a} _{n}}) $ real numbers, $n \ge 3 $. It is possible to replace the number $ {{a} _ {i}} $, $ i = \overline {2, \ n-1} $ by the number $ a_ {i} ^ {*} $ that $ {{a} _ {i}} + a_ {i} ^ {*} = {{a} _ {i-1}} + {{a} _ {i + 1}} $. Let $ ({{b} _ {1}},\ {{b} _ {2}}, \ \ldots, \ {{b} _ {n}}) $ be the set with the largest sum of numbers that can be obtained from this, and $ ({{c} _ {1}},\ {{c} _ {2}}, \ \ldots, \ {{c} _ {n}}) $ is a similar set with the least amount. For the odd $n \ge 3 $ and set $ (1,\ 3, \ \ldots, \ n, \ 2, \ 4, \ \ldots,\ n-1) $ find the values of the expressions $ {{b} _ {1}} + {{b} _ {2}} + \ldots + {{b} _ {n}} $ and $ {{c} _ {1}} + {{c} _ {2}} + \ldots + {{c} _ {n}} $.
Let $S$ be a set with an asymmetric relation $<$; this means that if $a,b\in S$ and $a<b$, then we do not have $b<a$. Prove that there exists a set $T$ containing $S$ with an asymmetric relation $\prec$ with the property that if $a,b\in S$, then $a<b$ if and only if $a\prec b$, and if $x,y\in T$ with $x\prec y$, then there exists $t\in T$ such that $x\prec t\prec y$.
a) Prove that for every positive integer n, there exist $a, b \in R - Z$ such that the set $A_n = \{a - b, a^2 - b^2, a^3 - b^3,...,a^n - b^n\}$ contains only positive integers. b) Let $a$ and $b$ be two real numbers such that the set $A = \{a^k - b^k | k \in N*\}$ contains only positive integers. Prove that $a$ and $b$ are integers.
Let $A=\{a_1,a_2,\cdots,a_n,b_1,b_2,\cdots,b_n\}$ be a set with $2n$ distinct elements, and $B_i\subseteq A$ for any $i=1,2,\cdots,m.$ If $\bigcup_{i=1}^m B_i=A,$ we say that the ordered $m-$tuple $(B_1,B_2,\cdots,B_m)$ is an ordered $m-$covering of $A.$ If $(B_1,B_2,\cdots,B_m)$ is an ordered $m-$covering of $A,$ and for any $i=1,2,\cdots,m$ and any $j=1,2,\cdots,n,$ $\{a_j,b_j\}$ is not a subset of $B_i,$ then we say that ordered $m-$tuple $(B_1,B_2,\cdots,B_m)$ is an ordered $m-$covering of $A$ without pairs. Define $a(m,n)$ as the number of the ordered $m-$coverings of $A,$ and $b(m,n)$ as the number of the ordered $m-$coverings of $A$ without pairs. $(1)$ Calculate $a(m,n)$ and $b(m,n).$ $(2)$ Let $m\geq2,$ and there is at least one positive integer $n,$ such that $\dfrac{a(m,n)}{b(m,n)}\leq2021,$ Determine the greatest possible values of $m.$
Does there exist a set $S$ of positive integers satisfying the following conditions? $\text{(i)}$ $S$ contains $2020$ distinct elements; $\text{(ii)}$ the number of distinct primes in the set $\{\gcd(a, b) : a, b \in S, a \neq b\}$ is exactly $2019$; and $\text{(iii)}$ for any subset $A$ of $S$ containing at least two elements, $\sum\limits_{a,b\in A; a<b} ab$ is not a prime power.
For any nonempty, finite set $B$ and real $x$, define $$d_B(x) = \min_{b\in B} |x-b|$$ (1) Given positive integer $m$. Find the smallest real number $\lambda$ (possibly depending on $m$) such that for any positive integer $n$ and any reals $x_1,\cdots,x_n \in [0,1]$, there exists an $m$-element set $B$ of real numbers satisfying $$d_B(x_1)+\cdots+d_B(x_n) \le \lambda n$$ (2) Given positive integer $m$ and positive real $\epsilon$. Prove that there exists a positive integer $n$ and nonnegative reals $x_1,\cdots,x_n$, satisfying for any $m$-element set $B$ of real numbers, we have $$d_B(x_1)+\cdots+d_B(x_n) > (1-\epsilon)(x_1+\cdots+x_n)$$
We call a positive integer [i]lively[/i] if it has a prime divisor greater than $10^{10^{100}}$. Prove that if $S$ is an infinite set of lively positive integers, then it has an infinite subset $T$ with the property that the sum of the elements in any finite nonempty subset of $T$ is a lively number.
Given a set $S$, of integers, an [i]optimal partition[/i] of S into sets T, U is a partition which minimizes the value $|t - u|$, where $t$ and $u$ are the sum of the elements of $T$ and U respectively. Let $P$ be a set of distinct positive integers such that the sum of the elements of $P$ is $2k$ for a positive integer $k$, and no subset of $P$ sums to $k$. Either show that there exists such a $P$ with at least $2020$ different optimal partitions, or show that such a $P$ does not exist.
A set $S$ of positive integers is called magic if for any two distinct members of $S, i$ and $j$, $\frac{i+ j}{GCD(i, j)}$is also a member of $S$. The $GCD$, or greatest common divisor, of two positive integers is the largest integer that divides evenly into both of them; for example, $GCD(36,80) = 4$. Find and describe all finite magic sets.