Construcción de un cuadrilátero por mediatrices
# Construcción de un cuadrilátero por mediatrices

En geometría, la construcción de un cuadrilátero por mediatrices es un procedimiento que produce un nuevo cuadrilátero a partir de un cuadrilátero dado usando las mediatrices trazadas desde los lados del cuadrilátero de partida. Esta construcción surge naturalmente en un intento de encontrar una analogía con la circunferencia circunscrita de un cuadrilátero en el caso de que no sea cíclico.

## Definición de la construcción

Supóngase que los vértices del cuadrilátero $Q$ están dados por $Q_{1},Q_{2},Q_{3},Q_{4}$. Sean $b_{1},b_{2},b_{3},b_{4}$ las bisectrices perpendiculares de los lados $Q_{1}Q_{2},Q_{2}Q_{3},Q_{3}Q_{4},Q_{4}Q_{1}$ respectivamente. Entonces, sus intersecciones $Q_{i}^{(2)}=b_{i+2}b_{i+3}$, con los subíndices considerados con módulo 4, forman el consecuente cuadrilátero $Q^{(2)}$. La construcción se itera en $Q^{(2)}$ para producir $Q^{(3)}$ y así sucesivamente.

Se puede obtener una construcción equivalente haciendo que los vértices de $Q^{(i+1)}$ sean los circuncentros de los 4 triángulos formados al seleccionar combinaciones de 3 vértices de $Q^{(i)}$.

## Propiedades

1. Si $Q^{(1)}$ no es cíclico, entonces $Q^{(2)}$ no está degenerado.

2. El cuadrilátero $Q^{(2)}$ nunca es cíclico. Combinando # 1 y # 2, $Q^{(3)}$ siempre es no degenerado.

3. Los cuadriláteros $Q^{(1)}$ y $Q^{(3)}$ son homotéticos y, en particular, semejantes. Los cuadriláteros $Q^{(2)}$ y $Q^{(4)}$ también son homotéticos.

3. La construcción mediante las mediatrices se puede invertir a través del conjugado isogonal.. Es decir, dado $Q^{(i+1)}$, es posible construir $Q^{(i)}$.

4. Sean $\alpha ,\beta ,\gamma ,\delta$ los ángulos de $Q^{(1)}$. Para cada $i$, la relación de áreas de $Q^{(i)}$ y $Q^{(i+1)}$ viene dada por

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

5. Si $Q^{(1)}$ es convexo, la secuencia de cuadriláteros $Q^{(1)},Q^{(2)},\ldots$ converge al punto isóptico de $Q^{(1)}$, que también es el punto isóptico para cada $Q^{(i)}$. De forma similar, si $Q^{(1)}$ es cóncavo, entonces la secuencia $Q^{(1)},Q^{(0)},Q^{(-1)},\ldots$ obtenida invirtiendo la construcción converge al punto isóptico de $Q^{(i)}$.

