Archivo de la etiqueta: m-altura

Geometría Moderna I: Cuadrilátero ortodiagonal

Por Rubén Alexander Ocampo Arellano

Introducción

Decimos que un cuadrilátero convexo es ortodiagonal si sus diagonales son perpendiculares. En esta entrada veremos algunas propiedades del cuadrilátero ortodiagonal.

Dos caracterizaciones para el cuadrilátero ortodiagonal

Teorema 1. Un cuadrilátero convexo es ortodiagonal si y solo si la suma de los cuadrados de dos lados opuestos es igual a la suma de los cuadrados de los restantes lados opuestos.

Demostración. Sea $A B C D$ convexo, consideremos $P$ la intersección de las diagonales, $ϕ = ∠ A P B$ , $ψ = ∠ B P C$ .

Como $ϕ + ψ = π$ entonces $\cos ϕ = - \cos ψ$ .

Aplicando la ley de los cosenos a los triángulos $△ A P B$ , $△ B P C$ , $△ C P D$ y $△ A P D$ obtenemos,
$A B^{2} = A P^{2} + B P^{2} - 2 A P \times B P \cos ϕ$ ,
$B C^{2} = B P^{2} + C P^{2} - 2 B P \times C P \cos ψ$ ,
$C D^{2} = C P^{2} + D P^{2} - 2 C P \times D P \cos ϕ$ ,
$A D^{2} = A P^{2} + D P^{2} - 2 A P \times D P \cos ψ$ .

Por lo tanto,
$A B^{2} + C D^{2} - B C^{2} - A D^{2}$
$= (A P^{2} + B P^{2} + 2 A P \times B P \cos ψ) + (C P^{2} + D P^{2} + 2 C P \times D P \cos ψ)$
$- (B P^{2} + C P^{2} - 2 B P \times C P \cos ψ) - (A P^{2} + D P^{2} - 2 A P \times D P \cos ψ)$
$= 2 \cos ψ (A P \times B P + C P \times D P + B P \times C P + A P \times D P)$ .

Notemos que $0 < ψ < π$ , por lo tanto,
$\overset{―}{A C} ⊥ \overset{―}{B D} \Leftrightarrow ψ = \frac{π}{2} \Leftrightarrow \cos ψ = 0$
$\Leftrightarrow A B^{2} + C D^{2} = B C^{2} + A D^{2}$ .

Proposición 1. Sean $A B C D$ convexo, $P$ la intersección de las diagonales, $m_{i}$ con $i = 1, 2, 3, 4$ las medianas de los triángulos $△ A P B$ , $△ B P C$ , $△ C P D$ y $△ A P D$ , que pasan por $P$ , entonces $A B C D$ es ortodiagonal si y solo si $m_{1}^{2} + m_{3}^{2} = m_{2}^{2} + m_{4}^{2}$ .

Demostración. Aplicando el teorema de Apolonio para calcular la longitud de las medianas en términos de los lados de sus respectivos triángulos obtenemos,

$m_{1}^{2} + m_{3}^{2} = m_{2}^{2} + m_{4}^{2}$
$\Leftrightarrow 4 m_{1}^{2} + 4 m_{3}^{2} = 4 m_{2}^{2} + 4 m_{4}^{2}$
$\Leftrightarrow 2 (A P^{2} + B P^{2}) - A B^{2} + 2 (C P^{2} + D P^{2}) - C D^{2}$
$= 2 (B P^{2} + C P^{2}) - B C^{2} + 2 (A P^{2} + D P^{2}) - A D^{2}$
$\Leftrightarrow A B^{2} + C D^{2} = B C^{2} + A D^{2}$ .

La última doble implicación es cierta por el teorema 1.

Circunferencia de los 8 puntos del cuadrilátero ortodiagonal

Definición. Al cuadrilátero formado por los pies de las $m$ -alturas de un cuadrilátero convexo se le conoce como cuadrilátero principal órtico.

Lema 1. Los vértices del paralelogramo de Varignon y los vértices del cuadrilátero principal órtico de un cuadrilátero convexo que se encuentran sobre lados opuestos, están en dos circunferencias con centro en $G$ , el centroide del cuadrilátero.

Demostración. Sean $A B C D$ un cuadrilátero convexo $M_{1}$ , $M_{2}$ , $M_{3}$ y $M_{4}$ los puntos medios de $A B$ , $B C$ , $C D$ y $A D$ respectivamente.

Recordemos que las diagonales del cuadrilátero de Varignon, es decir, las bimedianas $M_{1} M_{3}$ y $M_{2} M_{4}$ , se intersecan en su punto medio, $G$ , al que llamamos centroide.

Sean $M_{1} H_{1}$ , $M_{2} H_{2}$ , $M_{3} H_{3}$ y $M_{4} H_{4}$ las $m$ -alturas de $A B C D$ .

Por construcción $∠ M_{3} H_{1} M_{1} = ∠ M_{1} H_{3} M_{3} = \frac{π}{2}$ , por lo tanto, $M_{1} M_{3}$ es el diámetro de una circunferencia con centro en $G$ y que pasa por $H_{1}$ y $H_{3}$ .

De manera análoga podemos ver que los puntos $H_{2}$ y $H_{4}$ están en una circunferencia de diámetro $M_{2} M_{4}$ con centro en $G$ .

Teorema 2. Los vértices del paralelogramo de Varignon y los vértices del cuadrilátero principal órtico de un cuadrilátero convexo están en una misma circunferencia con centro en el centroide del cuadrilátero si y solo si el cuadrilátero es ortodiagonal.

A dicha circunferencia se le conoce como primera circunferencia de los ocho puntos del cuadrilátero ortodiagonal.

Demostración. El lema anterior nos dice que los puntos $M_{1}, H_{1}, M_{3}, H_{3}$ y $M_{2}, H_{2}, M_{4}, H_{4}$ están en dos circunferencias con centro en $G$ , el centroide de $A B C D$ .

Además, las bimedianas de un cuadrilátero se bisecan en el centroide del cuadrilátero.

Por lo tanto, el paralelogramo de Varignon y el cuadrilátero principal órtico son ambos cíclicos y comparten la misma circunferencia si y solo si $M_{1} M_{3} = M_{2} M_{4}$ , es decir, las bimedianas tienen la misma longitud, si y solo si el paralelogramo de Varignon es un rectángulo si y solo si $A B C D$ es ortodiagonal.

Teorema de Brahmagupta

Teorema 3. de Brahmagupta. En un cuadrilátero ortodiagonal y cíclico, el anticentro coincide con la intersección de las diagonales del cuadrilátero.

Demostración. Recordemos que en un cuadrilátero cíclico las $m$ -alturas son concurrentes y definimos al punto de concurrencia como el anticentro, el cual tiene la propiedad de ser simétrico al circuncentro respecto a $G$ , el centroide del cuadrilátero.

Sea $A B C D$ ortogonal y cíclico, tracemos el segmento $M P$ que pasa por el punto medio de $A B$ y la intersección de las diagonales $P$ , consideremos $H = M P \cap B C$ .

En un triángulo rectángulo la distancia del punto medio de la hipotenusa a los tres vértices del triángulo es la misma, por lo tanto, $△ A M P$ es isósceles pues $∠ D P A = \frac{π}{2}$ .

Esto implica que $∠ P A M = ∠ M P A = ∠ H P C$ .

Donde la última igualdad se debe a que los ángulos considerados son opuestos por el vértice, además $∠ A D P = ∠ P C H$ .

Como consecuencia de las últimas dos igualdades tenemos $△ A P D \sim △ P H C$ , por criterio de semejanza AA.

Entonces $∠ C H P = ∠ D P A = \frac{π}{2}$ , por lo tanto, $M H$ es una $m$ -altura de $A B C D$ .

De manera análoga podemos ver que las otras $m$ -alturas pasan por $P$ y como todas las $m$ -alturas de un cuadrilátero cíclico concurren en el anticentro entonces este coincide con $P$ .

Proposición 2. En un cuadrilátero cíclico y ortodiagonal la distancia desde el circuncentro a uno de los lados del cuadrilátero es igual a la mitad del lado opuesto.

Demostración. Sea $G$ el centroide del cuadrilátero $A B C D$ (figura 5) y $N$ el punto medio de $B C$ .

Sabemos que $G$ biseca a $M N$ y a $O P$ , por lo tanto, $M O N P$ es un paralelogramo, en consecuencia, la distancia de $O$ a $B C$ es $O N = M P = \frac{A D}{2}$ .

Donde la primera igualdad se da porque $M O N P$ es paralelogramo y la segunda porque $M$ es el punto medio de la hipotenusa en $△ A P D$ .

Corolario 1. El circunradio de un cuadrilátero cíclico y ortodiagonal $A B C D$ con lados $a = A B$ , $b = B C$ , $c = C D$ y $d = A D$ cumple la siguiente igualdad, $4 R^{2} = a^{2} + c^{2} = b^{2} + d^{2}$ .

Demostración. Por la prueba de la proposición anterior sabemos que $∠ O N B = \frac{π}{2}$ (figura 5), por lo tanto podemos aplicar el teorema de Pitágoras a $△ O N B$ .

$R^{2} = O B^{2} = O N^{2} + B N^{2} = (\frac{A D}{2})^{2} + (\frac{B C}{2})^{2}$
$\Leftrightarrow 4 R^{2} = d^{2} + b^{2}$ .

De manera análoga se ve que $4 R^{2} = a^{2} + c^{2}$ .

Circunferencia de Droz-Farny

Lema 2. Sean $A B C D$ cíclico $O$ y $H$ el circuncentro y el anticentro respectivamente, consideremos el cuadrilátero principal órtico con vértices $H_{1} \in C D$ , $H_{2} \in A D$ , $H_{3} \in A B$ , $H_{4} \in B C$ , sean $X_{i}$ , $X_{i}^{'}$ las intersecciones de $(H_{i}, H_{i} O)$ (la circunferencia con centro en $H_{i}$ y radio $H_{i} O$ ) con el lado de $A B C D$ al que pertenece $H_{i}$ . Entonces los puntos $X_{1}, X_{1}^{'}, X_{3}, X_{3}^{'}$ y los putos $X_{2}, X_{2}^{'}, X_{4}, X_{4}^{'}$ pertenecen a dos circunferencias con centro en $H$ .

Demostración. Veamos que $X_{1} X_{1}^{'} X_{3} X_{3}^{'}$ es cíclico.

Dado que $H H_{1}$ es la mediatriz de $X_{1} X_{1}^{'}$ entonces $H X_{1} = H X_{1}^{'}$ , de manera similar vemos que $H X_{3} = H X_{3}^{'}$ .

Por otra parte, como $X_{1} \in (H_{1}, H_{1} O)$ , entonces $H_{1} X_{1} = H_{1} O$ .

Sea $G$ el centroide del cuadrilátero $A B C D$ y recordemos que $G$ biseca a $O H$ .

Aplicando el teorema de Pitágoras a $△ H H_{1} X_{1}$ y el teorema de Apolonio a la mediana $H_{1} G$ en $△ H H_{1} O$ obtenemos,
$H X_{1}^{2} = H H_{1}^{2} + H_{1} X_{1}^{2} = H H_{1}^{2} + H_{1} O^{2}$
$\begin{matrix} (1) & = 2 H_{1} G^{2} + 2 O G^{2} . \end{matrix}$

De manera análoga calculamos
$\begin{matrix} (2) & H X_{3}^{2} = 2 H_{3} G^{2} + 2 O G^{2} . \end{matrix}$

Por el lema 1, $H_{1}$ y $H_{3}$ están en una misma circunferencia con centro en $G$ por lo tanto $H_{1} G = H_{3} G$ , de $(1)$ y $(2)$ se sigue que $H X_{1}^{'} = H X_{1} = H X_{3} = H X_{3}^{'}$ .

Así, $X_{1}$ , $X_{1}^{'}$ , $X_{3}$ y $X_{3}^{'}$ están en una misma circunferencia con centro en $H$ .

De manera análoga se ve que $X_{2}$ , $X_{2}^{'}$ , $X_{4}$ , $X_{4}^{'}$ están en una misma circunferencia concéntrica con la anterior.

Teorema 4. Sea $A B C D$ cíclico entonces los 8 puntos $X_{i}$ , $X_{i}^{'}$ con $i = 1, 2, 3, 4$ se encuentran en una misma circunferencia con centro en $H$ , el anticentro del cuadrilátero cíclico, si y solo si $A B C D$ es ortodiagonal, esta es la primera circunferencia de Droz-Farny del cuadrilátero.

Demostración. Los puntos consideraos son concíclicos si y solo si las dos circunferencias a las que pertenecen tienen el mismo radio es decir $H X_{1} = H X_{2} = H X_{3} = H X_{4}$ .

En la demostración del lema anterior vimos que $H X_{i}^{2} = 2 H_{i} G^{2} + 2 O G^{2}$ .

Esto implica que $H X_{1} = H X_{2} = H X_{3} = H X_{4} \Leftrightarrow H_{1} G = H_{2} G = H_{3} G = H_{4} G$ , esto quiere decir que los vértices del cuadrilátero principal órtico de $A B C D$ están en una misma circunferencia con centro en $G$ .

Por el teorema 3, esto ocurre si y solo si $A B C D$ es ortodiagonal.

Proposición 3. Sea $A B C D$ cíclico y ortodiagonal entonces el radio de la primera circunferencia de Droz-Farny es igual al circunradio de $A B C D$ .

Demostración. Por la prueba de lema 2 sabemos que
$\begin{matrix} (3) & H X_{1}^{2} = 2 H_{1} G^{2} + 2 O G^{2} . \end{matrix}$

El teorema 3 nos dice que el anticentro $H$ coincide con $P$ , la intersección de las diagonales, por lo tanto $△ C H D$ es rectángulo (figura 7). Si $M_{3}$ es el punto medio de $C D$ , la hipotenusa, entonces $M_{3} H = M_{3} C$ .

Como $O$ esta en la mediatriz de $C D$ , entonces $O M_{3} ⊥ C D$ .

Aplicando el teorema de Pitágoras a $△ O M_{3} C$ y el teorema de Apolonio a la mediana $M_{3} G$ en $△ O H M_{3}$ tenemos,

$\begin{matrix} (4) & O C^{2} = M_{3} O^{2} + M_{3} C^{2} = M_{3} O^{2} + M_{3} H^{2} = 2 M_{3} G^{2} + 2 O G^{2} . \end{matrix}$

Por el teorema 3, $M_{3}$ y $H_{1}$ están en una misma circunferencia con centro en $G$ , por lo tanto $H_{1} G = M_{3} G$ .

De $(3)$ y $(4)$ se sigue que $R = O C = H X_{1}$ .

Más adelante…

En la siguiente entrada hablaremos sobre cuadriláteros que tienen un incírculo.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Muestra que de todos los cuadriláteros convexos con diagonales dadas los ortodiagonales son los de mayor área y calcula el área en función de las diagonales.
Sea $A B C D$ un cuadrilátero convexo y $P$ la intersección de las diagonales, consideremos los circunradios $R_{1}$ , $R_{2}$ , $R_{3}$ y $R_{4}$ de los triángulos $△ A P B$ , $△ B P C$ , $△ C P D$ y $△ A P D$ respectivamente, demuestra que
$i)$ $A B C D$ es ortodiagonal si y solo si $R_{1}^{2} + R_{3}^{2} = R_{2}^{2} + R_{4}^{2}$
$i i)$ $A B C D$ es ortodiagonal si y solo si los circuncentros de los triángulos $△ A P B$ , $△ B P C$ , $△ C P D$ y $△ A P D$ son los puntos medios de los lados del cuadrilátero.
Sea $A B C D$ un cuadrilátero convexo y $P$ la intersección de las diagonales, considera las alturas $h_{1}$ , $h_{2}$ , $h_{3}$ y $h_{4}$ , de los triángulos $△ A P B$ , $△ B P C$ , $△ C P D$ y $△ A P D$ trazadas desde $P$ , muestra que $A B C D$ es ortodiagonal si y solo si $\frac{1}{h_{1}^{2}} + \frac{1}{h_{3}^{2}} = \frac{1}{h_{2}^{2}} + \frac{1}{h_{4}^{2}}$ .
Sean $A B C D$ un cuadrilátero convexo, $P$ la intersección de las diagonales, $P_{1}$ , $P_{2}$ , $P_{3}$ y $P_{4}$ las proyecciones trazadas desde $P$ a los lados $A B$ , $B C$ , $C D$ y $A D$ respectivamente, y considera los puntos $P_{i}^{'}$ con $i = 1, 2, 3, 4$ como las intersecciones de $P P_{i}$ con el lado opuesto al que pertenece $P_{i}$ prueba que
$i)$ $A B C D$ es ortodiagonal si y solo si $∠ C B P + ∠ P C B + ∠ P A D + ∠ A D P = π$
$i i)$ $A B C D$ es ortodiagonal si y solo si $P_{1} P_{2} P_{3} P_{4}$ es cíclico.
$i i i)$ $A B C D$ es ortodiagonal si y solo si los 8 puntos $P_{i}$ , $P_{i}^{'}$ con $i = 1, 2, 3, 4$ son cíclicos, a esta circunferencia se le conoce como segunda circunferencia de los ocho puntos del cuadrilátero ortodiagonal.
$i v)$ La primera y la segunda circunferencias de los ocho puntos de un cuadrilátero ortodiagonal son la misma si y solo si el cuadrilátero es cíclico.

Muestra que un cuadrilátero convexo $A B C D$ es ortodiagonal si y solo si el cuadrilátero $P_{1}^{'} P_{2}^{'} P_{3}^{'} P_{4}^{'}$ , definido en el ejercicio anterior (figura 8), es un rectángulo cuyos lados son paralelos a las diagonales de $A B C D$ .
Sean $A B C D$ cíclico, $O$ el circuncentro, $H$ el anticentro y considera los puntos medios $M_{i}$ con $i = 1, 2, 3, 4$ del cuadrilátero (figura 9), define $Y_{i}$ , $Y_{i}^{'}$ como las intersecciones de $(M_{i}, M_{i} H)$ (la circunferencia con centro en $M_{i}$ y radio $M_{i} H$ ) con el lado de $A B C D$ al que biseca $M_{i}$ .
$i)$ Muestra que los puntos $Y_{1}, Y_{1}^{'}, Y_{3}, Y_{3}^{'}$ y los putos $Y_{2}, Y_{2}^{'}, Y_{4}, Y_{4}^{'}$ están en dos circunferencias con centro en $O$
$i i)$ Dichas circunferencias son la misma si y solo si $A B C D$ es ortodiagonal, esta es la segunda circunferencia de Droz-Farny del cuadrilátero.

Entradas relacionadas

Ir a Geometría Moderna I.
Entrada anterior del curso: Cuadrilátero cíclico.
Siguiente entrada del curso: Cuadrilátero circunscrito.
Otros cursos.

Fuentes

Altshiller, N., College Geometry. New York: Dover, 2007, pp 136-138.
Mammana, Maria Flavia; Micale, Biagio; Pennisi, Mario., The Droz-Farny Circles of a Convex Quadrilateral, Forum Geometricorum, (2011), 11, pp 109–119.
Josefsson, Martin., Characterizations of Orthodiagonal Quadrilaterals, Forum Geometricorum, (2012), 12, pp 13–25.
Wikipedia

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Geometría Moderna I: Cuadrilátero cíclico

Por Rubén Alexander Ocampo Arellano

Deja un comentario

Introducción

En esta entrada hablaremos sobre algunas propiedades importantes del cuadrilátero cíclico, mas allá de las primeras caracterizaciones como las vistas en el teorema de Ptolomeo.

Fórmula de Brahmagupta

Teorema 1, fórmula de Bretschneider. Sea $A B C D$ un cuadrilátero convexo, si $A B = a$ , $B C = b$ , $C D = c$ , $A D = d$ , $s = \frac{a + b + c + d}{2}$ y $β = ∠ C B A$ , $δ = ∠ A D C$ , entonces el área de $A B C D$ se puede calcular mediante la siguiente formula:
$(A B C D) = \sqrt{(s - a) (s - b) (s - c) (s - d) - \frac{a b c d}{2} (1 + \cos (β + δ))}$

Demostración. Calculamos el área de los triángulos que se forman al considerar la diagonal AC,
$(△ A B C) = \frac{a b \sin β}{2}$ ,
$(△ A C D) = \frac{c d \sin δ}{2}$ .

Por otro lado, empleando la ley de los cosenos podemos calcular $A C$
$A C^{2} = a^{2} + b^{2} - 2 a b \cos β = c^{2} + d^{2} - 2 c d \cos δ$ .

De la última igualdad obtenemos
$(a^{2} + b^{2} - (c^{2} + d^{2}))^{2} = (2 a b \cos β - 2 c d \cos δ)^{2}$ .

Entonces:
$(A B C D) = (△ A B C) + (△ A C D) = \frac{a b \sin β}{2} + \frac{c d \sin δ}{2}$
$\Rightarrow (A B C D)^{2} = \frac{a^{2} b^{2} \sin^{2} β}{4} + \frac{a b c d \sin β \sin δ}{2} + \frac{c^{2} d^{2} \sin^{2} δ}{4}$ .

Por lo tanto,
$16 (A B C D)^{2} = 4 a^{2} b^{2} \sin^{2} β + 8 a b c d \sin β \sin δ + 4 c^{2} d^{2} \sin^{2} δ$
$= 4 a^{2} b^{2} (1 - \cos^{2} β) + 4 c^{2} d^{2} (1 - \cos^{2} δ) + 8 a b c d \sin β \sin δ$

$= 4 a^{2} b^{2} + 4 c^{2} d^{2} + 8 a b c d - 8 a b c d - 4 a^{2} b^{2} \cos^{2} β - 4 c^{2} d^{2} \cos^{2} δ$
$+ 8 a b c d \cos β \cos δ - 8 a b c d \cos β \cos δ + 8 a b c d \sin β \sin δ$
$= (2 a b + 2 c d)^{2} - (2 a b \cos β - 2 c d \cos δ)^{2} - 8 a b c d (1 + \cos β \cos δ - \sin β \sin δ)$
$= (2 a b + 2 c d)^{2} - (a^{2} + b^{2} - (c^{2} + d^{2}))^{2} - 8 a b c d (1 + \cos (β + δ))$

$= (2 a b + 2 c d + a^{2} + b^{2} - (c^{2} + d^{2})) (2 a b + 2 c d - a^{2} - b^{2} + (c^{2} + d^{2})) - 8 a b c d (1 + \cos (β + δ))$
$= (a^{2} + 2 a b + b^{2} - (c^{2} - 2 c d + d^{2})) (c^{2} + 2 c d + d^{2} - (a^{2} - 2 a b + b^{2})) - 8 a b c d (1 + \cos (β + δ))$
$= ((a + b)^{2} - (c - d)^{2}) ((c + d)^{2} - (a - b)^{2}) - 8 a b c d (1 + \cos (β + δ))$
$= (a + b + c - d) (a + b + d - c) (a + c + d - b) (b + c + d - a) - 8 a b c d (1 + \cos (β + δ))$

$= (2 s - 2 d) (2 s - 2 c) (2 s - 2 b) (2 s - 2 a) - 8 a b c d (1 + \cos (β + δ))$
$\Rightarrow (A B C D) = \sqrt{(s - a) (s - b) (s - c) (s - d) - \frac{1}{2} a b c d (1 + \cos (β + δ))}$ .

Corolario, fórmula de Brahmagupta. Si $A B C D$ es cíclico entonces
$(A B C D) = \sqrt{(s - a) (s - b) (s - c) (s - d)}$ .

Demostración. Si $A B C D$ es cíclico entonces $β + δ = π$
por lo que $1 + \cos (β + δ) = 0$ .

Observación. La fórmula de Bretschneider nos muestra que de todos los cuadriláteros convexos que tienen lados $a$ , $b$ , $c$ y $d$ , aquellos que son cíclicos tienen mayor área.

Una propiedad del cuadrado

Teorema 2. De entre los cuadriláteros con el mismo perímetro el cuadrado es el que tiene la mayor área.

Demostración. Notemos primero que a partir de un cuadrilátero cóncavo o un cuadrilátero cruzado con un perímetro dado es posible construir un cuadrilátero convexo que tenga los mismos lados, pero mayor área.

Si en el cuadrilátero cóncavo $A B C D$ , reflejamos $D$ respecto la diagonal $A C$ obtenemos $A B C D^{'}$ el cual es convexo y $(A B C D^{'}) = (A B C D) + (A D C D^{'})$ .

Por lo tanto $(A B C D^{'}) > (A B C D)$ .

En el caso de un cuadrilátero cruzado reflejamos algún vértice respecto de la diagonal que no pasa por el vértice a reflejar, por ejemplo, en $E F G H$ reflejamos $G$ respecto de $\overset{―}{F H}$ y obtenemos $E F G^{'} H$ .

Por lo tanto,
$(E F G^{'} H) = (△ E F H) + (△ F G^{'} H) = (△ E F H) + (△ F G H) > (E F G H)$ .

De esta forma podemos fijarnos solo en el área de los cuadriláteros convexos, pero por la observación bastara con restringirnos a los cuadriláteros convexos y cíclicos.

Por la fórmula de Brahmagupta sabemos que el área depende de los lados del cuadrilátero cíclico.

En la entrada desigualdades geométricas vimos que para $w$ , $x$ , $y$ , $z$ números reales positivos tesemos lo siguiente:
$w x y z \leq (\frac{w + x + y + z}{4})^{4}$ , y la igualdad se da si y solo si $w = x = y = z$ .

Aplicamos este resultado al área del cuadrilátero cíclico $A B C D$ de perímetro $P$ y lados $a$ , $b$ , $c$ y $d$ .

$(A B C D)^{2} = (s - a) (s - b) (s - c) (s - d) \leq (\frac{(s - a) + (s - b) + (s - c) + (s - d)}{4})^{4}$
$= (\frac{(4 s - (a + b + c + d)}{4})^{4} = (\frac{2 P - P}{4})^{4} = (\frac{P}{4})^{4}$

Por lo tanto,
$(A B C D) \leq (\frac{P}{4})^{2}$ y la igualdad se da
$\Leftrightarrow$ $(s - a) = (s - b) = (s - c) = (s - d)$
$\Leftrightarrow$ $a = b = c = d$
$\Leftrightarrow A B C D$ es un cuadrado.

Anticentro del cuadrilátero cíclico

Definición. Las rectas perpendiculares a los lados de un cuadrilátero que pasan por los puntos medios de los lados opuestos, se conocen como $m$ -alturas.

Teorema 3. Las $m$ -alturas de un cuadrilátero cíclico son concurrentes, al punto de concurrencia se le conoce como anticentro, además, el circuncentro, el centroide y el anticentro de un cuadrilátero cíclico son colineales.

Demostración. Sea $A B C D$ cíclico y sean $E$ , $F$ , $G$ y $H$ los puntos medios de $A B$ , $B C$ , $C D$ y $D A$ respectivamente consideremos $O$ y $J$ , el circuncentro y el centroide respectivamente de $A B C D$ .

La perpendicular a $B C$ desde $H$ interseca a $B C$ en $H^{'}$ , $H H^{'}$ interseca a la recta determinada por $O$ y $J$ en $M$ .

Como $O$ esta en la mediatriz de $B C$ entonces $O F ⊥ B C$ , y asi, $O F ∥ H H^{'}$ , en consecuencia $∠ J F O = ∠ J H M$ , además $∠ O J F = ∠ M J H$ por ser opuestos por el vértice.

Por lo tanto, $△ J F O$ y $△ J H M$ son semejantes y como $J$ es el punto medio de $H F$ , entonces, $J O = J M$ , en otras palabras, $H H^{'}$ pasa por $M$ , el punto simétrico de $O$ respecto a $J$ .

De manera similar podemos ver que las demás $m$ -alturas de $A B C D$ pasan por $M$ .

Proposición 1. Los ortocentros de los triángulos determinados por los cuatro vértices de un cuadrilátero cíclico forman un cuadrilátero simétrico al cuadrilátero original respecto del anticentro.

Demostración. Sean $A B C D$ cíclico y $H_{a}$ , $H_{b}$ , $H_{c}$ y $H_{d}$ los ortocentros de $△ B C D$ , $△ A C D$ , $△ A B D$ y $△ A B C$ respectivamente y $F$ el punto medio de $B C$ .

Considerando los triángulos $△ A B C$ y $△ D B C$ y por la proposición 6 de la entrada triangulo órtico, tenemos que $A H_{d} = 2 O F = D H_{a}$ , además $A H_{d}$ y $D H_{a}$ son perpendiculares a $B C$ por lo tanto $A H_{d} ∥ D H_{a}$ .

De esto se sigue que $A H_{d} H_{a} D$ es un paralelogramo, así que las diagonales $A H_{a}$ y $D H_{d}$ se intersecan en su punto medio.

De manera análoga vemos que $A H_{a}$ y los segmento $B H_{b}$ , $C H_{c}$ , se intersecan en su punto medio.

Por lo tanto, estos cuatro segmentos se bisecan mutuamente, es decir el punto de intersección $X$ es el centro de simetría de $A B C D$ y $H_{a} H_{b} H_{c} H_{d}$ .

Ahora en $△ A H_{d} D$ consideremos la recta que pasa por $H$ el punto medio de $D A$ y el centro de simetría $X$ , entonces $H X ∥ A H_{d}$ , por lo tanto, $H X ⊥$ BC $y a s í$ HX $e s u n a$ m$-altura.

De manera análoga vemos que las otras $m$ -alturas pasan por $X$ , por lo tanto, $X$ es el anticentro de $A B C D$ .

Teorema Japonés

Proposición 2. Sea $A B C D$ cíclico, considera $E$ , $F$ , $G$ , $H$ , los puntos medios de los arcos, $B C$ , $C D$ , $D A$ , $A B$ , respectivamente del circuncírculo de $A B C D$ , entonces $E G ⊥ F H$ .

Demostración. Considera $O$ el circuncentro de $A B C D$ y $X = E G \cap F H$ .

Como $∠ E X F$ es un ángulo interior, tenemos lo siguiente:
$∠ E X F = \frac{∠ E O F + ∠ G O H}{2}$
$= ∠ E A F + ∠ G C H = ∠ E A C + ∠ C A F + ∠ G C A + ∠ A C H$
$= \frac{∠ B A C}{2} + \frac{∠ C A D}{2} + \frac{∠ D C A}{2} + \frac{∠ A C B}{2}$
$= \frac{∠ B A D + ∠ D C B}{2} = \frac{π}{2}$ .

Teorema 4, teorema japonés. Los incentros de los cuatro triángulos que se forman al considerar las diagonales de un cuadrilátero cíclico, son los vértices de un rectángulo.

Demostración. Sean $A^{'}$ , $B^{'}$ , $C^{'}$ , $D^{'}$ , los incentros de $△ B C D$ , $△ A C D$ , $△ A B D$ , $△ A B C$ , donde $A B C D$ es cíclico (figura 5).

En $△ A C D$ , como $A B^{'}$ es la bisectriz de $△ C A D$ entonces $A B^{'}$ interseca al circuncírculo de $A B C D$ en $F$ el punto medio del arco $\overset{⌢}{C D}$ .

Por el teorema 1 de la entrada circunferencias tritangentes, $B^{'}$ pertenece a la circunferencia $(F, F C)$ , con centro en $F$ y radio $F C = F D$ .

De manera análoga podemos ver que $A^{'} \in (F, F C)$ , por lo tanto, $△ A^{'} F B^{'}$ es isósceles.

Sea $H$ el punto medio del arco $\overset{⌢}{A B}$ , entonces $F H$ es bisectriz de $△ A F B$ , en consecuencia, $A^{'} B^{'} ⊥ F H$ .

De mamera análoga vemos que $C^{'} D^{'} ⊥ F H$ y $B^{'} C^{'} ⊥ E G ⊥ D^{'} A^{'}$ , donde $E$ y $G$ son los puntos medios de los arcos $\overset{⌢}{B C}$ y $\overset{⌢}{D A}$ respectivamente.

Por la proposición anterior, $E G ⊥ F H$ , por lo tanto, $A^{'} B^{'} C^{'} D^{'}$ es un rectángulo.

Teorema 5. De los cuatro triángulos que se forman al trazar las diagonales de un cuadrilátero cíclico, si consideremos tres que comparten un mismo vértice, entonces los tres excentros opuestos al vértice que comparten, son los vértices de un rectángulo, y el cuarto vértice es el incentro del triángulo restante.

Demostración. Usaremos la misma notación del teorema anterior.

En $A B C D$ , consideremos los tres triángulos que comparten el vértice $C$ , $△ C D B$ , $△ C D A$ , $△ C A B$ y sus respectivos excentros opuestos a $C$ , $C_{a}$ , $C_{b}$ , $C_{d}$ .

Nos apoyaremos en el teorema 1 de la entrada circunferencias tritangentes para hacer las siguientes afirmaciones.

$D^{'} C_{d}$ es diámetro de la circunferencia $(H, H A)$ , con centro en $H$ el punto medio de $\overset{⌢}{A B}$ , y radio $H A = H B = H C^{'}$ .

Consideremos $D_{c}$ el excentro de $△ A B D$ opuesto a $D$ , $C^{'} D_{c}$ es diámetro de $(H, H A)$ .

Como $D^{'} C_{d}$ y $C^{'} D_{c}$ , se bisecan y tienen la misma longitud, entonces, $C_{d} D_{C} D^{'} C^{'}$ es un rectángulo.

En consecuencia, las dos tercias de puntos, $C_{d}$ , $C^{'}$ , $B^{'}$ ; $D_{c}$ , $D^{'}$ , $A^{'}$ , son colineales.

Igualmente, si consideramos $B_{c}$ el excentro de $△ A B D$ opuesto a $B$ , podemos ver $B^{'} C_{b}$ y $C^{'} B_{c}$ son diámetros de $(G, G A)$ con $G$ el punto medio de $\overset{⌢}{D A}$ y que las dos tercias $C_{b}$ , $C^{'}$ , $D^{'}$ ; $B_{C}$ , $B^{'}$ , $A^{'}$ , son colineales.

Por otra parte, como $B_{c}$ , $D_{c}$ son excentros de $△ A B D$ , entonces $B_{c} D_{c}$ es diámetro de $(K, K B)$ , la circunferencia con centro en $K$ , el punto medio de $\overset{⌢}{D B}$ , y radio $K B = K D$ .

Similarmente, como $A^{'}$ y $C_{a}$ , son dos centros tritangentes de $△ C B D$ entonces $A^{'} C_{a}$ es diámetro de $(K, K B)$ .

Por lo tanto, $C_{a} D_{c} A^{'} B_{c}$ es un rectángulo.

En consecuencia, $C_{a} C_{d} C^{'} C_{b}$ es un rectángulo.

Más adelante…

En la siguiente entrada estudiaremos propiedades de los cuadriláteros cuyas diagonales son perpendiculares y veremos que pasa cuando además son cíclicos.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Demuestra la fórmula de Brahmagupta usando la fórmula de Herón.
En la tarea moral de la entrada teorema de Ptolomeo se pide mostrar que es posible construir tres cuadriláteros cíclicos diferentes de lados $a$ , $b$ , $c$ y $d$ siempre que la suma de cualesquiera tres de ellos sea mayor que el restante, y que de estos se obtienen tres diagonales diferentes digamos $l$ , $m$ , y $n$ si $A B C D$ es construido de esa manera y $R$ es el circunradio muestra que:
$i)$ $(A B C D) = \frac{l m n}{4 R}$
$i i)$ $(A B C D)^{2} = \frac{(a b + c d) (a c + b d) (a d + b c)}{16 R^{2}}$ .
Demuestra que los centroides de los cuatro triángulos determinados por los cuatro vértices de un cuadrilátero cíclico son los vértices de otro cuadrilátero cíclico.
Muestra que la suma de los cuadrados de las distancias del anticentro de un cuadrilátero cíclico a los cuatro vértices es igual al cuadrado del diámetro de la circunferencia en la que esta inscrito dicho cuadrilátero.
Muestra que el anticentro de un cuadrilátero cíclico es el ortocentro del triángulo formado por los puntos medios de las diagonales y el punto en que estas rectas coinciden.
Prueba que las circunferencia de los nueve puntos de los cuatro triángulos que se forman al considerar las dos diagonales de un cuadrilátero cíclico, concurren en el anticentro del cuadrilátero.
Demuestra que la suma de los inradios de los triángulos obtenidos al trazar una diagonal de un cuadrilátero cíclico es igual a la suma de los inradios de los otros dos triángulos que se obtienen al considerar la otra diagonal.

Entradas relacionadas

Ir a Geometría Moderna I.
Entrada anterior del curso: Teoremas de Varignon y Van Aubel.
Siguiente entrada del curso: Cuadrilátero ortodiagonal.
Otros cursos.

Fuentes

Gomez, A. y Bulajich, R., Geometría. México: Instituto de Matemáticas, 2002, pp 143-146.
Altshiller, N., College Geometry. New York: Dover, 2007, pp 127-135.
Coxeter, H. y Greitzer, L., Geometry Revisited. Washington: The Mathematical Association of America, 1967, pp 57-60.
Wikipedia

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

El blog de Leo

Aprendiendo, creando y compartiendo matemáticas

Archivo de la etiqueta: m-altura

Geometría Moderna I: Cuadrilátero ortodiagonal

Introducción

Dos caracterizaciones para el cuadrilátero ortodiagonal

Circunferencia de los 8 puntos del cuadrilátero ortodiagonal

Teorema de Brahmagupta

Circunferencia de Droz-Farny

Más adelante…

Tarea moral

Entradas relacionadas

Fuentes

Agradecimientos

Geometría Moderna I: Cuadrilátero cíclico

Introducción

Fórmula de Brahmagupta

Una propiedad del cuadrado

Anticentro del cuadrilátero cíclico

Teorema Japonés

Más adelante…

Tarea moral

Entradas relacionadas

Fuentes

Agradecimientos