Tangential quadrilateral all of whose sides are tangent to a single conic section has three diagonals that meet at a point. From a tangential quadrilateral, one can form a hexagon with two 180° angles, by placing two new vertices at two opposite points of tangency; all six of the sides of this hexagon lie on lines tangent to the inscribed circle, so its diagonals meet at a point. But two of these diagonals are the same as the diagonals of the tangential quadrilateral, and the third diagonal of the hexagon is the line through two opposite points of tangency. Repeating this same
Pappus's hexagon theorem Pappus's hexagon theorem In mathematics, Pappus's hexagon theorem (attributed to Pappus of Alexandria) states that given one set of collinear points "A", "B", "C", and another set of collinear points "a", "b", "c", then the intersection points "X", "Y", "Z" of line pairs "Ab" and "aB", "Ac" and "aC", "Bc" and "bC" are collinear, lying on the "Pappus line". These three points are the points of intersection of the "opposite" sides of the hexagon "AbCaBc". It holds in a projective plane over any field, but fails for projective planes over any noncommutative division ring. Projective planes in which the "theorem"