Found problems: 15925
2017 IMO Shortlist, A5
An integer $n \geq 3$ is given. We call an $n$-tuple of real numbers $(x_1, x_2, \dots, x_n)$ [i]Shiny[/i] if for each permutation $y_1, y_2, \dots, y_n$ of these numbers, we have
$$\sum \limits_{i=1}^{n-1} y_i y_{i+1} = y_1y_2 + y_2y_3 + y_3y_4 + \cdots + y_{n-1}y_n \geq -1.$$
Find the largest constant $K = K(n)$ such that
$$\sum \limits_{1 \leq i < j \leq n} x_i x_j \geq K$$
holds for every Shiny $n$-tuple $(x_1, x_2, \dots, x_n)$.
1973 IMO Shortlist, 15
Prove that for all $n \in \mathbb N$ the following is true:
\[2^n \prod_{k=1}^n \sin \frac{k \pi}{2n+1} = \sqrt{2n+1}\]
1985 Federal Competition For Advanced Students, P2, 6
Find all functions $ f: \mathbb{R} \rightarrow \mathbb{R}$ satisfying: $ x^2 f(x)\plus{}f(1\minus{}x)\equal{}2x\minus{}x^4$ for all $ x \in \mathbb{R}$.
2023 Ukraine National Mathematical Olympiad, 9.4
Find the smallest real number $C$, such that for any positive integers $x \neq y$ holds the following:
$$\min(\{\sqrt{x^2 + 2y}\}, \{\sqrt{y^2 + 2x}\})<C$$
Here $\{x\}$ denotes the fractional part of $x$. For example, $\{3.14\} = 0.14$.
[i]Proposed by Anton Trygub[/i]
2007 Iran Team Selection Test, 3
Find all solutions of the following functional equation: \[f(x^{2}+y+f(y))=2y+f(x)^{2}. \]
2014 Saudi Arabia GMO TST, 4
Let $a_1 \ge a_2 \ge ... \ge a_n > 0$ be real numbers. Prove that
$$a_1a_2(a_1 - a_2) + a_2a_3(a_2 - a_3) +...+ a_{n-1}a_n(a_{n-1} - a_n) \ge a_1a_n(a_1 - a_n)$$
1992 Austrian-Polish Competition, 3
For all positive numbers $a, b, c$ prove the inequality $2\sqrt{bc + ca + ab} \le \sqrt{3} \sqrt[3]{(b + c)(c + a)(a + b)}$.
1988 Polish MO Finals, 1
The real numbers $x_1, x_2, ... , x_n$ belong to the interval $(0,1)$ and satisfy $x_1 + x_2 + ... + x_n = m + r$, where $m$ is an integer and $r \in [0,1)$. Show that $x_1 ^2 + x_2 ^2 + ... + x_n ^2 \leq m + r^2$.
2017 South East Mathematical Olympiad, 2
Let $x_i \in \{0,1\}(i=1,2,\cdots ,n)$,if the value of function $f=f(x_1,x_2, \cdots ,x_n)$ can only be $0$ or $1$,then we call $f$ a $n$-var Boole function,and we denote $D_n(f)=\{(x_1,x_2, \cdots ,x_n)|f(x_1,x_2, \cdots ,x_n)=0\}.$
$(1)$ Find the number of $n$-var Boole function;
$(2)$ Let $g$ be a $n$-var Boole function such that $g(x_1,x_2, \cdots ,x_n) \equiv 1+x_1+x_1x_2+x_1x_2x_3 +\cdots +x_1x_2 \cdots x_n \pmod 2$,
Find the number of elements of the set $D_n(g)$,and find the maximum of $n \in \mathbb{N}_+$ such that
$\sum_{(x_1,x_2, \cdots ,x_n) \in D_n(g)}(x_1+x_2+ \cdots +x_n) \le 2017.$
2012 IMO Shortlist, N2
Find all triples $(x,y,z)$ of positive integers such that $x \leq y \leq z$ and
\[x^3(y^3+z^3)=2012(xyz+2).\]
1997 Romania National Olympiad, 2
Find the range of the function $f: \mathbb{R} \to \mathbb{R},$ $$f(x)=\frac{3+2\sin x}{\sqrt{1+\cos x}+\sqrt{1-\cos x}}.$$
2003 Austrian-Polish Competition, 8
Given reals $x_1 \ge x_2 \ge ... \ge x_{2003} \ge 0$, show that $$x_1^n - x_2^n + x_2^n - ... - x_{2002}^n + x_{2003}^n \ge (x_1 - x_2 + x_3 - x_4 + ... - x_{2002} + x_{2003})^n$$ for any positive integer $n$.
2011 Mathcenter Contest + Longlist, 8 sl12
Let $a,b,c\in\mathbb{R^+}$. Prove that $$\frac{a^{11}}{b^5c^5}+\frac{b^{11}}{ c^5a^5}+\frac{c^{11}}{a^5b^5}\ge a+b+c$$ [i](Real Matrik)[/i]
1973 USAMO, 4
Determine all roots, real or complex, of the system of simultaneous equations
\begin{align*} x+y+z &= 3, \\
x^2+y^2+z^2 &= 3, \\
x^3+y^3+z^3 &= 3.\end{align*}
2019 ELMO Shortlist, A5
Carl chooses a [i]functional expression[/i]* $E$ which is a finite nonempty string formed from a set $x_1, x_2, \dots$ of variables and applications of a function $f$, together with addition, subtraction, multiplication (but not division), and fixed real constants. He then considers the equation $E = 0$, and lets $S$ denote the set of functions $f \colon \mathbb R \to \mathbb R$ such that the equation holds for any choices of real numbers $x_1, x_2, \dots$. (For example, if Carl chooses the functional equation
$$ f(2f(x_1)+x_2) - 2f(x_1)-x_2 = 0, $$
then $S$ consists of one function, the identity function.
(a) Let $X$ denote the set of functions with domain $\mathbb R$ and image exactly $\mathbb Z$. Show that Carl can choose his functional equation such that $S$ is nonempty but $S \subseteq X$.
(b) Can Carl choose his functional equation such that $|S|=1$ and $S \subseteq X$?
*These can be defined formally in the following way: the set of functional expressions is the minimal one (by inclusion) such that (i) any fixed real constant is a functional expression, (ii) for any positive integer $i$, the variable $x_i$ is a functional expression, and (iii) if $V$ and $W$ are functional expressions, then so are $f(V)$, $V+W$, $V-W$, and $V \cdot W$.
[i]Proposed by Carl Schildkraut[/i]
2002 USA Team Selection Test, 2
Let $p>5$ be a prime number. For any integer $x$, define
\[{f_p}(x) = \sum_{k=1}^{p-1} \frac{1}{(px+k)^2}\]
Prove that for any pair of positive integers $x$, $y$, the numerator of $f_p(x) - f_p(y)$, when written as a fraction in lowest terms, is divisible by $p^3$.
1986 China Team Selection Test, 2
Let $ a_1$, $ a_2$, ..., $ a_n$ and $ b_1$, $ b_2$, ..., $ b_n$ be $ 2 \cdot n$ real numbers. Prove that the following two statements are equivalent:
[b]i)[/b] For any $ n$ real numbers $ x_1$, $ x_2$, ..., $ x_n$ satisfying $ x_1 \leq x_2 \leq \ldots \leq x_ n$, we have $ \sum^{n}_{k \equal{} 1} a_k \cdot x_k \leq \sum^{n}_{k \equal{} 1} b_k \cdot x_k,$
[b]ii)[/b] We have $ \sum^{s}_{k \equal{} 1} a_k \leq \sum^{s}_{k \equal{} 1} b_k$ for every $ s\in\left\{1,2,...,n\minus{}1\right\}$ and $ \sum^{n}_{k \equal{} 1} a_k \equal{} \sum^{n}_{k \equal{} 1} b_k$.
1984 IMO Longlists, 40
Find one pair of positive integers $a,b$ such that $ab(a+b)$ is not divisible by $7$, but $(a+b)^7-a^7-b^7$ is divisible by $7^7$.
1999 Mongolian Mathematical Olympiad, Problem 1
Suppose that a function $f:\mathbb R\to\mathbb R$ is such that for any real $h$ there exist at most $19990509$ different values of $x$ for which $f(x)\ne f(x+h)$. Prove that there is a set of at most $9995256$ real numbers such that $f$ is constant outside of this set.
2016 Grand Duchy of Lithuania, 1
Let $a, b$ and $c$ be positive real numbers such that $a + b + c = 1$. Prove that
$$\frac{a}{a+b^2}+\frac{b}{b+c^2}+\frac{c}{c+a^2} \le \frac{1}{4} \left( \frac{1}{a} + \frac{1}{b} + \frac{1}{c} \right)$$
1977 Canada National Olympiad, 4
Let
\[p(x) = a_n x^n + a_{n - 1} x^{n - 1} + \dots + a_1 x + a_0\]
and
\[q(x) = b_m x^m + a_{m - 1} x^{m - 1} + \dots + b_1 x + b_0\]
be two polynomials with integer coefficients. Suppose that all the coefficients of the product $p(x) \cdot q(x)$ are even but not all of them are divisible by 4. Show that one of $p(x)$ and $q(x)$ has all even coefficients and the other has at least one odd coefficient.
2019 Teodor Topan, 3
Let be a natural number $ m\ge 2. $
[b]a)[/b] Let be $ m $ pairwise distinct rational numbers. Prove that there is an ordering of these numbers such that these are terms of an arithmetic progression.
[b]b)[/b] Given that for any $ m $ pairwise distinct real numbers there is an ordering of them such that they are terms of an arithmetic sequence, determine the number $ m. $
[i]Bogdan Blaga[/i]
MMPC Part II 1996 - 2019, 2006
[b]p1.[/b] Suppose $A$, $B$ and $C$ are the angles of a triangle. Prove that
$$1 - 8 \cos A\cos B \cos C = sin^2(B - C) + (cos(B - C) - 2 cosA)^2.$$
[b]p2.[/b] Let $x_1, x_2,..., x_{100}$ be integers whose values are either $0$ or $1$.
(a) Show that $$x_1 + x_2 + ... + x_{100} - (x_1x_2 + x_2x_3 + ... + x_{99}x_{100} + x_{100}x_1)\le 50.$$
(b) Give specific values for $x_1, x_2,..., x_{100}$ that give equality.
[b]p3.[/b] Let $ABCD$ be a trapezoid whose area is $32$ square meters. Suppose the lengths of the parallel segments $AB$ and $DC$ are $2$ meters and $6$ meters, respectively, and $P$ is the intersection of the diagonals $AC$ and $BD$. If a line through $P$ intersects $AD$ and $BC$ at $E$ and $F$, respectively, determine, with a proof, the minimum possible area for quadrilateral $ABFE$.
[b]p4.[/b] Let $n$ be a positive integer and $x$ be a real number. Show that
$$\lfloor nx \rfloor = \lfloor x \rfloor +\left\lfloor x + \frac{1}{n} \right\rfloor + \left\lfloor x + \frac{2}{n} \right\rfloor + ... + \left\lfloor x + \frac{n - 1}{n} \right\rfloor$$
where $\lfloor a \rfloor$ is the greatest integer less than or equal to $a$. (For example, $\lfloor 4.5\rfloor = 4$ and $\lfloor - 4.5 \rfloor = -5$.)
[b]p5.[/b] A $3n$-digit positive integer (in base $10$) containing no zero is said to be [i]quad-perfect[/i] if the number is a perfect square and each of the three numbers obtained by viewing the first $n$ digits, the middle $n$ digits and the last $n$ digits as three $n$-digit numbers is in itself a perfect square. (For example, when $n = 1$, the only quad-perfect numbers are $144$ and $441$.) Find all $9$-digit quad-perfect numbers.
PS. You should use hide for answers. Collected [url=https://artofproblemsolving.com/community/c5h2760506p24143309]here[/url].
2020 China Team Selection Test, 5
Let $a_1,a_2,\cdots,a_n$ be a permutation of $1,2,\cdots,n$. Among all possible permutations, find the minimum of $$\sum_{i=1}^n \min \{ a_i,2i-1 \}.$$
2007 USA Team Selection Test, 3
Let $ \theta$ be an angle in the interval $ (0,\pi/2)$. Given that $ \cos \theta$ is irrational, and that $ \cos k \theta$ and $ \cos[(k \plus{} 1)\theta ]$ are both rational for some positive integer $ k$, show that $ \theta \equal{} \pi/6$.