Olympiad problems

PEN N Problems, 9

Tags: abstract algebra , polynomial , algebra , function , number theory , least common multiple , inequalities

Let $ q_{0}, q_{1}, \cdots$ be a sequence of integers such that a) for any $ m > n$, $ m \minus{} n$ is a factor of $ q_{m} \minus{} q_{n}$, b) item $ |q_n| \le n^{10}$ for all integers $ n \ge 0$. Show that there exists a polynomial $ Q(x)$ satisfying $ q_{n} \equal{} Q(n)$ for all $ n$.

1999 Moldova Team Selection Test, 16

Tags: function , algebra

Define functions $f,g: \mathbb{R}\to \mathbb{R}$, $g$ is injective, satisfy: \[f(g(x)+y)=g(f(y)+x)\]

2010 China Team Selection Test, 2

Tags: function , polynomial , algebra , complex number

Let $A=\{a_1,a_2,\cdots,a_{2010}\}$ and $B=\{b_1,b_2,\cdots,b_{2010}\}$ be two sets of complex numbers. Suppose \[\sum_{1\leq i<j\leq 2010} (a_i+a_j)^k=\sum_{1\leq i<j\leq 2010}(b_i+b_j)^k\] holds for every $k=1,2,\cdots, 2010$. Prove that $A=B$.

2012 Philippine MO, 2

Tags: polynomial , algebra , function

Let $f$ be a polynomial function with integer coefficients and $p$ be a prime number. Suppose there are at least four distinct integers satisfying $f(x) = p$. Show that $f$ does not have integer zeros.

2005 Harvard-MIT Mathematics Tournament, 4

Tags: function , real analysis , derivative , calculus

Let $ f : \mathbf {R} \to \mathbf {R} $ be a smooth function such that $ f'(x)^2 = f(x) f''(x) $ for all $x$. Suppose $f(0)=1$ and $f^{(4)} (0) = 9$. Find all possible values of $f'(0)$.

2010 Contests, 2

Tags: domain , algebra , function , induction , functional equation

Find all the continuous functions $f : \mathbb{R} \mapsto\mathbb{R}$ such that $\forall x,y \in \mathbb{R}$, $(1+f(x)f(y))f(x+y)=f(x)+f(y)$.

1998 USAMO, 6

Tags: conic , function , floor function , hyperbola

Let $n \geq 5$ be an integer. Find the largest integer $k$ (as a function of $n$) such that there exists a convex $n$-gon $A_{1}A_{2}\dots A_{n}$ for which exactly $k$ of the quadrilaterals $A_{i}A_{i+1}A_{i+2}A_{i+3}$ have an inscribed circle. (Here $A_{n+j} = A_{j}$.)

2011 USAMTS Problems, 2

Tags: probability , function

Four siblings are sitting down to eat some mashed potatoes for lunch: Ethan has 1 ounce of mashed potatoes, Macey has 2 ounces, Liana has 4 ounces, and Samuel has 8 ounces. This is not fair. A blend consists of choosing any two children at random, combining their plates of mashed potatoes, and then giving each of those two children half of the combination. After the children's father performs four blends consecutively, what is the probability that the four children will all have the same amount of mashed potatoes?

1994 China National Olympiad, 3

Tags: inequalities , function , algebra

Find all functions $f:[1,\infty )\rightarrow [1,\infty)$ satisfying the following conditions: (1) $f(x)\le 2(x+1)$; (2) $f(x+1)=\dfrac{1}{x}[(f(x))^2-1]$ .

1968 IMO Shortlist, 12

Tags: inequalities , function , induction , inequality , 2-variable inequality , algebra

If $a$ and $b$ are arbitrary positive real numbers and $m$ an integer, prove that \[\Bigr( 1+\frac ab \Bigl)^m +\Bigr( 1+\frac ba \Bigl)^m \geq 2^{m+1}.\]

2001 Iran MO (3rd Round), 1

Tags: functional equation , function , induction , number theory

Find all functions $ f: \mathbb Q\longrightarrow\mathbb Q$ such that: $ f(x)+f(\frac1x)=1$ $ 2f(f(x))=f(2x)$

2009 Ukraine National Mathematical Olympiad, 4

Tags: function , algebra , functional equation

Find all functions $f : \mathbb R \to \mathbb R$ such that \[f\left(x+xy+f(y)\right)= \left( f(x)+\frac 12 \right) \left( f(y)+\frac 12 \right) \qquad \forall x,y \in \mathbb R.\]

2013 Romania National Olympiad, 4

Tags: integration , logarithm , function , number theory , induction , calculus , inequalities

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$

2005 China Team Selection Test, 1

Tags: floor function , function , inequalities

Find all positive integers $m$ and $n$ such that the inequality: \[ [ (m+n) \alpha ] + [ (m+n) \beta ] \geq [ m \alpha ] + [n \beta] + [ n(\alpha+\beta)] \] is true for any real numbers $\alpha$ and $\beta$. Here $[x]$ denote the largest integer no larger than real number $x$.

1982 Miklós Schweitzer, 9

Tags: geometry , function , topology , 3d geometry

Suppose that $ K$ is a compact Hausdorff space and $ K\equal{} \cup_{n\equal{}0}^{\infty}A_n$, where $ A_n$ is metrizable and $ A_n \subset A_m$ for $ n<m$. Prove that $ K$ is metrizable. [i]Z. Balogh[/i]

1978 IMO Longlists, 28

Tags: logarithm , function , algebra

Let $c, s$ be real functions defined on $\mathbb{R}\setminus\{0\}$ that are nonconstant on any interval and satisfy \[c\left(\frac{x}{y}\right)= c(x)c(y) - s(x)s(y)\text{ for any }x \neq 0, y \neq 0\] Prove that: $(a) c\left(\frac{1}{x}\right) = c(x), s\left(\frac{1}{x}\right) = -s(x)$ for any $x = 0$, and also $c(1) = 1, s(1) = s(-1) = 0$; $(b) c$ and $s$ are either both even or both odd functions (a function $f$ is even if $f(x) = f(-x)$ for all $x$, and odd if $f(x) = -f(-x)$ for all $x$). Find functions $c, s$ that also satisfy $c(x) + s(x) = x^n$ for all $x$, where $n$ is a given positive integer.

2014 Contests, 2

Tags: inequalities , integration , function , combinatorics

Let $ k\geq 1 $ and let $ I_{1},\dots, I_{k} $ be non-degenerate subintervals of the interval $ [0, 1] $. Prove that \[ \sum \frac{1}{\left | I_{i}\cup I_{j} \right |} \geq k^{2} \] where the summation is over all pairs $ (i, j) $ of indices such that $I_i\cap I_j\neq \emptyset$.

2011 Preliminary Round - Switzerland, 2

Tags: function , number theory

Find all positive integers $n$ such that $n^3$ is the product of all divisors of $n$.

2010 Nordic, 1

Tags: function , number theory , relatively prime , inequalities , modular arithmetic , algebra

A function $f : \mathbb{Z}_+ \to \mathbb{Z}_+$, where $\mathbb{Z}_+$ is the set of positive integers, is non-decreasing and satisfies $f(mn) = f(m)f(n)$ for all relatively prime positive integers $m$ and $n$. Prove that $f(8)f(13) \ge (f(10))^2$.

2013 Stanford Mathematics Tournament, 8

Tags: function , analytic geometry , integration , graphing lines , slope , calculus

The function $f(x)$ is defined for all $x\ge 0$ and is always nonnegative. It has the additional property that if any line is drawn from the origin with any positive slope $m$, it intersects the graph $y=f(x)$ at precisely one point, which is $\frac{1}{\sqrt{m}}$ units from the origin. Let $a$ be the unique real number for which $f$ takes on its maximum value at $x=a$ (you may assume that such an $a$ exists). Find $\int_{0}^{a}f(x) \, dx$.

2011 Kosovo Team Selection Test, 5

Tags: algebra , function

Find all functions $f:\mathbb{R}\rightarrow \mathbb{R}$ such that $ \forall x\notin\{-1,1\}$ holds: \[\displaystyle{f\Big(\frac{x-3}{x+1}\Big)+f\Big(\frac{3+x}{1-x}\Big)=x}\]

2013 District Olympiad, 3

Tags: algebra , function

Take the function $f:\mathbb{R}\to \mathbb{R}$, $f\left( x \right)=ax,x\in \mathbb{Q},f\left( x \right)=bx,x\in \mathbb{R}\backslash \mathbb{Q}$, where $a$ and $b$ are two real numbers different from 0. Prove that $f$ is injective if and only if $f$ is surjective.

2007 Italy TST, 3

Tags: functional equation , algebra , polynomial , function

Find all $f: R \longrightarrow R$ such that \[f(xy+f(x))=xf(y)+f(x)\] for every pair of real numbers $x,y$.

PEN I Problems, 15

Tags: floor function , function

Find the total number of different integer values the function \[f(x) = \lfloor x\rfloor+\lfloor 2x\rfloor+\left\lfloor \frac{5x}{3}\right\rfloor+\lfloor 3x\rfloor+\lfloor 4x\rfloor\] takes for real numbers $x$ with $0 \leq x \leq 100$.

PEN M Problems, 26

Tags: floor function , inequalities , recursive sequences , function , modular arithmetic

Let $p$ be an odd prime $p$ such that $2h \neq 1 \; \pmod{p}$ for all $h \in \mathbb{N}$ with $h< p-1$, and let $a$ be an even integer with $a \in] \tfrac{p}{2}, p [$. The sequence $\{a_n\}_{n \ge 0}$ is defined by $a_{0}=a$, $a_{n+1}=p -b_{n}$ \; $(n \ge 0)$, where $b_{n}$ is the greatest odd divisor of $a_n$. Show that the sequence $\{a_n\}_{n \ge 0}$ is periodic and find its minimal (positive) period.