Define $S_n$ as the set ${1,2,\cdots,n}$. A non-empty subset $T_n$ of $S_n$ is called $balanced$ if the average of the elements of $T_n$ is equal to the median of $T_n$. Prove that, for all $n$, the number of balanced subsets $T_n$ is odd.

Given a positive integer $n$, show that the set $\{1,2,...,n\}$ can be partitioned into $m$ sets, each with the same sum, if and only if m is a divisor of $\frac{n(n + 1)}{2}$ which does not exceed $\frac{n + 1}{2}$.

Determine the elements of the sets $A = \{x \in N | x \ne 4a + 7b, a, b \in N\}$, $B = \{x \in N | x\ne 3a + 11b, a, b \in N\}$.

Prove or disprove the following statement: If $F$ is a finite set with two or more elements, then there exists a binary operation $*$ on $F$ such that for all $x,y,z$ in $F$, $(\text i)$ $x*z=y*z$ implies $x=y$ $(\text{ii})$ $x*(y*z)\ne(x*y)*z$

Find the smallest integer $n > 3$ such that, for each partition of $\{3, 4,..., n\}$ in two sets, at least one of these sets contains three (not necessarily distinct) numbers $ a, b, c$ for which $ab = c$. (Alberto Alfarano)

Show that there exists a proper non-empty subset $S$ of the set of real numbers such that, for every real number $x$, the set $\{nx + S : n \in N\}$ is finite, where $nx + S =\{nx + s : s \in S\}$

Finite set $\{a_1, a_2, ..., a_n, b_1, b_2, ..., b_n\}=\{1, 2, …, 2n\}$ is given. If $a_1<a_2<...<a_n$ and $b_1>b_2>...>b_n$, show that $$\sum_{i=1}^n |a_i-b_i|=n^2$$

Determine all triplets $(a,b,c)$ of real numbers such that sets $\{a^2-4c, b^2-2a, c^2-2b \}$ and $\{a-c,b-4c,a+b\}$ are equal and $2a+2b+6=5c$. In every set all elements are pairwise distinct

Let be a natural number $ n\ge 2. $ Prove that there exists an unique bipartition $ \left( A,B \right) $ of the set $ \{ 1,2\ldots ,n \} $ such that $ \lfloor \sqrt x \rfloor\neq y , $ for any $ x,y\in A , $ and $ \lfloor \sqrt z \rfloor\neq t , $ for any $ z,t\in B. $ [i]Costin Bădică[/i]

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.

Let $S$ be a finite set of size $s\geq 1$ defined with a uniform probability $\mathbb{P}$( i.e. for any subset $X\subset S$ of size $x$, $\mathbb{P}(x)=\frac{x}{s}$). Suppose $A$ and $B$ are subsets of $S$. They are said to be independent iff $\mathbb{P}(A)\mathbb{P}(B)=\mathbb{P}(A\cap B)$. Which if these is sufficient for independence? (A)$|A\cup B|=|A|+|B|$ (B)$|A\cap B|=|A|+|B|$ (C)$|A\cup B|=|A|\cdot |B|$ (D)$|A\cap B|=|A|\cdot |B|$

Let $S = \{1, 2, 3, \ldots , 2046, 2047, 2048\}$. Two subsets $A$ and $B$ of $S$ are said to be [i]friends[/i] if the following conditions are true: [list] [*] They do not share any elements. [*] They both have the same number of elements. [*] The product of all elements from $A$ equals the product of all elements from $B$. [/list] Prove that there are two subsets of $S$ that are [i]friends[/i] such that each one of them contains at least $738$ elements.

Find the least possible cardinality of a set $A$ of natural numbers, the smallest and greatest of which are $1$ and $100$, and having the property that every element of $A$ except for $1$ equals the sum of two elements of $A$.

Consider the set $E$ of all natural numbers $n$ such that whenn divided by $11, 12, 13$, respectively, the remainders, int that order, are distinct prime numbers in an arithmetic progression. If $N$ is the largest number in $E$, find the sum of digits of $N$.

Set $X$ is called [i]fancy[/i] if it satisfies all of the following conditions: [list] [*]The number of elements of $X$ is $2022$. [*]Each element of $X$ is a closed interval contained in $[0, 1]$. [*]For any real number $r \in [0, 1]$, the number of elements of $X$ containing $r$ is less than or equal to $1011$. [/list] For [i]fancy[/i] sets $A, B$, and intervals $I \in A, J \in B$, denote by $n(A, B)$ the number of pairs $(I, J)$ such that $I \cap J \neq \emptyset$. Determine the maximum value of $n(A, B)$.

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$.

Prove that for every parititon of set $X=\{1,2,...,9\}$ on two disjoint sets at least one of them contains three elements such that sum of some two of them is equal to third

Let $X$ be a set of $100$ elements. Find the smallest possible $n$ satisfying the following condition: Given a sequence of $n$ subsets of $X$, $A_1,A_2,\ldots,A_n$, there exists $1 \leq i < j < k \leq n$ such that $$A_i \subseteq A_j \subseteq A_k \text{ or } A_i \supseteq A_j \supseteq A_k.$$

Let $A$ be a set $A=\{1,2,3,...,2017\}$. Subset $S$ of set $A$ is [i]good [/i] if for all $x\in A$ sum of remaining elements of set $S$ has same last digit as $x$. Prove that [i]good[/i] subset with $405$ elements is not possible.

$S=\{1,2, \ldots, 6\} .$ Then find out the number of unordered pairs of $(A, B)$ such that $A, B \subseteq S$ and $A \cap B=\phi$ [list=1] [*] 360 [*] 364 [*] 365 [*] 366 [/list]

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 $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 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 $

Is there a countable set $Y$ and an uncountable family $\mathcal F$ of its subsets such that for every two distinct $A,B\in\mathcal F$, their intersection $A\cap B$ is finite?

Find all odd prime numbers $p$ for which there exists a natural number $g$ for which the sets \[A=\left\{ \left( {{k}^{2}}+1 \right)\,\bmod p|\,k=1,2,\ldots ,\frac{p-1}{2} \right\}\] and \[B=\left\{ {{g}^{k}}\bmod \,p|\,k=1,2,...,\frac{p-1}{2} \right\}\] are equal.