Archivo de la etiqueta: conjugado armónico

Geometría Moderna I: Haz armónico

Por Rubén Alexander Ocampo Arellano

Introducción

Esta es una continuación de la entrada anterior donde vimos algunas propiedades de hileras armónicas de puntos, esta vez nos enfocaremos en propiedades de un haz armónico de rectas, que nos permitirán definir al cuadrilátero armónico.

Haz de rectas

Definición 1. Si cuatro rectas $PA$, $PC$, $PB$, $PD$ concurren en $P$, decimos que forman un haz de rectas y que $P$ es el vértice del haz, denotamos al haz como $P(ACBD)$.

Teorema. 1 Sea $P(ACBD)$ un haz de rectas donde $A$, $C$, $B$, $D$, son colineales, considera $A’$, $B’$, $C’$, $D’$, las intersecciones de cualquier otra transversal al haz, entonces $(A, B; C, D) = (A’, B’; C’, D’)$. 

Demostración. Aplicamos la ley de los senos a $\triangle PAC$, $\triangle PCB$, $\triangle PBD$ y $\triangle PAD$.

Figura 1

$\dfrac{AC}{\sin \angle APC} =\dfrac{PC}{\sin \angle CAP}$,

$\dfrac{CB}{\sin \angle CPB} =\dfrac{PC}{\sin \angle PBC}$,

$\dfrac{DB}{\sin \angle BPD} =\dfrac{PD}{\sin \angle DBP}$,

$\dfrac{AD}{\sin \angle APD} =\dfrac{PD}{\sin \angle DAP}$.

De lo anterior calculamos,
$(A, B; C, D) = \dfrac{AC}{CB} \dfrac{DB}{AD}$

$=\dfrac{\dfrac{\sin \angle APC}{\sin \angle CAP} \dfrac{\sin \angle BPD}{\sin \angle DBP}}{\dfrac{\sin \angle CPB}{\sin \angle PBC} \dfrac{\sin \angle APD}{\sin \angle DAP}}$
$\begin{equation} = \dfrac{\sin \angle APC}{\sin \angle CPB} \dfrac{\sin \angle BPD}{\sin \angle APD}. \end{equation}$

La última igualdad se debe a que $\angle CAP = \angle DAP$ y $\sin \angle PBC = \sin \angle DBP$, por ser $\angle PBC$ y $\angle DBP$ suplementarios.

Si hacemos el mismo procedimiento, esta vez con los puntos $A’$, $C’$, $B’$, $D’$, obtendremos el mismo resultado ya que $\angle APC = \angle A’PC’$, $\angle CPB = \angle C’PB’$, $\angle BPD = \angle B’PD’$ y $\angle APD = \angle A’PD’$.

Por lo tanto $(A, B; C, D) = (A’, B’; C’, D’)$. 

$\blacksquare$

Definición 2. Dado un haz de rectas $P(ACBD)$, si $A$, $C$, $B$ y $D$ son colineales, definimos la razón cruzada $P(A, B; C, D)$ del haz como la razón cruzada $(A, B; C, D)$, de la hilera de puntos $ACBD$.

Equivalentemente, por la ecuación $(1)$, podemos definir, $P(A, B; C, D) = \dfrac{\sin \angle APC}{\sin \angle CPB} \dfrac{\sin \angle BPD}{\sin \angle APD}$.

Si $P(A, B; C, D) = – 1$, decimos que el haz es armónico y que $PA$, $PB$ son rectas conjugadas armónicas respecto de $PC$ y $PD$ o que $PC$, $PD$ son conjugadas armónicas respecto de $PA$ y $PD$.

Ejemplo

Proposición 1. Las rectas que unen los excentros de un triángulo con los puntos medios de los lados del triángulo relativos a esos excentros son concurrentes.

Demostración. Sean $I_a$, $I_b$, $I_C$, los excentros de un triángulo $\triangle ABC$, $A’$, $B’$, $C’$ los puntos medio de $BC$, $CA$ y $AB$ respectivamente, consideremos $X = I_aA’ \cap I_bI_c$, $Y = I_bB’ \cap I_aI_c$, $Z = I_cC’ \cap I_aI_b$; $D = I_aA \cap BC$, $E = I_bB \cap CA$, $F = I_cC \cap AB$.

Figura 2

Consideremos los haces $I_a(CDA’B)$, $I_b(AB’EC)$, $I_c(BC’FA)$, por el teorema 1, tenemos lo siguiente:
$(A’, D; B, C) = (X, A; I_c, I_b)$,
$(B’, E; A, C) = (Y, B; I_c, I_a)$,
$(C’, F; B, A) = (Z, C; I_a, I_b)$.

Esto es,
$\begin{equation} \dfrac{A’B}{BD} \dfrac{CD}{A’C} = \dfrac{XI_c}{I_cA} \dfrac{I_bA}{XI_b}, \end{equation}$
$\begin{equation} \dfrac{B’A}{AE} \dfrac{CE}{B’C} = \dfrac{YI_c}{I_cB} \dfrac{I_aB}{YI_a}, \end{equation}$
$ \begin{equation} \dfrac{C’B}{BF} \dfrac{AF}{C’A} = \dfrac{ZI_a}{I_aC} \dfrac{I_bC}{ZI_b}. \end{equation}$

Como $AD$, $BE$, $CF$; $I_aA$, $I_bB$, $I_cC$, concurren en el incentro $I$ de $\triangle ABC$, aplicando el teorema de Ceva a los triángulos $\triangle ABC$ y $\triangle I_aI_bI_c$ tenemos:

$\dfrac{AF}{FB} \dfrac{BD}{DC} \dfrac{CE}{EA} = 1$,
$\dfrac{I_aC}{CI_b} \dfrac{I_bA}{AI_c} \dfrac{I_cB}{BI_a} = 1$.

Recordemos que $A’$, $B’$, $C’$ son los puntos medios de $BC$, $CA$ y $AB$, empleando segmentos dirigidos y tomando en cuenta lo anterior, si hacemos el producto del inverso de $(2)$ con $(3)$ y $(4)$, obtenemos:

$\dfrac{I_aZ}{ZI_b} \dfrac{I_cX}{XI_b} \dfrac{I_cY}{YI_a} = 1$.

Por el teorema de Ceva, $I_aX = I_aA’$, $I_bY = I_bB’$, $I_cZ = I_cC’$, son concurrentes.

$\blacksquare$

Haz armónico

Proposición 2. Una recta, paralela a alguna de las rectas de un haz, es dividida en dos segmentos iguales por las otras tres rectas del haz si y solo si el haz es armónico.

Demostración. Sean $P(ACBD)$ un haz de rectas con $A$, $C$, $B$, $D$, colineales en ese orden, $l$ paralela a $PA$, $C’ = l \cap PC$, $B’ = l \cap PB$, $D’ = l \cap PD$.

Figura 3

Aplicamos la ley de los senos a $\triangle C’PB’$ y $\triangle B’PD’$

$\dfrac{C’B’}{\sin \angle C’PB’} =\dfrac{PB’}{\sin \angle B’C’P}$,
$\dfrac{D’B’}{\sin \angle B’PD’} =\dfrac{PB’}{\sin \angle PD’B’}$.

Por lo tanto,
$\dfrac{D’B’}{C’B’} = \dfrac{\sin \angle B’C’P}{\sin \angle C’PB’} \dfrac{\sin \angle B’PD’}{\sin \angle PD’B’}$.

Por la ecuación $(1)$
$(A, B; C, D) = \dfrac{\sin \angle APC}{\sin \angle CPB} \dfrac{\sin \angle BPD}{\sin \angle APD}$.

Como $PA \parallel C’B’D’$, entonces $\angle APC = \angle B’C’P$ y $\angle APD$, $\angle PD’B’$ son suplementarios, además $\angle CPB = \angle C’PB’$ y $\angle BPD = \angle B’PD’$.

Por lo tanto $(A, B; C, D) = \dfrac{D’B’}{C’B’}$.

Como resultado, $(A, B; C, D) = -1 \Leftrightarrow |D’B’| = |C’B’|$.

$\blacksquare$

Proposición 3. Si dos rectas conjugadas de un haz armónico son perpendiculares entonces son las bisectrices del ángulo formado por las otras dos rectas del haz.

Demostración. Sea $P(ACBD)$ un haz armónico, supongamos que $PA \perp PB$ (figura 3), sean $l$ una recta paralela a $PA$ y $C’$, $B’$, $D’$, las intersecciones de $l$ con $PC$, $PB$, $PD$ respectivamente.

Por la proposición anterior $C’B’ = B’D’$, como $PA \perp PB$ entonces $PB \perp C’D’$.

Por lo tanto, $\triangle PC’D’$ es isósceles y así, $PA$ y $PB$ son las bisectrices externa e interna de $\angle C’PD’$.

$\blacksquare$

Proposición 4. Si tenemos dos hileras armónicas $ACBD$ y $A’C’B’D’$ tales que $AA’$, $BB’$, $CC’$ concurren en un punto $P$ entonces $DD’$ también pasa por $P$.

Demostración. Sea $X = PD \cap A’C’B’D’$, por el teorema 1, $X$ es el conjugado armónico de $C’$ respecto de $A’B’$, por lo tanto $X = D’$.

$\blacksquare$

Cuadrilátero armónico

Teorema 2. Sean $\square ACBD$ un cuadrilátero cíclico, en ese orden cíclico, y $P$ un punto en su circuncírculo, entonces la razón cruzada del haz $P(ACBD)$ no depende de la posición de $P$.

Demostración. Sea $R$ el circunradio de $\square ABCD$, aplicamos la ley extendida de los senos a $\triangle APC$, $\triangle CPB$, $\triangle BPD$ y $\triangle APD$.

Figura 4

$\dfrac{AC}{\sin \angle APC} = \dfrac{CB}{\sin \angle CPB} = \dfrac{DB}{\sin \angle BPD}$
$= \dfrac{AD}{\sin \angle APD} = \dfrac{1}{2R}$.

Por lo tanto,
$P(A, B; C, D) = \dfrac{\sin \angle APC}{\sin \angle CPB} \dfrac{\sin \angle BPD}{\sin \angle APD}$
$= \dfrac{AC}{CB} \dfrac{DB}{AD}$.

$\blacksquare$

Definición 3. Definimos la razón cruzada de cuatro puntos cíclicos $A$, $B$, $C$, $D$, como $(A, B; C, D) = P(A, B; C, D)$, para cualquier punto $P$ en la misma circunferencia.

De manera equivalente, por el teorema 2, podemos definir $(A, B; C, D) = \dfrac{AC}{CB} \div \dfrac{AD}{DB}$, la cual tomamos como positiva si $AB$ y $CD$ no se intersecan dentro de la circunferencia y como negativa en caso contrario.

Si $(A, B; C, D) = – 1$, decimos que $\square ACBD$ es un cuadrilátero armónico.

Construcción del conjugado armónico en una circunferencia.

Proposición 5. Sean $\Gamma$ el circuncírculo de un triángulo $\triangle ABC$, $P$ la intersección de las tangentes a $\Gamma$ por $A$ y $C$, $D = PB \cap \Gamma$, $D \neq B$, entonces $\square ABCD$ es un cuadrilátero armónico.

Demostración. Como $\angle DBA = \angle DAP$ y $\angle CBD = \angle PCD$, por criterio de semejanza AA, $\triangle PBA \sim \triangle PAD$ y $\triangle PBC \sim \triangle PCD$, recordemos que las tangentes $PA$ y $PC$ son iguales.

Figura 5

Por lo tanto,
$\dfrac{BA}{AD} = \dfrac{PB}{PA} = \dfrac{PB}{PC} = \dfrac{BC}{CD}$
$\Rightarrow \dfrac{AB}{BC} = \dfrac{AD}{DC}$.

De acuerdo a la definición 3, $\square ABCD$ es un cuadrilátero armónico.

Proposición 6. Sea $\square ABCD$ un cuadrilátero armónico, entonces $BD$ y las tangentes a $\Gamma$ el circuncírculo de $\square ABCD$, en $A$ y $C$ son concurrentes.

Sean $l_1$ tangente a $\Gamma$ en $A$, $P = l \cap BD$ y $E = AC \cap BD$, por el teorema 2, el haz $A(ABCD)$ es armónico, donde $AA = l_1$, por el teorema 1, $(P, E; D, B) = – 1$.

Análogamente, sea $l_2$ la tangente a $\Gamma$ en $C$ y $Q = l_2 \cap BD$ entonces el haz $C(CBAD)$ es armónico, por lo tanto $(Q, E; D, B) = – 1$.

Por lo tanto, $P = Q$.

$\blacksquare$

Ejemplo

Proposición 7. Sea $\Gamma$ el incírculo de un triángulo $\triangle ABC$, $X$, el punto de contacto de $\Gamma$ con $BC$, $D$ el pie de la altura por $A$ y $M$ el punto medio de $AD$, $N = XM \cap \Gamma$, $N \neq X$ entonces $XN$ es la bisectriz de $\angle BNC$.

Demostración. Sea $L$ el punto al infinito de la recta $AD$, entonces, $M$ y $L$ son conjugados armónicos respecto de $A$ y $D$.

Figura 6

Sea $X’$ el punto diametralmente opuesto a $X$, como $XX’ \parallel AD$, entonces $XX’ \cap AD = L$.

Por el teorema 1, el haz $X(DMAX’)$ es armónico, sea $U = XA \cap \Gamma$, $U \neq X$, entonces $\square XNUX’$ es un cuadrilátero armónico.

Sean $Y$, $Z$ los puntos de tangencia de $\Gamma$ con $CA$ y $AB$ respectivamente, por la proposición 5, $\square XYUZ$ es armónico.

Sea $P = ZY \cap BC$, como $BC$ es tangente a $\Gamma$ en $X$ entonces por la proposición 6, $PU$ es tangente a $\Gamma$.

Como $\square XNUX’$ es armónico, por la proposición 6, $PX$, $PU$, $X’N$ son concurrentes, es decir $X’$, $N$ y $P$ son colineales.

Ya que $XX’$ es diámetro de $\Gamma$, entonces $\angle X’NX = \dfrac{\pi}{2}$, es decir, $NX \perp NP$.

Sabemos que $AX$, $BY$, $CZ$ concurren en el punto de Gergonne $G_e$, entonces por el teorema 2 de la entrada anterior, $P = ZY \cap BC$ es el conjugado armónico de $X$ respecto de $BC$.

Ya que $NX \perp NP$, por el teorema 3 de la entrada anterior, $NX$ es la bisectriz interna de $\angle BNC$.

$\blacksquare$

Tarea moral

  1. En un triángulo $\triangle ABC$, $D$, $E$, $F$, los pies de las alturas por $A$, $B$, $C$, respectivamente, $I_a$, $I_b$, $I_c$ los excentros opuestos a $A$, $B$, $C$ respectivamente, demuestra que $I_aD$, $I_bE$, $I_cF$ son concurrentes.
  2. $i)$ Dadas tres rectas concurrentes $OA$, $OC$, $OB$, construye el conjugado armónico de $OC$ respecto de $OA$ y $OB$,
    $ii)$ Si $(A, B; C, D) = – 1$, $(A, B’; C’, D’) = – 1$, y $AB \neq AB’$, muestra que $BB’$, $CC’$, $DD’$ son concurrentes.
  3. Sea $\square ABCD$ un cuadrilátero convexo, $E = AD \cap BC$, $F = AB \cap CD$, $G = AC \cap BD$, sea $O$ la proyección de $G$ en $FE$, muestra que $\angle AOB = \angle COD$.
  4. Muestra que las rectas que unen un punto en una circunferencia con los extremos de un cuerda, dividen armónicamente al diámetro perpendicular a dicha cuerda.
  5. En un triángulo $\triangle ABC$, $A’$ es el punto medio de $BC$, sea $\Gamma$ la circunferencia con diámetro $AA’$, considera $D = \Gamma \cap AB$, $E = \Gamma \cap CA$, $D \neq A \neq E$, y $P$ la intersección de las tangentes a $\Gamma$ en $D$ y $E$, muestra que $PB = PC$.

Más adelante…

En la siguiente entrada hablaremos sobre las simedianas, estas son las reflexiones de la medianas de un triángulo respecto de las bisectrices que pasan por el mismo vértice, con la ayuda de haces armónicos estableceremos algunas propiedades de estas rectas.

Entradas relacionadas

Fuentes

  • Lozanovski, S., A Beautiful Journey Through Olympiad Geometry. Version 1.4. 2020, pp 159-166.
  • Andreescu, T., Korsky, S. y Pohoata, C., Lemmas in Olympiad Geometry. USA: XYZ Press, 2016, pp 149-161.
  • Aref, M. y Wernick, W., Problems and Solutions in Euclidean Geometry. New York: Dover, 2010, pp 178-186.

Geometría Moderna I: División armónica

Por Rubén Alexander Ocampo Arellano

Introducción

En entradas anteriores definimos la razón en la que un punto divide a un segmento e hicimos uso de este concepto, obviando el cambio de signo, nos podemos preguntar que es lo que pasa cuando dos puntos distintos dividen en la misma razón a un segmento, esto es lo que se conoce como división armónica.

Definición 1. Definimos la razón cruzada de dos pares de puntos colineales $(A, B)$ y $(C, D)$ como
$(A, B; C, D) = \dfrac{AC}{CB} \div \dfrac{AD}{DB}$.

Si $C$ está en el segmento $AB$, $D$ en su extensión y la razón en la que $C$ y $D$ dividen al segmento $AB$ es la misma en valor absoluto, entonces $(A, B; C, D) = – 1$.

En este caso, decimos que $C$ y $D$ dividen al segmento $AB$ armónicamente, o que $C$ y $D$ son conjugados armónicos respecto de $A$ y $B$.

Observación. Notemos que el conjugado armónico de un punto respecto de otros dos puntos dados es único, pues ya probamos que para todo número real $r$, existe un único punto que divide a un segmento dado en $r$.

Hilera armónica

Teorema 1. Si dos puntos $C$ y $D$ dividen armónicamente al segmento $AB$ en la razón $|\dfrac{p}{q}|$ entonces los puntos $A$ y $B$ dividen armónicamente a $CD$ en la razón $|\dfrac{p – q}{p + q}|$.

Demostración. Supongamos que $\dfrac{AC}{CB} = \dfrac{p}{q}$ y $\dfrac{AD}{DB} = \dfrac{– p}{q}$, entonces usando segmentos dirigidos,

$\dfrac{AC}{CB} + \dfrac{CB}{CB} = \dfrac{p}{q} + \dfrac{q}{q} \Rightarrow$

$\begin{equation} \dfrac{AB}{CB} = \dfrac{p + q}{q}. \end{equation}$

Figura 1

$\dfrac{AD}{DB} + \dfrac{DB}{DB} = \dfrac{– p}{q} + \dfrac{q}{q} \Rightarrow$
$\begin{equation} \dfrac{AB}{DB} = \dfrac{q – p}{q}. \end{equation}$

De manera análoga podemos encontrar
$\begin{equation} \dfrac{AB}{AC} = \dfrac{CB + AC}{AC} = \dfrac{q + p}{p}, \end{equation}$
$\begin{equation} \dfrac{AB}{AD} = \dfrac{DB + AD}{AD} = \dfrac{p – q}{p}. \end{equation}$

Haciendo el cociente de $(2)$ entre $(1)$ obtenemos
$\dfrac{CB}{BD} = \dfrac{p – q}{p + q}$.

Análogamente de $(4)$ y $(3)$ obtenemos
$\dfrac{CA}{AD} = \dfrac{q – p}{p + q}$.

$\blacksquare$

Definición 2. Debido a esta propiedad reciproca en la que si $(A, B; C, D) = – 1$ entonces $(C, D; A, B) = – 1$, decimos que $ACBD$ es una hilera armónica de puntos o simplemente una hilera armónica.

Corolario 1. Si $(A, B; C, D) = – 1$, entonces $\dfrac{AB}{CD} = \dfrac{p^2 – q^2}{2pq}$.

Demostración. $CD = AD – AC $
$= ABp(\dfrac{1}{p – q} – \dfrac{1}{p + q}) = ABp(\dfrac{p + q – (p – q)}{p^2 – q^2})$.

Donde la segunda igualdad se debe a $(3)$ y $(4)$.

Por lo tanto, $\dfrac{AB}{CD} = \dfrac{p^2 – q^2}{2pq}$.

$\blacksquare$

Construcción del conjugado armónico

Teorema 2. Sea $\triangle ABC$, considera $X \in BC$, $Y \in CA$, $Z \in AB$, cada uno en el interior del lado respectivo y sea $X’ = ZY \cap BC$, entonces $X$ y $X’$ son conjugados armónicos respecto a $BC$ si y solo si $AX$, $BY$, $CZ$ son concurrentes.

Demostración. Aplicando el teorema de Menelao a $\triangle ABC$ y la transversal $X’YZ$ tenemos
$\dfrac{AZ}{ZB} \dfrac{BX’}{X’C} \dfrac{CY}{YA} = – 1$.

Figura 2

Por el teorema de Ceva $AX$, $BY$, $CZ$ son concurrentes si y solo si,
$\dfrac{AZ}{ZB} \dfrac{BX}{XC} \dfrac{CY}{YA} = 1$.

Dividiendo ambas expresiones obtenemos
$(B, C; X, X’) = \dfrac{BX}{XC} \div \dfrac{BX’}{X’C} = – 1$.

$\blacksquare$

Proposición 1. Las proyecciones de los puntos de una hilera armónica en cualquier recta, forman otra hilera armónica.

Demostración. Sean $ACBD$ una hilera armónica y $l$ cualquier otra recta, consideremos $A’$, $B’$, $C’$, $D’$, las proyecciones de $A$, $B$, $C$, $D$ respectivamente en $l$.

Figura 3

Sea $P = ACBD \cap l$, como $AA’ \parallel BB’ \parallel DD’$, tenemos las siguientes semejanzas, $\triangle PB’B \sim \triangle PD’D \sim \triangle PA’A$ (figura 3), es decir:

$\dfrac{PA’}{PD’} = \dfrac{PA}{PD} \Leftrightarrow \dfrac{– A’P – PD’}{PD’} = \dfrac{– AP – PD}{PD}$
$\Leftrightarrow \dfrac{A’D’}{AD} = \dfrac{P’D’}{PD}$.

Igualmente podemos ver que $\dfrac{D’B’}{DB} = \dfrac{P’D’}{PD}$.

Por lo tanto $\dfrac{A’D’}{D’B’} = \dfrac{AD}{BD}$.

De manera análoga podemos encontrar $\dfrac{A’C’}{C’B’} = \dfrac{AC}{CB}$.

Como $(A, B; C, D) = – 1$, entonces,
$\dfrac{A’D’}{D’B’} = \dfrac{AD}{BD} = – \dfrac{AC}{CB} = – \dfrac{A’C’}{C’B’}$.

$\blacksquare$

División armónica y bisectrices

Teorema 3. Sean $A$, $C$, $B$, $D$, cuatro puntos colineales, en ese orden, sea $P$ un punto fuera de la recta $ACBD$, entonces, si dos de las siguientes tres propiedades son ciertas, la tercera también es cierta:
$i)$ $(A, B; C, D) = – 1$,
$ii)$ $PC$ es la bisectriz interna de $\angle APB$,
$iii)$ $PC \perp PD$.

Figura 4

Demostración.
$i)$ y $ii)$ se cumplen, como $PC$ es la bisectriz interna de $\angle APB$, por el teorema de la bisectriz, la bisectriz externa de $\angle APB$ interseca a $AB$ en el conjugado armónico de $C$, el cual es único por la observación hecha en la introducción.

Por lo tanto, $PD$ es la bisectriz externa de $\angle APB$ y así $PC \perp PD$.

$ii)$ y $iii)$ se cumplen, ya que $PC$ es la bisectriz interna de $\angle APB$ y $PC \perp PD$, entonces $PD$ es la bisectriz externa de $\angle APB$.

Por el teorema de la bisectriz, $C$ y $D$ son conjugados armónicos.

$i)$ y $iii)$ se cumplen, si $C$ y $D$ son conjugados armónicos respecto de $AB$ entonces se encuentran en la circunferencia de Apolonio determinada por la razón $\dfrac{AC}{CB} =|\dfrac{AD}{DB}|$.

Recordemos que $CD$ es diámetro de esta circunferencia, como $PC \perp PD$, entonces $P$ pertenece a este lugar geométrico.

Por lo tanto, $\dfrac{AP}{PB} = \dfrac{AC}{CB} =|\dfrac{AD}{DB}|$, por el reciproco del teorema de la bisectriz, $PC$ y $PD$ son las bisectrices interna y externa de $\angle APB$ respectivamente.

$\blacksquare$

Corolario 2. Considera un triángulo $\triangle ABC$, $I$ el incentro, $I_c$ el excentro relativo al vértice $C$ y $C_1 = CI \cap AB$, entonces $(C, C_1; I, I_c) = -1$.

Demostración. En $\triangle AC_1C$, $AI$ y $AI_c$ son las bisectrices interna y externa respectivamente de $\angle C_1AC$.

Figura 5

Como se cumplen los puntos $ii)$ y $iii)$ del teorema anterior entonces $(C, C_1; I, I_c) = -1$.

$\blacksquare$

Punto medio de conjugados armónicos

Teorema 4. Si $A$, $C$, $B$, $D$, son cuatro puntos colineales, en ese orden, y $O$ el punto medio del segmento $AB$ entonces $(A, B; C, D) = – 1$ si y solo si $OC \times OD = OA^2$.

Figura 6

Demostración. Empleando segmentos dirigidos tenemos lo siguiente:
$AC – CB = (AO + OC) – (CO + OB) = 2OC$,
$AD – DB = (AO + OD) – (DO + OB) = 2OD$,
$AC + CB = AB = AD + DB = 2AO$.

Por lo tanto, $OC \times OD = OA^2$
$\Leftrightarrow 2OC \times 2OD = (2AO)^2$
$\Leftrightarrow (AC – CB)( AD – DB) = (AC + CB)(AD + DB)$
$ \Leftrightarrow (AC \times AD) – (AC \times DB) – (AD \times CB) + (CB \times DB)$
$= (AC \times AD) + (AC \times DB) + (AD \times CB) + (CB \times DB)$
$\Leftrightarrow – 2AC \times DB = 2AD \times CB$
$\Leftrightarrow (A, B; C, D) = – 1$.

$\blacksquare$

Proposición 2.Sean $A$, $C$, $B$, $D$, cuatro puntos colineales, entonces $(A, B; C, D) = – 1$, si y solo si al medir todos los segmentos de un punto de la hilera armónica, $B$ por ejemplo, tenemos $\dfrac{2}{BA} = \dfrac{1}{BC} + \dfrac{1}{BD}$.

Demostración. $\dfrac{AC}{CB} = – \dfrac{AD}{DB}$
$ \Leftrightarrow \dfrac{AB + BC}{CB} = – \dfrac{AB + BD}{DB}$
$\Leftrightarrow \dfrac{BA}{BC} – 1 = \dfrac{BA}{DB} + 1$
$\Leftrightarrow \dfrac{1}{BC} + \dfrac{1}{BD} = \dfrac{2}{BA}$.

$\blacksquare$

Teorema de Feuerbach

Teorema 5, de Feuerbach. La circunferencia de los nueve puntos y el incírculo de un triángulo son tangentes.

Demostración. Paso 1. Sean $\triangle ABC$, $\triangle A’B’C’$ su triangulo medial, $\Gamma(N)$ la circunferencia de los nueve puntos (el circuncírculo de $\triangle A’B’C’$) y considera la tangente $C’T$ a $\Gamma(N)$ en $C’$.

Notemos que $\angle TC’A$ y $\angle C’B’A’$ son ángulos semiinscrito e inscrito respectivamente de $\Gamma(N)$ y abarcan el mismo arco, por lo tanto, son iguales.

Recordemos que los lados de $\triangle A’B’C’$ son paralelos a los de $\triangle ABC$ y por lo tanto, $\triangle ABC$ y $\triangle A’B’C’$ son semejantes.

En consecuencia,
$\angle BC’T = \angle BC’A’ – \angle TC’A $
$= \angle BAC – \angle C’B’A’ = \angle A – \angle B$.

Paso 2. Sean $\Gamma(I)$ el incírculo de $\triangle ABC$, $C_1 = CI \cap AB$ y $C_1P$ tangente a $\Gamma(I)$ en $P$.

Como $C_1A$ y $C_1P$ son tangentes a $\Gamma(I)$ desde $C_1$ entonces $\angle PC_1I = \angle IC_1A$.

Por lo tanto,
$\angle BC_1P = \pi – \angle PC_1A $
$= \pi – (2\angle IC_1A) = \pi – 2(\pi – \angle A – \dfrac{\angle C}{2})$
$= \angle A + (\angle A + \angle C – \pi) = \angle A – \angle B$.

Así, $C’T \parallel C_1P$.

Figura 7

Paso 3. Sean $\Gamma(I_c)$ el excírculo opuesto al vértice $C$, $Z_c$ el punto de tangencia entre $\Gamma(I_c)$ y $AB$, $Z$ el punto de tangencia entre $\Gamma(I)$ y $AB$, $H_c$ el pie de la altura por $C$ en $\triangle ABC$.

Por el corolario 2, $(C, C_1; I, I_c) = -1$ y por la proposición 1, $(H_c, C_1; Z, Z_c) = -1$.

Recordemos que el punto medio de $Z$ y $Z_c$ coincide con el punto medio $C’$, de $AB$.

Por el teorema 4, $C’C_1 \times C’H_c = C’Z^2$.

Sea $F = C’P \cap \Gamma(I)$, $F \neq P$, por la potencia de $C’$ respecto de $\Gamma(I)$ tenemos
$C’P \times C’F = C’Z^2 = C’C_1 \times C’H_c$.

Por la ecuación anterior, el teorema de las cuerdas nos dice que $\square H_cC_1PF$ es cíclico.

Por lo tanto, $\angle H_cFP$ y $\angle PC_1H_c$ son suplementarios.

En consecuencia, $\angle H_cFC’ = \angle BC_1P = \angle BC’T$.

Por otra parte, notemos que $C’H_c$ es una cuerda de la circunferencia de los nueve puntos $\Gamma(N)$, sea $F’$ en el arco $\overset{\LARGE{\frown}}{C’H_c}$ (recorrido en ese sentido).

Entonces, $\angle BC’T + \angle TC’F’ + \angle F’C’H_c = \pi = \angle H_cF’C’ + \angle C’H_cF’ + \angle F’C’H_c$, además $\angle TC’F’ = \angle C’H_cF’$, pues abarcan el mismo arco.

Por lo tanto, los puntos $F’$ en el arco $\overset{\LARGE{\frown}}{C’H_c}$, cumplen que  $\angle H_cF’C’ = \angle BC’T$, además son los únicos, siempre y cuando estén del mismo lado que $C$ respecto de $C’H_c$.

Como $F$ cumple estas características, entonces $F \in \Gamma(N)$.

Paso 4. Sean $U$ la intersección de la tangente a $\Gamma(N)$ en $F$ con $C’T$ y $V$ la intersección de la tangente a $\Gamma(I)$ en $F$ con $C_1P$.

Como $UC’ = UF$, por ser tangentes a $\Gamma(N)$ desde $U$, entonces $\angle UC’F = \angle C’FU$, igualmente vemos que $\angle VPF = \angle PFV$.

Pero $\angle UC’F = \angle VPF$ pues $C’U \parallel PV$ y $C’PF$ es transversal a ambas.

Por lo tanto, $\angle C’FU = \angle PFV = \angle C’FV$, es decir $UF$ y $VF$ son la misma recta.

Como resultado tenemos que $\Gamma(N)$ y $\Gamma(I)$ son tangentes en $F$.

$\blacksquare$

Definición 3. Al punto de tangencia entre el incírculo y la circunferencia de los nueve puntos $F$, se le conoce como punto de Feuerbach.

Tarea moral

  1. $i)$ Divide un segmento dado en una razón dada $\dfrac{p}{q}$,
    $ii)$ Muestra que $HNGO$ es una hilera armónica, donde $H$ es el ortocentro, $N$ el centro de los nueve puntos, $G$ el centroide y $O$ el circuncentro de un triángulo.
  2.  Si los puntos $C$ y $D$ dividen internamente y externamente de manera armónica en la razón $\dfrac{p}{q}$ al segmento $AB$, muestra que el punto medio de $CD$ divide al segmento $AB$ en la razón $\dfrac{p^2}{q^2}$.
  3. Prueba que la suma de los cuadrados de dos segmentos armónicos es igual a cuatro veces el cuadrado de la distancia entre los puntos medios de estos segmentos.
  4. Considera el segmento determinado por el vértice de un triángulo y la intersección de la bisectriz interna o externa con el lado opuesto, muestra que los pies de las perpendiculares a dicha recta desde los otros dos vértices del triángulo dividen al segmento de manera armónica.
  5. Si los puntos $C$ y $D$ dividen armónicamente al segmento $AB$ y $O$ es el punto medio de $AB$, muestra que $OC^2 + OD^2 = CD^2 + 2OA^2$.
  6. Si $(A, B; C, D) = – 1$ y $A’$, $B’$ son los conjugados armónicos de $D$ respecto a los pares de puntos $(A, C)$ y $(B, C)$ respectivamente, muestra que $(A’, B’; C, D) = – 1$.
  7. Sean $\triangle ABC$, $D$, $E$, $F$, los puntos de tangencia del incírculo de $\triangle ABC$ con $BC$, $CA$ y $AB$ respectivamente, sea $X$ en el interior de $\triangle ABC$ tal que el incírculo de $\triangle XBC$ es tangente a $BC$, $CX$, $XB$ en $D$, $Y$, $Z$, respectivamente, demuestra que $\square EFZY$ es cíclico.
  8. Demuestra que la circunferencia de los nueve puntos de un triángulo es tangente a cada uno de sus excírculos.

Más adelante…

Continuando con el tema de división armónica, en la siguiente entrada estudiaremos haces armónicos.

Entradas relacionadas

Fuentes

  • Altshiller, N., College Geometry. New York: Dover, 2007, pp 53-56, 166-171.
  • Andreescu, T., Korsky, S. y Pohoata, C., Lemmas in Olympiad Geometry. USA: XYZ Press, 2016, pp 149-161.
  • Lozanovski, S., A Beautiful Journey Through Olympiad Geometry. Version 1.4. 2020, pp 156-158.
  • Johnson, R., Advanced Euclidean Geometry. New York: Dover, 2007, pp 200-203.