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.

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

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

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

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

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

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

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

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

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

• J. Langr, Problema E1050, Amer. Mates. Mensual , 60 (1953) 551.
• V. V. Prasolov, "Plane Geometry Problems", vol. 1 (en ruso), 1991; Problema 6.31.
• V. V. Prasolov, Problemas en geometría plana y sólida , vol. 1 (traducido por D. Leites), disponible en http://students.imsa.edu/~tliu/math/planegeo.eps (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última)..
• D. Bennett, la geometría dinámica renueva el interés en un viejo problema, en Geometry Turned On (editor J. King), MAA Notes 41, 1997, pp. 25-28.
• J. King, Cuadriláteros formados por bisectrices perpendiculares, en Geometry Turned On (editor J. King), MAA Notes 41, 1997, pp. 29-32.
• G. C. Shephard, La construcción bisectriz perpendicular, Geom. Dedicata , 56 (1995) 75-84.
• A. Bogomolny, Cuadriláteros formados por bisectrices perpendiculares, Miscelánea interactiva de matemáticas y acertijos , https://web.archive.org/web/20080828192340/http://www.cut-the-knot.org/Curriculum/Geometry/PerpBisectQuadri.shtml.
• B. Grünbaum, En cuadrángulos derivados de cuadrángulos-Parte 3, Geombinatorics 7 (1998), 88-94.
• O. Radko y E. Tsukerman, The Perpendicular Bisector Construction, the Isoptic Point y Simson Line of a Quadrilateral, Forum Geometricorum '12' : 161-189 (2012).