Olympiad problems

1995 All-Russian Olympiad, 2

Prove that every real function, defined on all of $\mathbb R$, can be represented as a sum of two functions whose graphs both have an axis of symmetry. [i]D. Tereshin[/i]

1989 IMO Longlists, 17

Tags: function , limit , geometric series , algebra

Let $ a \in \mathbb{R}, 0 < a < 1,$ and $ f$ a continuous function on $ [0, 1]$ satisfying $ f(0) \equal{} 0, f(1) \equal{} 1,$ and \[ f \left( \frac{x\plus{}y}{2} \right) \equal{} (1\minus{}a) f(x) \plus{} a f(y) \quad \forall x,y \in [0,1] \text{ with } x \leq y.\] Determine $ f \left( \frac{1}{7} \right).$

1975 IMO Shortlist, 9

Tags: function , algebra , continuous function , translation , intersection

Let $f(x)$ be a continuous function defined on the closed interval $0 \leq x \leq 1$. Let $G(f)$ denote the graph of $f(x): G(f) = \{(x, y) \in \mathbb R^2 | 0 \leq$$ x \leq 1, y = f(x) \}$. Let $G_a(f)$ denote the graph of the translated function $f(x - a)$ (translated over a distance $a$), defined by $G_a(f) = \{(x, y) \in \mathbb R^2 | a \leq x \leq a + 1, y = f(x - a) \}$. Is it possible to find for every $a, \ 0 < a < 1$, a continuous function $f(x)$, defined on $0 \leq x \leq 1$, such that $f(0) = f(1) = 0$ and $G(f)$ and $G_a(f)$ are disjoint point sets ?

2010 Today's Calculation Of Integral, 619

Tags: calculus , integration , function , trigonometry , calculus computations , logarithm

Consider a function $f(x)=\frac{\sin x}{9+16\sin ^ 2 x}\ \left(0\leq x\leq \frac{\pi}{2}\right).$ Let $a$ be the value of $x$ for which $f(x)$ is maximized. Evaluate $\int_a^{\frac{\pi}{2}} f(x)\ dx.$ [i]2010 Saitama University entrance exam/Mathematics[/i] Last Edited

2023 European Mathematical Cup, 4

Tags: functional equation , function , ivan novak orz

Let $f\colon\mathbb{N}\rightarrow\mathbb{N}$ be a function such that for all positive integers $x$ and $y$, the number $f(x)+y$ is a perfect square if and only if $x+f(y)$ is a perfect square. Prove that $f$ is injective. [i]Remark.[/i] A function $f\colon\mathbb{N}\rightarrow\mathbb{N}$ is injective if for all pairs $(x,y)$ of distinct positive integers, $f(x)\neq f(y)$ holds. [i]Ivan Novak[/i]

1989 Chile National Olympiad, 6

Tags: algebra , function , functional equation , functional

The function $f$, with domain on the set of non-negative integers, is defined by the following : $\bullet$ $f (0) = 2$ $\bullet$ $(f (n + 1) -1)^2 + (f (n)-1) ^2 = 2f (n) f (n + 1) + 4$, taking $f (n)$ the largest possible value. Determine $f (n)$.

2017 OMMock - Mexico National Olympiad Mock Exam, 5

Tags: algebra , functional equation , function

Let $k$ be a positive real number. Determine all functions $f:[-k, k]\rightarrow[0, k]$ satisfying the equation $$f(x)^2+f(y)^2-2xy=k^2+f(x+y)^2$$ for any $x, y\in[-k, k]$ such that $x+y\in[-k, k]$. [i]Proposed by Maximiliano Sánchez[/i]

2015 IMO Shortlist, A5

Tags: function , functional equation , algebra

Let $2\mathbb{Z} + 1$ denote the set of odd integers. Find all functions $f:\mathbb{Z} \mapsto 2\mathbb{Z} + 1$ satisfying \[ f(x + f(x) + y) + f(x - f(x) - y) = f(x+y) + f(x-y) \] for every $x, y \in \mathbb{Z}$.

2012 Finnish National High School Mathematics Competition, 5

Tags: function , induction , number theory

The [i]Collatz's function[i] is a mapping $f:\mathbb{Z}_+\to\mathbb{Z}_+$ satisfying \[ f(x)=\begin{cases} 3x+1,& \mbox{as }x\mbox{ is odd}\\ x/2, & \mbox{as }x\mbox{ is even.}\\ \end{cases} \] In addition, let us define the notation $f^1=f$ and inductively $f^{k+1}=f\circ f^k,$ or to say in another words, $f^k(x)=\underbrace{f(\ldots (f}_{k\text{ times}}(x)\ldots ).$ Prove that there is an $x\in\mathbb{Z}_+$ satisfying \[f^{40}(x)> 2012x.\]

2023 Iran MO (3rd Round), 2

Tags: function , algebra

find all $f : \mathbb{C} \to \mathbb{C}$ st: $$f(f(x)+yf(y))=x+|y|^2$$ for all $x,y \in \mathbb{C}$

2020 Jozsef Wildt International Math Competition, W33

Tags: calculus , integration , function

Let $p\in\mathbb N,f:[0,1]\to(0,\infty)$ be a continuous function and $$a_n=\int^1_0x^p\sqrt[n]{f(x)}dx,n\in\mathbb N,n\ge2.$$ Demonstrate that: a) $\lim_{n\to\infty}a_n=\frac1{p+1}$ b) $\lim_{n\to\infty}((p+1)a_n)^n=\exp\left((p+1)\int^1_0x^p\ln f(x)dx\right)$ [i]Proposed by Nicolae Papacu[/i]

2000 Turkey MO (2nd round), 3

Tags: function , algebra , inequalities

Find all continuous functions $f:[0,1]\to [0,1]$ for which there exists a positive integer $n$ such that $f^{n}(x)=x$ for $x \in [0,1]$ where $f^{0} (x)=x$ and $f^{k+1}=f(f^{k}(x))$ for every positive integer $k$.

1982 Miklós Schweitzer, 5

Tags: function , real analysis

Find a perfect set $ H \subset [0,1]$ of positive measure and a continuous function $ f$ defined on $ [0,1]$ such that for any twice differentiable function $ g$ defined on $ [0,1]$, the set $ \{ x \in H : \;f(x)\equal{}g(x)\ \}$ is finite. [i]M. Laczkovich[/i]

1975 Miklós Schweitzer, 6

Tags: function , real analysis

Let $ f$ be a differentiable real function and let $ M$ be a positive real number. Prove that if \[ |f(x\plus{}t)\minus{}2f(x)\plus{}f(x\minus{}t)| \leq Mt^2 \; \textrm{for all}\ \;x\ \; \textrm{and}\ \;t\ , \] then \[ |f'(x\plus{}t)\minus{}f'(x)| \leq M|t|.\] [i]J. Szabados[/i]

2011 Armenian Republican Olympiads, Problem 1

Tags: function , algebra

Does there exist a function $f\colon \mathbb{R}\to\mathbb{R}$ such that for any $x>y,$ it satisfies $f(x)-f(y)>\sqrt{x-y}.$

2021 Iran Team Selection Test, 3

Tags: function , number theory

There exist $4$ positive integers $a,b,c,d$ such that $abcd \neq 1$ and each pair of them have a GCD of $1$. Two functions $f,g : \mathbb{N} \rightarrow \{0,1\}$ are multiplicative functions such that for each positive integer $n$ we have : $$f(an+b)=g(cn+d)$$ Prove that at least one of the followings hold. $i)$ for each positive integer $n$ we have $f(an+b)=g(cn+d)=0$ $ii)$ There exists a positive integer $k$ such that for all $n$ where $(n,k)=1$ we have $g(n)=f(n)=1$ (Function $f$ is multiplicative if for any natural numbers $a,b$ we have $f(ab)=f(a)f(b)$) Proposed by [i]Navid Safaii[/i]

1994 All-Russian Olympiad, 6

Tags: function , combinatorics

I'll post some nice combinatorics problems here, taken from the wonderful training book "Les olympiades de mathmatiques" (in French) written by Tarik Belhaj Soulami. Here goes the first one: Let $\mathbb{I}$ be a non-empty subset of $\mathbb{Z}$ and let $f$ and $g$ be two functions defined on $\mathbb{I}$. Let $m$ be the number of pairs $(x,\;y)$ for which $f(x) = g(y)$, let $n$ be the number of pairs $(x,\;y)$ for which $f(x) = f(y)$ and let $k$ be the number of pairs $(x,\;y)$ for which $g(x) = g(y)$. Show that \[2m \leq n + k.\]

2014 China Team Selection Test, 3

Tags: function , algebra , polynomial , number theory

Let the function $f:N^*\to N^*$ such that [b](1)[/b] $(f(m),f(n))\le (m,n)^{2014} , \forall m,n\in N^*$; [b](2)[/b] $n\le f(n)\le n+2014 , \forall n\in N^*$ Show that: there exists the positive integers $N$ such that $ f(n)=n $, for each integer $n \ge N$. (High School Affiliated to Nanjing Normal University )

2005 Taiwan National Olympiad, 3

Tags: polynomial , function , algebra

$f(x)=x^3-6x^2+17x$. If $f(a)=16, f(b)=20$, find $a+b$.

2007 AIME Problems, 7

Tags: function , ceiling function , floor function , calculus , integration , logarithm

Let \[N= \sum_{k=1}^{1000}k(\lceil \log_{\sqrt{2}}k\rceil-\lfloor \log_{\sqrt{2}}k \rfloor).\] Find the remainder when N is divided by 1000. (Here $\lfloor x \rfloor$ denotes the greatest integer that is less than or equal to x, and $\lceil x \rceil$ denotes the least integer that is greater than or equal to x.)