- Day 1
- Answer
There are positive real numbers . For each we let (here we define to be and to be ). Assume that for all and in the range 1 to , we have if and only if .
Prove that .
European Girls' Mathematical Olympiad 2023.
There are positive real numbers . For each we let (here we define to be and to be ). Assume that for all and in the range 1 to , we have if and only if .
Prove that .
We are given an acute triangle . Let be the point on its circumcircle such that is a diameter. Suppose that points and lie on segments and , respectively, and that and are tangent to circle .
Show that line passes through the orthocentre of .
The altitudes of a triangle meet at its orthocentre.

Figure 1: Diagram to solution 1
Let be a positive integer. Lexi has a dictionary consisting of some -letter strings containing only the letters and . Lexi would like to write either the letter or the letter in each cell of a grid so that each column contains a string from when read from top-to-bottom and each row contains a string from when read from left-to-right.
What is the smallest integer such that if contains at least different strings, then Lexi can fill her grid in this manner, no matter what strings are in ?
Turbo the snail sits on a point on a circle with circumference 1. Given an infinite sequence of positive real numbers , Turbo successively crawls distances around the circle, each time choosing to crawl either clockwise or counterclockwise.
For example, if the sequence is , then Turbo may start crawling as follows:

Determine the largest constant with the following property: for every sequence of positive real numbers with for all , Turbo can (after studying the sequence) ensure that there is some point on the circle that it will never visit or crawl across.
We are given a positive integer . For each positive integer , we define its twist as follows: write as , where are non-negative integers and , then . For the positive integer , consider the infinite sequence where and is the twist of for each positive integer .
Prove that this sequence contains 1 if and only if the remainder when is divided by is either 1 or .
Let be a triangle with circumcircle . Let and respectively denote the midpoints of the arcs and that do not contain the third vertex. Let denote the midpoint of arc (the arc containing ). Let be the incentre of . Let be the circle that is tangent to and internally tangent to at , and let be the circle that is tangent to and internally tangent to at . Show that the line , and the line through the intersections of and , meet on .
The incentre of a triangle is the centre of its incircle, the circle inside the triangle that is tangent to all three sides.

Figure 6: Diagram to Solution 1