Find all functions $f:\mathbb{R}\to \mathbb{R}$ such that for all $x,y\in \mathbb{R}$ one has \[f(f(x)+y)=f(x+f(y))\]and in addition the set $f^{-1}(a)=\{b\in \mathbb{R}\mid f(b)=a\}$ is a finite set for all $a\in \mathbb{R}$.

Let $A, B\subset \mathbb{Z}$ be two sets of integers. We say that $A,B$ are mutually repulsive if there exist positive integers $m,n$ and two sequences of integers $\alpha_1, \alpha_2, \dots, \alpha_n$ and $\beta_1, \beta_2, \dots, \beta_m$, for which there is a unique integer $x$ such that the number of its appearances in the sequence of sets $A+\alpha_1, A+\alpha_2, \dots, A+\alpha_n$ is different than the number of its appearances in the sequence of sets $B+\beta_1, \dots, B+\beta_m$. For a given quadruple of positive integers $(n_1,d_1, n_2, d_2)$, determine whether the sets \[A=\{d_1, 2d_1, \dots, n_1d_1\}\]\[B=\{d_2, 2d_2, \dots, n_2d_2\}\]are mutually repulsive. For a set $X\subset \mathbb{Z}$ and $c\in \mathbb{Z}$, we define $X+c=\{x+c\mid x\in X\}$.

For each positive integer $n$, define $f(n)$ to be the least positive integer for which the following holds: For any partition of $\{1,2,\dots, n\}$ into $k>1$ disjoint subsets $A_1, \dots, A_k$, all of the same size, let $P_i(x)=\prod_{a\in A_i}(x-a)$. Then there exist $i\neq j$ for which \[\deg(P_i(x)-P_j(x))\geq \frac{n}{k}-f(n)\] a) Prove that there is a constant $c$ so that $f(n)\le c\cdot \sqrt{n}$ for all $n$. b) Prove that for infinitely many $n$, one has $f(n)\ge \ln(n)$.

Original post by shalomrav, but for some reason the mods locked the problem without any solves Let $ABCD$ be a cyclic quadrilateral inscribed in circle $\Omega$. Let $F_A$ be the (associated with $\Omega$) Feuerbach point of the triangle formed by the tangents to $\Omega$ at $B,C,D$, that is, the point of tangency of $\Omega$ and the nine-point circle of that triangle. Define $F_B, F_C, F_D$ similarly. Let $A'$ be the intersection of the tangents to $\Omega$ at $A$ and $F_A$. Define $B', C', D'$ similarly. Prove that quadrilaterals $ABCD$ and $A'B'C'D'$ are similar

Let $ABC$ be an acute triangle with $AB\neq AC$. The angle bisector of $\angle BAC$ intersects with $BC$ at a point $D$. $BE,CF$ are the altitudes of the triangle and $Ap_1,Ap_2$ are the isodynamic points of triangle $ABC$.Let the $A$-median of $ABC$ intersect $EF$ at $T$. Show that the line connecting $T$ with the nine-point center of $ABC$ is perpendicular to $BC$ if and only if $\angle Ap_1DAp_2=90^\circ$.

Let $a_1,a_2,a_3,...$ be an infinite sequence of positive integers. Suppose that a sequence $a_1,a_2,\ldots$ of positive integers satisfies $a_1=1$ and \[a_{n}=\sum_{n\neq d|n}a_d\]for every integer $n>1$. Prove that the exist infinitely many integers $k$ such that $a_k=k$.