Incircles of trilaterals (Q2452345)

A Jordan domain \(G\) is just a simply connected open subset of the complex plane such that \(\partial G\) is homeomorphic to a circle. If we choose three points on \(\partial G\), \(V_1\), \(V_2\) and \(V_3\) (ordered counter-clockwise) and if we denote by \(\alpha\), \(\beta\) and \(\gamma\) the closures of the three arcs such defined by these points, \(G(\alpha,\beta,\gamma)\) is called a trilateral with vertices \(V_1,V_2,V_3\) and edges \(\alpha,\beta,\gamma\). An incircle of a given trilateral \(G(\alpha,\beta,\gamma)\) is a circle contained in \(\overline{G}\) and intersecting the three edges. The main result of the paper is devoted to show that every trilateral has an incircle which, moreover, is unique under certain regularity conditions. The idea is then further generalized to consider arbitrary simply connected domains.