#CompetitionYearsProblemsYears
1International Mathematical Olympiad1959–2025398
2Middle European Mathematical Olympiad2009–2025160
International Mathematical Olympiad 2023 Problem 1

Determine all composite integers n>1n > 1 that satisfy the following property: if d1,d2,,dkd_1, d_2, \ldots, d_k are all the positive divisors of nn with 1=d1<d2<<dk=n1 = d_1 < d_2 < \cdots < d_k = n, then did_i divides di+1+di+2d_{i+1} + d_{i+2} for every 1ik21 \leqslant i \leqslant k-2.

International Mathematical Olympiad 2023 Problem 2

Let ABCABC be an acute-angled triangle with AB<ACAB < AC. Let Ω\Omega be the circumcircle of ABCABC. Let SS be the midpoint of the arc CBCB of Ω\Omega containing AA. The perpendicular from AA to BCBC meets BSBS at DD and meets Ω\Omega again at EAE \neq A. The line through DD parallel to BCBC meets line BEBE at LL. Denote the circumcircle of triangle BDLBDL by ω\omega. Let ω\omega meet Ω\Omega again at PBP \neq B. Prove that the line tangent to ω\omega at PP meets line BSBS on the internal angle bisector of BAC\measuredangle BAC.

International Mathematical Olympiad 2023 Problem 3

For each integer k2k \geqslant 2, determine all infinite sequences of positive integers a1,a2,a_1, a_2, \ldots for which there exists a polynomial PP of the form P(x)=xk+ck1xk1++c1x+c0P(x) = x^k + c_{k-1}x^{k-1} + \cdots + c_1x + c_0, where c0,c1,,ck1c_0, c_1, \ldots, c_{k-1} are non-negative integers, such that

P(an)=an+1an+2an+kP(a_n) = a_{n+1}a_{n+2}\cdots a_{n+k}

for every integer n1n \geqslant 1.

International Mathematical Olympiad 2023 Problem 4

Let x1,x2,,x2023x_1, x_2, \ldots, x_{2023} be pairwise different positive real numbers such that

an=(x1+x2++xn)(1x1+1x2++1xn)a_n = \sqrt{(x_1 + x_2 + \cdots + x_n)\left(\frac{1}{x_1} + \frac{1}{x_2} + \cdots + \frac{1}{x_n}\right)}

is an integer for every n=1,2,,2023n = 1, 2, \ldots, 2023. Prove that a20233034a_{2023} \geqslant 3034.

International Mathematical Olympiad 2023 Problem 5

Let nn be a positive integer. A Japanese triangle consists of 1+2++n1 + 2 + \cdots + n circles arranged in an equilateral triangular shape such that for each i=1,2,,ni = 1, 2, \ldots, n, the ithi^{\text{th}} row contains exactly ii circles, exactly one of which is coloured red. A ninja path in a Japanese triangle is a sequence of nn circles obtained by starting in the top row, then repeatedly going from a circle to one of the two circles immediately below it and finishing in the bottom row. Here is an example of a Japanese triangle with n=6n = 6, along with a ninja path in that triangle containing two red circles.

figure

In terms of nn, find the greatest kk such that in each Japanese triangle there is a ninja path containing at least kk red circles.

International Mathematical Olympiad 2023 Problem 6

Let ABCABC be an equilateral triangle. Let A1,B1,C1A_1, B_1, C_1 be interior points of ABCABC such that BA1=A1CBA_1 = A_1C, CB1=B1ACB_1 = B_1A, AC1=C1BAC_1 = C_1B, and

BA1C+CB1A+AC1B=480°.\angle BA_1C + \angle CB_1A + \angle AC_1B = 480°.

Let BC1BC_1 and CB1CB_1 meet at A2A_2, let CA1CA_1 and AC1AC_1 meet at B2B_2, and let AB1AB_1 and BA1BA_1 meet at C2C_2. Prove that if triangle A1B1C1A_1B_1C_1 is scalene, then the three circumcircles of triangles AA1A2AA_1A_2, BB1B2BB_1B_2 and CC1C2CC_1C_2 all pass through two common points.

(Note: a scalene triangle is one where no two sides have equal length.)

Middle European Mathematical Olympiad 2023 Problem I-1

Let R\mathbb{R} denote the set of all real numbers. For each pair (α,β)(\alpha, \beta) of nonnegative real numbers subject to α+β2\alpha + \beta \geq 2, determine all functions f ⁣:RRf\colon \mathbb{R} \to \mathbb{R} satisfying

f(x)f(y)f(xy)+αx+βyf(x)f(y) \leq f(xy) + \alpha x + \beta y

for all real numbers xx and yy.

Middle European Mathematical Olympiad 2023 Problem I-3

Let ABCABC be a triangle with incenter II. The incircle ω\omega of ABCABC is tangent to the line BCBC at point DD. Denote by EE and FF the points satisfying AIBECFAI \parallel BE \parallel CF and BEI=CFI=90°\angle BEI = \angle CFI = 90°. Lines DEDE and DFDF intersect ω\omega again at points EE' and FF', respectively. Prove that EFAIE'F' \perp AI.

Middle European Mathematical Olympiad 2023 Problem I-4

Let nn and mm be positive integers. We call a set SS of positive integers (n,m)(n, m)-good if it satisfies the following three conditions:

(i) We have mSm \in S.

(ii) For all aSa \in S, all of the positive divisors of aa are elements of SS too.

(iii) For all mutually different numbers a,bSa, b \in S, we have an+bnSa^n + b^n \in S.

Determine all pairs (n,m)(n, m) such that the set of all positive integers is the only (n,m)(n, m)-good set.

Middle European Mathematical Olympiad 2023 Problem T-1

Let Z\mathbb{Z} denote the set of all integers and Z>0\mathbb{Z}_{>0} denote the set of all positive integers.

(a) A function f ⁣:ZZf\colon \mathbb{Z}\to \mathbb{Z} is called Z\mathbb{Z}-good if it satisfies f(a2+b)=f(b2+a)f(a^{2} + b) = f(b^{2} + a) for all a,bZa,b\in \mathbb{Z}. Determine the largest possible number of distinct values that can occur among f(1),f(2),,f(2023)f(1),f(2),\ldots ,f(2023), where ff is a Z\mathbb{Z}-good function.

(b) A function f ⁣:Z>0Z>0f\colon \mathbb{Z}_{>0}\to \mathbb{Z}_{>0} is called Z>0\mathbb{Z}_{>0}-good if it satisfies f(a2+b)=f(b2+a)f(a^{2} + b) = f(b^{2} + a) for all a,bZ>0a,b\in \mathbb{Z}_{>0}. Determine the largest possible number of distinct values that can occur among f(1),f(2),,f(2023)f(1),f(2),\ldots ,f(2023), where ff is a Z>0\mathbb{Z}_{>0}-good function.

Middle European Mathematical Olympiad 2023 Problem T-2

Let a,b,ca, b, c and dd be positive real numbers with abcd=1abcd = 1. Prove that

ab+1a+1+bc+1b+1+cd+1c+1+da+1d+14,\frac {a b + 1}{a + 1} + \frac {b c + 1}{b + 1} + \frac {c d + 1}{c + 1} + \frac {d a + 1}{d + 1} \geq 4,

and determine all quadruples (a,b,c,d)(a,b,c,d) for which equality holds.

Middle European Mathematical Olympiad 2023 Problem T-4

Let c4c \geq 4 be an even integer. In some football league, each team has a home uniform and an away uniform. Every home uniform is coloured in two different colours, and every away uniform is coloured in one colour. A team's away uniform cannot be coloured in one of the colours from the home uniform. There are at most cc distinct colours on all of the uniforms. If two teams have the same two colours on their home uniforms, then they have different colours on their away uniforms.

We say a pair of uniforms is clashing if some colour appears on both of them. Suppose that for every team XX in the league, there is no team YY in the league such that the home uniform of XX is clashing with both uniforms of YY. Determine the maximum possible number of teams in the league.

Middle European Mathematical Olympiad 2023 Problem T-5

We are given a convex quadrilateral ABCDABCD whose angles are not right. Assume there are points P,Q,R,SP, Q, R, S on its sides AB,BC,CD,DAAB, BC, CD, DA, respectively, such that PSBDPS \parallel BD, SQBCSQ \perp BC, PRCDPR \perp CD. Furthermore, assume that the lines PR,SQPR, SQ, and ACAC are concurrent. Prove that the points P,Q,R,SP, Q, R, S are concyclic.

Middle European Mathematical Olympiad 2023 Problem T-6

Let ABCABC be an acute triangle with AB<ACAB < AC. Let JJ be the center of the AA-excircle of ABCABC. Let DD be the projection of JJ on line BCBC. The internal bisectors of angles BDJBDJ and JDCJDC intersect lines BJBJ and JCJC at XX and YY, respectively. Segments XYXY and JDJD intersect at PP. Let QQ be the projection of AA on line BCBC. Prove that the internal angle bisector of QAP\measuredangle QAP is perpendicular to line XYXY.

Remark. The AA-excircle of the triangle ABCABC is the circle outside the triangle which is tangent to the lines ABAB, ACAC, and the line segment BCBC.

Middle European Mathematical Olympiad 2023 Problem T-8

Let AA and BB be positive integers. Consider a sequence of positive integers (xn)n1(x_{n})_{n\geq 1} such that

xn+1=Agcd(xn,xn1)+Bfor every n2.x_{n+1} = A \cdot \gcd(x_{n}, x_{n-1}) + B \quad \text{for every } n \geq 2.

Prove that the sequence attains only finitely many different values.

Remark. We denote by gcd(a,b)\gcd(a, b) the greatest common divisor of positive integers aa and bb.