A quadrilateral which has an incircle, i.e., one for which a single circle can be constructed which is tangent to all four sides. Opposite sides of such a quadrilateral satisfy
(1)
|
where
(2)
|
is the semiperimeter, and the area is
(3)
|
where
is the inradius. Using Bretschneider's
formula together with (1) and (3) then
gives the beautiful formula
(4)
| |||
(5)
|
where
and
are the diagonal lengths.
A rhombus is a special case of a tangential quadrilateral.