Perpendicular bisector construction of a quadrilateral

In geometry, the perpendicular bisector construction of a quadrilateral is a construction which produces a new quadrilateral from a given quadrilateral using the perpendicular bisectors to the sides of the former quadrilateral. This construction arises naturally in an attempt to find a replacement for the circumcenter of a quadrilateral in the case that is non-cyclic.

Definition of the construction

Suppose that the vertices of the quadrilateral ${\displaystyle Q}$ are given by ${\displaystyle Q_{1},Q_{2},Q_{3},Q_{4}}$. Let ${\displaystyle b_{1},b_{2},b_{3},b_{4}}$ be the perpendicular bisectors of sides ${\displaystyle Q_{1}Q_{2},Q_{2}Q_{3},Q_{3}Q_{4},Q_{4}Q_{1}}$ respectively. Then their intersections ${\displaystyle Q_{i}^{(2)}=b_{i+2}b_{i+3}}$, with subscripts considered modulo 4, form the consequent quadrilateral ${\displaystyle Q^{(2)}}$. The construction is then iterated on ${\displaystyle Q^{(2)}}$ to produce ${\displaystyle Q^{(3)}}$ and so on.

First iteration of the perpendicular bisector construction

An equivalent construction can be obtained by letting the vertices of ${\displaystyle Q^{(i+1)}}$ be the circumcenters of the 4 triangles formed by selecting combinations of 3 vertices of ${\displaystyle Q^{(i)}}$.

Properties

1. If ${\displaystyle Q^{(1)}}$ is not cyclic, then ${\displaystyle Q^{(2)}}$ is not degenerate.^[1]

2. Quadrilateral ${\displaystyle Q^{(2)}}$ is never cyclic.^[1] Combining #1 and #2, ${\displaystyle Q^{(3)}}$ is always nondegenrate.

3. Quadrilaterals ${\displaystyle Q^{(1)}}$ and ${\displaystyle Q^{(3)}}$ are homothetic, and in particular, similar.^[2] Quadrilaterals ${\displaystyle Q^{(2)}}$ and ${\displaystyle Q^{(4)}}$ are also homothetic.

3. The perpendicular bisector construction can be reversed via isogonal conjugation.^[3] That is, given ${\displaystyle Q^{(i+1)}}$, it is possible to construct ${\displaystyle Q^{(i)}}$.

4. Let ${\displaystyle \alpha ,\beta ,\gamma ,\delta }$ be the angles of ${\displaystyle Q^{(1)}}$. For every ${\displaystyle i}$, the ratio of areas of ${\displaystyle Q^{(i)}}$ and ${\displaystyle Q^{(i+1)}}$ is given by^[3]

${\displaystyle (1/4)(\cot(\alpha )+\cot(\gamma ))(\cot(\beta )+\cot(\delta )).}$

5. If ${\displaystyle Q^{(1)}}$ is convex then the sequence of quadrilaterals ${\displaystyle Q^{(1)},Q^{(2)},\ldots }$ converges to the isoptic point of ${\displaystyle Q^{(1)}}$, which is also the isoptic point for every ${\displaystyle Q^{(i)}}$. Similarly, if ${\displaystyle Q^{(1)}}$ is concave, then the sequence ${\displaystyle Q^{(1)},Q^{(0)},Q^{(-1)},\ldots }$ obtained by reversing the construction converges to the Isoptic Point of the ${\displaystyle Q^{(i)}}$'s.^[3]

6. If ${\displaystyle Q^{(1)}}$ is tangential then ${\displaystyle Q^{(2)}}$ is also tangential.^[4]