En geometría euclidiana, un cuadrilátero ortodiagonal es un cuadrilátero en el que las diagonales se cortan en ángulo recto .
Un deltoides es un cuadrilátero ortodiagonal en el que una diagonal es el eje de simetría. Los deltoides son cuadriláteros exactamente ortodiagonales que tienen un círculo tangente a los cuatro lados. Así, los deltoides son cuadriláteros ortodiagonales circunscritos [1] .
Un rombo es un cuadrilátero ortodiagonal con dos pares de lados paralelos (es decir, un cuadrilátero ortodiagonal y un paralelogramo al mismo tiempo).
Un cuadrado es un caso especial de un cuadrilátero ortodiagonal, que es a la vez un deltoides y un rombo.
Los cuadriláteros equidiagonales orto-diagonales , en los que las diagonales no son menores que ningún lado, tienen el diámetro máximo entre todos los cuadriláteros, lo que resuelve el caso n = 4 del problema del polígono de mayor diámetro unitario en área . El cuadrado es uno de esos cuadriláteros, pero hay infinitos otros.
Para cualquier cuadrilátero ortodiagonal, las sumas de los cuadrados de los lados opuestos son iguales; para los lados a , b , c y d tenemos [2] [3] :
Esto se deriva del teorema de Pitágoras , según el cual cualquiera de estas dos sumas es igual a la suma de cuatro cuadrados de las distancias desde los vértices del cuadrilátero hasta el punto de intersección de las diagonales.
Por el contrario, cualquier cuadrilátero en el que a 2 + c 2 = b 2 + d 2 debe ser ortodiagonal [4] . Esto se puede demostrar de muchas maneras usando el teorema del coseno , vectores , demostración por contradicción y números complejos [5] .
Las diagonales de un cuadrilátero convexo son perpendiculares si y solo si las bimedianas tienen la misma longitud [5] .
Las diagonales de un cuadrilátero convexo ABCD también son perpendiculares si y solo si
,donde P es el punto de intersección de las diagonales. De esta igualdad se sigue casi inmediatamente que las diagonales de un cuadrilátero convexo también son perpendiculares si y sólo si las proyecciones de la intersección de las diagonales sobre los lados del cuadrilátero son los vértices del cuadrilátero inscrito [5] .
Un cuadrilátero convexo es ortodiagonal si y sólo si su paralelogramo de Varignon (cuyos vértices son los puntos medios de los lados) es un rectángulo [5] . Además, un cuadrilátero convexo es ortodiagonal si y solo si los puntos medios de sus lados y las bases de las cuatro antimediatrices son ocho puntos que se encuentran en el mismo círculo , el círculo de ocho puntos . El centro de este círculo es el baricentro del cuadrilátero. El cuadrilátero formado por las bases de las antimediatrices se denomina ortocuadrilátero principal [6] .
Si las normales a los lados de un cuadrilátero convexo ABCD a través de la intersección de las diagonales se cruzan con lados opuestos en los puntos R , S , T , U y K , L , M , N son las bases de las normales, entonces el cuadrilátero ABCD es ortodiagonal si y solo si ocho puntos K , L , M , N , R , S , T y U se encuentran en el mismo círculo, el segundo círculo de ocho puntos . Además, un cuadrilátero convexo es ortodiagonal si y sólo si el cuadrilátero RSTU es un rectángulo cuyos lados son paralelos a las diagonales del cuadrilátero ABCD [5] .
Hay varias relaciones respecto a los cuatro triángulos formados por el punto de intersección de las diagonales P y los vértices del cuadrilátero convexo ABCD . Denotemos por m 1 , m 2 , m 3 , m 4 las medianas en los triángulos ABP , BCP , CDP , DAP desde P hasta los lados AB , BC , CD , DA respectivamente. Denotar por R 1 , R 2 , R 3 , R 4 los radios de los círculos circunscritos , y por h 1 , h 2 , h 3 , h 4 - las alturas de estos triángulos. Entonces el cuadrilátero ABCD es ortodiagonal si y solo si cualquiera de las siguientes igualdades [5] es verdadera :
Además, el cuadrilátero ABCD con el punto de intersección de las diagonales P es ortodiagonal si y solo si los centros de los círculos descritos alrededor de los triángulos ABP , BCP , CDP y DAP son los puntos medios de los lados del cuadrilátero [5] .
Algunas características numéricas de los cuadriláteros y cuadriláteros ortodiagonales descritos son muy similares, como se puede observar en la siguiente tabla [5] . Aquí las longitudes de los lados del cuadrángulo son a , b , c , d , los radios de los círculos circunscritos alrededor de los triángulos son R 1 , R 2 , R 3 , R 4 , y las alturas son h 1 , h 2 , h 3 , h 4 (como en la figura) .
Cuadrilátero circunscrito | cuadrilátero ortodiagonal |
---|---|
El área K de un cuadrilátero ortodiagonal es igual a la mitad del producto de las longitudes de las diagonales p y q [7] :
Por el contrario, cualquier cuadrilátero convexo cuya área sea igual a la mitad del producto de las diagonales es ortodiagonal [5] . Un cuadrilátero ortodiagonal tiene el área más grande entre todos los cuadriláteros convexos con diagonales dadas.
Sea el punto de intersección de las diagonales de un cuadrilátero ortodiagonal inscrito en una circunferencia que divida una de las diagonales en segmentos de longitud p 1 yp 2 , y la otra en segmentos de longitud q 1 y q 2 . Entonces (la primera igualdad en la Proposición 11 en los Lemas de Arquímedes )
,donde D es el diámetro del círculo circunscrito . Esto es cierto para cualesquiera dos cuerdas perpendiculares del círculo [9] . De esta fórmula se sigue la expresión para el radio del círculo circunscrito
o, en términos de los lados de un cuadrilátero,
También se sigue de esto que
Entonces, de acuerdo con la fórmula de Euler , el radio del círculo circunscrito se puede expresar en términos de las diagonales p y q y la distancia x entre los puntos medios de las diagonales
La fórmula del área K de un cuadrilátero ortodiagonal inscrito en términos de cuatro lados se obtiene directamente combinando el teorema de Ptolomeo y la fórmula del área de un cuadrilátero ortodiagonal .
Cualquier cuadrilátero ortodiagonal se puede inscribir con infinitos rectángulos pertenecientes a los siguientes dos conjuntos:
(i) rectángulos cuyos lados son paralelos a las diagonales de un cuadrilátero ortodiagonal (ii) rectángulos definidos por círculos de puntos de Pascal. [10] [11] [12]