Perpendicular Bisectors in an Inscriptible Quadrilateral: What is this about?
A Mathematical Droodle

Discussion

The applet may suggest the following statement [de Villiers]:

Given a qudrilateral ABCD, the perpendicular bisectors of its sidelines form a quadrilateral A1B1C1D1. If ABCD is inscriptible, then so is A1B1C1D1.

The applet is suggestive of a statement but does not seem to help with finding a proof. The theorem could be derived from a similar theorem concerned with angles bisectors. A presentation of the proof with a different illustration appears elsewhere. Below, I give a proof kindly supplied to me by M. de Villiers. The proof is included in his book Some Adventures in Euclidean Geometry and was suggested by Jordan Tabov.

I apologize for a change of notations.

As seen in the diagram, the given quadrilateral ABCD is inscriptible. X, Y, Z, W are the midpoints of the sides AD, AB, BC, and CD, respectively. HY AB, HZ BC, FX AD, and FW CD. E is the point of intersection HY and FX, G is the intersection of FW and HZ, and M is the intersection of FX nc CD.

We want to show that the quadrilateral EFGH is inscriptible. Let AB = a, BC = b, CD = c, and DA = d. t_A is the tangent from A to the incircle. t_B, t_C, t_D are defined similarly. Assume the radius of the incircle equals 1.

We now have:

Similarly

Hence

Simialrly for 2(HZ - HY), 2(EY - EX) and 2(GW - GZ). We now have to check that the sums of the opposite sides of EFGH are equal, or alternatively that

which is the same as

Rearranging the terms and multiplying by 2 gives

In view of (3), (4) is equivalent to

Since ABCD is inscriptible, c - d = b - a and, equivalently, d - a = c - b. With this in mind equation (5) becomes

But

and similarly

Therefore (6) is equivalent to

which is an identity and completes the proof.

(A zipped Sketchpad sketch is available for download.)

References

1. M. de Villiers, Private communication, Dec. 2004
2. M. de Villiers, Some Adventures in Euclidean Geometry, Univ. of Durban-Westville, 1994 (revised 1996), pp. 192-193