problem: Choose positive integers $b_{1}, b_{2}, \ldots$ satisfying  $$ 1=\frac{b_{1}}{1^{2}}>\frac{b_{2}}{2^{2}}>\frac{b_{3}}{3^{2}}>\frac{b_{4}}{4^{2}}>\cdots $$  and let $r$ denote the largest real number satisfying $\frac{b_{n}}{n^{2}} \geq r$ for all positive integers $n$. What are the possible values of $r$ across all possible choices of the sequence $\left(b_{n}\right)$ ?

solution: The answer is $0 \leq r \leq 1 / 2$. Obviously $r \geq 0$. In one direction, we show that Claim (Greedy bound) - For all integers $n$, we have  $$ \frac{b_{n}}{n^{2}} \leq \frac{1}{2}+\frac{1}{2 n} $$   $$ \begin{aligned} b_{n} & <n^{2} \frac{b_{n-1}}{(n-1)^{2}} \leq n^{2}\left(\frac{1}{2}+\frac{1}{2(n-1)}\right)=\frac{n^{3}}{2(n-1)} \\ & =\frac{1}{2}\left[n^{2}+n+1+\frac{1}{n-1}\right] \\ & =\frac{n(n+1)}{2}+\frac{1}{2}\left[1+\frac{1}{n-1}\right] \\ & \leq \frac{n(n+1)}{2}+1 \end{aligned} $$  So $b_{n}<\frac{n(n+1)}{2}+1$ and since $b_{n}$ is an integer, $b_{n} \leq \frac{n(n+1)}{2}$. This implies the result. We now give a construction. For $r=1 / 2$ we take $b_{n}=\frac{1}{2} n(n+1)$ for $r=0$ we take $b_{n}=1$.  Claim (Explicit construction, given by Nikolai Beluhov) - Fix $0<r<1 / 2$. Let $N$ be large enough that $\left\lceil r n^{2}+n\right\rceil<\frac{1}{2} n(n+1)$ for all $n \geq N$. Then the following sequence works:  $$ b_{n}= \begin{cases}\left\lceil r n^{2}+n\right\rceil & n \geq N \\ \frac{n^{2}+n}{2} & n<N\end{cases} $$   $$ \frac{b_{n}}{n^{2}}=\frac{r n^{2}+n+O(1)}{n^{2}} \xrightarrow{n \rightarrow \infty} r $$  Mainly, we contend $b_{n} n^{-2}$ is strictly decreasing. We need only check this for $n \geq N$; in fact  $$ \frac{b_{n}}{n^{2}} \geq \frac{r n^{2}+n}{n^{2}}>\frac{\left[r(n+1)^{2}+(n+1)\right]+1}{(n+1)^{2}}>\frac{b_{n+1}}{(n+1)^{2}} $$  where the middle inequality is true since it rearranges to $\frac{1}{n}>\frac{n+2}{(n+1)^{2}}$.


problem: Two circles $\Gamma_{1}$ and $\Gamma_{2}$ have common external tangents $\ell_{1}$ and $\ell_{2}$ meeting at $T$. Suppose $\ell_{1}$ touches $\Gamma_{1}$ at $A$ and $\ell_{2}$ touches $\Gamma_{2}$ at $B$. A circle $\Omega$ through $A$ and $B$ intersects $\Gamma_{1}$ again at $C$ and $\Gamma_{2}$ again at $D$, such that quadrilateral $A B C D$ is convex.  Suppose lines $A C$ and $B D$ meet at point $X$, while lines $A D$ and $B C$ meet at point $Y$. Show that $T, X, Y$ are collinear.

solution: ब First solution, elementary (original). We have $\triangle Y A C \sim \triangle Y B D$, from which it follows  $$ \frac{d(Y, A C)}{d(Y, B D)}=\frac{A C}{B D} $$  Moreover, if we denote by $r_{1}$ and $r_{2}$ the radii of $\Gamma_{1}$ and $\Gamma_{2}$, then  $$ \frac{d(T, A C)}{d(T, B D)}=\frac{T A \sin \angle\left(A C, \ell_{1}\right)}{T B \sin \angle\left(B D, \ell_{2}\right)}=\frac{2 r_{1} \sin \angle\left(A C, \ell_{1}\right)}{2 r_{2} \sin \angle\left(B D, \ell_{2}\right)}=\frac{A C}{B D} $$  the last step by the law of sines. ![](https://cdn.mathpix.com/cropped/2024_11_19_1d87ca6c42af65f32daag-05.jpg?height=721&width=1269&top_left_y=1447&top_left_x=396)  This solves the problem up to configuration issues: we claim that $Y$ and $T$ both lie inside $\angle A X B \equiv \angle C X D$. WLOG $T A<T B$.  - The former is since $Y$ lies outside segments $B C$ and $A D$, since we assumed $A B C D$ was convex. - For the latter, we note that $X$ lies inside both $\Gamma_{1}$ and $\Gamma_{2}$ in fact on the radical axis of the two circles (since $X$ was an interior point of both chords $A C$ and $B D$ ). In particular, $X$ is contained inside $\angle A T B$, and moreover $\angle A T B<90^{\circ}$, and this is enough to imply the result.


solution: 『 Second solution, inversive. This is based on the solution posted by kapilpavase on AoPS. Consider the inversion at $T$ swapping $\Gamma_{1}$ and $\Gamma_{2}$; we let it send $A$ to $E, B$ to $F$, $C$ to $V, D$ to $W$, as shown. Draw circles $A D W E$ and $B C V F$. ![](https://cdn.mathpix.com/cropped/2024_11_19_1d87ca6c42af65f32daag-06.jpg?height=832&width=1252&top_left_y=418&top_left_x=408)  Claim - Points $T$ and $Y$ lie on the radical axis of $(A D E)$ and $(B C F)$.   Claim - Point $X$ has equal power to $(A D E)$ and $(B C F)$.   But since $A E=B F$ and moreover  $$ \begin{aligned} \measuredangle B C F+\measuredangle A D E & =(\measuredangle B C A+\measuredangle A C F)+(\measuredangle A D B+\measuredangle B D E) \\ & =(\measuredangle B C A+\measuredangle A D B)+(\measuredangle A C F+\measuredangle B D E)=0+0=0 \end{aligned} $$  we conclude that $(A D E)$ and $(B C F)$ are congruent. As $X$ was the center of negative inversion between them, we're done.


solution: 【 Third solution, projective (Nikolai Beluhov). We start with some definitions. Let $\ell_{1}$ touch $\Gamma_{2}$ at $E, \ell_{2}$ touch $\Gamma_{1}$ at $F, K=\ell_{1} \cap \overline{B D}, L=\ell_{2} \cap \overline{A C}$, line $F X$ meet $\Gamma_{1}$ again at $M$, line $E X$ meet $\Gamma_{2}$ again at $N$, and lines $A B, A D$, and $B C$ meet line $T X$ at $Z, Y_{1}$, and $Y_{2}$. Thus the desired statement is equivalent to $Y_{1}=Y_{2}$.  $$ \text { Claim - }(E B ; N D)_{\Gamma_{2}}=(F A ; M C)_{\Gamma_{1}} $$   Consider the inversion with center $T$ which swaps $\Gamma_{1}$ and $\Gamma_{2} ;$ it also swaps the pairs $\{A, E\}$ and $\{B, F\}$. Since $A E C N$ is cyclic, $C$ is on $\Gamma_{1}$, and $N$ is on $\Gamma_{2}$, it also swaps $\{C, N\}$; similarly it swaps $\{D, M\}$. Thus $(E B ; N D)_{\Gamma_{2}}=(A F ; C M)_{\Gamma_{1}}=(F A ; M C)_{\Gamma_{1}}$ as desired. $\left(T Z ; X Y_{1}\right) \stackrel{A}{=}(K B ; X D) \stackrel{E}{=}(E B ; N D)_{\Gamma_{2}}=(F A ; M C)_{\Gamma_{1}} \stackrel{F}{=}(L A ; X C) \stackrel{B}{=}\left(T Z ; X Y_{2}\right)$ implies $Y_{1}=Y_{2}$ as desired.


solution: 【 Fourth solution by untethered moving points. Fix $\ell_{1}, \ell_{2}, T, \Gamma_{1}$ and $\Gamma_{2}$, and let $\Gamma_{1}$ and $\Gamma_{2}$ meet at $U$ and $V$. By the radical axis theorem, $X$ lies on $U V$.  Thus we instead treat $X$ as a variable point on line $U V$ and let $C=A X \cap \Gamma_{1}$, $D=B X \cap \Gamma_{2}$. By definition, $X$ has degree 1 and $T$ has degree 0 .  We apply Zack's lemma to untethered point $Y$. Note that $C$ and $D$ move projectively on conics, and therefore have degree 2 . Then, lines $A D$ and $B C$ each have degree at most $\operatorname{deg}(A)+\operatorname{deg}(D)=0+2=2$, and so their intersection $Y$ has degree at most $2+2=4$. But when $X \in A B$, the lines $A D$ and $B C$ are the same, so Zack's lemma implies that  $$ \operatorname{deg} Y \leq 4-1=3 . $$  Thus the assertion that $T, X, Y$ are collinear (which for example can be seen as a certain vanishing determinant) is a statement of degree at most $0+1+3=4$. Thus it suffices to find 5 values of $X$ (other than $X \in \overline{A B}$, which we used already). This is remarkably easy:  1. When $X=U$ or $X=V$, then $X=C=D=Y$ and the statement is obvious. 2. When $X \in \ell_{1}$, say, then $A=C$ and so $Y$ lies on $A C=\ell_{1}$ as well. The case $X \in \ell_{2}$ is symmetric. 3. Finally, take $X$ at infinity along $U V$. Then $C$ and $D$ are the other tangency points of the circles with $\ell_{1}, \ell_{2}$, and so $A C=\ell_{1}, B D=\ell_{2}$, so $Y=T$.  This finishes the problem.


problem: Let $\alpha \geq 1$ be a real number. Hephaestus and Poseidon play a turn-based game on an infinite grid of unit squares. Before the game starts, Poseidon chooses a finite number of cells to be flooded. Hephaestus is building a levee, which is a subset of unit edges of the grid, called walls, forming a connected, non-self-intersecting path or loop.  The game then begins with Hephaestus moving first. On each of Hephaestus's turns, he adds one or more walls to the levee, as long as the total length of the levee is at most $\alpha n$ after his $n$th turn. On each of Poseidon's turns, every cell which is adjacent to an already flooded cell and with no wall between them becomes flooded as well.  Hephaestus wins if the levee forms a closed loop such that all flooded cells are contained in the interior of the loop - hence stopping the flood and saving the world. For which $\alpha$ can Hephaestus guarantee victory in a finite number of turns no matter how Poseidon chooses the initial cells to flood?

solution: We show that if $\alpha>2$ then Hephaestus wins, but when $\alpha=2$ (and hence $\alpha \leq 2$ ) Hephaestus cannot contain even a single-cell flood initially.  Strategy for $\alpha>2$ : Impose $\mathbb{Z}^{2}$ coordinates on the cells. Adding more flooded cells does not make our task easier, so let us assume that initially the cells $(x, y)$ with $|x|+|y| \leq d$ are flooded for some $d \geq 2$; thus on Hephaestus's $k$ th turn, the water is contained in $|x|+|y| \leq d+k-1$. Our goal is to contain the flood with a large rectangle.  We pick large integers $N_{1}$ and $N_{2}$ such that  $$ \begin{gathered} \alpha N_{1}>2 N_{1}+(2 d+3) \\ \alpha\left(N_{1}+N_{2}\right)>2 N_{2}+\left(6 N_{1}+8 d+4\right) \end{gathered} $$  Mark the points $X_{i}, Y_{i}$ as shown in the figure for $1 \leq i \leq 6$. The red figures indicate the distance between the marked points on the rectangle. ![](https://cdn.mathpix.com/cropped/2024_11_19_1d87ca6c42af65f32daag-09.jpg?height=1004&width=983&top_left_y=246&top_left_x=542)  We follow the following plan.  - Turn 1: place wall $X_{1} Y_{1}$. This cuts off the flood to the north. - Turns 2 through $N_{1}+1$ : extend the levee to segment $X_{2} Y_{2}$. This prevents further flooding to the north. - Turn $N_{1}+2$ : add in broken lines $X_{4} X_{3} X_{2}$ and $Y_{4} Y_{3} Y_{2}$ all at once. This cuts off the flood west and east. - Turns $N_{1}+2$ to $N_{1}+N_{2}+1$ : extend the levee along segments $X_{4} X_{5}$ and $Y_{4} Y_{5}$. This prevents further flooding west and east. - Turn $N_{1}+N_{2}+2$ : add in the broken line $X_{5} X_{6} Y_{6} Y_{5}$ all at once and win.   Let $c_{0}, c_{1}, \ldots, c_{n}$ be a path of cells such that $c_{0}$ is the initial cell flooded, and in general $c_{i}$ is flooded on Poseidon's $i$ th turn from $c_{i-1}$. The levee now forms a closed loop enclosing all $c_{i}$.  Claim - If $c_{i}$ and $c_{j}$ are adjacent then $|i-j|=1$.   Thus the $c_{i}$ actually form a path. We color green any edge of the unit grid (wall or not) which is an edge of exactly one $c_{i}$ (i.e. the boundary of the polyomino). It is easy to see there are exactly $2 n+4$ green edges.  Now, from the center of each cell $c_{i}$, shine a laser towards each green edge of $c_{i}$ (hence a total of $2 n+4$ lasers are emitted). An example below is shown for $n=6$, with the levee marked in brown. ![](https://cdn.mathpix.com/cropped/2024_11_19_1d87ca6c42af65f32daag-10.jpg?height=803&width=806&top_left_y=415&top_left_x=631)  Claim - No wall is hit by more than one laser.  We consider two cases on the position of $w$.  - If $w$ is between $c_{i}$ and $c_{j}$, then we have found a segment intersecting the levee exactly once. But the endpoints of the segment lie inside the levee. This contradicts the assumption that the levee is a closed loop. - Suppose $w$ lies above both $c_{i}$ and $c_{j}$ and assume WLOG $i<j$. Then we have found that there is no levee at all between $c_{i}$ and $c_{j}$. Let $\rho \geq 1$ be the distance between the centers of $c_{i}$ and $c_{j}$. Then $c_{j}$ is flooded in a straight line from $c_{i}$ within $\rho$ turns, and this is the unique shortest possible path. So this situation can only occur if $j=i+\rho$ and $c_{i}, \ldots, c_{j}$ form a column. But then no vertical lasers from $c_{i}$ and $c_{j}$ may point in the same direction, contradiction. This implies the levee has at least $2 n+4$ walls (the number of lasers) on Hephaestus's $(n+1)$ st turn. So $\alpha \geq \frac{2 n+4}{n+1}>2$.  Remark (Author comments). The author provides the following remarks.  - Even though the flood can be stopped when $\alpha=2+\varepsilon$, it takes a very long time to do that. Starting from a single flooded cell, the strategy I have outlined requires $\Theta\left(1 / \varepsilon^{2}\right)$ days. Starting from several flooded cells contained within an area of diameter $D$, it takes $\Theta\left(D / \varepsilon^{2}\right)$ days. I do not know any strategies that require fewer days than that. - There is a gaping chasm between $\alpha \leq 2$ and $\alpha>2$. Since $\alpha \leq 2$ does not suffice even when only one cell is flooded in the beginning, there are in fact no initial configurations at all for which it is sufficient. On the other hand, $\alpha>2$ works for all initial configurations. It appears that this has not been done before, or at least I was unable to find any reference for it. I did find tons of references where the perimeter of a polyomino is estimated in terms of its area, but nothing concerning the diameter. My argument is a formalisation of the intuition that if $P$ is any shortest path within some weirdly-shaped polyomino, then the boundary of that polyomino must hug $P$ rather closely so that $P$ cannot be shortened.


problem: For a finite simple graph $G$, we define $G^{\prime}$ to be the graph on the same vertex set as $G$, where for any two vertices $u \neq v$, the pair $\{u, v\}$ is an edge of $G^{\prime}$ if and only if $u$ and $v$ have a common neighbor in $G$. Prove that if $G$ is a finite simple graph which is isomorphic to $\left(G^{\prime}\right)^{\prime}$, then $G$ is also isomorphic to $G^{\prime}$.

solution: We say a vertex of a graph is fatal if it has degree at least 3, and some two of its neighbors are not adjacent.  Claim - The graph $G^{\prime}$ has at least as many triangles as $G$, and has strictly more if $G$ has any fatal vertices.   Thus we only need to consider graphs $G$ with no fatal vertices. Looking at the connected components, the only possibilities are cliques (including single vertices), cycles, and paths. So in what follows we restrict our attention to graphs $G$ only consisting of such components.  Remark (Warning). Beware: assuming $G$ is connected loses generality. For example, it could be that $G=G_{1} \sqcup G_{2}$, where $G_{1}^{\prime} \cong G_{2}$ and $G_{2}^{\prime} \cong G_{1}$.  First, note that the following are stable under the operation:  - an isolated vertex, - a cycle of odd length, or - a clique with at least three vertices.  In particular, $G \cong G^{\prime \prime}$ holds for such graphs. On the other hand, cycles of even length or paths of nonzero length will break into more connected components. For this reason, a graph $G$ with any of these components will not satisfy $G \cong G^{\prime \prime}$ because $G^{\prime}$ will have strictly more connected components than $G$, and $G^{\prime \prime}$ will have at least as many as $G^{\prime}$.  Therefore $G \cong G^{\prime \prime}$ if and only if $G$ is a disjoint union of the three types of connected components named earlier. Since $G \cong G^{\prime}$ holds for such graphs as well, the problem statement follows right away.   Remark. The proposers included a variant of the problem where given any graph $G$, the operation stabilized after at most $O(\log n)$ operations, where $n$ was the number of vertices of $G$.


problem: Find all integers $n \geq 2$ for which there exists an integer $m$ and a polynomial $P(x)$ with integer coefficients satisfying the following three conditions:  - $m>1$ and $\operatorname{gcd}(m, n)=1$; - the numbers $P(0), P^{2}(0), \ldots, P^{m-1}(0)$ are not divisible by $n$; and - $P^{m}(0)$ is divisible by $n$.  Here $P^{k}$ means $P$ applied $k$ times, so $P^{1}(0)=P(0), P^{2}(0)=P(P(0))$, etc.

solution: The answer is that this is possible if and only if there exists primes $p^{\prime}<p$ such that $p \mid n$ and $p^{\prime} \nmid n$. (Equivalently, the radical $\operatorname{rad}(n)$ must not be the product of the first several primes.)  For a polynomial $P$, and an integer $N$, we introduce the notation  $$ \operatorname{zord}(P \bmod N):=\min \left\{e>0 \mid P^{e}(0) \equiv 0 \bmod N\right\} $$  where we set $\min \varnothing=0$ by convention. Note that in general we have  $$ \operatorname{zord}(P \bmod N)=\operatorname{lcm}_{q \mid N}(\operatorname{zord}(P \bmod q)) $$  where the index runs over all prime powers $q \mid N$ (by Chinese remainder theorem). This will be used in both directions.  Construction: First, we begin by giving a construction. The idea is to first use the following prime power case.  Claim - Let $p^{e}$ be a prime power, and $1 \leq k<p$. Then  $$ f(X)=X+1-k \cdot \frac{X(X-1)(X-2) \ldots(X-(k-2))}{(k-1)!} $$  viewed as a polynomial in $\left(\mathbb{Z} / p^{e}\right)[X]$ satisfies $\operatorname{zord}\left(f \bmod p^{e}\right)=k$. This gives us a way to do the construction now. For the prime power $p^{e} \mid n$, we choose $1 \leq p^{\prime}<p$ and require $\operatorname{zord}\left(P \bmod p^{e}\right)=p^{\prime}$ and $\operatorname{zord}(P \bmod q)=1$ for every other prime power $q$ dividing $n$. Then by $(\dagger)$ we are done.  Remark. The claim can be viewed as a special case of Lagrange interpolation adapted to work over $\mathbb{Z} / p^{e}$ rather than $\mathbb{Z} / p$. Thus the construction of the polynomial $f$ above is quite natural.  Necessity: by ( $\dagger$ ) again, it will be sufficient to prove the following claim.  Claim - For any prime power $q=p^{e}$, and any polynomial $f(x) \in \mathbb{Z}[x]$, if the quantity $\operatorname{zord}(f \bmod q)$ is nonzero then it has all prime factors at most $p$.   Now assume $e \geq 2$. Let us define  $$ k:=\operatorname{zord}\left(P \bmod p^{e-1}\right), \quad Q:=P^{k} $$  Since being periodic modulo $p^{e}$ requires periodic modulo $p^{e-1}$, it follows that  $$ \operatorname{zord}\left(P \bmod p^{e}\right)=k \cdot \operatorname{zord}\left(Q \bmod p^{e}\right) $$  However since $Q(0) \equiv 0 \bmod p^{e-1}$, it follows $\left\{Q(0), Q^{2}(0), \ldots\right\}$ are actually all multiples of $p^{e-1}$. There are only $p$ residues modulo $p^{e}$ which are also multiples of $p^{e-1}$, so $\operatorname{zord}\left(Q \bmod p^{e}\right) \leq p$, as needed.  Remark. One reviewer submitted the following test-solving comments: This is one of these problems where you can make many useful natural observations, and if you make enough of them eventually they cohere into a solution. For example, here are some things I noticed while solving:  - The polynomial $1-x$ shows that $m=2$ works for any odd $n$. - In general, if $\zeta$ is a primitive $m$ th root of unity modulo $n$, then $\zeta(x+1)-1$ has the desired property (assuming $\operatorname{gcd}(m, n)=1$ ). We can extend this using the Chinese remainder theorem to find that if $p|n, m| p-1$, and $\operatorname{gcd}(m, n)=1$, then $n$ works. So by this point I already have something about the prime factors of $n$ being sort-of closed downwards. - By iterating $P$ we see it is enough to consider $m$ prime. - In the case where $n=2^{k}$, it is not too difficult to show that no odd prime $m$ works.


problem: Let $P_{1} P_{2} \ldots P_{100}$ be a cyclic 100-gon, and let $P_{i}=P_{i+100}$ for all $i$. Define $Q_{i}$ as the intersection of diagonals $\overline{P_{i-2} P_{i+1}}$ and $\overline{P_{i-1} P_{i+2}}$ for all integers $i$. Suppose there exists a point $P$ satisfying $\overline{P P_{i}} \perp \overline{P_{i-1} P_{i+1}}$ for all integers $i$. Prove that the points $Q_{1}, Q_{2}, \ldots, Q_{100}$ are concyclic.

solution: ![](https://cdn.mathpix.com/cropped/2024_11_19_1d87ca6c42af65f32daag-17.jpg?height=1594&width=1449&top_left_y=245&top_left_x=309)  Claim - The points $K_{\bullet}$ are concyclic say with circumcircle $\gamma$.  Let $E_{i}$ be the second intersection of line $\overline{P_{i-1} K_{i} P_{i+1}}$ with $\gamma$; then it follows that the perpendiculars to $\overline{P_{i-1} P_{i+1}}$ at $E_{i}$ all concur at a point $E$, which is the reflection of $P$ across the center of $\gamma$.  We let $H_{2}=\overline{P_{1} P_{3}} \cap \overline{P_{2} P_{4}}$ denote the orthocenter of $\triangle P P_{2} P_{3}$ and define $H_{\bullet}$ cyclically.  Claim - We have  $$ \overline{E H_{2}} \perp \overline{P_{1} P_{4}} \| \overline{K_{2} K_{3}} \quad \text { and } \overline{P H_{2}} \perp \overline{E_{2} E_{3}} \| \overline{P_{2} P_{3}} . $$   Note that $\overline{H_{2} P}$ and $\overline{H_{2} E}$ are respectively circum-diameters of $\triangle H_{2} K_{2} K_{3}$ and $\triangle H_{2} E_{2} E_{3}$. As $\overline{K_{2} K_{3}}$ and $\overline{E_{2} E_{3}}$ are anti-parallel, it follows $\overline{H_{2} P}$ and $\overline{H_{2} E}$ are isogonal and we derive both perpendicularities.  Claim - The points $E, Q_{3}, E_{3}$ are collinear.  $$ \frac{E_{3} H_{2}}{E_{3} P_{2}}=\frac{E_{2} H_{2}}{E_{2} P_{3}}=\frac{E_{4} H_{3}}{E_{4} P_{3}}=\frac{E_{3} H_{3}}{E_{3} P_{4}} $$  Now consider a homothety centered at $E_{3}$ sending $H_{2}$ to $P_{2}$ and $H_{3}$ to $P_{4}$. Then it should send the orthocenter of $\triangle E H_{2} H_{3}$ to $Q_{3}$, proving the result.  From all this it follows that $\triangle E Q_{2} Q_{3} \sim \triangle P K_{2} K_{3}$ as the opposite sides are all parallel. Repeating this we actually find a homothety of 100 -gons  $$ Q_{1} Q_{2} Q_{3} \cdots \sim K_{1} K_{2} K_{3} \ldots $$  Remark. The proposer remarks that in fact, if one lets $s$ be an integer and instead defines $R_{i}=P_{i} P_{i+s} \cap P_{i+1} P_{i+s+1}$, then the $R_{\bullet}$ are concyclic. The present problem is the case $s=3$. We comment on a few special cases:  - There is nothing to prove for $s=1$. - If $s=0$, this amounts to proving that poles of $\overline{P_{i} P_{i+1}}$ are concyclic; by inversion this is equivalent to showing the midpoints of the sides are concyclic. This is an interesting problem but not as difficult. - The problem for $s=2$ is to show that our $H_{\bullet}$ are concyclic, which uses the $s=0$ case as a lemma. 【 Solution to generalization (Nikolai Beluhov). We are going to need some well-known lemmas.  ## Lemma  Suppose that $A B C D$ is inscribed in a circle $\Gamma$. Let the tangents to $\Gamma$ at $A$ and $B$ meet at $E$, let the tangents to $\Gamma$ at $C$ and $D$ meet at $F$, and let diagonals $A C$ and $B D$ meet at $P$. Then points $E, F$, and $P$ are collinear.   ## Lemma  Suppose that points $X$ and $Y$ are isogonal conjugates in polygon $\mathcal{A}=A_{1} A_{2} \ldots A_{n}$. (This means that lines $A_{i} X$ and $A_{i} Y$ are symmetric with respect to the interior angle bisector of $\angle A_{i-1} A_{i} A_{i+1}$ for all $i$, where $A_{n+j} \equiv A_{j}$ for all $j$.) Then the $2 n$ projections of $X$ and $Y$ on the sides of $\mathcal{A}$ are concyclic.   ## Lemma  Let $\Gamma^{\prime}$ and $\Gamma^{\prime \prime}$ be two circles and let $r$ be some fixed real number. Then the locus of points $X$ satisfying $\operatorname{Pow}\left(X, \Gamma^{\prime}\right): \operatorname{Pow}\left(X, \Gamma^{\prime \prime}\right)=r$ is a circle.   We are ready to solve the problem. Let $\mathcal{P}$ be our polygon, let $O$ be its the circumcenter, and let $\Gamma$ be its circumcircle.  Fix any index $i$. In triangle $P_{i-1} P_{i} P_{i+1}$, we have that line $P_{i} P$ contains the altitude through $P_{i}$ and line $P_{i} O$ contains the circumradius through $P_{i}$. Therefore, these two lines are symmetric with respect to the interior angle bisector of $\angle P_{i-1} P_{i} P_{i+1}$.  Thus points $P$ and $O$ are isogonal conjugates in $\mathcal{P}$. By Lemma 2, it follows that the projections of $O$ onto the sides of $\mathcal{P}$ are concyclic. In other words, the midpoints of the sides of $\mathcal{P}$ lie on some circle $\omega$.  Let $M_{i}$ be the midpoint of segment $P_{i} P_{i+1}$ and let the tangents to $\Gamma$ at points $P_{i}$ and $P_{i+1}$ meet at $T_{i}$. Since inversion with respect to $\Gamma$ swaps $M_{i}$ and $T_{i}$ for all $i$, and also since all of the $M_{i}$ lie on the same circle $\omega$, we obtain that all of the $T_{i}$ lie on the same circle $\Omega$. ![](https://cdn.mathpix.com/cropped/2024_11_19_1d87ca6c42af65f32daag-20.jpg?height=801&width=741&top_left_y=245&top_left_x=663)  Again, fix any index $i$. By Lemma 1 applied to cyclic quadrilateral $P_{i-2} P_{i-1} P_{i+1} P_{i+2}$, we have that point $Q_{i}$ lies on line $T_{i-2} T_{i+1}$. Similarly, point $Q_{i+1}$ lies on line $T_{i-1} T_{i+2}$.  Define  $$ f_{i}=\frac{\operatorname{Pow}\left(Q_{i}, \Gamma\right)}{\operatorname{Pow}\left(Q_{i}, \Omega\right)} . $$  Claim - We have $f_{i}=f_{i+1}$ for all $i$.   $$ \begin{aligned} \operatorname{Pow}\left(Q_{i}, \Gamma\right) & =Q_{i} P_{i-1} \cdot Q_{i} P_{i+2} \\ \operatorname{Pow}\left(Q_{i+1}, \Gamma\right) & =Q_{i+1} P_{i-1} \cdot Q_{i+1} P_{i+2} . \\ \operatorname{Pow}\left(Q_{i}, \Omega\right) & =Q_{i} T_{i-2} \cdot Q_{i} T_{i+1} \\ \operatorname{Pow}\left(Q_{i+1}, \Omega\right) & =Q_{i+1} T_{i-1} \cdot Q_{i+1} T_{i+2} . \end{aligned} $$  Consider cyclic quadrilateral $T_{i-2} T_{i-1} T_{i+1} T_{i+2}$. Since $\Gamma$ touches its opposite sides $T_{i-2} T_{i-1}$ and $T_{i+1} T_{i+2}$ at points $P_{i-1}$ and $P_{i+2}$, we have that line $P_{i-1} P_{i+2}$ makes equal angles with these opposite sides. From here, a simple angle chase shows that triangles $P_{i-1} Q_{i} T_{i-2}$ and $P_{i+2} Q_{i+1} T_{i+2}$ are similar. Thus  $$ \frac{Q_{i} P_{i-1}}{Q_{i} T_{i-2}}=\frac{Q_{i+1} P_{i+2}}{Q_{i+1} T_{i+2}} . $$  Similarly,  $$ \frac{Q_{i} P_{i+2}}{Q_{i} T_{i+1}}=\frac{Q_{i+1} P_{i-1}}{Q_{i+1} T_{i-1}} . $$  From these, the desired identity $f_{i}=f_{i+1}$ follows. Therefore, the power ratio $f_{i}$ is the same for all $i$. By Lemma 3 for circles $\Gamma$ and $\Omega$, the solution is complete.   Remark. Polygon $T_{1} T_{2} \ldots T_{100}$ is both circumscribed about a circle and inscribed inside a circle. Polygons like that are known as Poncelet polygons. See, for example, https: //en.wikipedia.org/wiki/Poncelet's_closure_theorem. This solution borrows a lot from the discussion of Poncelet's closure theorem in Advanced Euclidean Geometry, referenced above for Lemma 3.