This website contains problems from math contests. Problems and corresponding tags were obtained from the Art of Problem Solving website.

Tags were heavily modified to better represent problems.

AND
OR
NO

Found problems: 4776

Let $A_n$ be the set of all the sums $\displaystyle \sum_{k=1}^n \arcsin x_k $, where $n\geq 2$, $x_k \in [0,1]$, and $\displaystyle \sum^n_{k=1} x_k = 1$. a) Prove that $A_n$ is an interval. b) Let $a_n$ be the length of the interval $A_n$. Compute $\displaystyle \lim_{n\to \infty} a_n$.
$f$ is a real-valued function defined on the reals such that $f(x) \le x$ and $f(x + y) \le f(x) + f(y)$ for all $x, y$. Prove that $f(x) = x$ for all $x$.
Let $S$ be a finite set, and let $\mathcal{A}$ be the set of all functions from $S$ to $S$. Let $f$ be an element of $\mathcal{A}$, and let $T=f(S)$ be the image of $S$ under $f$. Suppose that $f\circ g\circ f\ne g\circ f\circ g$ for every $g$ in $\mathcal{A}$ with $g\ne f$. Show that $f(T)=T$.
[b]4.[/b] Let $f(x)$ be a real- or complex-value integrable function on $(0,1)$ with $\mid f(x) \mid \leq 1 $. Set $ c_k = \int_0^1 f(x) e^{-2 \pi i k x} dx $ and construct the following matrices of order $n$: $ T= (t_{pq})_{p,q=0}^{n-1}, T^{*}= (t_{pq}^{*})_{p,q =0}^{n-1} $ where $t_{pq}= c_{q-p}, t^{*}= \overline {c_{p-q}}$ . Further, consider the following hyper-matrix of order $m$: $ S= \begin{bmatrix} E & T & T^2 & \dots & T^{m-2} & T^{m-1} \\ T^{*} & E & T & \dots & T^{m-3} & T^{m-2} \\ T^{*2} & T^{*} & E & \dots & T^{m-3} & T^{m-2} \\ \dots & \dots & \dots & \dots & \dots & \dots \\ T^{*m-1} & T^{*m-2} & T^{*m-3} & \dots & T^{*} & E \end{bmatrix} $ ($S$ is a matrix of order $mn$ in the ordinary sense; E denotes the unit matrix of order $n$). Show that for any pair $(m , n) $ of positive integers, $S$ has only non-negative real eigenvalues. [b](R. 19)[/b]
Let $f:\mathbb{R}\to\mathbb{R}$ be a bijective function. Does there always exist an infinite number of functions $g:\mathbb{R}\to\mathbb{R}$ such that $f(g(x))=g(f(x))$ for all $x\in\mathbb{R}$? [i]Proposed by Daniel Liu[/i]
Does there exist a function $s\colon \mathbb{Q} \rightarrow \{-1,1\}$ such that if $x$ and $y$ are distinct rational numbers satisfying ${xy=1}$ or ${x+y\in \{0,1\}}$, then ${s(x)s(y)=-1}$? Justify your answer. [i]Proposed by Dan Brown, Canada[/i]
Find all functions $g:\mathbb{N}\rightarrow\mathbb{N}$ such that \[\left(g(m)+n\right)\left(g(n)+m\right)\] is a perfect square for all $m,n\in\mathbb{N}.$ [i]Proposed by Gabriel Carroll, USA[/i]
The Annual Interplanetary Mathematics Examination (AIME) is written by a committee of five Martians, five Venusians, and five Earthlings. At meetings, committee members sit at a round table with chairs numbered from $ 1$ to $ 15$ in clockwise order. Committee rules state that a Martian must occupy chair $ 1$ and an Earthling must occupy chair $ 15$. Furthermore, no Earthling can sit immediately to the left of a Martian, no Martian can sit immediately to the left of a Venusian, and no Venusian can sit immediately to the left of an Earthling. The number of possible seating arrangements for the committee is $ N\cdot (5!)^3$. Find $ N$.
Let ${\bf R}$ denote the set of all real numbers. Find all functions $f$ from ${\bf R}$ to ${\bf R}$ satisfying: (i) there are only finitely many $s$ in ${\bf R}$ such that $f(s)=0$, and (ii) $f(x^4+y)=x^3f(x)+f(f(y))$ for all $x,y$ in ${\bf R}$.
Let $ a,b,c,d $ be four real numbers such that $ |ax^3+bx^2+cx+d|\le 1,\forall x\in [0,1] . $ Prove that $ |dx^2+cx^2+bx+a|\le 9/2,\forall x\in [0,1] . $ [i]Lavinia Savu[/i]
Find all the functions $\varphi:\mathbb{Z}[x]\to\mathbb{Z}[x]$ such that $\varphi(x)=x,$ any integer polynomials $f, g$ satisfy $\varphi(f+g)=\varphi(f)+\varphi(g)$ and $\varphi(f)$ is a perfect power if and only if $f{}$ is a perfect power. [i]Note:[/i] A polynomial $f\in \mathbb{Z}[x]$ is a perfect power if $f = g^n$ for some $g\in \mathbb{Z}[x]$ and $n\geqslant 2.$ [i]Proposed by Pavel Ciurea[/i]
A function $ f: \mathbb{N} \rightarrow \mathbb{N}$ satisfies: $ (a)$ $ f(ab)\equal{}f(a)f(b)$ whenever $ a$ and $ b$ are coprime; $ (b)$ $ f(p\plus{}q)\equal{}f(p)\plus{}f(q)$ for all prime numbers $ p$ and $ q$. Prove that $ f(2)\equal{}2,f(3)\equal{}3$ and $ f(1999)\equal{}1999.$
Determine the number of distinct sequences of letters of length 1997 which use each of the letters $A$, $B$, $C$ (and no others) an odd number of times.
Determine all functions $f: \mathbb{R} \rightarrow \mathbb{R}$ such that:$$f(\max \left\{ x, y \right\} + \min \left\{ f(x), f(y) \right\}) = x+y $$ for all real $x,y \in \mathbb{R}$ [i]Proposed by Nikola Velov[/i]
Find a non-zero polynomial $f(x, y)$ such that $f(\lfloor 3t \rfloor, \lfloor 5t \rfloor) = 0$ for all real numbers $t$.
Let be given a parallelogram $ ABCD$ and two points $ A_1$, $ C_1$ on its sides $ AB$, $ BC$, respectively. Lines $ AC_1$ and $ CA_1$ meet at $ P$. Assume that the circumcircles of triangles $ AA_1P$ and $ CC_1P$ intersect at the second point $ Q$ inside triangle $ ACD$. Prove that $ \angle PDA \equal{} \angle QBA$.
Let $D = \{z\in \mathbb{C}: |z| < 1\}$ be the open unit disk in the complex plane and let $f : D \to D$ be a holomorphic function such that $\lim_{|z|\to 1}|f(z)| = 1$. Let the Taylor series of $f$ be $f(z) = \sum_{n=0}^{\infty} a_nz^n$. Prove that the number of zeroes of $f$ (counted with multiplicities) equals $\sum_{n=0}^{\infty} n|a_n|^2$.
Determine all functions $f: \mathbb{Q} \rightarrow \mathbb{Z} $ satisfying \[ f \left( \frac{f(x)+a} {b}\right) = f \left( \frac{x+a}{b} \right) \] for all $x \in \mathbb{Q}$, $a \in \mathbb{Z}$, and $b \in \mathbb{Z}_{>0}$. (Here, $\mathbb{Z}_{>0}$ denotes the set of positive integers.)
$m(m>1)$ is an intenger, define $(a_n)$: $a_0=m,a_{n}=\varphi(a_{n-1})$ for all positive intenger $n$. If for all nonnegative intenger $k$, $a_{k+1}\mid a_k$, find all $m$ that is not larger than $2016$. Note: $\varphi(n)$ means Euler Function.
Let $x,y$ and $z$ be real numbers such that $0 \leq x,y,z \leq 1.$ Prove that \[xyz+(1-x)(1-y)(1-z) \leq 1.\] When does equality hold?
Compute the smallest positive integer $n$ such that $\int_{0}^{n} \lfloor x\rfloor\,dx$ is at least $2021.$
Let $S$ be a finite set, and let $\mathcal{A}$ be the set of all functions from $S$ to $S$. Let $f$ be an element of $\mathcal{A}$, and let $T=f(S)$ be the image of $S$ under $f$. Suppose that $f\circ g\circ f\ne g\circ f\circ g$ for every $g$ in $\mathcal{A}$ with $g\ne f$. Show that $f(T)=T$.
Let $\mathcal{S}$ be the set of all points in the plane. Find all functions $f : \mathcal{S} \rightarrow \mathbb{R}$ such that for all nondegenerate triangles $ABC$ with orthocenter $H$, if $f(A) \leq f(B) \leq f(C)$, then $$f(A) + f(C) = f(B) + f(H).$$
Prove that, if a continuous function has limits at $ \pm\infty , $ and these are equal, then it touches its maximum or minimum at one point.
Let $n\ge 1$ be a fixed integer. Calculate the distance $\inf_{p,f}\, \max_{0\le x\le 1} |f(x)-p(x)|$ , where $p$ runs over polynomials of degree less than $n$ with real coefficients and $f$ runs over functions $f(x)= \sum_{k=n}^{\infty} c_k x^k$ defined on the closed interval $[0,1]$ , where $c_k \ge 0$ and $\sum_{k=n}^{\infty} c_k=1$.