In Euclidean geometry, a bicentric quadrilateral is a convex quadrilateral that has both an incircle and a circumcircle. The radii and centers of these circles are called inradius and circumradius, and incenter and circumcenter respectively. From the definition it follows that bicentric quadrilaterals have all the properties of both tangential quadrilaterals and cyclic quadrilaterals. Other names for these quadrilaterals are chord-tangent quadrilateral[1] and inscribed and circumscribed quadrilateral. It has also rarely been called a double circle quadrilateral and double scribed quadrilateral.[2]
If two circles, one within the other, are the incircle and the circumcircle of a bicentric quadrilateral, then every point on the circumcircle is the vertex of a bicentric quadrilateral having the same incircle and circumcircle.[3] This is a special case of Poncelet's porism, which was proved by the French mathematician Jean-Victor Poncelet (1788–1867).
Examples of bicentric quadrilaterals are squares, right kites, and isosceles tangential trapezoids.
A convex quadrilateral with sides is bicentric if and only if opposite sides satisfy Pitot's theorem for tangential quadrilaterals and the cyclic quadrilateral property that opposite angles are supplementary; that is,
\begin{cases} a+c=b+d\\ A+C=B+D=\pi. \end{cases}
Three other characterizations concern the points where the incircle in a tangential quadrilateral is tangent to the sides. If the incircle is tangent to the sides at respectively, then a tangential quadrilateral is also cyclic if and only if any one of the following three conditions holds:[4]
| \overline{AW | |
| \overline{AC | |
The first of these three means that the contact quadrilateral is an orthodiagonal quadrilateral.
If are the midpoints of respectively, then the tangential quadrilateral is also cyclic if and only if the quadrilateral is a rectangle.
According to another characterization, if is the incenter in a tangential quadrilateral where the extensions of opposite sides intersect at and, then the quadrilateral is also cyclic if and only if is a right angle.
Yet another necessary and sufficient condition is that a tangential quadrilateral is cyclic if and only if its Newton line is perpendicular to the Newton line of its contact quadrilateral . (The Newton line of a quadrilateral is the line defined by the midpoints of its diagonals.)
There is a simple method for constructing a bicentric quadrilateral:
It starts with the incircle around the centre with the radius and then draw two to each other perpendicular chords and in the incircle . At the endpoints of the chords draw the tangents to the incircle. These intersect at four points, which are the vertices of a bicentric quadrilateral.[5] To draw the circumcircle, draw two perpendicular bisectors on the sides of the bicentric quadrilateral respectively . The perpendicular bisectors intersect in the centre of the circumcircle with the distance to the centre of the incircle . The circumcircle can be drawn around the centre .
The validity of this construction is due to the characterization that, in a tangential quadrilateral, the contact quadrilateral has perpendicular diagonals if and only if the tangential quadrilateral is also cyclic.
The area of a bicentric quadrilateral can be expressed in terms of four quantities of the quadrilateral in several different ways. If the sides are, then the area is given by
\displaystyleK=\sqrt{abcd}.
This is a special case of Brahmagupta's formula. It can also be derived directly from the trigonometric formula for the area of a tangential quadrilateral. Note that the converse does not hold: Some quadrilaterals that are not bicentric also have area
\displaystyleK=\sqrt{abcd}.
The area can also be expressed in terms of the tangent lengths as
K=\sqrt[4]{efgh}(e+f+g+h).
A formula for the area of bicentric quadrilateral with incenter is
K=\overline{AI} ⋅ \overline{CI}+\overline{BI} ⋅ \overline{DI}.
If a bicentric quadrilateral has tangency chords and diagonals, then it has area[7]
| K= | klpq |
| k2+l2 |
.
If are the tangency chords and are the bimedians of the quadrilateral, then the area can be calculated using the formula[8]
| K=\left| | m2-n2 |
| k2-l2 |
\right|kl
This formula cannot be used if the quadrilateral is a right kite, since the denominator is zero in that case.
If are the midpoints of the diagonals, and are the intersection points of the extensions of opposite sides, then the area of a bicentric quadrilateral is given by
| K= | 2\overline{MN |
| ⋅ |
\overline{EI} ⋅ \overline{FI}}{\overline{EF}}
where is the center of the incircle.
The area of a bicentric quadrilateral can be expressed in terms of two opposite sides and the angle between the diagonals according to
| K=ac\tan{ | \theta |
| 2 |
In terms of two adjacent angles and the radius of the incircle, the area is given by
| ||||
| K=2r |
The area is given in terms of the circumradius and the inradius as
K=r(r+\sqrt{4R2+r2})\sin\theta
where is either angle between the diagonals.[9]
If are the midpoints of the diagonals, and are the intersection points of the extensions of opposite sides, then the area can also be expressed as
K=2\overline{MN}\sqrt{\overline{EQ} ⋅ \overline{FQ}}
where is the foot of the perpendicular to the line through the center of the incircle.
If and are the inradius and the circumradius respectively, then the area satisfies the inequalities[10]
\displaystyle4r2\leK\le2R2.
There is equality on either side only if the quadrilateral is a square.
Another inequality for the area is[11]
K\le\tfrac{4}{3}r\sqrt{4R2+r2}
where and are the inradius and the circumradius respectively.
A similar inequality giving a sharper upper bound for the area than the previous one is
K\ler(r+\sqrt{4R2+r2})
with equality holding if and only if the quadrilateral is a right kite.
In addition, with sides and semiperimeter :
2\sqrt{K}\leqs\leqr+\sqrt{r2+4R2};
6K\leqab+ac+ad+bc+bd+cd\leq4r2+4R2+4r\sqrt{r2+4R2};
4Kr2\leqabcd\leq
| 16 | |
| 9 |
r2(r2+4R2).
If are the length of the sides respectively in a bicentric quadrilateral, then its vertex angles can be calculated with the tangent function:
| \begin{align} \tan{ | A |
| 2 |
Using the same notations, for the sine and cosine functions the following formulas holds:[12]
| \begin{align} \sin{ | A |
| 2 |
The angle between the diagonals can be calculated from[13]
\displaystyle\tan{
| \theta | |
| 2 |
The inradius of a bicentric quadrilateral is determined by the sides according to[14]
\displaystyler=
| \sqrt{abcd | |
The circumradius is given as a special case of Parameshvara's formula. It is
\displaystyleR=
| 1 | \sqrt{ | |
| 4 |
| (ab+cd)(ac+bd)(ad+bc) | |
| abcd |
The inradius can also be expressed in terms of the consecutive tangent lengths according to[15]
\displaystyler=\sqrt{eg}=\sqrt{fh}.
These two formulas are in fact necessary and sufficient conditions for a tangential quadrilateral with inradius to be cyclic.
The four sides of a bicentric quadrilateral are the four solutions of the quartic equation
y4-2sy3+(s2+2r2+2r\sqrt{4R2+r2})y2-2rs(\sqrt{4R2+r2}+r)y+r2s2=0
where is the semiperimeter, and and are the inradius and circumradius respectively.[16]
If there is a bicentric quadrilateral with inradius whose tangent lengths are, then there exists a bicentric quadrilateral with inradius whose tangent lengths are where may be any real number.
A bicentric quadrilateral has a greater inradius than does any other tangential quadrilateral having the same sequence of side lengths.[17]
The circumradius and the inradius satisfy the inequality
R\ge\sqrt{2}r
which was proved by L. Fejes Tóth in 1948.[18] It holds with equality only when the two circles are concentric (have the same center as each other); then the quadrilateral is a square. The inequality can be proved in several different ways, one using the double inequality for the area above.
An extension of the previous inequality is[19] [20]
| r\sqrt{2 | |
where there is equality on either side if and only if the quadrilateral is a square.
The semiperimeter of a bicentric quadrilateral satisfies
\sqrt{8r\left(\sqrt{4R2+r2}-r\right)}\les\le\sqrt{4R2+r2}+r
Moreover,
2sr2\leqabc+abd+acd+bcd\leq2r(r+\sqrt{r2+4R2})2
and
abc+abd+acd+bcd\leq2\sqrt{K}(K+2R2).
Fuss' theorem gives a relation between the inradius, the circumradius and the distance between the incenter and the circumcenter, for any bicentric quadrilateral. The relation is[21] [22]
| 1 | + | |
| (R-x)2 |
| 1 | = | |
| (R+x)2 |
| 1 | |
| r2 |
,
or equivalently
\displaystyle2r2(R2+x2)=(R2-x2)2.
It was derived by Nicolaus Fuss (1755–1826) in 1792. Solving for yields
x=\sqrt{R2+r2-r\sqrt{4R2+r2}}.
Fuss's theorem, which is the analog of Euler's theorem for triangles for bicentric quadrilaterals, says that if a quadrilateral is bicentric, then its two associated circles are related according to the above equations. In fact the converse also holds: given two circles (one within the other) with radii and and distance between their centers satisfying the condition in Fuss' theorem, there exists a convex quadrilateral inscribed in one of them and tangent to the other[23] (and then by Poncelet's closure theorem, there exist infinitely many of them).
Applying
x2\ge0
R\ge\sqrt{2}r.
2r2+x2\leR2\le2r2+x2+2rx.
Another formula for the distance between the centers of the incircle and the circumcircle is due to the American mathematician Leonard Carlitz (1907–1999). It states that[24]
\displaystylex2=R2-2Rr ⋅ \mu
where and are the inradius and the circumradius respectively, and
\displaystyle\mu=\sqrt{
| (ab+cd)(ad+bc) | |
| (a+c)2(ac+bd) |
where are the sides of the bicentric quadrilateral.
For the tangent lengths the following inequalities holds:
4r\lee+f+g+h\le4r ⋅
| R2+x2 | |
| R2-x2 |
and
4r2\lee2+f2+g2+h2\le4(R2+x2-r2)
where is the inradius, is the circumradius, and is the distance between the incenter and circumcenter. The sides satisfy the inequalities
8r\lea+b+c+d\le8r ⋅
| R2+x2 | |
| R2-x2 |
and
4(R2-x2+2r2)\lea2+b2+c2+d2\le4(3R2-2r2).
The circumcenter, the incenter, and the intersection of the diagonals in a bicentric quadrilateral are collinear.[25]
There is the following equality relating the four distances between the incenter and the vertices of a bicentric quadrilateral :[26]
| 1 | |
| \overline{AI |
| ||||
| ||||
| ||||
| ||||
where is the inradius.
If is the intersection of the diagonals in a bicentric quadrilateral with incenter, then[27]
| \overline{AP | |
The lengths of the diagonals in a bicentric quadrilateral can be expressed in terms of the sides or the tangent lengths, which are formulas that holds in a cyclic quadrilateral and a tangential quadrilateral respectively.
In a bicentric quadrilateral with diagonals, the following identity holds:
\displaystyle
| pq | - | |
| 4r2 |
| 4R2 | |
| pq |
=1
where and are the inradius and the circumradius respectively. This equality can be rewritten as
| r= | pq |
| 2\sqrt{pq+4R2 |
or, solving it as a quadratic equation for the product of the diagonals, in the form
pq=2r\left(r+\sqrt{4R2+r2}\right).
An inequality for the product of the diagonals in a bicentric quadrilateral is
\displaystyle8pq\le(a+b+c+d)2
Let be a bicentric quadrilateral and the center of its circumcircle. Then the incenters of the four triangles lie on a circle.[28]
\displaystyleK=\sqrt{abcd}.