Problem

Source:

Tags: geometry, Cyclic, tangential, square



$ABCD$ is a quadrilateral having both an inscribed circle (one tangent to all four sides) with center $I,$ and a circumscribed circle with center $O$. Let $S$ be the point of intersection of the diagonals of $ABCD$. Show that if any two of $S, I$ and $O$ coincide, then $ABCD$ is a square (and hence all three coincide).