Let $\Delta ABC$ be a triangle. The internal bisectors of angles $\angle CAB$ and $\angle ABC$ intersect segments $BC$, respectively $AC$ in $D$, respectively $E$. Prove that \[DE\leq (3-2\sqrt{2})(AB+BC+CA).\]

Let $w\in \mathbb{C}\setminus \mathbb{R}$, $|w|\neq 1$. Prove that $f\colon \mathbb{C} \to \mathbb{C}$, given by $f(z)= z+w\overline{z}$, is a bijection, and find its inverse.

Determine, with proof, whether or not there exist integers $a,b,c>2010$ satisfying the equation \[a^3+2b^3+4c^3=6abc+1.\]

Let $f:\mathbb{R}\rightarrow \mathbb{R}$ a function such that $f\left(\frac{a+b}{2}\right)\in \{f(a),f(b)\},\ (\forall)a,b\in \mathbb{R}$. a) Give an example of a non-constant function that satisfy the hypothesis. b)If $f$ is continuous, prove that $f$ is constant.

For any three positive real numbers $a$, $b$, $c$, prove the inequality \[\frac{\left(b+c\right)^{2}}{a^{2}+bc}+\frac{\left(c+a\right)^{2}}{b^{2}+ca}+\frac{\left(a+b\right)^{2}}{c^{2}+ab}\geq 6.\] Darij

Determine all non negative integers $k$ such that there is a function $f : \mathbb{N} \to \mathbb{N}$ that satisfies \[ f^n(n) = n + k \] for all $n \in \mathbb{N}$

A variable tangent $t$ to the circle $C_1$, of radius $r_1$, intersects the circle $C_2$, of radius $r_2$ in $A$ and $B$. The tangents to $C_2$ through $A$ and $B$ intersect in $P$. Find, as a function of $r_1$ and $r_2$, the distance between the centers of $C_1$ and $C_2$ such that the locus of $P$ when $t$ varies is contained in an equilateral hyperbola. [b]Note[/b]: A hyperbola is said to be [i]equilateral[/i] if its asymptotes are perpendicular.

Let $\mathbb N_0$ be the set of non-negative integers. There is a triple $(f,a,b)$, where $f$ is a function from $\mathbb N_0$ to $\mathbb N_0$ and $a,b\in\mathbb N_0$ that satisfies the following conditions: [list] [*]$f(1)=2$ [*]$f(a)+f(b)\leq 2\sqrt{f(a)}$ [*]For all $n>0$, we have $f(n)=f(n-1)f(b)+2n-f(b)$ [/list] Find the sum of all possible values of $f(b+100)$.

Let $n$ be a positive integer, and $x$ be a positive real number. Prove that $$\sum_{k=1}^{n} \left( x \left[\frac{k}{x}\right] - (x+1)\left[\frac{k}{x+1}\right]\right) \leq n,$$ where $[x]$ denotes the largest integer not exceeding $x$.

Find all functions $f:\mathbb{Z}_{>0}\rightarrow\mathbb{Z}_{>0}$ that satisfy the following two conditions: [list]$\bullet\ f(n)$ is a perfect square for all $n\in\mathbb{Z}_{>0}$ $\bullet\ f(m+n)=f(m)+f(n)+2mn$ for all $m,n\in\mathbb{Z}_{>0}$.[/list]

Let $\mathbb Q_{>0}$ be the set of all positive rational numbers. Let $f:\mathbb Q_{>0}\to\mathbb R$ be a function satisfying the following three conditions: (i) for all $x,y\in\mathbb Q_{>0}$, we have $f(x)f(y)\geq f(xy)$; (ii) for all $x,y\in\mathbb Q_{>0}$, we have $f(x+y)\geq f(x)+f(y)$; (iii) there exists a rational number $a>1$ such that $f(a)=a$. Prove that $f(x)=x$ for all $x\in\mathbb Q_{>0}$. [i]Proposed by Bulgaria[/i]

Let $m$ and $n$ be positive integers. Show that $\frac{(m+n)!}{(m+n)^{m+n}} < \frac{m!}{m^m}\cdot\frac{n!}{n^n}$

Show that for real numbers $x_1, x_2, ... , x_n$ we have: \[ \sum\limits_{i=1}^n \sum\limits_{j=1}^n \dfrac{x_ix_j}{i+j} \geq 0 \] When do we have equality?

Find all monotonically increasing or monotonically decreasing functions $f: \mathbb{R}_+\to\mathbb{R}_+$ which satisfy the equation $f\left(xy\right)\cdot f\left(\frac{f\left(y\right)}{x}\right)=1$ for any two numbers $x$ and $y$ from $\mathbb{R}_+$. Hereby, $\mathbb{R}_+$ is the set of all positive real numbers. [i]Note.[/i] A function $f: \mathbb{R}_+\to\mathbb{R}_+$ is called [i]monotonically increasing[/i] if for any two positive numbers $x$ and $y$ such that $x\geq y$, we have $f\left(x\right)\geq f\left(y\right)$. A function $f: \mathbb{R}_+\to\mathbb{R}_+$ is called [i]monotonically decreasing[/i] if for any two positive numbers $x$ and $y$ such that $x\geq y$, we have $f\left(x\right)\leq f\left(y\right)$.

Determine all functions $ f$ from the set of positive integers to the set of positive integers such that, for all positive integers $ a$ and $ b$, there exists a non-degenerate triangle with sides of lengths \[ a, f(b) \text{ and } f(b \plus{} f(a) \minus{} 1).\] (A triangle is non-degenerate if its vertices are not collinear.) [i]Proposed by Bruno Le Floch, France[/i]

Triangle $ABC$ and a function $f:\mathbb{R}^+\to\mathbb{R}$ have the following property: for every line segment $DE$ from the interior of the triangle with midpoint $M$, the inequality $f(d(D))+f(d(E))\le 2f(d(M))$, where $d(X)$ is the distance from point $X$ to the nearest side of the triangle ($X$ is in the interior of $\triangle ABC$). Prove that for each line segment $PQ$ and each point interior point $N$ the inequality $|QN|f(d(P))+|PN|f(d(Q))\le |PQ|f(d(N))$ holds.

Let $ k $ be a natural number. A function $ f:S:=\left\{ x_1,x_2,...,x_k\right\}\longrightarrow\mathbb{R} $ is said to be [i]additive[/i] if, whenever $ n_1x_1+n_2x_2+\cdots +n_kx_k=0, $ it holds that $ n_1f\left( x_1\right)+n_2f\left( x_2\right)+\cdots +n_kf\left( x_k\right)=0, $ for all natural numbers $ n_1,n_2,...,n_k. $ Show that for every additive function and for every finite set of real numbers $ T, $ there exists a second function, which is a real additive function defined on $ S\cup T $ and which is equal to the former on the restriction $ S. $

Find all function(s) $f:\mathbb R\to\mathbb R$ satisfying the equation \[f(x+y)+f(x)f(y)=(1+y)f(x)+(1+x)f(y)+f(xy);\] For all $x,y\in\mathbb R.$

Determine all pairs of functions $f,g:\mathbb{R}\rightarrow\mathbb{R}$ such that for any $x,y\in \mathbb{R}$, \[f(x)f(y)=g(x)g(y)+g(x)+g(y).\]

The set of all numbers x for which \[x+\sqrt{x^{2}+1}-\frac{1}{x+\sqrt{x^{2}+1}}\] is a rational number is the set of all: $\textbf{(A)}\ \text{ integers } x \qquad \textbf{(B)}\ \text{ rational } x \qquad \textbf{(C)}\ \text{ real } x\qquad \textbf{(D)}\ x \text{ for which } \sqrt{x^2+1} \text{ is rational} \qquad \textbf{(E)}\ x \text{ for which } x+\sqrt{x^2+1} \text{ is rational }$

Consider all functions $f:\mathbb{R} \to \mathbb{R}$ satisfying $f(1-f(x))=x$ for all $x \in \mathbb{R}$. a) By giving a concrete example, show that such a function exists. b) For each such function define the sum \[S_f=f(-2017)+f(-2016)+\dots+f(-1)+f(0)+f(1)+\dots+f(2017)+f(2018).\] Determine all possible values of $S_f$.

$(SWE 2)$ For each $\lambda (0 < \lambda < 1$ and $\lambda = \frac{1}{n}$ for all $n = 1, 2, 3, \cdots)$, construct a continuous function $f$ such that there do not exist $x, y$ with $0 < \lambda < y = x + \lambda \le 1$ for which $f(x) = f(y).$

Let be given natural numbers $a_1,a_2,...,a_n$ and a function $f : Z \to R$ such that $f(x) = 1$ for all integers $x < 0$ and $f(x) = 1- f(x-a_1)f(x-a_2)... f(x-a_n)$ for all integers $x \ge 0$. Prove that there exist natural numbers $s$ and $t$ such that for all integers $x > s$ it holds that $f(x+t) = f(x)$.

Find all functions $f: \mathbb{Z} \rightarrow \mathbb{Z}$ such that $\boxed{1} \ f(1) = 1$ $\boxed{2} \ f(m+n)(f(m)-f(n)) = f(m-n)(f(m)+f(n)) \ \forall \ m,n \in \mathbb{Z}$

How many times changes the sign of the function \[ f(x)\equal{}\cos x\cos\frac{x}{2}\cos\frac{x}{3}\cdots\cos\frac{x}{2009}\] at the interval $ \left[0, \frac{2009\pi}{2}\right]$?