Tangential quadrilateral

In Euclidean geometry, a tangential quadrilateral (sometimes just tangent quadrilateral) or circumscribed quadrilateral is a convex quadrilateral whose sides all can be tangent to a single circle within the quadrilateral. This circle is called the incircle of the quadrilateral or its inscribed circle, its center is the incenter and its radius is called the inradius. Since these quadrilaterals can be drawn surrounding or circumscribing their incircles, they have also been called circumscribable quadrilaterals, circumscribing quadrilaterals, and circumscriptible quadrilaterals. Tangential quadrilaterals are a special case of tangential polygons.

Other less frequently used names for this class of quadrilaterals are inscriptable quadrilateral, inscriptible quadrilateral, inscribable quadrilateral, circumcyclic quadrilateral, and co-cyclic quadrilateral. Due to the risk of confusion with a quadrilateral that has a circumcircle, which is called a cyclic quadrilateral or inscribed quadrilateral, it is preferable not to use any of the last five names.

All triangles can have an incircle, but not all quadrilaterals do. An example of a quadrilateral that cannot be tangential is a non-square rectangle. The section characterizations below states what necessary and sufficient conditions a quadrilateral must satisfy to be able to have an incircle.

Examples of tangential quadrilaterals are the kites, which include the rhombi, which in turn include the squares. The kites are exactly the tangential quadrilaterals that are also orthodiagonal. A right kite is a kite with a circumcircle. If a quadrilateral is both tangential and cyclic, it is called a bicentric quadrilateral, and if it is both tangential and a trapezoid, it is called a tangential trapezoid.

In a tangential quadrilateral, the four angle bisectors meet at the center of the incircle. Conversely, a convex quadrilateral in which the four angle bisectors meet at a point must be tangential and the common point is the incenter.

According to the Pitot theorem, the two pairs of opposite sides in a tangential quadrilateral add up to the same total length, which equals the semiperimeter s of the quadrilateral:

Conversely a convex quadrilateral in which a + c = b + d must be tangential.

If opposite sides in a convex quadrilateral ABCD (that is not a trapezoid) intersect at E and F, then it is tangential if and only if either of