a) Prove that for $x,y \ge 1$, holds $$x+y - \frac{1}{x}- \frac{1}{y} \ge 2\sqrt{xy} -\frac{2}{\sqrt{xy}}$$ b) Prove that for $a,b,c,d \ge 1$ with $abcd=16$ , holds $$a+b+c+d-\frac{1}{a}-\frac{1}{b}-\frac{1}{c}-\frac{1}{d}\ge 6$$
2019 Romania National Olympiad
Grade 7
Let $ABCD$ be a square and $E$ a point on the side $(CD)$. Squares $ENMA$ and $EBQP$ are constructed outside the triangle $ABE$. Prove that: a) $ND = PC$ b) $ND\perp PC$.
Let $ABC$ be a triangle in which $\angle ABC = 45^o$ and $\angle BAC > 90^o$. Let $O$ be the midpoint of the side $[BC]$. Consider the point $M \in (AC)$ such that $\angle COM =\angle CAB$. Perpendicular from $M$ on $AC$ intersects line $AB$ at point $P$. a) Find the measure of the angle $\angle BCP$. b) Show that if $\angle BAC = 105^o$, then $PB = 2MO$.
A piece of rectangular paper $20 \times 19$, divided into four units, is cut into several square pieces, the cuts being along the sides of the unit squares. Such a square piece is called odd square if the length of its side is an odd number. a) What is the minimum possible number of odd squares? b) What is the smallest value that the sum of the perimeters of the odd squares can take?
Grade 8
Consider $A$, the set of natural numbers with exactly $2019$ natural divisors , and for each $n \in A$, denote $$S_n=\frac{1}{d_1+\sqrt{n}}+\frac{1}{d_2+\sqrt{n}}+...+\frac{1}{d_{2019}+\sqrt{n}}$$where $d_1,d_2, .., d_{2019}$ are the natural divisors of $n$. Determine the maximum value of $S_n$ when $n$ goes through the set $ A$.
If $a,b,c\in(0,\infty)$ such that $a+b+c=3$, then $$\frac{a}{3a+bc+12}+\frac{b}{3b+ca+12}+\frac{c}{3c+ab+12}\le \frac{3}{16}$$
In the regular hexagonal prism $ABCDEFA_1B_1C_1D_1E_1F_1$, We construct $, Q$, the projections of point $A$ on the lines $A_1B$ and $A_1C$ repsectilvely. We construct $R,S$, the projections of point $D_1$ on the lines $A_1D$ and $C_1D$ respectively. a) Determine the measure of the angle between the planes $(AQP)$ and $(D_1RS)$. b) Show that $\angle AQP = \angle D_1RS$.
Find the natural numbers $x, y, z$ that verify the equation: $$2^x + 3 \cdot 11^y =7^z$$
Grade 9
Let be a point $ P $ in the interior of a triangle $ ABC $ such that $ BP=AC, M $ be the middlepoint of the segment $ AP, R $ be the middlepoint of $ BC $ and $ E $ be the intersection of $ BP $ with $ AC. $ Prove that the bisector of $ \angle BEA $ is perpendicular on $ MR $
Find all natural numbers which are the cardinal of a set of nonzero Euclidean vectors whose sum is $ 0, $ the sum of any two of them is nonzero, and their magnitudes are equal.
Prove that the number of solutions in $ \left( \mathbb{N}\cup\{ 0 \} \right)\times \left( \mathbb{N}\cup\{ 0 \} \right)\times \left( \mathbb{N}\cup\{ 0 \} \right) $ of the parametric equation $$ \sqrt{x^2+y+n}+\sqrt{y^2+x+n} = z, $$is greater than zero and finite, for nay natural number $ n. $
Find all functions $f:\mathbb{R}\to\mathbb{R}$ such that $$f(x+y)\leq f(x^2+y)$$for all $x,y$.
Grade 10
If $a,b,c>0$ then $$\frac{1}{abc}+1\ge3\left(\frac{1}{a^2+b^2+c^2}+\frac{1}{a+b+c}\right)$$
Find the number of trapeziums that it can be formed with the vertices of a regular polygon.
Find all natural numbers $ n\ge 4 $ that satisfy the property that the affixes of any nonzero pairwise distinct complex numbers $ a,b,c $ that verify the equation $$ (a-b)^n+(b-c)^n+(c-a)^n=0, $$represent the vertices of an equilateral triangle in the complex plane.
Let $A$ and $B$ be two nonempty finite sets of nonnegative integers. We denote by $\mathcal{F}$ the set of all functions $f:\mathcal{P}(A) \to B$ that satisfy $f(X\cap Y)=\min \{f(X), f(Y)\},$ for all $X,Y \subset A,$ and by $\mathcal{G}$ the set of all functions $g:\mathcal{P}(A) \to B$ that satisfy $g(X\cup Y)=\max \{g(X), g(Y)\},$ for all $X,Y \subset A.$ Prove that $\mathcal F$ and $\mathcal G$ have the same number of elements and find this number.
Grade 11
Let $n \geq 2$ and $A, B \in \mathcal{M}_n(\mathbb{C})$ such that there exists an idempotent matrix $C \in \mathcal{M}_n(\mathbb{C})$ for which $C^*=AB-BA.$ Prove that $(AB-BA)^2=0.$ Note: $X^*$ is the adjugate matrix of $X$ (not the conjugate transpose)
Let $f:[0, \infty) \to \mathbb{R}$ a continuous function, constant on $\mathbb{Z}_{\geq 0}.$ For any $0 \leq a < b < c < d$ which satisfy $f(a)=f(c)$ and $f(b)=f(d)$ we also have $f \left( \frac{a+b}{2} \right) = f \left( \frac{c+d}{2} \right).$ Prove that $f$ is constant.
$\textbf{a)}$ Prove that there exists a differentiable function $f:(0, \infty) \to (0, \infty)$ such that $f(f'(x)) = x, \: \forall x>0.$ $\textbf{b)}$ Prove that there is no differentiable function $f: \mathbb{R} \to \mathbb{R}$ such that $f(f'(x)) = x, \: \forall x \in \mathbb{R}.$
Let $p$ be a prime number. For any $\sigma \in S_p$ (the permutation group of $\{1,2,...,p \}),$ define the matrix $A_{\sigma}=(a_{ij}) \in \mathcal{M}_p(\mathbb{Z})$ as $a_{ij} = \sigma^{i-1}(j),$ where $\sigma^0$ is the identity permutation and $\sigma^k = \underbrace{\sigma \circ \sigma \circ ... \circ \sigma}_k.$ Prove that $D = \{ |\det A_{\sigma}| : \sigma \in S_p \}$ has at most $1+ (p-2)!$ elements.
Grade 12
Let $a>0$ and $\mathcal{F} = \{f:[0,1] \to \mathbb{R} : f \text{ is concave and } f(0)=1 \}.$ Determine $$\min_{f \in \mathcal{F}} \bigg\{ \left( \int_0^1 f(x)dx\right)^2 - (a+1) \int_0^1 x^{2a}f(x)dx \bigg\}.$$
Let $n \geq 4$ be an even natural number and $G$ be a subgroup of $GL_2(\mathbb{C})$ with $|G| = n.$ Prove that there exists $H \leq G$ such that $\{ I_2 \} \neq H$ and $H \neq G$ such that $XYX^{-1} \in H, \: \forall X \in G$ and $\forall Y \in H$
Let $f:[0, \infty) \to (0, \infty)$ be an increasing function and $g:[0, \infty) \to \mathbb{R}$ be a two times differentiable function such that $g''$ is continuous and $g''(x)+f(x)g(x) = 0, \: \forall x \geq 0.$ $\textbf{a)}$ Provide an example of such functions, with $g \neq 0.$ $\textbf{b)}$ Prove that $g$ is bounded.
Let $n \geq 3$ and $a_1,a_2,...,a_n$ be complex numbers different from $0$ with $|a_i| < 1$ for all $i \in \{1,2,...,n-1 \}.$ If the coefficients of $f = \prod_{i=1}^n (X-a_i)$ are integers, prove that $\textbf{a)}$ The numbers $a_1,a_2,...,a_n$ are distinct. $\textbf{b)}$ If $a_j^2 = a_ia_k,$ then $i=j=k.$