A Discovery of Duane DeTemple: What is it about?
A Mathematical Droodle

Activities Contact Front page Contents Geometry
Copyright © 19962018 Alexander Bogomolny
Explanation
The applet illustrates a beautiful discovery of Professor Duane DeTemple of Washington State University.
Let ABCD be a convex quadrilateral. The successive exterior angle bisectors of ABCD intersect pairwise in points E, F, G, H. Then EFGH is cyclic. But that's not all. From each of the points E, F, G, H drop a perpendicular to the corresponding side of ABCD and let the extended lines meet in successive pairs in P, Q, R, S. Then PQRS is an inscriptible quadrilateral and, moreover, its incircle is concentric with the circumcircle of EFGH.

The exterior angles of a polygon are supplementary to its interior angles. So we see that, for example,
∠ABE = (180°  ∠ABC)/2 and ∠BAE = (180°  ∠BAD)/2, 
from which

Similarly,
∠FGH = (∠BCD + ∠ADC)/2. 
Adding the two and bearing in mind that the sum of the angles of a quadrilateral equals 360°, we obtain
∠FEH + ∠FGH  = 180°, 
which shows that EFGH is indeed a cyclic quadrilateral.
Consider now ΔEHS:

In exactly same manner, also ∠EHS = ∠BAD/2. It follows that ΔEHS is isosceles, so that the angle bisector at S is also the perpendicular bisector of EH. Similar considerations show that the remaining angles bisectors in PQRS are the perpendicular bisectors of the remaining sides of EFGH. But the latter being cyclic, the perpendicular bisectors of its sides meet in the center of its circumcenter. Applied to PQRS, this means that its angle bisectors meet in the same point, which is thus equidistant from the sides of PQRS, proving the claim.
Obviously, at times PQRS degenerates to a point, in which case, the point is simply the center O of the circumcircle of EFGH. As regard the latter, Professor DeTemple also observes that
 EFGH is always cyclic;
 When ABCD is a parallelogram EFGH is a rectangle;
 When ABCD is a rectangle, EFGH is a square.
References
 R. Honsberger, From Erdös To Kiev, MAA, 1996, pp. 6365.
Activities Contact Front page Contents Geometry
Copyright © 19962018 Alexander Bogomolny