En geometría euclidiana , un cuadrilátero ortodiagonal es un cuadrilátero en el que las diagonales se cruzan en ángulo recto . En otras palabras, es una figura de cuatro lados en la que los segmentos de línea entre vértices no adyacentes son ortogonales (perpendiculares) entre sí.
Casos especiales
Una cometa es un cuadrilátero ortodiagonal en el que una diagonal es una línea de simetría. Las cometas son exactamente los cuadriláteros ortodiagonales que contienen un círculo tangente a sus cuatro lados; es decir, las cometas son los cuadriláteros ortodiagonales tangenciales . [1]
Un rombo es un cuadrilátero ortodiagonal con dos pares de lados paralelos (es decir, un cuadrilátero ortodiagonal que también es un paralelogramo ).
Un cuadrado es un caso límite tanto de una cometa como de un rombo.
Cuadriláteros equidiagonales ortodiagonales en los que las diagonales son al menos tan largas como todos los lados del cuadrilátero tienen el área máxima para su diámetro entre todos los cuadriláteros, resolviendo el caso n = 4 del problema de polígono pequeño más grande . El cuadrado es uno de esos cuadriláteros, pero hay infinitos otros. Un cuadrilátero ortodiagonal que también es equidiagonal es un cuadrilátero medio cuadrado porque su paralelogramo de Varignon es un cuadrado. Su área se puede expresar puramente en términos de sus lados.
Caracterizaciones
Para cualquier orthodiagonal cuadrilátero, la suma de los cuadrados de dos lados opuestos es igual a la de los otros dos lados opuestos: para los lados sucesivos un , b , c , y d , tenemos [2] [3]
Esto se sigue del teorema de Pitágoras , por el cual cualquiera de estas dos sumas de dos cuadrados se puede expandir para igualar la suma de las cuatro distancias al cuadrado desde los vértices del cuadrilátero hasta el punto donde se cruzan 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 varias formas, incluido el uso de la ley de los cosenos , vectores , una prueba indirecta y números complejos . [5]
Las diagonales de un cuadrilátero convexo son perpendiculares si y solo si los dos bimedianos tienen la misma longitud. [5]
Según otra caracterización, las diagonales de un cuadrilátero convexo ABCD son perpendiculares si y solo si
donde P es el punto de intersección de las diagonales. De esta ecuación se deduce casi inmediatamente que las diagonales de un cuadrilátero convexo son perpendiculares si y solo si las proyecciones de la intersección diagonal sobre los lados del cuadrilátero son los vértices de un cuadrilátero cíclico . [5]
Un cuadrilátero convexo es ortodiagonal si y solo si su paralelogramo de Varignon (cuyos vértices son los puntos medios de sus lados) es un rectángulo . [5] Una caracterización relacionada establece que un cuadrilátero convexo es ortodiagonal si y solo si los puntos medios de los lados y los pies de las cuatro maltitudes son ocho puntos concíclicos ; el círculo de ocho puntos . El centro de este círculo es el centroide del cuadrilátero. El cuadrilátero formado por los pies de las maltitudes se denomina cuadrilátero órtico principal . [6]
Si las normales a los lados de un cuadrilátero convexo ABCD a través de la intersección diagonal intersecan los lados opuestos en R , S , T , U , y K , L , M , N son los pies de estas normales, entonces ABCD es ortodiagonal si y solo si los ocho puntos K , L , M , N , R , S , T y U son concíclicos; el segundo círculo de ocho puntos . Una caracterización relacionada establece que un cuadrilátero convexo es ortodiagonal si y solo si RSTU es un rectángulo cuyos lados son paralelos a las diagonales de ABCD . [5]
Hay varias caracterizaciones métricas con respecto a los cuatro triángulos formados por la intersección diagonal P y los vértices de un cuadrilátero convexo ABCD . Denote por m 1 , m 2 , m 3 , m 4 las medianas en triángulos ABP , BCP , CDP , DAP de P a los lados AB , BC , CD , DA respectivamente. Si R 1 , R 2 , R 3 , R 4 y h 1 , h 2 , h 3 , h 4 denotan los radios de los círculos circunferenciales y las altitudes respectivamente de estos triángulos, entonces el cuadrilátero ABCD es ortodiagonal si y solo si alguno de las siguientes igualdades se cumple: [5]
Además, un cuadrilátero ABCD con intersección P de las diagonales es ortodiagonal si y solo si los circuncentros de los triángulos ABP , BCP , CDP y DAP son los puntos medios de los lados del cuadrilátero. [5]
Comparación con un cuadrilátero tangencial
Algunas caracterizaciones métricas de cuadriláteros tangenciales y cuadriláteros ortodiagonales son muy similares en apariencia, como se puede ver en esta tabla. [5] Las notaciones en los lados a , b , c , d , el circunradio R 1 , R 2 , R 3 , R 4 , y las altitudes h 1 , h 2 , h 3 , h 4 son las mismas que las anteriores en ambos tipos de cuadriláteros.
Cuadrilátero tangencial | Cuadrilátero ortodiagonal |
---|---|
Área
La zona K de un cuadrilátero orthodiagonal es igual a un medio del producto de las longitudes de las diagonales p y q : [7]
Por el contrario, cualquier cuadrilátero convexo en el que se pueda calcular el área con esta fórmula debe ser ortodiagonal. [5] El cuadrilátero ortodiagonal tiene el área más grande de todos los cuadriláteros convexos con diagonales dadas.
Otras propiedades
- Los cuadriláteros ortodiagonales son los únicos cuadriláteros para los cuales los lados y el ángulo formado por las diagonales no determinan de forma única el área. [3] Por ejemplo, dos rombos teniendo ambos lado común una (y, como para todos los rombos, teniendo ambos un ángulo recto entre las diagonales), pero uno que tiene un menor ángulo agudo que la otra, tienen diferentes áreas (el área de la anterior acercándose a cero cuando el ángulo agudo se acerca a cero).
- Si los cuadrados se erigen hacia afuera en los lados de cualquier cuadrilátero (convexo, cóncavo o cruzado), entonces sus centros ( centroides ) son los vértices de un cuadrilátero ortodiagonal que también es equidiagonal (es decir, que tiene diagonales de igual longitud). Esto se llama teorema de Van Aubel .
- Cada lado de un cuadrilátero ortodiagonal tiene al menos un punto común con el círculo de puntos de Pascal. [8]
Propiedades de cuadriláteros ortodiagonales que también son cíclicos
Circunradio y área
Para un cuadrilátero ortodiagonal cíclico (uno que se puede inscribir en un círculo ), suponga que la intersección de las diagonales divide una diagonal en segmentos de longitudes p 1 y p 2 y divide la otra diagonal en segmentos de longitudes q 1 y q 2 . Entonces [9] (la primera igualdad es la Proposición 11 en el Libro de Lemas de Arquímedes )
donde D es el diámetro de la circunferencia . Esto es así porque las diagonales son cuerdas perpendiculares de un círculo . Estas ecuaciones producen la expresión circunradio
o, en términos de los lados del cuadrilátero, como [2]
También se deduce que [2]
Por lo tanto, de acuerdo con el teorema de Euler cuadrilátero , la circunradio se puede expresar en términos de las diagonales p y q , y la distancia x entre los puntos medios de las diagonales como
Una fórmula para el área K de un cuadrilátero ortodiagonal cíclico en términos de los cuatro lados se obtiene directamente al combinar el teorema de Ptolomeo y la fórmula para el área de un cuadrilátero ortodiagonal . El resultado es [10] : p.222
Otras propiedades
- En un cuadrilátero ortodiagonal cíclico, el anticéntrico coincide con el punto de intersección de las diagonales. [2]
- El teorema de Brahmagupta establece que para un cuadrilátero ortodiagonal cíclico, la perpendicular desde cualquier lado a través del punto de intersección de las diagonales biseca el lado opuesto. [2]
- Si un cuadrilátero ortodiagonal también es cíclico, la distancia desde el circuncentro (el centro del círculo circunscrito) a cualquier lado es igual a la mitad de la longitud del lado opuesto. [2]
- En un cuadrilátero ortodiagonal cíclico, la distancia entre los puntos medios de las diagonales es igual a la distancia entre el circuncentro y el punto donde las diagonales se cruzan. [2]
Conjuntos infinitos de rectángulos inscritos
Por cada cuadrilátero ortodiagonal, podemos inscribir dos conjuntos infinitos de rectángulos:
- (i) un conjunto de rectángulos cuyos lados son paralelos a las diagonales del cuadrilátero
- (ii) un conjunto de rectángulos definidos por círculos de puntos Pascal. [11]
Referencias
- ^ Josefsson, Martin (2010), "Cálculos sobre las longitudes de tangentes y las cuerdas de tangencia de un cuadrilátero tangencial" (PDF) , Forum Geometricorum , 10 : 119-130.
- ^ a b c d e f g Altshiller-Court, N. (2007), College Geometry , Publicaciones de Dover. Publicación de la segunda edición, 1952, Barnes & Noble, págs. 136-138.
- ^ a b Mitchell, Douglas, W. (2009), "El área de un cuadrilátero", The Mathematical Gazette , 93 (julio): 306–309.
- ^ Ismailescu, Dan; Vojdany, Adam (2009), "Clase preservando disecciones de cuadriláteros convexos" (PDF) , Forum Geometricorum , 9 : 195-211.
- ^ a b c d e f g h yo Josefsson, Martin (2012), "Caracterizaciones de cuadriláteros ortodiagonales" (PDF) , Forum Geometricorum , 12 : 13-25.
- ^ Mammana, Maria Flavia; Micale, Biagio; Pennisi, Mario (2011), "Los círculos de Droz-Farny de un cuadrilátero convexo" (PDF) , Forum Geometricorum , 11 : 109-119.
- ^ Harries, J. (2002), "Área de un cuadrilátero", The Mathematical Gazette , 86 (julio): 310–311
- ^ David, Fraivert (2017), "Propiedades de un círculo de puntos de Pascal en un cuadrilátero con diagonales perpendiculares" (PDF) , Forum Geometricorum , 17 : 509–526.
- ^ Posamentier, Alfred S .; Salkind, Charles T. (1996), Challenging Problems in Geometry (segunda ed.), Dover Publications, págs. 104-105, # 4-23.
- ^ Josefsson, Martin (2016), "Propiedades de los cuadriláteros pitagóricos", The Mathematical Gazette , 100 (julio): 213-224.
- ^ David, Fraivert (2019), "Un conjunto de rectángulos inscritos en un cuadrilátero ortodiagonal y definidos por círculos de puntos pascales" , Journal for Geometry and Graphics , 23 : 5–27.