Easy Construction of Bicentric Quadrilateral II: What Is This About?
A Mathematical Droodle

Explanation

Copyright © 1996-2009 Alexander Bogomolny

A quadrilateral is bicentric if it's both inscriptable and circumscriptable. (Inscriptible means admitting an incircle. Circumscriptible means cyclic, i.e., admitting a circumcircle.) Bicentric quadrilaterals might seem exotic, but the applet shows how such quadrilaterals can be constructed easily. (Another construction appears elsewhere.)

Let ABCD be a cyclic quadrilateral with vertices on a given circle w. Let P denote the point of intersection of the diagonals AC and BD. From P drop the perpendiculars PK, PL, ... to the sides, with K on AB, and so on. Our first assertion is that the quadrilateral KLMN is inscriptible. (As the proof shows, if we start with an arbitrary quadrlateral ABCD, then KLMN is inscriptible iff ABCD is cyclic.)

Propostition 1

KLMN is inscriptible.

Proof

By construction, the quadrilateral KBLP is cyclic. Therefore,

KLP = KBP,

as subtending the same chord KP. Note that KBP = ABD. Since LCMP is also cyclic, we similarly obtain

MLP = MCP = BCD.

For a cyclic quadrilateral ABCD, ABD = ACD, so that KLP = MLP. LP is therefore the bisector of angle L. Simialrly KP, MP, and NP are bisectors of angles K, M, and N, respectively. Since they all meet in P, P is the incenter of KLMN.

For KLMN to be bicentric, it must be made circumscriptible - cyclic. The condition for that is given by

Proposition 2

KLMN is cyclic iff ABCD is orthodiagonal.

Proof

Assume ABCD is orthodiagonal, i.e., AC BD and also cyclic. By Brahmagupta, PK, PL, PM, and PN are maltitudes in quadrilateral ABCD, i.e., their extensions beyond P cross the opposite sides at their midpoints. Let those be K', L', M' and N'. The quadrilateral K'L'M'N' is none other than the Varignon parallelogram of the quadrilateral ABCD. Since the latter is orthodiagonal, K'L'M'N' is in fact a rectangle.

Rectangle is a cyclic shape with the circumcenter at the intersection of the diagonals, both of which are diameters of the incircle q. Now, for example, in LL'N', angle L is right, while the hypotenuse L'N' is a diameter of circle q. L therefore lies on q. The same of course holds for K, M, and N.

To sum up, quadrilateral KLMN is inscribed in a circle centered at the intersection O of K'M' and L'N'.

Conversely, assume KLMN is cyclic and let's evaluate the angles in APB. We'll show that APB = 90^o. (Note that the argument below is in fact reversible and does not depend on the assumption that ABCD is cyclic.)

First of all, the cyclicity of KLMN is equivalent to

(1)	LKN + LMN = 180o.

By construction, four quadrilaterals MPND, MPLC, LPKB, and KPNA are also cyclic. From this we successively obtain

(2)	NDP = NMP, LCP = LMP, LBP = LKP, NAP = NKP.

Obviously

(3)	NDP + NAP = CPD, LBP + LCP = APB, NMP + LMP = LMN, LKP + NKP = LKN.

Together (2) and (3) lead to

(4)	LKN + LMN = APB + CPD = 2APB.

The required APB = 90^o now follows from (4) and (1).

The applet also suggests that the three points O, P, and E are collinear. This is true and could be shown in a very general framework.

References

1. R. Honsberger, In Pólya's Footsteps, MAA, 1999, pp 60-64
2. A. A. Zaslavsky, The Orthodiagonal Mapping of Quadrilaterals, Kvant, n 4, 1998, pp 43-44 (in Russian), pdf is available at http://kvant.mccme.ru/1998/04/.

Copyright © 1996-2009 Alexander Bogomolny