Skip to main content
6 of 6
added a top-level tag; see: https://meta.mathoverflow.net/questions/1457/why-are-mo-tags-formatted-as-they-are
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

Does this theorem on tangential quadrilateral have a name?

Let $ABCD$ be a quadrilateral, $P$ be a point in the plane let $E$, $F$ be the projections of the incenters of triangles $\triangle CPB$, $\triangle BPA$ onto $PB$ respectively; Let $G$, $H$ be the projections of the incenters of triangles $\triangle APD$, $\triangle DPC$ onto $PD$ respectively. Then $ABCD$ is a tangential quadrilateral if only if with every arbitrary point P in the plane $EF=GH$.

Following picture: $ABCD$ be a tangential quadrilateral if only if with $P$ be every arbitrary point in the plane then two red segment lengths are equal

enter image description here