Olympiad problems

2009 China Team Selection Test, 1

Tags: ceiling function , ratio , function , floor function , combinatorics , logarithm

Let $ \alpha,\beta$ be real numbers satisfying $ 1 < \alpha < \beta.$ Find the greatest positive integer $ r$ having the following property: each of positive integers is colored by one of $ r$ colors arbitrarily, there always exist two integers $ x,y$ having the same color such that $ \alpha\le \frac {x}{y}\le\beta.$

2024 Irish Math Olympiad, P10

Tags: function , composition , algebra , functional equation

Let $\mathbb{Z}_+=\{1,2,3,4...\}$ be the set of all positive integers. Find, with proof, all functions $f : \mathbb{Z}_+ \mapsto \mathbb{Z}_+$ with the property that $$f(x+f(y)+f(f(z)))=z+f(y)+f(f(x))$$ for all positive integers $x,y,z$.

2016 Bulgaria EGMO TST, 3

Tags: function , inequalities

Prove that there is no function $f:\mathbb{R}^{+} \to \mathbb{R}^{+}$ such that $f(x)^2 \geq f(x+y)(f(x)+y)$ for all $x,y \in \mathbb{R}^{+}$.

1967 Putnam, B6

Tags: function , calculus , derivative , partial derivatives

Let $f$ be a real-valued function having partial derivatives and which is defined for $x^2 +y^2 \leq1$ and is such that $|f(x,y)|\leq 1.$ Show that there exists a point $(x_0, y_0 )$ in the interior of the unit circle such that $$\left( \frac{ \partial f}{\partial x}(x_0 ,y_0 ) \right)^{2}+ \left( \frac{ \partial f}{\partial y}(x_0 ,y_0 ) \right)^{2} \leq 16.$$

2004 Vietnam National Olympiad, 2

Tags: inequalities , algebra , polynomial , function , limit , quadratic , real analysis

Let $x$, $y$, $z$ be positive reals satisfying $\left(x+y+z\right)^{3}=32xyz$ Find the minimum and the maximum of $P=\frac{x^{4}+y^{4}+z^{4}}{\left(x+y+z\right)^{4}}$

2008 Harvard-MIT Mathematics Tournament, 22

Tags: function , modular arithmetic

For a positive integer $ n$, let $ \theta(n)$ denote the number of integers $ 0 \leq x < 2010$ such that $ x^2 \minus{} n$ is divisible by $ 2010$. Determine the remainder when $ \displaystyle \sum_{n \equal{} 0}^{2009} n \cdot \theta(n)$ is divided by $ 2010$.

2009 Moldova Team Selection Test, 2

Tags: function , calculus , derivative , rearrangement inequality , logarithm , inequalities

[color=darkred]Let $ m,n\in \mathbb{N}$, $ n\ge 2$ and numbers $ a_i > 0$, $ i \equal{} \overline{1,n}$, such that $ \sum a_i \equal{} 1$. Prove that $ \small{\dfrac{a_1^{2 \minus{} m} \plus{} a_2 \plus{} ... \plus{} a_{n \minus{} 1}}{1 \minus{} a_1} \plus{} \dfrac{a_2^{2 \minus{} m} \plus{} a_3 \plus{} ... \plus{} a_n}{1 \minus{} a_1} \plus{} ... \plus{} \dfrac{a_n^{2 \minus{} m} \plus{} a_1 \plus{} ... \plus{} a_{n \minus{} 2}}{1 \minus{} a_1}\ge n \plus{} \dfrac{n^m \minus{} n}{n \minus{} 1}}$[/color]

2012 Harvard-MIT Mathematics Tournament, 9

Tags: hmmt , algebra , polynomial , function , trigonometry

How many real triples $(a,b,c)$ are there such that the polynomial $p(x)=x^4+ax^3+bx^2+ax+c$ has exactly three distinct roots, which are equal to $\tan y$, $\tan 2y$, and $\tan 3y$ for some real number $y$?

2015 Brazil Team Selection Test, 3

Tags: algebra , function , calculus

Define the function $f:(0,1)\to (0,1)$ by \[\displaystyle f(x) = \left\{ \begin{array}{lr} x+\frac 12 & \text{if}\ \ x < \frac 12\\ x^2 & \text{if}\ \ x \ge \frac 12 \end{array} \right.\] Let $a$ and $b$ be two real numbers such that $0 < a < b < 1$. We define the sequences $a_n$ and $b_n$ by $a_0 = a, b_0 = b$, and $a_n = f( a_{n -1})$, $b_n = f (b_{n -1} )$ for $n > 0$. Show that there exists a positive integer $n$ such that \[(a_n - a_{n-1})(b_n-b_{n-1})<0.\] [i]Proposed by Denmark[/i]

1994 Poland - First Round, 7

Tags: function

(a) Find out, whether there exists a differentiable function $f: R \longrightarrow R$, not equaling $0$ for all $x \in R$, satisfying the conditions $2f(f(x)) = f(x) \geq 0$ for all $x \in R$. (b) Find out, whether there exists a differentiable function $f: R \longrightarrow R$, not equaling $0$ for all $x \in R$, satisfying the conditions $-1 \leq 2f(f(x)) = f(x) \leq 1$ for all $x \in R$.

2005 Today's Calculation Of Integral, 81

Tags: calculus , integration , trigonometry , inequalities , derivative , function , logarithm

Prove the following inequality. \[\frac{1}{12}(\pi -6+2\sqrt{3})\leq \int_{\frac{\pi}{6}}^{\frac{\pi}{4}} \ln (1+\cos 2x) dx\leq \frac{1}{4}(2-\sqrt{3})\]

2017 VJIMC, 2

Tags: function , real analysis

Prove or disprove the following statement. If $g:(0,1) \to (0,1)$ is an increasing function and satisfies $g(x) > x$ for all $x \in (0,1)$, then there exists a continuous function $f:(0,1) \to \mathbb{R}$ satisfying $f(x) < f(g(x)) $ for all $x \in (0,1)$, but $f$ is not an increasing function.

2011 China National Olympiad, 1

Tags: floor function , function , inequalities

Let $a_1,a_2,\ldots,a_n$ are real numbers, prove that; \[\sum_{i=1}^na_i^2-\sum_{i=1}^n a_i a_{i+1} \le \left\lfloor \frac{n}{2}\right\rfloor(M-m)^2.\] where $a_{n+1}=a_1,M=\max_{1\le i\le n} a_i,m=\min_{1\le i\le n} a_i$.

2010 Indonesia TST, 3

Tags: function , induction , number theory

Let $ \mathbb{Z}$ be the set of all integers. Define the set $ \mathbb{H}$ as follows: (1). $ \dfrac{1}{2} \in \mathbb{H}$, (2). if $ x \in \mathbb{H}$, then $ \dfrac{1}{1\plus{}x} \in \mathbb{H}$ and also $ \dfrac{x}{1\plus{}x} \in \mathbb{H}$. Prove that there exists a bijective function $ f: \mathbb{Z} \rightarrow \mathbb{H}$.

2003 AIME Problems, 13

Tags: probability , counting , distinguishability , modular arithmetic , function , limit , vector

A bug starts at a vertex of an equilateral triangle. On each move, it randomly selects one of the two vertices where it is not currently located, and crawls along a side of the triangle to that vertex. Given that the probability that the bug moves to its starting vertex on its tenth move is $m/n,$ where $m$ and $n$ are relatively prime positive integers, find $m+n.$

2007 AMC 12/AHSME, 24

Tags: trigonometry , floor function , modular arithmetic , algebra , function , domain , arithmetic sequence

For each integer $ n > 1,$ let $ F(n)$ be the number of solutions of the equation $ \sin x \equal{} \sin nx$ on the interval $ [0,\pi].$ What is $ \sum_{n \equal{} 2}^{2007}F(n)?$ $ \textbf{(A)}\ 2,014,524 \qquad \textbf{(B)}\ 2,015,028 \qquad \textbf{(C)}\ 2,015,033 \qquad \textbf{(D)}\ 2,016,532 \qquad \textbf{(E)}\ 2,017,033$

2010 Contests, 2

Tags: function , parameterization , induction , inequalities , rearrangement inequality , algebra

Let $n$ be a positive integer number and let $a_1, a_2, \ldots, a_n$ be $n$ positive real numbers. Prove that $f : [0, \infty) \rightarrow \mathbb{R}$, defined by \[f(x) = \dfrac{a_1 + x}{a_2 + x} + \dfrac{a_2 + x}{a_3 + x} + \cdots + \dfrac{a_{n-1} + x}{a_n + x} + \dfrac{a_n + x}{a_1 + x}, \] is a decreasing function. [i]Dan Marinescu et al.[/i]

2004 Iran MO (3rd Round), 10

Tags: function , perimeter , geometry

$f:\mathbb{R}^2 \to \mathbb{R}^2$ is injective and surjective. Distance of $X$ and $Y$ is not less than distance of $f(X)$ and $f(Y)$. Prove for $A$ in plane: \[ S(A) \geq S(f(A))\] where $S(A)$ is area of $A$

1976 Miklós Schweitzer, 4

Tags: calculus , integration , algebra , function , domain , polynomial , ring theory

Let $ \mathbb{Z}$ be the ring of rational integers. Construct an integral domain $ I$ satisfying the following conditions: a)$ \mathbb{Z} \varsubsetneqq I$; b) no element of $ I \minus{} \mathbb{Z}$ (only in $ I$) is algebraic over $ \mathbb{Z}$ (that is, not a root of a polynomial with coefficients in $ \mathbb{Z}$); c) $ I$ only has trivial endomorphisms. [i]E. Fried[/i]

The Golden Digits 2024, P1

Tags: function

Find all functions $f:\mathbb{R}\rightarrow\mathbb{R}$, such that for any real numbers $x,y$ with $y\neq 0$ we have $$f(f(x)+y)f\left(\frac{1}{y}\right)=xf\left(\frac{1}{y}\right) + 1.$$ [i]Proposed by Marius Cerlat[/i]

2024 European Mathematical Cup, 4

Tags: function , algebra , functional equation

Find all functions $ f: \mathbb{R}^{+} \to \mathbb{R}^{+}$ such that $f(x+yf(x)) = xf(1+y)$ for all x, y positive reals.

2009 Germany Team Selection Test, 2

Tags: function , number theory , modular arithmetic , divisor , functional equation

For every $ n\in\mathbb{N}$ let $ d(n)$ denote the number of (positive) divisors of $ n$. Find all functions $ f: \mathbb{N}\to\mathbb{N}$ with the following properties: [list][*] $ d\left(f(x)\right) \equal{} x$ for all $ x\in\mathbb{N}$. [*] $ f(xy)$ divides $ (x \minus{} 1)y^{xy \minus{} 1}f(x)$ for all $ x$, $ y\in\mathbb{N}$.[/list] [i]Proposed by Bruno Le Floch, France[/i]

2010 Germany Team Selection Test, 3

Tags: function , inequalities , algebra , functional inequality

Let $f$ be any function that maps the set of real numbers into the set of real numbers. Prove that there exist real numbers $x$ and $y$ such that \[f\left(x-f(y)\right)>yf(x)+x\] [i]Proposed by Igor Voronovich, Belarus[/i]

2024 District Olympiad, P1

Tags: algebra , function

Let $a,b\in\mathbb{R},~a>1,~b>0.$ Find the least possible value for $\alpha$ such that :$$(a+b)^x\geq a^x+b,~(\forall)x\geq\alpha.$$

2012 China Team Selection Test, 2

Tags: pigeonhole principle , floor function , ceiling function , function , algebra , difference of squares , inequalities

Prove that there exists a positive real number $C$ with the following property: for any integer $n\ge 2$ and any subset $X$ of the set $\{1,2,\ldots,n\}$ such that $|X|\ge 2$, there exist $x,y,z,w \in X$(not necessarily distinct) such that \[0<|xy-zw|<C\alpha ^{-4}\] where $\alpha =\frac{|X|}{n}$.