Olympiad problems

PEN K Problems, 9

Find all functions $f: \mathbb{N}_{0}\rightarrow \mathbb{N}_{0}$ such that for all $n\in \mathbb{N}_{0}$: \[f(f(n))+f(n)=2n+6.\]

2001 National Olympiad First Round, 34

Tags: function

Let $f$ be a real-valued function defined over ordered pairs of integers such that \[f(x+3m-2n, y-4m+5n) = f(x,y)\] for every integers $x,y,m,n$. At most how many elements does the range set of $f$ have? $ \textbf{(A)}\ 7 \qquad\textbf{(B)}\ 8 \qquad\textbf{(C)}\ 15 \qquad\textbf{(D)}\ 49 \qquad\textbf{(E)}\ \text{Infinitely many} $

1964 Dutch Mathematical Olympiad, 4

Tags: algebra , function , functional equation

The function $ƒ$ is defined at $[0,1]$, and $f\{f(x)\} = ƒ(x)$. $\exists _{c\in [0,1]} \left[f(c) =\frac12 \right]$ Determine $f\left(\frac12 \right).$ $\forall _{t\in [0,1]}\exists _{s\in [0,1]}[f(s) = t]$. Determine $f$. Prove that the function $g$, with $g(x) = x$,$0 \le x \le k$, $g(x) = k$, $k \le x \le 1$ satisfies the relation $g\{g(x)\} = g(x)$.

2005 Olympic Revenge, 3

Tags: function , algebra

Find all functions $f: R \rightarrow R$ such that \[f(x+yf(x))+f(xf(y)-y)=f(x)-f(y)+2xy\] for all $x,y \in R$

2019 USA IMO Team Selection Test, 2

Tags: number theory , function

Let $\mathbb{Z}/n\mathbb{Z}$ denote the set of integers considered modulo $n$ (hence $\mathbb{Z}/n\mathbb{Z}$ has $n$ elements). Find all positive integers $n$ for which there exists a bijective function $g: \mathbb{Z}/n\mathbb{Z} \to \mathbb{Z}/n\mathbb{Z}$, such that the 101 functions \[g(x), \quad g(x) + x, \quad g(x) + 2x, \quad \dots, \quad g(x) + 100x\] are all bijections on $\mathbb{Z}/n\mathbb{Z}$. [i]Ashwin Sah and Yang Liu[/i]

2007 District Olympiad, 3

Tags: function , algebra , number theory , functional equation

Find all functions $ f:\mathbb{N}\longrightarrow\mathbb{N} $ that satisfy the following relation: $$ f(x)^2+y\vdots x^2+f(y) ,\quad\forall x,y\in\mathbb{N} . $$

2015 Saudi Arabia BMO TST, 1

Tags: algebra , functional equation , functional , function , increasing

Find all strictly increasing functions $f : Z \to R$ such that for any $m, n \in Z$ there exists a $k \in Z$ such that $f(k) = f(m) - f(n)$. Nguyễn Duy Thái Sơn

2002 AMC 10, 21

Tags: function

Let $f$ be a real-valued function such that \[f(x)+2f\left(\dfrac{2002}x\right)=3x\] for all $x>0$. Find $f(2)$. $\textbf{(A) }1000\qquad\textbf{(B) }2000\qquad\textbf{(C) }3000\qquad\textbf{(D) }4000\qquad\textbf{(E) }6000$

2009 Jozsef Wildt International Math Competition, W. 17

Tags: function , inequalities

If $a$, $b$, $c>0$ and $abc=1$, $\alpha = max\{a,b,c\}$; $f,g : (0, +\infty )\to \mathbb{R}$, where $f(x)=\frac{2(x+1)^2}{x}$ and $g(x)= (x+1)\left (\frac{1}{\sqrt{x}}+1\right )^2$, then $$(a+1)(b+1)(c+1)\geq min\{ \{f(x),g(x) \}\ |\ x\in\{a,b,c\} \backslash \{ \alpha \}\} $$

1994 Polish MO Finals, 3

Tags: limit , function , algebra

$k$ is a fixed positive integer. Let $a_n$ be the number of maps $f$ from the subsets of $\{1, 2, ... , n\}$ to $\{1, 2, ... , k\}$ such that for all subsets $A, B$ of $\{1, 2, ... , n\}$ we have $f(A \cap B) = \min (f(A), f(B))$. Find $\lim_{n \to \infty} \sqrt[n]{a_n}$.

1947 Putnam, A2

Tags: function , algebra , functional equation

A real valued continuous function $f$ satisfies for all real $x$ and $y$ the functional equation $$ f(\sqrt{x^2 +y^2 })= f(x)f(y).$$ Prove that $$f(x) =f(1)^{x^{2}}.$$

2024 Baltic Way, 9

Tags: function , combinatorics

Let $S$ be a finite set. For a positive integer $n$, we say that a function $f\colon S\to S$ is an [i]$n$-th power[/i] if there exists some function $g\colon S\to S$ such that \[ f(x) = \underbrace{g(g(\ldots g(x)\ldots))}_{\mbox{\scriptsize $g$ applied $n$ times}} \] for each $x\in S$. Suppose that a function $f\colon S\to S$ is an $n$-th power for each positive integer $n$. Is it necessarily true that $f(f(x)) = f(x)$ for each $x\in S$?

2019 ELMO Shortlist, N2

Tags: number theory , function

Let $f:\mathbb N\to \mathbb N$. Show that $f(m)+n\mid f(n)+m$ for all positive integers $m\le n$ if and only if $f(m)+n\mid f(n)+m$ for all positive integers $m\ge n$. [i]Proposed by Carl Schildkraut[/i]

2011 NIMO Summer Contest, 13

Tags: trigonometry , function , smoothing

For real $\theta_i$, $i = 1, 2, \dots, 2011$, where $\theta_1 = \theta_{2012}$, find the maximum value of the expression \[ \sum_{i=1}^{2011} \sin^{2012} \theta_i \cos^{2012} \theta_{i+1}. \] [i]Proposed by Lewis Chen [/i]

2019 India PRMO, 2

Tags: function

Ket $f(x) = x^{2} +ax + b$. If for all nonzero real $x$ $$f\left(x + \dfrac{1}{x}\right) = f\left(x\right) + f\left(\dfrac{1}{x}\right)$$ and the roots of $f(x) = 0$ are integers, what is the value of $a^{2}+b^{2}$?

2002 Tuymaada Olympiad, 2

Tags: function , induction , algebra

Find all the functions $f(x),$ continuous on the whole real axis, such that for every real $x$ \[f(3x-2)\leq f(x)\leq f(2x-1).\] [i]Proposed by A. Golovanov[/i]

2004 District Olympiad, 2

Tags: function , integration , real analysis , riemann integral

Let $ f:[0,1]\longrightarrow\mathbb{R} $ be a continuous function such that $$ \int_0^1 f(x)g(x)dx =\int_0^1 f(x)dx\cdot\int_0^1 g(x)dx , $$ for all functions $ g:[0,1]\longrightarrow\mathbb{R} $ that are continuous and non-differentiable. Prove that $ f $ is constant.

1982 IMO, 1

Tags: function , algebra , functional equation

The function $f(n)$ is defined on the positive integers and takes non-negative integer values. $f(2)=0,f(3)>0,f(9999)=3333$ and for all $m,n:$ \[ f(m+n)-f(m)-f(n)=0 \text{ or } 1. \] Determine $f(1982)$.

2010 Contests, 1

Tags: polynomial , function , algebra

The real numbers $a$, $b$, $c$, $d$ satisfy simultaneously the equations \[abc -d = 1, \ \ \ bcd - a = 2, \ \ \ cda- b = 3, \ \ \ dab - c = -6.\] Prove that $a + b + c + d \not = 0$.

1961 Putnam, B6

Tags: function , differential equation , root

Consider the function $y(x)$ satisfying the differential equation $y'' = -(1+\sqrt{x})y$ with $y(0)=1$ and $y'(0)=0.$ Prove that $y(x)$ vanishes exactly once on the interval $0< x< \pi \slash 2,$ and find a positive lower bound for the zero.

2003 Putnam, 2

Tags: induction , function

Let $n$ be a positive integer. Starting with the sequence $1,\frac{1}{2}, \frac{1}{3} , \cdots , \frac{1}{n}$, form a new sequence of $n -1$ entries $\frac{3}{4}, \frac{5}{12},\cdots ,\frac{2n -1}{2n(n -1)}$, by taking the averages of two consecutive entries in the first sequence. Repeat the averaging of neighbors on the second sequence to obtain a third sequence of $n -2$ entries and continue until the final sequence consists of a single number $x_n$. Show that $x_n < \frac{2}{n}$.

2013 ELMO Shortlist, 9

Tags: function , logarithm , inequalities

Let $a, b, c$ be positive reals, and let $\sqrt[2013]{\frac{3}{a^{2013}+b^{2013}+c^{2013}}}=P$. Prove that \[\prod_{\text{cyc}}\left(\frac{(2P+\frac{1}{2a+b})(2P+\frac{1}{a+2b})}{(2P+\frac{1}{a+b+c})^2}\right)\ge \prod_{\text{cyc}}\left(\frac{(P+\frac{1}{4a+b+c})(P+\frac{1}{3b+3c})}{(P+\frac{1}{3a+2b+c})(P+\frac{1}{3a+b+2c})}\right).\][i]Proposed by David Stoner[/i]

Oliforum Contest II 2009, 1

Tags: function , modular arithmetic , prime factorization , number theory

Let $ \sigma(\cdot): \mathbb{N}_0 \to \mathbb{N}_0$ be the function from every positive integer $ n$ to the sum of divisors $ \sum_{d \mid n}{d}$ (i.e. $ \sigma(6) \equal{} 6 \plus{} 3 \plus{} 2 \plus{} 1$ and $ \sigma(8) \equal{} 8 \plus{} 4 \plus{} 2 \plus{} 1$). Find all primes $ p$ such that $ p \mid \sigma(p \minus{} 1)$. [i](Salvatore Tringali)[/i]

2012 Waseda University Entrance Examination, 4

Tags: calculus , integration , function , analytic geometry , calculus computations , logarithm

For a function $f(x)=\ln (1+\sqrt{1-x^2})-\sqrt{1-x^2}-\ln x\ (0<x<1)$, answer the following questions: (1) Find $f'(x)$. (2) Sketch the graph of $y=f(x)$. (3) Let $P$ be a mobile point on the curve $y=f(x)$ and $Q$ be a point which is on the tangent at $P$ on the curve $y=f(x)$ and such that $PQ=1$. Note that the $x$-coordinate of $Q$ is les than that of $P$. Find the locus of $Q$.

2009 India National Olympiad, 2

Tags: function , algebra

Define a a sequence $ {<{a_n}>}^{\infty}_{n\equal{}1}$ as follows $ a_n\equal{}0$, if number of positive divisors of $ n$ is [i]odd[/i] $ a_n\equal{}1$, if number of positive divisors of $ n$ is [i]even[/i] (The positive divisors of $ n$ include $ 1$ as well as $ n$.)Let $ x\equal{}0.a_1a_2a_3........$ be the real number whose decimal expansion contains $ a_n$ in the $ n$-th place,$ n\geq1$.Determine,with proof,whether $ x$ is rational or irrational.