# Concyclic Incenters in Bicentric Quadrilateral

### Problem

Given convex bicentric quadrilateral $ABCD,$ let $I$ and $O$ be its in- and circumcenter. Define $E,$ $F,$ $G,$ $H$ to be the incenters of triangles $OAB,$ $OBC,$ $OCD,$ $ODA,$ respectively.

Then $EFGH$ is a cyclic quadrilateral.

### Solution

This is a special case of another problem where the quadrilateral $ABCD$ was just inscriptible. In that problem, the perpendicular bisectors formed an inscriptible quadrilateral whose role in the present problem is played by the circumcenter $O.$ This is naturally so because now the perpendicular bisectors of all four sides meet at $O$ - degenerate inscriptible quadrilateral.

### Acknowledgment

The problem has been posted by Dao Thanh Oai (Vietnam) at the CutTheKnotMath facebook page.

[an error occurred while processing this directive]