Factorization of Poncelet polynomials (Q2477022)

Let \(C\) and \(D\) be two non-degenerate conics (real or complex). Poncelet's theorem asserts the following statement: let \(m\in C\) be a point. Starting from \(m\) as vertex, suppose that there exists a polygon with \(n\) sides inscribed in \(C\) and circumscribed to \(D\). Then, any point belonging to \(C\) is also a vertex of such polygon. The author is interested in the existence of such point satisfying the above property in case \(C\) and \(D\) are defined by the equalities \[ \begin{aligned} C&= \bigl[(x,y)\in \mathbb C^2\mid x^2+y^2=R^2\bigr],\\ D&= \bigl[(x,y)\in \mathbb C^2\mid (x+a)^2+y^2=r^2\bigr]. \end{aligned} \] This existence can be formulated in terms of a polynomial condition depending on \((a,r,R)\). He decomposes the corresponding polynomials in irreducible factors and provides their geometric interpretation.