Given is an equilateral triangle with circumcenter . Let be a point on to minor arc of its circumcircle such that . The perpendicular bisector of meets the circumcircle at , with lying on the minor arc . The lines and meet at . Prove that .
OIM 2022
Iberoamerican Mathematical Olympiad 2022.
Other problems
Let be the set of the positive integers of the form . Consider a horizontal row of cells. Ana and Borja play a game: they alternatively write a digit on the leftmost empty cell, starting with Ana. When the row is filled, the digits are read from left to right to obtain a -digit number . Borja wins if is divisible by a number in , otherwise Ana wins. Find which player has a winning strategy and describe it.
Find all functions such that and for all .