Olympiad problems

2024 China Team Selection Test, 18

Let $m,n\in\mathbb Z_{\ge 0},$ $a_0,a_1,\ldots ,a_m,b_0,b_1,\ldots ,b_n\in\mathbb R_{\ge 0}$ For any integer $0\le k\le m+n,$ define $c_k:=\max_{i+j=k}a_ib_j.$ Proof $$\frac 1{m+n+1}\sum_{k=0}^{m+n}c_k\ge\frac 1{(m+1)(n+1)}\sum_{i=0}^{m}a_i\sum_{j=0}^{n}b_j.$$ [i]Created by Yinghua Ai[/i]

2024 China Team Selection Test, 10

Tags: algebra , polynomial , 2024 CTST

Let $M$ be a positive integer. $f(x):=x^3+ax^2+bx+c\in\mathbb Z[x]$ satisfy $|a|,|b|,|c|\le M.$ $x_1,x_2$ are different roots of $f.$ Prove that $$|x_1-x_2|>\frac 1{M^2+3M+1}.$$ [i]Created by Jingjun Han[/i]

2024 China Team Selection Test, 19

Tags: combinatorics , trapezoid , 2024 CTST

$n$ is a positive integer. An equilateral triangle of side length $3n$ is split into $9n^2$ unit equilateral triangles, each colored one of red, yellow, blue, such that each color appears $3n^2$ times. We call a trapezoid formed by three unit equilateral triangles as a "standard trapezoid". If a "standard trapezoid" contains all three colors, we call it a "colorful trapezoid". Find the maximum possible number of "colorful trapezoids".

2024 China Team Selection Test, 5

Tags: algebra , functional equation , 2024 CTST

Find all functions $f:\mathbb N_+\to \mathbb N_+,$ such that for all positive integer $a,b,$ $$\sum_{k=0}^{2b}f(a+k)=(2b+1)f(f(a)+b).$$ [i]Created by Liang Xiao, Yunhao Fu[/i]

2024 China Team Selection Test, 6

Tags: combinatorics , combinatorial geometry , 2024 CTST

Let $m,n>2$ be integers. A regular ${n}$-sided polygon region $\mathcal T$ on a plane contains a regular ${m}$-sided polygon region with a side length of ${}{}{}1$. Prove that any regular ${m}$-sided polygon region $\mathcal S$ on the plane with side length $\cos{\pi}/[m,n]$ can be translated inside $\mathcal T.$ In other words, there exists a vector $\vec\alpha,$ such that for each point in $\mathcal S,$ after translating the vector $\vec\alpha$ at that point, it fall into $\mathcal T.$ Note: The polygonal area includes both the interior and boundaries. [i]Created by Bin Wang[/i]

2024 China Team Selection Test, 15

Tags: algebra , polynomial , 2024 CTST

$n>1$ is an integer. Let real number $x>1$ satisfy $$x^{101}-nx^{100}+nx-1=0.$$ Prove that for any real $0<a<b<1$, there exists a positive integer $m$ so that $a<\{x^m\}<b.$ [i]Proposed by Chenjie Yu[/i]

2024 China Team Selection Test, 23

Tags: polynomial , algebra , complex analysis , 2024 CTST , China TST

$P(z)=a_nz^n+\dots+a_1z+z_0$, with $a_n\neq 0$ is a polynomial with complex coefficients, such that when $|z|=1$, $|P(z)|\leq 1$. Prove that for any $0\leq k\leq n-1$, $|a_k|\leq 1-|a_n|^2$. [i]Proposed by Yijun Yao[/i]

2024 China Team Selection Test, 1

Tags: combinatorics , colouring , 2024 CTST , China TST

It is known that each vertex of the convex polyhedron $P$ belongs to three different faces, and each vertex of $P$ can be dyed black and white, so that the two endpoints of each edge of $P$ are different colors. Proof: The interior of each edge of $P$ can be dyed red, yellow, and blue, so that the colors of the three edges connected to each vertex are different, and each face contains two colors of edges. [i]Created by Liang Xiao[/i]

2024 China Team Selection Test, 4

Tags: number theory , 2024 CTST , China TST

Let $n$ be a positive square free integer, $S$ is a subset of $[n]:=\{1,2,\ldots ,n\}$ such that $|S|\ge n/2.$ Prove that there exists three elements $a,b,c\in S$ (can be same), satisfy $ab\equiv c\pmod n.$ [i]Created by Zhenhua Qu[/i]

2024 China Team Selection Test, 22

Tags: geometry , 2024 CTST

$ABC$ is an isosceles triangle, with $AB=AC$. $D$ is a moving point such that $AD\parallel BC$, $BD>CD$. Moving point $E$ is on the arc of $BC$ in circumcircle of $ABC$ not containing $A$, such that $EB<EC$. Ray $BC$ contains point $F$ with $\angle ADE=\angle DFE$. If ray $FD$ intersects ray $BA$ at $X$, and intersects ray $CA$ at $Y$, prove that $\angle XEY$ is a fixed angle.

2024 China Team Selection Test, 21

Tags: inequalities , 2024 CTST

Let integer $n\ge 3,$ $\tbinom n2$ nonnegative real numbers $a_{i,j}$ satisfy $ a_{i,j}+a_{j,k}\le a_{i,k}$ holds for all $1\le i <j<k\le n$. Proof $$\left\lfloor\frac{n^2}4\right\rfloor\sum_{1\le i<j\le n}a_{i,j}^4\ge \left(\sum_{1\le i<j\le n}a_{i,j}^2\right)^2.$$ [i]Proposed by Jingjun Han, Dongyi Wei[/i]

2024 China Team Selection Test, 24

Tags: combinatorics , 2024 CTST , expected value

Let $N=10^{2024}$. $S$ is a square in the Cartesian plane with side length $N$ and the sides parallel to the coordinate axes. Inside there are $N$ points $P_1$, $P_2$, $\dots$, $P_N$ all of which have different $x$ coordinates, and the absolute value of the slope of any connected line between these points is at most $1$. Prove that there exists a line $l$ such that at least $2024$ of these points is at most distance $1$ away from $l$.

2024 China Team Selection Test, 12

Tags: number theory , 2024 CTST

Given positive odd number $m$ and integer ${a}.$ Proof: For any real number $c,$ $$\#\left\{x\in\mathbb Z\cap [c,c+\sqrt m]\mid x^2\equiv a\pmod m\right\}\le 2+\log_2m.$$ [i]Proposed by Yinghua Ai[/i]

2024 China Team Selection Test, 3

Tags: number theory , 2024 CTST

Given positive integer $M.$ For any $n\in\mathbb N_+,$ let $h(n)$ be the number of elements in $[n]$ that are coprime to $M.$ Define $\beta :=\frac {h(M)}M.$ Proof: there are at least $\frac M3$ elements $n$ in $[M],$ satisfy $$\left| h(n)-\beta n\right|\le\sqrt{\beta\cdot 2^{\omega(M)-3}}+1.$$ Here $[n]:=\{1,2,\ldots ,n\}$ for all positive integer $n.$ [i]Proposed by Bin Wang[/i]

2024 China Team Selection Test, 2

Tags: Kiepert Hyperbola , geometry , conics , 2024 CTST

In acute triangle $\triangle {ABC}$, $\angle A > \angle B > \angle C$. $\triangle {AC_1B}$ and $\triangle {CB_1A}$ are isosceles triangles such that $\triangle {AC_1B} \stackrel{+}{\sim} \triangle {CB_1A}$. Let lines $BB_1, CC_1$ intersects at ${T}$. Prove that if all points mentioned above are distinct, $\angle ATC$ isn't a right angle.