Denote by $ \mathcal{H}$ a set of sequences $ S\equal{}\{s_n\}_{n\equal{}1}^{\infty}$ of real numbers having the following properties: (i) If $ S\equal{}\{s_n\}_{n\equal{}1}^{\infty}\in \mathcal{H}$, then $ S'\equal{}\{s_n\}_{n\equal{}2}^{\infty}\in \mathcal{H}$; (ii) If $ S\equal{}\{s_n\}_{n\equal{}1}^{\infty}\in \mathcal{H}$ and $ T\equal{}\{t_n\}_{n\equal{}1}^{\infty}$, then $ S\plus{}T\equal{}\{s_n\plus{}t_n\}_{n\equal{}1}^{\infty}\in \mathcal{H}$ and $ ST\equal{}\{s_nt_n\}_{n\equal{}1}^{\infty}\in \mathcal{H}$; (iii) $ \{\minus{}1,\minus{}1,\dots,\minus{}1,\dots\}\in \mathcal{H}$. A real valued function $ f(S)$ defined on $ \mathcal{H}$ is called a quasi-limit of $ S$ if it has the following properties: If $ S\equal{}{c,c,\dots,c,\dots}$, then $ f(S)\equal{}c$; If $ s_i\geq 0$, then $ f(S)\geq 0$; $ f(S\plus{}T)\equal{}f(S)\plus{}f(T)$; $ f(ST)\equal{}f(S)f(T)$, $ f(S')\equal{}f(S)$ Prove that for every $ S$, the quasi-limit $ f(S)$ is an accumulation point of $ S$.

Let $n$ be a positive integer and let $a_1, a_2, \cdots a_k$ be all numbers less than $n$ and coprime to $n$ in increasing order. Find the set of values the function $f(n)=gcd(a_1^3-1, a_2^3-1, \cdots, a_k^3-1)$.

Let $f:\mathbb{R}\rightarrow \mathbb{R}$ a continuous function such that for any $x\in \mathbb{R}$, the limit $\lim_{h\to 0} \left|\frac{f(x+h)-f(x)}{h}\right|$ exists and it is finite. Prove that in any real point, $f$ is differentiable or it has finite one-side derivates, of the same modul, but different signs.

Show that there exists no function $f:\mathbb {R}\rightarrow \mathbb {R}$ that satisfies $f(f(x))-x^2+x+3=0$ for arbitrary real variable $x$. (Same as KMO 2004 P1)

Show that if $\lambda > \frac{1}{2}$ there does not exist a real-valued function $u(x)$ such that for all $x$ in the closed interval $[0,1]$ the following holds: $$u(x)= 1+ \lambda \int_{x}^{1} u(y) u(y-x) \; dy.$$

Let $ f:[-1,1]\longrightarrow\mathbb{R} $ a derivable function and a non-negative integer $ n. $ Show that there is a $ c\in [-1,1] $ so that: $$ \int_{-1}^1 x^{2n+1} f(x)dx =\frac{2}{2n+3}f'(c). $$

Let $f$ be a function defined on the set of positive rational numbers with the property that $f(a\cdot b)=f(a)+f(b)$ for all positive rational numbers $a$ and $b$. Suppose that $f$ also has the property that $f(p)=p$ for every prime number $p$. For which of the following numbers $x$ is $f(x)<0?$ $\textbf{(A) } \frac{17}{32} \qquad \textbf{(B) } \frac{11}{16} \qquad \textbf{(C) } \frac{7}{9} \qquad \textbf{(D) } \frac{7}{6} \qquad \textbf{(E) } \frac{25}{11}$

The function $f$ has the property that, for each real number $x,$ \[ f(x)+f(x-1) = x^2. \] If $f(19)=94,$ what is the remainder when $f(94)$ is divided by 1000?

Find all functions $f: \mathbb{N}\to \mathbb{N}$ such that for all $n\in \mathbb{N}$: \[f(f(f(n)))+f(f(n))+f(n)=3n.\]

A function $ f:\mathbb{R}\longrightarrow\mathbb{R} $ has property $ \mathcal{F} , $ if for any real number $ a, $ there exists a $ b<a $ such that $ f(x)\le f(a), $ for all $ x\in (b,a) . $ [b]a)[/b] Give an example of a function with property $ \mathcal{F} $ that is not monotone on $ \mathbb{R} . $ [b]b)[/b] Prove that a continuous function that has property $ \mathcal{F} $ is nondecreasing.

Find all functions $f : Z \to Z$ satisfying $\bullet$ $ f(p) > 0$ for all prime numbers $p$, $\bullet$ $p| (f(x) + f(p))^{f(p)}- x$ for all $x \in Z$ and all prime numbers $p$.

Let $ r$ and $ s$ two orthogonal lines that does not lay on the same plane. Let $ AB$ be their common perpendicular, where $ A\in{}r$ and $ B\in{}s$(*).Consider the sphere of diameter $ AB$. The points $ M\in{r}$ and $ N\in{s}$ varies with the condition that $ MN$ is tangent to the sphere on the point $ T$. Find the locus of $ T$. Note: The plane that contains $ B$ and $ r$ is perpendicular to $ s$.

a)Prove that $\frac{1}{2}+\frac{1}{3}+...+\frac{1}{{{2}^{m}}}<m$, for any $m\in {{\mathbb{N}}^{*}}$. b)Let ${{p}_{1}},{{p}_{2}},...,{{p}_{n}}$ be the prime numbers less than ${{2}^{100}}$. Prove that $\frac{1}{{{p}_{1}}}+\frac{1}{{{p}_{2}}}+...+\frac{1}{{{p}_{n}}}<10$

Let $D=\{0,1,\dots,9\}$. A direction function for $D$ is a function $f:D \times D \to \{0,1\}.$ A real $r\in [0,1]$ is compatible with $f$ if it can be written in the form $$r = \sum_{j=1}^{\infty} \frac{d_j}{10^j}$$ with $d_j \in D$ and $f(d_j,d_{j+1})=1$ for every positive integer $j$. Determine the least integer $k$ such that for any direction fuction $f$, if there are $k$ compatible reals with $f$ then there are infinite reals compatible with $f$.

Let $ f: [0,1]\rightarrow \mathbb{R}$ a derivable function such that $ f(0)\equal{}f(1)$, $ \int_0^1f(x)dx\equal{}0$ and $ f^{\prime}(x) \neq 1\ ,\ (\forall)x\in [0,1]$. i)Prove that the function $ g: [0,1]\rightarrow \mathbb{R}\ ,\ g(x)\equal{}f(x)\minus{}x$ is strictly decreasing. ii)Prove that for each integer number $ n\ge 1$, we have: $ \left|\sum_{k\equal{}0}^{n\minus{}1}f\left(\frac{k}{n}\right)\right|<\frac{1}{2}$

Let $ A$ represent the set of all functions $ f : \mathbb{N} \rightarrow \mathbb{N}$ such that for all $ k \in \overline{1, 2007}$, $ f^{[k]} \neq \mathrm{Id}_{\mathbb{N}}$ and $ f^{[2008]} \equiv \mathrm{Id}_{\mathbb{N}}$. a) Prove that $ A$ is non-empty. b) Find, with proof, whether $ A$ is infinite. c) Prove that all the elements of $ A$ are bijective functions. (Denote by $ \mathbb{N}$ the set of the nonnegative integers, and by $ f^{[k]}$, the composition of $ f$ with itself $ k$ times.)

Given points $a$ and $b$ in the plane, let $a\oplus b$ be the unique point $c$ such that $abc$ is an equilateral triangle with $a,b,c$ in the clockwise orientation. Solve $(x\oplus (0,0))\oplus(1,1)=(1,-1)$ for $x$.

Find the number of functions $ A\stackrel{f}{\longrightarrow } A $ for which there exist two functions $ A\stackrel{g}{\longrightarrow } B\stackrel{h}{\longrightarrow } A $ having the properties that $ g\circ h =\text{id.} $ and $ h\circ g=f, $ where $ B $ and $ A $ are two finite sets.

Let $\mathbb N$ be the set of all positive integers. A subset $A$ of $\mathbb N$ is [i]sum-free[/i] if, whenever $x$ and $y$ are (not necessarily distinct) members of $A$, their sum $x+y$ does not belong to $A$. Determine all surjective functions $f:\mathbb N\to\mathbb N$ such that, for each sum-free subset $A$ of $\mathbb N$, the image $\{f(a):a\in A\}$ is also sum-free. [i]Note: a function $f:\mathbb N\to\mathbb N$ is surjective if, for every positive integer $n$, there exists a positive integer $m$ such that $f(m)=n$.[/i]

Find all functions $f : R \to R$ which satisfy $f(x)f(y) = f(x + y) + xy$ for all $x, y \in R$.

The function $\mu: \mathbb{N}\to \mathbb{C}$ is defined by \[\mu(n) = \sum^{}_{k \in R_{n}}\left( \cos \frac{2k\pi}{n}+i \sin \frac{2k\pi}{n}\right),\] where $R_{n}=\{ k \in \mathbb{N}\vert 1 \le k \le n, \gcd(k, n)=1 \}$. Show that $\mu(n)$ is an integer for all positive integer $n$.

Let $k$ be a positive integer, and set $n=2^k$, $N=\{1, 2, \cdots, n\}$. For any bijective function $f:N\rightarrow N$, if a set $A\subset N$ contains an element $a\in A$ such that $\{a, f(a), f(f(a)), \cdots\} = A$, then we call $A$ as a cycle of $f$. Prove that: among all bijective functions $f:N\rightarrow N$, at least $\frac{n!}{2}$ of them have number of cycles less than or equal to $2k-1$. [i]Note: A function is bijective if and only if it is injective and surjective; in other words, it is 1-1 and onto.[/i] [i]Proposed by CSJL[/i]

$f(x)=a\sin x+b\sqrt[3]{x}+4$. If $f(\lg\log_{3}10)=5$, then the value of $f(\lg\lg 3)$ is $\text{(A)}-5\qquad\text{(B)}-3\qquad\text{(C)}3\qquad\text{(D)}$ not sure

For each positive integer, define a function \[ f(n)=\begin{cases}0, &\text{if n is the square of an integer}\\ \\ \left\lfloor\frac{1}{\{\sqrt{n}\}}\right\rfloor, &\text{if n is not the square of an integer}\end{cases}. \] Find the value of $\sum_{k=1}^{200} f(k)$.

Let $ S\subseteq\mathbb{R}$ be a set of real numbers. We say that a pair $ (f, g)$ of functions from $ S$ into $ S$ is a [i]Spanish Couple[/i] on $ S$, if they satisfy the following conditions: (i) Both functions are strictly increasing, i.e. $ f(x) < f(y)$ and $ g(x) < g(y)$ for all $ x$, $ y\in S$ with $ x < y$; (ii) The inequality $ f\left(g\left(g\left(x\right)\right)\right) < g\left(f\left(x\right)\right)$ holds for all $ x\in S$. Decide whether there exists a Spanish Couple [list][*] on the set $ S \equal{} \mathbb{N}$ of positive integers; [*] on the set $ S \equal{} \{a \minus{} \frac {1}{b}: a, b\in\mathbb{N}\}$[/list] [i]Proposed by Hans Zantema, Netherlands[/i]