Let $ABC$ be a triangle with $AB < AC$. As shown below, $T$ is the point on $\overline{BC}$ such that $\overline{AT}$ is tangent to the circumcircle of $\triangle{}ABC$. Additionally, $H$ and $O$ are the orthocenter and circumcenter of $\triangle{}ABC$, respectively. Suppose that $\overline{CH}$ passes through the midpoint of $\overline{AT}$. Prove that $\overline{AO}$ bisects $\overline{CH}$. [asy] size(8cm); pair A = dir(132.5); pair B = dir(200); pair C = dir(340); draw(A--B--C--cycle, black); draw(circumcircle(A, B, C), black); pair O = circumcenter(A, B, C); pair U = 2*C*A/(C+A); pair V = 2*A*B/(A+B);pair T = extension(U, V, B, C); draw(A--T); draw(T--B);pair X = (T+A)/2; pair H = (A+B+C); draw(A--H); pair Y = (H+C)/2; draw(H--X, dashed); draw(C--H); draw(O--Y, dashed); draw(A--O); dot("$A$", A, dir(A)); dot("$B$", B, SW); dot("$C$", C, dir(C)); dot("$O$", O, NE); dot("$T$", T, dir(T)); dot("$H$", H, SW); dot("$X$", X, NW); dot("$Y$", Y, SW); [/asy]

Given an acute triangle $ PBC$ with $ PB\neq PC.$ Points $ A,D$ lie on $ PB,PC,$ respectively. $ AC$ intersects $ BD$ at point $ O.$ Let $ E,F$ be the feet of perpendiculars from $ O$ to $ AB,CD,$ respectively. Denote by $ M,N$ the midpoints of $ BC,AD.$ $ (1)$: If four points $ A,B,C,D$ lie on one circle, then $ EM\cdot FN \equal{} EN\cdot FM.$ $ (2)$: Determine whether the converse of $ (1)$ is true or not, justify your answer.

A sphere $S$ is tangent to the edges $AB,BC,CD,DA$ of a tetrahedron $ABCD$ at the points $E,F,G,H$ respectively. The points $E,F,G,H$ are the vertices of a square. Prove that if the sphere is tangent to the edge $AC$, then it is also tangent to the edge $BD.$

Let $ A\equal{}\{1,2,\ldots, 2008\}$. We will say that set $ X$ is an $ r$-set if $ \emptyset \neq X \subset A$, and $ \sum_{x\in X} x \equiv r \pmod 3$. Let $ X_r$, $ r\in\{0,1,2\}$ be the set of $ r$-sets. Find which one of $ X_r$ has the most elements.

The twelve-sided figure shown has been drawn on $1 \text{ cm}\times 1 \text{ cm}$ graph paper. What is the area of the figure in $\text{cm}^2$? [asy] unitsize(8mm); for (int i=0; i<7; ++i) { draw((i,0)--(i,7),gray); draw((0,i+1)--(7,i+1),gray); } draw((1,3)--(2,4)--(2,5)--(3,6)--(4,5)--(5,5)--(6,4)--(5,3)--(5,2)--(4,1)--(3,2)--(2,2)--cycle,black+2bp); [/asy] $\textbf{(A) } 12 \qquad \textbf{(B) } 12.5 \qquad \textbf{(C) } 13 \qquad \textbf{(D) } 13.5 \qquad \textbf{(E) } 14$

Let $\mathcal{C}$ be a circle in the $xy$ plane with radius $1$ and center $(0, 0, 0)$, and let $P$ be a point in space with coordinates $(3, 4, 8)$. Find the largest possible radius of a sphere that is contained entirely in the slanted cone with base $\mathcal{C}$ and vertex $P$.

Solve the equation $7^x -3^y =4$ in positive integers.

Let $x, y, z$ be real numbers greater than $1$ such that $\frac{1}{x}+\frac{1}{y}+\frac{1}{z}=2$. Prove that \[\sqrt{x-1}+\sqrt{y-1}+\sqrt{z-1}\leq \sqrt{x+y+z}.\]

Show that we cannot tile a $10 x 10$ board with $25$ pieces of type $A$, or with $25$ pieces of type $B$, or with $25$ pieces of type $C$.

The function $\psi : \mathbb{N}\rightarrow\mathbb{N}$ is defined by $\psi (n)=\sum_{k=1}^n\gcd (k,n)$. $(a)$ Prove that $\psi (mn)=\psi (m)\psi (n)$ for every two coprime $m,n \in \mathbb{N}$. $(b)$ Prove that for each $a\in\mathbb{N}$ the equation $\psi (x)=ax$ has a solution.

Find integer $ n$ with $ 8001 < n < 8200$ such that $ 2^n \minus{} 1$ divides $ 2^{k(n \minus{} 1)! \plus{} k^n} \minus{} 1$ for all integers $ k > n$.

The incircle of a right-angled triangle $ABC$ touches its catheti $AC$ and $BC$ at points $B_1$ and $A_1$, the hypotenuse touches the incircle at point $C_1$. Lines $C_1A_1$ and $C_1B_1$ meet $CA$ and $CB$ respectively at points $B_0$ and $A_0$. Prove that $AB_0 = BA_0$. (J. Zajtseva, D. Shvetsov )

Find all function $ f: \mathbb{R} \rightarrow \mathbb{R}$ such that \[ f(x \plus{} y)(f(x) \minus{} y) \equal{} xf(x) \minus{} yf(y) \] for all $ x,y \in \mathbb{R}$.

Prove that the inequality \[ \frac{ x+y}{x^2-xy+y^2 } \leq \frac{ 2\sqrt 2 }{\sqrt{ x^2 +y^2 } } \] holds for all real numbers $x$ and $y$, not both equal to 0.

Find the value of $x$ that satisfies $\log_{3}(\log_9x)=\log_9(\log_3x)$

Assume that $M \subset N$ has the property that every two numbers $m,n$ of $M$ satisfy $|m-n| \ge mn/25$. Prove that the set $M$ contains no more than $9$ elements. Decide whether there exists such set M.

Consider the prime numbers $n_1< n_2 <...< n_{31}$. Prove that if $30$ divides $n_1^4 + n_2^4+...+n_{31}^4$, then among these numbers one can find three consecutive primes.

A convex, closed figure lies inside a given circle. The figure is seen from every point of the circumference at a right angle (that is, the two rays drawn from the point and supporting the convex figure are perpendicular). Prove that the center of the circle is a center of symmetry of the figure.

Are there polynomials $P, Q$ with real coefficients, such that $P(P(x))\cdot Q(Q(x))$ has exactly $2023$ distinct real roots and $P(Q(x)) \cdot Q(P(x))$ has exactly $2024$ distinct real roots?

For any given $k$ points in a plane, we define the diameter of the points as the maximum distance between any two points among the given points. Suppose $n$ points are there in a plane with diameter $d$. Show that we can always find a circle with radius $\frac{\sqrt{3}}{2}d$ such that all points lie inside the circle.

A game of solitaire is played with $R$ red cards, $W$ white cards, and $B$ blue cards. A player plays all the cards one at a time. With each play he accumulates a penalty. If he plays a blue card, then he is charged a penalty which is the number of white cards still in his hand. If he plays a white card, then he is charged a penalty which is twice the number of red cards still in his hand. If he plays a red card, then he is charged a penalty which is three times the number of blue cards still in his hand. Find, as a function of $R, W,$ and $B,$ the minimal total penalty a player can amass and all the ways in which this minimum can be achieved.

In an isosceles trapezoid, the parallel bases have lengths $\log3$ and $\log192$, and the altitude to these bases has length $\log16$. The perimeter of the trapezoid can be written in the form $\log2^p3^q$, where $p$ and $q$ are positive integers. Find $p+q$.

For given coprime numbers $p > q > 0$, find all pairs of real numbers $c,d$ such that for the sets $$A = \left\{ \left[n\frac{p}{q}\right] , n \in N \right\} \ \ and \ \ B = \{[cn + d], n \in N\}$$ where $A \cap B = \emptyset$, $A \cup B = N$, where $N = \{1, 2, 3, ...\}$ is the set of all natural numbers.

Let $A$ be a non-empty set of positive integers. Suppose that there are positive integers $b_{1}$, $\cdots$, $b_{n}$ and $c_{1}$, $\cdots$, $c_{n}$ such that [list] [*] for each $i$ the set $b_{i}A+c_{i}=\{b_{i}a+c_{i}\vert a \in A \}$ is a subset of $A$, [*] the sets $b_{i}A+c_{i}$ and $b_{j}A+c_{j}$ are disjoint whenever $i \neq j$.[/list] Prove that \[\frac{1}{b_{1}}+\cdots+\frac{1}{b_{n}}\le 1.\]

There are $3n$ $A$s and $2n$ $B$s in a string, where $n$ is a positive integer, prove that you can find a substring in this string that contains $3$ $A$s and $2$ $B$s.