Let $a, b, c, d$ be positive reals strictly smaller than $1$, such that $a+b+c+d=2$. Prove that $$\sqrt{(1-a)(1-b)(1-c)(1-d)} \leq \frac{ac+bd}{2}. $$

Given is a triangle $ABC$. The points $P, Q$ lie on the extensions of $BC$ beyond $B, C$, respectively, such that $BP=BA$ and $CQ=CA$. Prove that the circumcenter of triangle $APQ$ lies on the angle bisector of $\angle BAC$.

Given a positive integer $n$, find the proportion of the subsets of $\{1,2, \ldots, 2n\}$ such that their smallest element is odd.

Find all pairs of positive integers $(n, k)$ satisfying the equation $$n!+n=n^k.$$

Given is a nonzero real number $\alpha$. Find all functions $f: \mathbb{R} \to \mathbb{R}$ such that $$f(f(x+y))=f(x+y)+f(x)f(y)+\alpha xy$$for all $x, y \in \mathbb{R}$.

Given is a triangle $ABC$ with circumcentre $O$. The circumcircle of triangle $AOC$ intersects side $BC$ at $D$ and side $AB$ at $E$. Prove that the triangles $BDE$ and $AOC$ have circumradiuses of equal length.

Alice and Bob play a game, in which they take turns drawing segments of length $1$ in the Euclidean plane. Alice begins, drawing the first segment, and from then on, each segment must start at the endpoint of the previous segment. It is not permitted to draw the segment lying over the preceding one. If the new segment shares at least one point - except for its starting point - with one of the previously drawn segments, one has lost. a) Show that both Alice and Bob could force the game to end, if they don’t care who wins. b) Is there a winning strategy for one of them?

The number $2023$ is written $2023$ times on a blackboard. On one move, you can choose two numbers $x, y$ on the blackboard, delete them and write $\frac{x+y} {4}$ instead. Prove that when one number remains, it is greater than $1$.

Let $ABC$ be an acute triangle with $AC\neq BC$, $M$ the midpoint of side $AB$, $H$ is the orthocenter of $\triangle ABC$, $D$ on $BC$ is the foot of the altitude from $A$ and $E$ on $AC$ is the foot of the perpendicular from $B$. Prove that the lines $AB, DE$ and the perpendicular to $MH$ through $C$ are concurrent.

Does there exist a real number $r$ such that the equation $$x^3-2023x^2-2023x+r=0$$has three distinct rational roots?