Let $ x,y,z $ be three non-negative real numbers such that \[x^2+y^2+z^2=2(xy+yz+zx). \] Prove that \[\dfrac{x+y+z}{3} \ge \sqrt[3]{2xyz}.\]

Zeroes and ones are arranged in all the squares of $n\times n$ table. All the squares of the left column are filled by ones, and the sum of numbers in every figure of the form [asy]size(50); draw((2,1)--(0,1)--(0,2)--(2,2)--(2,0)--(1,0)--(1,2));[/asy] (consisting of a square and its neighbours from left and from below) is even. Prove that no two rows of the table are identical. [i]Proposed by O. Vanyushina[/i]

Let $x$ and $y$ be integers satisfying both $x^2 - 16x + 3y = 20$ and $y^2 + 4y - x = -12$. Find $x + y$.

Determine all functions $f: \mathbb{Q} \to \mathbb{Q}$ such that $$f(2xy + \frac{1}{2}) + f(x-y) = 4f(x)f(y) + \frac{1}{2}$$ for all $x,y \in \mathbb{Q}$.

Determine all real-valued functions $f$ on the set of real numbers satisfying \[2f(x)=f(x+y)+f(x+2y)\] for all real numbers $x$ and all non-negative real numbers $y$.

Put $\mathbb{A}=\{ \mathrm{yes}, \mathrm{no} \}$. A function $f\colon \mathbb{A}^n\rightarrow \mathbb{A}$ is called a [i]decision function[/i] if (a) the value of the function changes if we change all of its arguments; and (b) the values does not change if we replace any of the arguments by the function value. A function $d\colon \mathbb{A}^n \rightarrow \mathbb{A}$ is called a [i]dictatoric function[/i], if there is an index $i$ such that the value of the function equals its $i$th argument. The [i]democratic function[/i] is the function $m\colon \mathbb{A}^3 \rightarrow \mathbb{A}$ that outputs the majority of its arguments. Prove that any decision function is a composition of dictatoric and democratic functions.

Let $A_1A_2A_3A_4A_5$ be a regular pentagon with side length 1. The sides of the pentagon are extended to form the 10-sided polygon shown in bold at right. Find the ratio of the area of quadrilateral $A_2A_5B_2B_5$ (shaded in the picture to the right) to the area of the entire 10-sided polygon. [asy] size(8cm); defaultpen(fontsize(10pt)); pair A_2=(-0.4382971011,5.15554989475), B_4=(-2.1182971011,-0.0149584477027), B_5=(-4.8365942022,8.3510997895), A_3=(0.6,8.3510997895), B_1=(2.28,13.521608132), A_4=(3.96,8.3510997895), B_2=(9.3965942022,8.3510997895), A_5=(4.9982971011,5.15554989475), B_3=(6.6782971011,-0.0149584477027), A_1=(2.28,3.18059144705); filldraw(A_2--A_5--B_2--B_5--cycle,rgb(.8,.8,.8)); draw(B_1--A_4^^A_4--B_2^^B_2--A_5^^A_5--B_3^^B_3--A_1^^A_1--B_4^^B_4--A_2^^A_2--B_5^^B_5--A_3^^A_3--B_1,linewidth(1.2)); draw(A_1--A_2--A_3--A_4--A_5--cycle); pair O = (A_1+A_2+A_3+A_4+A_5)/5; label("$A_1$",A_1, 2dir(A_1-O)); label("$A_2$",A_2, 2dir(A_2-O)); label("$A_3$",A_3, 2dir(A_3-O)); label("$A_4$",A_4, 2dir(A_4-O)); label("$A_5$",A_5, 2dir(A_5-O)); label("$B_1$",B_1, 2dir(B_1-O)); label("$B_2$",B_2, 2dir(B_2-O)); label("$B_3$",B_3, 2dir(B_3-O)); label("$B_4$",B_4, 2dir(B_4-O)); label("$B_5$",B_5, 2dir(B_5-O)); [/asy]

Let $n \geq 2, n \in \mathbb{N}$, $a,b,c,d \in \mathbb{N}$, $\frac{a}{b} + \frac{c}{d} < 1$ and $a + c \leq n,$ find the maximum value of $\frac{a}{b} + \frac{c}{d}$ for fixed $n.$

A function $\psi \colon {\mathbb Z} \to {\mathbb Z}$ is said to be [i]zero-requiem[/i] if for any positive integer $n$ and any integers $a_1$, $\ldots$, $a_n$ (not necessarily distinct), the sums $a_1 + a_2 + \dots + a_n$ and $\psi(a_1) + \psi(a_2) + \dots + \psi(a_n)$ are not both zero. Let $f$ and $g$ be two zero-requiem functions for which $f \circ g$ and $g \circ f$ are both the identity function (that is, $f$ and $g$ are mutually inverse bijections). Given that $f+g$ is [i]not[/i] a zero-requiem function, prove that $f \circ f$ and $g \circ g$ are both zero-requiem. [i]Sutanay Bhattacharya[/i]

For $n \in \mathbb{N}$, consider non-negative valued functions $f$ on $\{1,2, \cdots , n\}$ satisfying $f(i) \geqslant f(j)$ for $i>j$ and $\sum_{i=1}^{n} (i+ f(i))=2023.$ Choose $n$ such that $\sum_{i=1}^{n} f(i)$ is at least. How many such functions exist in that case?

Prove that for any positive integer $n\geq 2$ we have that \[\sum_{k=2}^n \lfloor \sqrt[k]{n}\rfloor=\sum_{k=2}^n\lfloor\log_{k}n\rfloor.\]

Determine all pairs of positive integers $(m, n)$ for which there exists a bijective function \[f : \mathbb{Z}_m \times \mathbb{Z}_n \to \mathbb{Z}_m \times \mathbb{Z}_n\]such that the vectors $f(\mathbf{v}) + \mathbf{v}$, as $\mathbf{v}$ runs through all of $\mathbb{Z}_m \times \mathbb{Z}_n$, are pairwise distinct. (For any integers $a$ and $b$, the vectors $[a, b], [a + m, b]$ and $[a, b + n]$ are treated as equal.) [i]Poland, Wojciech Nadara[/i]

Let a function $f : \Bbb{R}^+ \to \Bbb{R}$ satisfy: (i) $f$ is strictly increasing, (ii) $f(x) > -1/x$ for all $x > 0$, (iii)$ f(x)f (f(x) + 1/x) = 1$ for all $x > 0$. Determine $f(1)$.

We call a function $f: \mathbb{Q}^+ \to \mathbb{Q}^+$ [i]good[/i] if for all $x,y \in \mathbb{Q}^+$ we have: $$f(x)+f(y)\geq 4f(x+y).$$ a) Prove that for all good functions $f: \mathbb{Q}^+ \to \mathbb{Q}^+$ and $x,y,z \in \mathbb{Q}^+$ $$f(x)+f(y)+f(z) \geq 8f(x+y+z)$$ b) Does there exists a good functions $f: \mathbb{Q}^+ \to \mathbb{Q}^+$ and $x,y,z \in \mathbb{Q}^+$ such that $$f(x)+f(y)+f(z) < 9f(x+y+z) ?$$

An $n$ by $n$ grid, where every square contains a number, is called an $n$-code if the numbers in every row and column form an arithmetic progression. If it is sufficient to know the numbers in certain squares of an $n$-code to obtain the numbers in the entire grid, call these squares a key. [b]a.) [/b]Find the smallest $s \in \mathbb{N}$ such that any $s$ squares in an $n-$code $(n \geq 4)$ form a key. [b]b.)[/b] Find the smallest $t \in \mathbb{N}$ such that any $t$ squares along the diagonals of an $n$-code $(n \geq 4)$ form a key.